Details

rewrite9.0s (3.3%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

2.5s	(sqrt (* (* (* 2.0 n) (+ t (- (* (* n (pow (/ l Om) (/ 2.0 2))) (* (* (cbrt (pow (/ l Om) (/ 2.0 2))) (cbrt (pow (/ l Om) (/ 2.0 2)))) (* (cbrt (pow (/ l Om) (/ 2.0 2))) (- U* U)))) (* (* 2.0 l) (/ l Om))))) U))
1.8s	(sqrt (* (* (* 2.0 n) (+ t (- (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U))
1.5s	(* (* (* 2.0 n) (+ t (- (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U)
513.0ms	(* (* (* 2.0 n) (+ t (- (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U* U))) (* (* 2.0 l) (/ l Om))))) U)
506.0ms	(sqrt (* (* (* 2.0 n) (+ t (- (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U* U))) (* (* 2.0 l) (/ l Om))))) U))

Rules

317×	add-sqr-sqrt
287×	pow1
269×	add-exp-log
268×	*-un-lft-identity
226×	add-cube-cbrt
165×	add-cbrt-cube
123×	unpow-prod-down
110×	prod-exp
108×	cbrt-prod
97×	add-log-exp
88×	sqrt-prod
72×	times-frac
70×	associate-*r*
65×	pow-prod-down
60×	sinh-def
48×	sqrt-pow1
47×	cbrt-unprod
46×	associate-*l*
44×	associate-*r/
38×	associate-*l/
33×	pow1/3
32×	pow-unpow pow-exp
28×	pow1/2 pow-pow
25×	pow-prod-up
24×	sub-neg
22×	frac-times
21×	unswap-sqr difference-of-squares distribute-lft-out-- pow-plus
20×	pow-to-exp unpow-prod-up distribute-rgt-in distribute-lft-in
15×	sqr-pow *-commutative
14×	cbrt-div rem-sqrt-square
13×	div-exp
12×	log-pow swap-sqr associate--l+
11×	pow-sqr
9×	log-prod exp-prod flip3-- flip-- pow2
8×	flip3-+ sqrt-div flip-+
6×	pow-sub sqrt-pow2 div-inv
5×	pow3 associate-/r* associate-/l*
4×	frac-sub acos-asin
3×	rem-log-exp
2×	associate-/l/ associate-/r/ rem-cbrt-cube diff-log
1×	exp-diff div-sub cbrt-undiv frac-2neg log-div cosh-def clear-num