Details

rewrite1.8s (0.8%)

Algorithm

29×	rewrite-expression-head

Calls

87 calls:

210.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
119.0ms	(* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
101.0ms	(* (- t (fma 2.0 (/ l (/ Om l)) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (* (* 2.0 n) U))
93.0ms	(* (- t (fma 2.0 (/ l (/ Om l)) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (- U U*) (pow (/ l Om) (/ 2.0 2)))))) (* (* 2.0 n) U))
93.0ms	(sqrt (* (- t (fma 2.0 (/ l (/ Om l)) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (* (* 2.0 n) U)))

Rules

275×	add-sqr-sqrt
254×	add-exp-log
243×	*-un-lft-identity
205×	add-cube-cbrt
192×	pow1
152×	add-cbrt-cube
103×	prod-exp
89×	add-log-exp expm1-log1p-u
88×	log1p-expm1-u
72×	log-prod
65×	associate-*r*
58×	times-frac
57×	unpow-prod-down
50×	pow-prod-down
40×	sqrt-prod
37×	cbrt-unprod
36×	log-pow prod-diff
34×	sqrt-pow1
33×	associate-*l*
31×	exp-prod
30×	cbrt-prod
28×	pow-exp
22×	distribute-rgt-in distribute-lft-in
19×	difference-of-squares distribute-lft-out--
18×	associate-*l/
16×	div-exp
15×	pow1/2 pow-to-exp
13×	flip-- flip3--
12×	cube-prod unswap-sqr
11×	rem-log-exp
10×	sqr-pow
9×	*-commutative
8×	rem-sqrt-square sqrt-div pow-pow associate-/r*
6×	pow-unpow associate-/l*
5×	div-inv
4×	pow1/3 cube-mult unpow3 sub-neg associate-*r/
3×	cbrt-undiv expm1-log1p expm1-udef rem-exp-log exp-sum
2×	associate-/l/ rem-cube-cbrt acos-asin fma-udef log1p-udef associate-/r/ clear-num frac-2neg log1p-expm1 sinh-def
1×	div-sub