Details

rewrite2.3s (2.1%)

Algorithm

31×	rewrite-expression-head

Calls

102 calls:

439.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*))
274.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* (* 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*))))
180.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* (* 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*)))))
177.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*))))
142.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))

Rules

1067×	add-exp-log
710×	prod-exp
372×	add-sqr-sqrt
308×	*-un-lft-identity
279×	pow-exp
258×	add-cube-cbrt
257×	pow1
191×	add-cbrt-cube
169×	div-exp
118×	sqrt-prod
117×	unpow-prod-down
116×	associate-*r*
113×	pow-to-exp
104×	cbrt-prod
103×	add-log-exp
88×	associate-*r/
76×	times-frac
66×	sqrt-pow1
57×	pow-prod-down
52×	cbrt-unprod
51×	flip-- flip3--
44×	pow1/2
40×	1-exp
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--
22×	distribute-rgt-in distribute-lft-in
20×	sinh-def cube-prod unswap-sqr
19×	pow-pow
17×	sqr-pow
16×	swap-sqr rem-sqrt-square associate--l+
15×	pow1/3
14×	cbrt-div
13×	*-commutative
10×	pow-prod-up
8×	unpow-prod-up associate-/r*
7×	rem-log-exp
6×	cube-mult pow-sqr unpow3 div-inv associate-/l*
4×	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/ rem-cbrt-cube clear-num frac-2neg frac-times pow2
1×	div-sub