Details

rewrite7.4s (3.0%)

Algorithm

27×	rewrite-expression-head

Calls

89 calls:

867.0ms	(* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l)))))
846.0ms	(cbrt (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))))
806.0ms	(cbrt (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))))
757.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))))
747.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))))

Rules

441×	add-sqr-sqrt
291×	pow1
284×	add-exp-log
278×	sqrt-prod *-un-lft-identity
240×	add-cube-cbrt
213×	unpow-prod-down
195×	add-cbrt-cube
176×	associate-*r/
135×	prod-exp
111×	associate-*r*
89×	add-log-exp insert-posit16
86×	pow-prod-down
83×	associate-*l*
75×	times-frac
74×	sqrt-pow1
71×	unswap-sqr
65×	cbrt-unprod
60×	cbrt-div
56×	swap-sqr
46×	frac-times
45×	pow-to-exp pow-exp
44×	flip3-- flip--
38×	cbrt-prod
36×	unpow-prod-up
35×	sqr-pow
34×	sqrt-div pow1/2
30×	sub-neg
29×	pow1/3
26×	associate-*l/
25×	pow-unpow pow-sub
23×	pow-pow
20×	pow-prod-up rem-sqrt-square distribute-rgt-in distribute-lft-in
19×	difference-of-squares distribute-lft-out--
16×	*-commutative
14×	pow-plus
11×	div-exp cbrt-undiv
10×	pow-sqr
8×	log-pow pow2
6×	log-prod exp-prod div-inv
5×	associate-/r* sqrt-pow2 associate-/l*
3×	pow3
2×	rem-log-exp associate-/l/ associate-/r/ acos-asin
1×	div-sub frac-2neg clear-num rem-cbrt-cube