Details

rewrite1.5s (0.6%)

Algorithm

31×	rewrite-expression-head

Calls

94 calls:

185.0ms	(* (cbrt (sin (log (exp (pow (sqrt (atan2 b b)) (- b a)))))) (cbrt (sin (log (exp (pow (sqrt (atan2 b b)) (- b a)))))))
142.0ms	(* (cbrt (sin (log (exp (pow (sqrt (atan2 b b)) (- b a)))))) (cbrt (sin (log (exp (pow (sqrt (atan2 b b)) (- b a)))))))
62.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (- t (* (* (/ l Om) l) 2.0)))))
61.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0))))
59.0ms	(/ (- x lo) (- hi lo))

Rules

421×	add-sqr-sqrt
343×	*-un-lft-identity
311×	add-cube-cbrt
304×	pow1
188×	log-pow
184×	exp-prod
178×	add-exp-log
140×	add-cbrt-cube
134×	sqrt-pow1
113×	unpow-prod-up
111×	unpow-prod-down
95×	log1p-expm1-u
94×	add-log-exp expm1-log1p-u associate-*r*
90×	sqrt-prod prod-diff
84×	pow-prod-down
74×	cbrt-prod
58×	log-prod
55×	times-frac
51×	pow1/3
48×	associate-*l*
40×	prod-exp
32×	unswap-sqr
31×	cbrt-unprod
28×	pow1/2 pow-unpow
24×	swap-sqr
18×	sqr-pow
16×	pow-prod-up pow-sqr distribute-lft-out-- difference-of-squares fma-udef
14×	rem-sqrt-square pow-exp *-commutative pow-pow
10×	rem-log-exp sub-neg
9×	pow-to-exp
8×	pow2 distribute-lft-in distribute-rgt-in pow-plus
7×	exp-sum
6×	sin-sum
5×	rem-exp-log associate-/l* associate-/r*
4×	div-exp sinh-def sqrt-pow2 div-inv pow-sub
2×	expm1-udef associate-/l/ flip3-- flip-- associate-/r/ acos-asin e-exp-1
1×	div-sub expm1-log1p cbrt-undiv frac-2neg clear-num sin-diff