Details

rewrite2.8s (1.1%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

293.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*))))
226.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
194.0ms	(sqrt (* (* (* 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*)))))
190.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*)))))
173.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

400×	add-sqr-sqrt
329×	add-exp-log
319×	*-un-lft-identity
263×	add-cube-cbrt
242×	pow1
188×	add-cbrt-cube
170×	unpow-prod-down
149×	associate-*r*
137×	prod-exp
100×	associate-*r/
95×	add-log-exp
86×	times-frac
79×	sqrt-prod
71×	cbrt-prod
62×	pow-prod-down
59×	associate-*l*
56×	flip-- flip3--
54×	log-prod cbrt-unprod
51×	pow-exp
46×	pow-unpow
40×	distribute-rgt-in distribute-lft-in
39×	sqrt-pow1
36×	unswap-sqr
35×	log-pow
33×	exp-prod
32×	frac-sub
30×	sub-neg sqr-pow
29×	pow-to-exp
28×	difference-of-squares distribute-lft-out--
27×	pow1/2
24×	sqrt-div
20×	*-commutative div-exp
16×	cube-prod associate--l+ cbrt-div
14×	pow-pow
10×	pow1/3
9×	rem-sqrt-square
8×	swap-sqr div-inv associate-/r*
7×	rem-log-exp
6×	associate-/l*
5×	pow-prod-up
4×	unpow3 cube-mult unpow-prod-up
3×	cbrt-undiv pow-sqr exp-sum
2×	associate-/l/ sinh-def sqrt-pow2 acos-asin rem-exp-log associate-/r/ clear-num frac-2neg pow-sub
1×	pow-flip pow-plus rem-square-sqrt div-sub rec-exp sqrt-unprod unpow1/3 inv-pow rem-cbrt-cube 1-exp pow2