Details

rewrite936.0ms (0.3%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

82.0ms	(sqrt (* (* (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))))
59.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
51.0ms	(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))
48.0ms	(sin (log (exp (pow (sqrt (atan2 b b)) (- b a)))))
48.0ms	(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))

Rules

603×	add-sqr-sqrt
467×	*-un-lft-identity
431×	add-cube-cbrt
250×	pow1 times-frac
245×	sqrt-prod
210×	unpow-prod-down
184×	unpow-prod-up
177×	add-exp-log
147×	add-cbrt-cube
144×	prod-diff
95×	log1p-expm1-u
94×	add-log-exp expm1-log1p-u insert-posit16
70×	swap-sqr
68×	associate-*l* associate-*r*
64×	exp-prod log-pow
63×	pow-prod-down sqrt-pow1
58×	unswap-sqr
44×	associate-/r*
39×	prod-exp
36×	sqr-pow
30×	pow-unpow
29×	pow1/2
28×	log-prod
24×	pow1/3
23×	cbrt-unprod
22×	pow-pow
20×	sub-neg
19×	cbrt-prod
18×	distribute-lft-out-- difference-of-squares pow-to-exp pow-exp
16×	rem-sqrt-square div-inv
15×	pow-prod-up fma-udef
14×	associate-/l* pow-sub
10×	div-exp cbrt-undiv distribute-lft-in distribute-rgt-in
9×	*-commutative pow-sqr
8×	pow-plus
6×	rem-log-exp sin-sum pow2 sqrt-pow2
5×	associate-/r/
4×	exp-sum frac-2neg clear-num
3×	expm1-udef
2×	sinh-def frac-times rem-exp-log associate-/l/ flip3-- flip-- associate-*r/ acos-asin associate-*l/ sin-diff
1×	div-sub expm1-log1p pow3