Details

rewrite4.4s (1.4%)

Algorithm

33×	rewrite-expression-head

Calls

105 calls:

942.0ms	(* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
501.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
356.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
303.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*))))
250.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))

Rules

649×	add-sqr-sqrt
540×	add-exp-log
478×	*-un-lft-identity
436×	add-cube-cbrt
311×	prod-exp
301×	unpow-prod-down
262×	sqrt-prod
252×	prod-diff
237×	pow1
197×	add-cbrt-cube
195×	cbrt-prod
142×	unpow-prod-up
129×	associate-*r*
110×	log1p-expm1-u add-log-exp
105×	expm1-log1p-u
95×	distribute-rgt-in distribute-lft-in
94×	associate-*r/
90×	pow-exp
82×	associate-*l*
77×	unswap-sqr
70×	swap-sqr
62×	cbrt-unprod
58×	pow-to-exp
56×	pow-prod-down
53×	sqr-pow
51×	flip-- flip3--
48×	pow-unpow times-frac
45×	associate--l+
44×	sub-neg sqrt-pow1
36×	frac-sub
35×	div-exp
29×	pow-pow
28×	pow1/2
27×	cube-prod
26×	sqrt-div
23×	pow1/3
22×	associate--r+
20×	difference-of-squares distribute-lft-out--
18×	rem-sqrt-square
14×	*-commutative
12×	log-pow pow-sub
10×	cosh-def
9×	exp-prod
8×	associate-/r*
7×	unpow3 cube-mult
6×	expm1-udef acos-asin associate-/l* cbrt-div log-prod sinh-def
5×	expm1-log1p pow-prod-up cube-div
4×	pow-sqr sqrt-pow2 rem-cube-cbrt log1p-udef div-inv log1p-expm1
3×	cbrt-undiv fma-neg diff-log pow2
2×	associate-/l/ associate-*l/ pow-plus associate-/r/ clear-num frac-2neg frac-times rem-log-exp
1×	exp-diff log-div distribute-lft-out div-sub associate--l- rem-cbrt-cube sin-diff unpow2