Details

rewrite5.4s (1.6%)

Algorithm

25×	rewrite-expression-head

Calls

80 calls:

3.2s	(sqrt (* (* (* 2.0 n) (* U (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (* 2 (/ 2.0 2)))) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (* 2 (/ 2.0 2)))) (- U U*))))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))))
296.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
224.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
188.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
185.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

1388×	associate-*r/
914×	cbrt-div
785×	flip-- flip3--
624×	frac-sub
542×	frac-times
360×	sqrt-div
277×	add-sqr-sqrt
264×	add-exp-log
219×	*-un-lft-identity
198×	pow1
189×	add-cube-cbrt
145×	add-cbrt-cube
125×	cbrt-prod
116×	prod-exp
108×	associate-*r*
94×	add-log-exp
92×	associate-*l/
65×	pow-prod-down
55×	unpow-prod-down
48×	times-frac
40×	sqrt-pow1
39×	cbrt-unprod
36×	associate-*l*
31×	pow1/3 pow-exp
30×	unswap-sqr
25×	sqrt-prod
24×	log-pow log-prod
18×	distribute-rgt-in pow-to-exp distribute-lft-in sub-neg
16×	sinh-def div-exp
15×	difference-of-squares distribute-lft-out--
14×	*-commutative
13×	sqr-pow
12×	swap-sqr exp-prod associate--l+
10×	pow1/2
8×	cube-prod sum-log associate-/r*
6×	associate-/l*
4×	+-commutative flip-+ flip3-+ pow-prod-up div-inv rem-log-exp pow-sqr
3×	cbrt-undiv pow-unpow
2×	associate-/l/ cube-mult pow-pow unpow3 pow-plus acos-asin associate-+r+ rem-sqrt-square associate-/r/ clear-num frac-2neg pow2
1×	div-sub