Details

rewrite23.2s (9.5%)

Algorithm

21×	rewrite-expression-head

Calls

60 calls:

5.9s	(* n (- t (+ (* (* (* (* n (/ l Om)) (/ l Om)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*))) (* (* (/ l Om) 2) l))))
4.6s	(* (* U 2) (* n (- t (+ (* (* (* (* n (/ l Om)) (/ l Om)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*))) (* (* (/ l Om) 2) l)))))
4.4s	(sqrt (* (* U 2) (* n (- t (+ (* (* (* (* n (/ l Om)) (/ l Om)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*))) (* (* (/ l Om) 2) l))))))
1.3s	(* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))
968.0ms	(* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l)))))

Rules

210×	pow1
196×	add-sqr-sqrt
166×	*-un-lft-identity
153×	add-exp-log
147×	add-cbrt-cube
124×	add-cube-cbrt
81×	pow-prod-down
60×	add-log-exp insert-posit16
57×	associate-*r*
56×	associate-*r/
51×	cbrt-unprod prod-exp
45×	times-frac
41×	associate-*l*
38×	distribute-lft-in distribute-rgt-in
29×	sqrt-pow1
28×	sub-neg
22×	exp-prod
21×	difference-of-squares flip3-- flip-- distribute-lft-out--
20×	log-pow
17×	sqrt-prod
16×	log-prod cbrt-prod
13×	unswap-sqr
12×	pow1/3 unpow-prod-down *-commutative
11×	frac-times
10×	sqrt-div pow-unpow
9×	pow1/2
8×	div-exp cbrt-undiv
7×	associate-*l/
6×	swap-sqr pow-pow
5×	associate-/l* associate-/r*
4×	rem-log-exp pow-prod-up unpow-prod-up exp-sum pow-sqr
3×	div-inv
2×	sinh-def associate-/l/ pow2 associate-/r/ rem-exp-log rem-sqrt-square sqr-pow pow-plus acos-asin pow-to-exp sqrt-pow2 pow-sub pow-exp
1×	div-sub frac-2neg clear-num