Details

rewrite4.7s (0.3%)

Algorithm

31×	rewrite-expression-head

Calls

97 calls:

923.0ms	(* (* (* (* (cbrt n) (cbrt n)) (* (cbrt n) (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
557.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*))))
400.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*)))))
323.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*))))
256.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

557×	add-exp-log
526×	add-sqr-sqrt
335×	*-un-lft-identity
329×	unpow-prod-down
324×	prod-exp
287×	add-cube-cbrt
262×	sqrt-prod
235×	pow1
199×	add-cbrt-cube
177×	cbrt-prod
154×	associate-*r*
107×	add-log-exp
96×	associate-*r/
95×	pow-exp
92×	unswap-sqr
81×	associate-*l*
67×	cbrt-unprod
63×	pow-to-exp
62×	sqr-pow
57×	pow-prod-down
55×	sub-neg
54×	flip-- flip3--
52×	swap-sqr
48×	pow-unpow times-frac
47×	sqrt-pow1
42×	unpow-prod-up
38×	pow-pow
36×	frac-sub
35×	div-exp
34×	distribute-rgt-in distribute-lft-in
27×	pow1/2
26×	sqrt-div
24×	difference-of-squares distribute-lft-out--
23×	cube-prod
20×	log-pow
19×	*-commutative pow1/3
18×	associate--l+ log-prod
14×	exp-prod
13×	pow-sub
10×	rem-sqrt-square cosh-def
8×	associate-/r*
7×	unpow3 cube-mult sqrt-pow2 exp-sum
6×	associate-/l* acos-asin cbrt-div
5×	diff-log pow-prod-up cube-div
4×	pow-sqr associate--r+ div-inv rem-log-exp
3×	cbrt-undiv pow2
2×	associate-/l/ sinh-def pow-plus associate-*l/ rem-cube-cbrt rem-exp-log associate-/r/ clear-num frac-2neg frac-times
1×	exp-diff log-div div-sub associate--l- exp-to-pow rem-cbrt-cube unpow2