Details

rewrite223.0ms

Algorithm

rewrite-expression-head

Rules

49×	add-sqr-sqrt
47×	*-un-lft-identity
35×	associate-*l*
31×	add-cube-cbrt
29×	times-frac
14×	add-exp-log add-cbrt-cube
9×	prod-diff
8×	pow1 add-log-exp
6×	associate-*r*
4×	expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
3×	fma-def fma-neg
2×	cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv
1×	+-commutative sub-neg flip3-- flip3-+ diff-log sum-log flip-- flip-+

Counts

4 → 122

Calls

4 calls:

68.0ms	(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
20.0ms	(+ (exp x) (exp (- x)))
96.0ms	(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
31.0ms	(- (exp x) (exp (- x)))