Details

rewrite2.5s (1.4%)

Algorithm

32×	rewrite-expression-head

Calls

100 calls:

178.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
173.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (- U U*) (pow (/ l Om) (/ 2.0 2))))))
144.0ms	(- (/ x (- hi lo)) (/ 1 (- (/ hi lo) 1)))
138.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
131.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

Rules

2993×	add-sqr-sqrt
2387×	*-un-lft-identity
2281×	times-frac
1509×	add-cube-cbrt
1473×	prod-diff
559×	difference-of-squares
365×	distribute-lft-out--
350×	add-exp-log
261×	unpow-prod-down
224×	pow1
218×	associate-/r/
217×	sqrt-prod
190×	add-cbrt-cube
176×	unpow-prod-up
157×	flip-- flip3--
147×	associate-*r*
141×	prod-exp
136×	difference-of-sqr-1
121×	div-inv
108×	add-log-exp
102×	log1p-expm1-u
101×	expm1-log1p-u
96×	distribute-rgt-in distribute-lft-in
90×	associate-*r/
82×	associate-*l*
69×	unswap-sqr
64×	swap-sqr
55×	fma-neg
54×	pow-prod-down
51×	pow-exp
45×	cbrt-unprod
44×	sqr-pow sub-neg log-prod
40×	associate--l+
38×	associate-/r*
37×	sqrt-pow1
35×	pow-to-exp
34×	frac-sub
27×	div-exp
25×	log-pow
24×	pow-unpow sqrt-div cbrt-prod
21×	pow1/2 associate-/l* pow-pow
14×	*-commutative exp-prod
13×	fma-def associate-*l/ rem-log-exp
11×	pow-sub
10×	rem-sqrt-square
9×	cbrt-undiv
7×	clear-num frac-2neg
6×	cube-prod
5×	sqrt-pow2 pow1/3 expm1-udef
4×	pow-prod-up expm1-log1p frac-times exp-sum
3×	flip-+ flip3-+ distribute-rgt-out-- diff-log
2×	associate-/l/ sinh-def rem-exp-log expm1-def pow-plus pow3 pow2 unpow2 pow-sqr unpow3 cube-mult rec-exp acos-asin distribute-lft-out 1-exp
1×	rem-cube-cbrt e-exp-1 fma-udef log1p-udef inv-pow log1p-expm1 sub-div pow-flip +-commutative div-sub sum-log rem-cbrt-cube sin-diff