Details

rewrite7.6s (3.6%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

901.0ms	(* (* U 2) (* n (- t (+ (/ (* (* (* n (/ l Om)) l) (- U U*)) Om) (* (* (/ l Om) 2) l)))))
853.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))))
839.0ms	(* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l)))))
815.0ms	(* (* (* U 2) n) (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))
812.0ms	(pow (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))) 1/2)

Rules

528×	add-sqr-sqrt
377×	add-exp-log
332×	sqrt-prod
325×	unpow-prod-down
316×	add-cbrt-cube
314×	pow1
289×	*-un-lft-identity
247×	add-cube-cbrt
167×	prod-exp
151×	associate-*r*
129×	cbrt-unprod
128×	log-prod
124×	unswap-sqr
107×	pow-prod-down
98×	add-log-exp
95×	associate-*l*
93×	insert-posit16
83×	exp-sum
72×	associate-*r/
69×	sqr-pow
58×	times-frac
52×	unpow-prod-up
48×	sub-neg
46×	swap-sqr
38×	distribute-lft-in distribute-rgt-in
35×	frac-times pow-exp
32×	pow-unpow
30×	sqrt-pow1 associate-*l/
28×	pow-pow
27×	pow-to-exp
26×	div-exp cbrt-undiv
24×	flip3-- flip--
22×	pow-sub
21×	distribute-lft-out-- difference-of-squares *-commutative
20×	exp-prod log-pow
18×	pow1/2
14×	pow-prod-up
12×	pow-plus
11×	rem-log-exp
10×	rem-sqrt-square
8×	associate-/r*
7×	associate-/l/
6×	pow2 associate-/l* log-div pow-sqr
5×	cbrt-prod div-inv
4×	exp-diff sqrt-div sqrt-pow2
2×	sum-log sinh-def rem-exp-log frac-2neg unpow1/2 associate-/r/ pow3 acos-asin clear-num +-commutative flip-+ flip3-+
1×	div-sub pow1/3 e-exp-1