Details

rewrite4.3s (1.4%)

Algorithm

32×	rewrite-expression-head

Calls

90 calls:

1.1s	(* (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) (* (cbrt Om) (cbrt Om))) (/ 2.0 2))) (pow (/ (cbrt l) (cbrt Om)) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
455.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) (* (cbrt Om) (cbrt Om))) (/ 2.0 2))) (pow (/ (cbrt l) (cbrt Om)) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
309.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) (* (cbrt Om) (cbrt Om))) (/ 2.0 2))) (pow (/ (cbrt l) (cbrt Om)) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
296.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
202.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

1028×	add-exp-log
682×	prod-exp
412×	add-sqr-sqrt
371×	*-un-lft-identity
331×	add-cube-cbrt
276×	pow1
242×	pow-exp
216×	prod-diff
176×	add-cbrt-cube
145×	div-exp
134×	distribute-rgt-in distribute-lft-in
111×	sqrt-pow1
99×	pow-to-exp
95×	add-log-exp
94×	associate-*r/
91×	log1p-expm1-u
90×	expm1-log1p-u
86×	cbrt-prod
84×	log-pow
83×	associate-*r*
73×	sqrt-prod
69×	unpow-prod-up
67×	pow-prod-down
61×	pow1/2
60×	unpow-prod-down
59×	log-prod
53×	flip-- flip3--
52×	cbrt-unprod
48×	times-frac
45×	associate--l+
36×	sub-neg frac-sub
31×	associate-*l*
24×	sqrt-div
23×	pow-prod-up
22×	associate--r+
20×	difference-of-squares distribute-lft-out--
19×	exp-prod
16×	pow-unpow
14×	unswap-sqr
13×	*-commutative rem-log-exp pow-sqr
10×	sqr-pow
9×	pow-pow pow1/3 rem-sqrt-square
8×	swap-sqr associate-/r*
6×	associate-/l* fma-udef
4×	div-inv sinh-def
3×	cbrt-undiv pow-plus acos-asin exp-sum fma-neg diff-log pow2
2×	associate-/l/ associate-*l/ sqrt-pow2 associate-/r/ clear-num frac-2neg expm1-udef pow-sub
1×	expm1-log1p rem-exp-log rem-square-sqrt div-sub e-exp-1 sqrt-unprod associate--l- sin-diff unpow2