Details

rewrite150.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-cbrt-cube add-exp-log
9×	prod-diff
8×	pow1 add-log-exp
6×	associate-*r*
4×	expm1-log1p-u prod-exp cbrt-unprod insert-posit16 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 sum-log sub-neg flip3-+ flip3-- diff-log flip-+ flip--

Counts

4 → 126

Calls

4 calls:

14.0ms	(+ (exp x) (exp (- x)))
55.0ms	(* (/ (+ (exp x) (exp (- x))) 2) (cos y))
58.0ms	(* (/ (- (exp x) (exp (- x))) 2) (sin y))
19.0ms	(- (exp x) (exp (- x)))