Details

rewrite1.5s (1.4%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

155.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
153.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
153.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
120.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
117.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

361×	add-sqr-sqrt
293×	*-un-lft-identity
259×	add-cube-cbrt
219×	pow1
192×	add-exp-log
148×	cbrt-prod
138×	add-cbrt-cube
108×	unpow-prod-down
104×	associate-*r* add-log-exp
93×	times-frac
83×	sqrt-prod
72×	associate-*r/
52×	pow-prod-down
51×	log-prod
47×	prod-exp
44×	pow-unpow
42×	sqrt-pow1
38×	flip-- flip3--
34×	associate-*l*
32×	pow1/3
30×	sqrt-div unswap-sqr
28×	frac-sub
27×	cbrt-unprod
23×	pow1/2
22×	sqr-pow
21×	pow-exp
19×	pow-pow log-pow
17×	difference-of-squares distribute-lft-out--
16×	cube-prod sub-neg pow-to-exp
15×	unpow-prod-up
12×	*-commutative swap-sqr rem-sqrt-square
11×	rem-log-exp
10×	distribute-rgt-in exp-prod distribute-lft-in
9×	div-inv
8×	associate--l+ associate-/r*
6×	sum-log associate-/l* div-exp pow-sub
5×	cbrt-div
4×	unpow3 cube-mult pow-sqr sqrt-pow2 pow-prod-up
3×	cbrt-undiv exp-sum
2×	associate-/l/ sinh-def associate-+r+ pow-plus +-commutative flip3-+ acos-asin flip-+ log-div associate-/r/ clear-num frac-2neg e-exp-1 pow2
1×	rem-cube-cbrt rem-exp-log div-sub