Details

rewrite3.6s (1.1%)

Algorithm

34×	rewrite-expression-head

Calls

117 calls:

264.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
252.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
249.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*))))
233.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (- U U*) (pow (/ l Om) (/ 2.0 2))))))
218.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

2990×	add-sqr-sqrt
2442×	*-un-lft-identity
2288×	times-frac
1551×	add-cube-cbrt
1464×	prod-diff
568×	difference-of-squares
374×	distribute-lft-out--
346×	add-exp-log
299×	pow1
218×	associate-/r/
209×	add-cbrt-cube
163×	flip-- flip3--
142×	sqrt-prod
136×	difference-of-sqr-1
129×	associate-*r*
125×	add-log-exp
122×	prod-exp
121×	div-inv
118×	log1p-expm1-u
117×	distribute-rgt-in distribute-lft-in expm1-log1p-u
111×	unpow-prod-down
94×	associate-*r/
85×	cbrt-prod
80×	sqrt-pow1
69×	unpow-prod-up
63×	pow-prod-down
61×	associate-*l*
55×	fma-neg
51×	log-prod
50×	pow1/2
47×	exp-sum cbrt-unprod
44×	associate-/r*
40×	associate--l+
39×	sub-neg
38×	pow-exp log-pow
34×	pow-unpow frac-sub unswap-sqr
32×	sqrt-div
30×	associate-/l*
28×	sinh-def swap-sqr div-exp
27×	pow1/3 pow-pow
22×	cbrt-div pow-to-exp
17×	*-commutative
15×	exp-prod sqr-pow
14×	associate-*l/ rem-sqrt-square pow-prod-up
10×	cbrt-undiv pow-sqr
9×	clear-num frac-2neg rem-log-exp
6×	sqrt-pow2 pow-sub
4×	pow-plus frac-times pow2
3×	rem-exp-log cosh-def distribute-rgt-out-- diff-log
2×	associate-/l/ pow-flip 1-exp rem-square-sqrt expm1-def rec-exp inv-pow acos-asin sqrt-unprod expm1-udef exp-to-pow
1×	expm1-log1p div-sub e-exp-1 sin-diff fma-udef sub-div