Details

rewrite25.4s (7.6%)

Algorithm

29×	rewrite-expression-head

Calls

96 calls:

6.0s	(sqrt (* (sqrt (* (* 2.0 n) (* (- (* (* (* (pow (/ l Om) (/ 2.0 2)) (pow (/ l (cbrt Om)) (/ 2.0 2))) (* n (pow (/ 1 (* (cbrt Om) (cbrt Om))) (/ 2.0 2)))) (- U* U)) (- (* (/ l Om) (* l 2.0)) t)) U))) (sqrt (* (* 2.0 n) (* (- (* (* (* (pow (/ l Om) (/ 2.0 2)) (pow (/ l (cbrt Om)) (/ 2.0 2))) (* n (pow (/ 1 (* (cbrt Om) (cbrt Om))) (/ 2.0 2)))) (- U* U)) (- (* (/ l Om) (* l 2.0)) t)) U)))))
5.6s	(sqrt (* (* (* 2.0 n) (+ t (- (* (* (* (* (pow (/ 1 (* (cbrt Om) (cbrt Om))) (/ 2.0 2)) n) (pow (/ l (cbrt Om)) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U))
5.3s	(* (* (* 2.0 n) (+ t (- (* (* (* (* (pow (/ 1 (* (cbrt Om) (cbrt Om))) (/ 2.0 2)) n) (pow (/ l (cbrt Om)) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U)
1.7s	(* (* (* 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.6s	(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

1286×	add-exp-log
883×	prod-exp
697×	pow1
434×	add-sqr-sqrt
373×	pow-exp
350×	pow-prod-down
336×	sqrt-pow1
334×	*-un-lft-identity
284×	add-cube-cbrt
207×	sqrt-prod
202×	unpow-prod-down
194×	associate-*r/
184×	div-exp
183×	add-cbrt-cube
150×	sqrt-div
144×	pow-to-exp
141×	associate-*r*
120×	associate-*l/
115×	cbrt-prod
107×	add-log-exp
92×	pow-unpow
90×	flip3-- flip--
68×	frac-sub
63×	times-frac
56×	pow1/2 cbrt-unprod
44×	associate-*l*
43×	pow-pow
42×	log-prod
41×	pow-prod-up log-pow
40×	1-exp rec-exp unswap-sqr
36×	frac-times
31×	pow-sqr sqr-pow
25×	difference-of-squares distribute-lft-out-- exp-prod
22×	swap-sqr
17×	rem-sqrt-square
16×	cube-prod pow1/3 *-commutative
15×	unpow-prod-up
12×	sub-neg
8×	rem-log-exp sqrt-pow2 flip-+ flip3-+
6×	distribute-rgt-in pow-sub sum-log distribute-lft-in
5×	associate-/l* associate-/r*
4×	unpow3 cube-mult div-inv
3×	exp-sum pow2 pow-plus
2×	associate-+l+ sinh-def rem-exp-log associate-/l/ associate-/r/ acos-asin +-commutative e-exp-1
1×	rem-cube-cbrt div-sub cbrt-undiv frac-2neg clear-num