Details

rewrite11.9s (4.2%)

Algorithm

27×	rewrite-expression-head

Calls

88 calls:

1.8s	(* (* (* 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.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.2s	(* (* 2.0 n) (+ t (- (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om)))))
1.1s	(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.1s	(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

480×	add-exp-log
280×	add-sqr-sqrt
269×	prod-exp
252×	pow1
240×	*-un-lft-identity
190×	add-cube-cbrt
174×	add-cbrt-cube
89×	add-log-exp sqrt-prod
83×	pow-exp
78×	associate-*r*
69×	pow-prod-down
66×	unpow-prod-down
56×	cbrt-unprod
53×	sqrt-pow1
49×	log-prod
45×	pow-to-exp
44×	associate-*l*
42×	cbrt-prod
39×	div-exp
35×	times-frac
34×	log-pow
32×	associate-*r/
29×	pow1/2
27×	pow-unpow
23×	difference-of-squares exp-prod distribute-lft-out--
20×	pow1/3 sub-neg
19×	pow-pow
18×	associate-*l/
15×	distribute-lft-in unswap-sqr distribute-rgt-in *-commutative
14×	rem-sqrt-square
12×	unpow-prod-up swap-sqr
11×	rem-log-exp
10×	sqrt-div flip3-+ flip-+
9×	flip3-- flip-- sqr-pow
6×	pow-prod-up pow-sqr pow-sub
5×	associate-/r* associate-/l*
4×	exp-sum sqrt-pow2
3×	pow2 pow-plus
2×	rem-exp-log associate-/l/ distribute-lft-out associate-/r/ acos-asin div-inv log-div
1×	div-sub cbrt-undiv frac-2neg exp-to-pow clear-num