Details

rewrite119.0ms

Algorithm

rewrite-expression-head

Rules

48×	*-un-lft-identity
34×	add-sqr-sqrt
22×	add-cube-cbrt
20×	times-frac
9×	prod-diff
7×	distribute-lft-out add-log-exp
6×	distribute-lft-out-- difference-of-squares
5×	add-exp-log add-cbrt-cube associate-/l*
4×	associate-/r*
3×	pow1 expm1-log1p-u fma-def fma-neg log1p-expm1-u
2×	flip3-- flip3-+ associate-/r/ flip-- flip-+ associate-/l/
1×	cbrt-undiv +-commutative sub-neg frac-2neg diff-log div-sub tanh-undef div-exp clear-num sum-log div-inv

Counts

3 → 94

Calls

3 calls:

13.0ms	(+ (exp x) (exp (- x)))
86.0ms	(/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
17.0ms	(- (exp x) (exp (- x)))