Details

rewrite7.9s (3.7%)

Algorithm

23×	rewrite-expression-head

Calls

65 calls:

3.3s	(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (+ (* (* n (/ l Om)) (* (/ l Om) (- U U*))) (* (* (/ l Om) 2) l)))) (cbrt (- t (+ (* (* n (/ l Om)) (* (/ l Om) (- U U*))) (* (* (/ l Om) 2) l)))))) (cbrt (- t (+ (* (* n (/ l Om)) (* (/ l Om) (- U U*))) (* (* (/ l Om) 2) l))))))
943.0ms	(* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l)))))
909.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))))
909.0ms	(* (* (* U 2) n) (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))
559.0ms	(* (* (* U 2) n) (- t (+ (* (* n (/ l Om)) (* (/ l Om) (- U U*))) (* (* (/ l Om) 2) l))))

Rules

210×	add-sqr-sqrt
194×	pow1
184×	*-un-lft-identity
175×	add-cbrt-cube add-exp-log
144×	add-cube-cbrt
78×	pow-prod-down
75×	associate-*r/
69×	cbrt-prod
65×	add-log-exp insert-posit16 associate-*r* times-frac
62×	cbrt-unprod prod-exp
60×	cbrt-div
48×	frac-times flip3-- flip--
32×	sqrt-div
27×	sqrt-pow1 associate-*l* associate-*l/
22×	sqrt-prod
20×	difference-of-squares distribute-lft-out--
18×	distribute-rgt-in distribute-lft-in
17×	pow1/3
15×	div-exp cbrt-undiv
14×	exp-prod log-pow sub-neg
13×	log-prod
10×	pow1/2
9×	*-commutative
8×	unswap-sqr
6×	rem-sqrt-square
5×	associate-/r* div-inv associate-/l*
4×	exp-sum acos-asin
3×	rem-log-exp
2×	associate-/r/ associate-/l/
1×	exp-diff div-sub frac-2neg rem-exp-log clear-num log-div