Details

rewrite3.8s (1.4%)

Algorithm

31×	rewrite-expression-head

Calls

99 calls:

545.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
350.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*))))
313.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))))))
277.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
237.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))

Rules

716×	add-sqr-sqrt
430×	*-un-lft-identity
428×	sqrt-prod
394×	add-cube-cbrt
319×	add-exp-log
271×	pow1
228×	unpow-prod-down
192×	prod-diff
191×	associate-*r*
181×	add-cbrt-cube
144×	cbrt-prod
140×	prod-exp
124×	swap-sqr
118×	unpow-prod-up
117×	associate-*l*
114×	unswap-sqr
101×	log1p-expm1-u
100×	add-log-exp expm1-log1p-u
92×	associate-*r/
73×	distribute-rgt-in distribute-lft-in
69×	pow-prod-down
68×	times-frac
62×	sqrt-pow1
50×	pow1/2
49×	cbrt-unprod
46×	flip-- flip3--
44×	pow-exp
40×	associate--l+
38×	sqr-pow
37×	sqrt-div
36×	sub-neg
32×	frac-sub
29×	pow-to-exp
21×	pow-prod-up
19×	*-commutative
18×	difference-of-squares rem-sqrt-square distribute-lft-out-- div-exp
16×	exp-prod
15×	associate-*l/ pow-sqr log-prod
14×	log-pow sinh-def
12×	pow1/3
10×	pow-unpow pow-sub
8×	cosh-def associate-/r*
7×	pow2
6×	associate-/l* pow-pow div-inv expm1-udef
5×	pow-plus acos-asin frac-times
4×	sqrt-unprod rem-log-exp
3×	expm1-log1p cbrt-undiv rem-square-sqrt sin-diff exp-sum
2×	associate-/l/ rem-exp-log sqrt-pow2 fma-udef associate-/r/ clear-num frac-2neg
1×	exp-diff log-div div-sub log1p-udef log1p-expm1