Details

rewrite1.1s (0.7%)

Algorithm

29×	rewrite-expression-head

Calls

95 calls:

142.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
61.0ms	(* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
60.0ms	(* (- t (fma 2.0 (/ l (/ Om l)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
56.0ms	(sqrt (* (* (- t (fma 2.0 (/ l (/ Om l)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* 2.0 n)) U))
55.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

472×	add-sqr-sqrt
397×	*-un-lft-identity
339×	add-cube-cbrt
297×	add-exp-log
230×	pow1
163×	add-cbrt-cube
153×	unpow-prod-down
144×	prod-diff
124×	sqrt-prod
119×	prod-exp
112×	cbrt-prod
98×	add-log-exp
97×	expm1-log1p-u
96×	log1p-expm1-u
90×	associate-*r* unpow-prod-up
62×	sqrt-pow1
58×	times-frac
53×	pow-unpow associate-*l*
48×	pow-prod-down
44×	distribute-rgt-in distribute-lft-in
43×	pow-exp
41×	pow-pow
39×	cbrt-unprod
36×	pow1/2
33×	log-prod
31×	unswap-sqr
28×	difference-of-squares distribute-lft-out-- pow-to-exp
24×	sqr-pow
20×	associate-*l/
18×	rem-sqrt-square div-exp
16×	sub-neg log-pow
15×	pow1/3
14×	flip-- exp-prod flip3--
13×	*-commutative
12×	cube-prod
8×	sinh-def sqrt-pow2 sqrt-div associate-*r/ pow-sub associate-/r*
6×	swap-sqr associate-/l* rem-log-exp
5×	div-inv
4×	cube-div cube-mult unpow3
3×	cbrt-undiv rem-exp-log exp-sum pow-prod-up
2×	associate-/l/ cbrt-div rem-cube-cbrt pow-plus expm1-udef pow-sqr acos-asin log1p-udef associate-/r/ rem-cbrt-cube clear-num frac-2neg log1p-expm1
1×	expm1-log1p div-sub pow2 distribute-lft-out sin-diff exp-to-pow