Changes between Initial Version and Version 1 of Ticket #4630


Ignore:
Timestamp:
2017-11-16T08:27:51Z (7 years ago)
Author:
Henning Kiel
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4630 – Description

    initial v1  
    1515
    1616always correct simplifications
    17 * ln(e^(x)) = x
    18 * sin^2(x)+cos^2(x) = 1
    19 * cosh^2(x) - sinh^2(x) = 1
    20 * sin(acos(x)) = sqrt(1-x^2)
    21 * cos(asin(x)) = sqrt(1-x^2)
     17* ln(e^x^) = x
     18* sin^2^(x)+cos^2^(x) = 1
     19* cosh^2^(x) - sinh^2^(x) = 1
     20* sin(acos(x)) = sqrt(1-x^2^)
     21* cos(asin(x)) = sqrt(1-x^2^)
    2222
    2323problematic simplifications
    … …  
    3232* cos(acos(x)) = x (only true for -1<=x<=1)
    3333* sin(asin(x)) = x (only true for -1<=x<=1)
     34* e^ln(x)^= x (only true for x>0)