Details

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

40×	*-un-lft-identity
26×	add-sqr-sqrt
20×	times-frac
14×	add-cube-cbrt
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
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 → 73

Calls

3 calls:

29.0ms	(+ (exp x) (exp (- x)))
57.0ms	(/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
20.0ms	(- (exp x) (exp (- x)))