Details

rewrite1.3s (0.2%)

Algorithm

31×	rewrite-expression-head

Calls

97 calls:

85.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
76.0ms	(- (/ x (- hi lo)) (/ lo (- hi lo)))
64.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*))))
63.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*)))))
56.0ms	(* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))

Rules

1293×	add-sqr-sqrt
1139×	*-un-lft-identity
801×	add-cube-cbrt
771×	times-frac
651×	prod-diff
333×	add-exp-log
283×	unpow-prod-down
251×	pow1
202×	sqrt-prod
177×	add-cbrt-cube
168×	distribute-lft-out--
162×	difference-of-squares
159×	associate-*r*
144×	unpow-prod-up
139×	prod-exp
100×	add-log-exp
98×	log1p-expm1-u
97×	expm1-log1p-u
96×	associate-/r/ associate-*r/ associate-*l*
93×	flip-- flip3--
77×	unswap-sqr
73×	distribute-rgt-in distribute-lft-in
71×	swap-sqr
70×	cbrt-prod
68×	pow-prod-down
54×	pow-exp div-inv
51×	cbrt-unprod
50×	sqr-pow
42×	pow-unpow
40×	associate--l+
39×	sub-neg
37×	pow-to-exp
36×	log-prod
34×	pow1/3
33×	frac-sub
30×	sqrt-pow1
24×	sqrt-div
22×	log-pow
21×	fma-neg
20×	div-exp
18×	pow-prod-up pow1/2 pow-pow associate-/r*
16×	*-commutative
12×	cube-prod associate-/l* pow-sub
11×	exp-prod
10×	rem-sqrt-square
9×	rem-log-exp
8×	sinh-def pow-sqr
7×	pow-plus
5×	cbrt-undiv pow2
4×	cube-div cube-mult sqrt-pow2 unpow3 clear-num frac-2neg
3×	exp-sum distribute-rgt-out--
2×	associate-/l/ cbrt-div rem-cube-cbrt expm1-udef associate-*l/ distribute-rgt-out e-exp-1 frac-times acos-asin rem-cbrt-cube
1×	diff-log expm1-log1p div-sub rem-exp-log distribute-lft1-in exp-to-pow pow3 sin-diff sub-div