Details

rewrite2.4s (2.2%)

Algorithm

31×	rewrite-expression-head

Calls

102 calls:

448.0ms	(* (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) 1) (/ 2.0 2))) (pow (/ (cbrt l) Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
283.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) 1) (/ 2.0 2))) (pow (/ (cbrt l) Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
201.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) 1) (/ 2.0 2))) (pow (/ (cbrt l) Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
183.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*))))
146.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))

Rules

1067×	add-exp-log
710×	prod-exp
447×	add-sqr-sqrt
383×	*-un-lft-identity
333×	add-cube-cbrt
279×	pow-exp
257×	pow1
191×	add-cbrt-cube
169×	div-exp
138×	prod-diff
118×	sqrt-prod
117×	unpow-prod-down
116×	associate-*r*
113×	pow-to-exp
106×	log1p-expm1-u
103×	add-log-exp
102×	expm1-log1p-u
101×	cbrt-prod
88×	associate-*r/
76×	times-frac
73×	distribute-rgt-in distribute-lft-in
66×	sqrt-pow1
57×	pow-prod-down
52×	cbrt-unprod
51×	flip-- flip3--
44×	unpow-prod-up pow1/2
40×	1-exp associate--l+
33×	exp-prod
32×	sqrt-div frac-sub
30×	log-prod
29×	pow-unpow associate-*l*
28×	log-pow
26×	sub-neg
25×	difference-of-squares distribute-lft-out--
20×	sinh-def cube-prod unswap-sqr
19×	pow-pow
17×	sqr-pow
16×	swap-sqr rem-sqrt-square
14×	cbrt-div pow1/3
13×	*-commutative
10×	pow-prod-up
8×	associate-/r*
7×	rem-log-exp
6×	cube-mult pow-sqr unpow3 div-inv associate-/l* expm1-udef
4×	expm1-log1p sqrt-pow2 pow-sub cube-div
3×	cbrt-undiv rem-cube-cbrt exp-sum
2×	associate-/l/ rem-square-sqrt associate-*l/ pow-plus acos-asin rem-exp-log sqrt-unprod associate-/r/ pow2 rem-cbrt-cube clear-num frac-2neg sin-diff frac-times
1×	div-sub