Details

rewrite9.0s (3.8%)

Algorithm

27×	rewrite-expression-head

Calls

87 calls:

1.7s	(sqrt (* (* (* 2.0 n) (+ t (- (* (* (* (pow (/ l Om) (/ 2.0 2)) n) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U))
1.6s	(* (* (* 2.0 n) (+ t (- (* (* (* (pow (/ l Om) (/ 2.0 2)) n) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om))))) U)
1.3s	(* (* 2.0 n) (+ t (- (* (* (* (pow (/ l Om) (/ 2.0 2)) n) (pow (/ l Om) (/ 2.0 2))) (- U* U)) (* (* 2.0 l) (/ l Om)))))
907.0ms	(sqrt (* (sqrt (* (+ (- (* (- U* U) (* n (pow (/ l Om) (/ (* 2 2.0) 2)))) (* (* (/ l Om) l) 2.0)) t) (* (* n 2.0) U))) (sqrt (* (+ (- (* (- U* U) (* n (pow (/ l Om) (/ (* 2 2.0) 2)))) (* (* (/ l Om) l) 2.0)) t) (* (* n 2.0) U)))))
652.0ms	(sqrt (* (* (cbrt (* (+ (- (* (- U* U) (* n (pow (/ l Om) (/ (* 2 2.0) 2)))) (* (* (/ l Om) l) 2.0)) t) (* (* n 2.0) U))) (cbrt (* (+ (- (* (- U* U) (* n (pow (/ l Om) (/ (* 2 2.0) 2)))) (* (* (/ l Om) l) 2.0)) t) (* (* n 2.0) U)))) (cbrt (* (+ (- (* (- U* U) (* n (pow (/ l Om) (/ (* 2 2.0) 2)))) (* (* (/ l Om) l) 2.0)) t) (* (* n 2.0) U)))))

Rules

501×	pow1
265×	add-sqr-sqrt
237×	*-un-lft-identity
236×	add-exp-log
230×	pow-prod-down sqrt-pow1
193×	add-cube-cbrt
141×	add-cbrt-cube
106×	associate-*l/
102×	sqrt-prod
94×	prod-exp
87×	add-log-exp
69×	log-prod
60×	cbrt-div associate-*r*
55×	unpow-prod-down
54×	sqrt-div
47×	cbrt-prod
44×	flip3-+ flip-+
42×	pow1/2
37×	pow-prod-up
35×	times-frac
34×	cbrt-unprod
33×	log-pow
32×	frac-times
30×	pow-exp
28×	associate-*l*
27×	pow-unpow
26×	pow1/3
24×	exp-prod associate-*r/
23×	pow-sqr distribute-lft-in distribute-rgt-in
20×	difference-of-squares distribute-lft-out--
17×	pow-to-exp pow-pow
13×	rem-sqrt-square
12×	div-exp exp-sum
10×	unswap-sqr *-commutative
8×	unpow-prod-up sqr-pow pow-plus sub-neg
7×	rem-log-exp
6×	flip3-- flip-- swap-sqr
5×	associate-/r* acos-asin associate-/l*
4×	pow2 sqrt-pow2 pow-sub
3×	rem-exp-log
2×	associate-/l/ distribute-lft-out associate-/r/ div-inv
1×	exp-diff div-sub cbrt-undiv frac-2neg pow3 clear-num log-div