Details

rewrite865.0ms (0.9%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

229.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*)))))
78.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
59.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*))))
49.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
48.0ms	(- (/ x (- hi lo)) (/ lo (- hi lo)))

Rules

395×	add-sqr-sqrt
363×	*-un-lft-identity
277×	add-cube-cbrt
265×	add-exp-log
221×	pow1
196×	unpow-prod-down
154×	add-cbrt-cube
136×	sqrt-prod
133×	times-frac
97×	prod-exp
96×	add-log-exp
74×	associate-*r/
71×	cbrt-prod
70×	associate-*r*
63×	pow-unpow
60×	sqrt-pow1
52×	pow-pow
51×	log-prod
44×	flip-- flip3-- pow-prod-down
43×	pow-exp
42×	distribute-lft-out--
36×	difference-of-squares pow1/2
31×	cbrt-unprod
30×	exp-prod pow-to-exp log-pow
29×	frac-sub
27×	sub-neg sqr-pow
24×	sqrt-div
20×	unpow-prod-up
18×	rem-sqrt-square div-exp associate-/r*
16×	distribute-rgt-in distribute-lft-in
14×	associate-*l*
12×	associate-/l* cube-prod div-inv associate--l+ unswap-sqr rem-log-exp
10×	pow-sub associate-/r/
8×	*-commutative sqrt-pow2
5×	cbrt-undiv
4×	cube-mult unpow3 pow1/3 acos-asin clear-num frac-2neg
3×	rem-cube-cbrt exp-sum distribute-rgt-out-- log-div
2×	associate-/l/
1×	diff-log exp-diff div-sub rem-exp-log rem-cbrt-cube exp-to-pow sub-div