Details

rewrite2.6s (1.0%)

Algorithm

29×	rewrite-expression-head

Calls

100 calls:

448.0ms	(sqrt (* 2 (* U (* (* (cbrt n) (cbrt n)) (* (cbrt n) (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))))
206.0ms	(* U (* (* (cbrt n) (cbrt n)) (* (cbrt n) (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
110.0ms	(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))
97.0ms	(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))
91.0ms	(* (* (cbrt n) (cbrt n)) (* (cbrt n) (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))

Rules

445×	add-sqr-sqrt
305×	*-un-lft-identity
294×	pow1
276×	add-exp-log
269×	add-cube-cbrt
232×	add-cbrt-cube
215×	sqrt-prod
200×	unpow-prod-down
126×	associate-*l*
110×	add-log-exp pow-prod-down
100×	prod-exp insert-posit16
93×	cbrt-prod
82×	distribute-lft-in distribute-rgt-in
80×	cbrt-unprod
79×	associate-*r/
68×	associate-*r*
67×	times-frac
64×	unswap-sqr
61×	sqrt-pow1
56×	sub-neg
54×	swap-sqr
51×	exp-prod
38×	sqr-pow
36×	unpow-prod-up
30×	pow-unpow
23×	pow1/2
21×	flip3-- flip--
20×	log-pow pow-to-exp pow-exp
19×	pow1/3 *-commutative
18×	distribute-lft-out-- difference-of-squares
16×	pow-pow
15×	log-prod
14×	pow-sub
13×	div-exp cbrt-undiv
10×	sqrt-div pow-prod-up frac-times
8×	pow-sqr associate-/r* associate-*l/
7×	div-inv
6×	rem-exp-log rem-sqrt-square associate-/l*
5×	rem-log-exp
4×	associate-/l/ sqrt-pow2
3×	pow2
2×	sinh-def flip3-+ frac-2neg sum-log associate-/r/ acos-asin clear-num +-commutative flip-+
1×	div-sub rem-square-sqrt pow-plus sqrt-unprod