Details

rewrite884.0ms (0.9%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

111.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n (* (cbrt (pow (/ l Om) (/ 2.0 2))) (cbrt (pow (/ l Om) (/ 2.0 2))))) (cbrt (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
79.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
66.0ms	(- (/ x (- hi lo)) (/ lo (- hi lo)))
64.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
53.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

1129×	add-sqr-sqrt
1097×	*-un-lft-identity
778×	times-frac
753×	add-cube-cbrt
603×	prod-diff
265×	add-exp-log
218×	pow1
196×	unpow-prod-down
171×	distribute-lft-out--
165×	difference-of-squares
154×	add-cbrt-cube
136×	sqrt-prod
110×	unpow-prod-up
97×	prod-exp add-log-exp
96×	associate-/r/
94×	log1p-expm1-u
93×	expm1-log1p-u
87×	flip-- flip3--
74×	associate-*r/
71×	cbrt-prod
70×	associate-*r*
63×	pow-unpow
60×	sqrt-pow1 log-prod
55×	div-inv
52×	distribute-rgt-in distribute-lft-in pow-pow
44×	pow-prod-down
43×	pow-exp
36×	pow1/2
31×	cbrt-unprod
30×	associate--l+ pow-to-exp
29×	frac-sub
27×	sub-neg sqr-pow
24×	sqrt-div
21×	fma-neg
19×	exp-prod
18×	rem-sqrt-square div-exp associate-/r*
17×	log-pow
14×	associate-*l*
12×	associate-/l* cube-prod unswap-sqr
10×	pow-sub
9×	rem-log-exp
8×	*-commutative sqrt-pow2
5×	cbrt-undiv
4×	cube-mult unpow3 pow1/3 clear-num frac-2neg
3×	rem-cube-cbrt expm1-udef exp-sum distribute-rgt-out--
2×	associate-/l/ acos-asin log-div sin-diff exp-to-pow
1×	diff-log expm1-log1p div-sub rem-exp-log rem-cbrt-cube sub-div