Details

rewrite4.8s (2.0%)

Algorithm

33×	rewrite-expression-head

Calls

114 calls:

841.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l))))))
807.0ms	(* (* U 2) (* n (- t (+ (* (* (* n (/ l Om)) (/ l Om)) (- U U*)) (* (* (/ l Om) 2) l)))))
489.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* n (/ l Om)) (* (* (cbrt (* (/ l Om) (- U U*))) (cbrt (* (/ l Om) (- U U*)))) (cbrt (* (/ l Om) (- U U*))))) (* (* (/ l Om) 2) l))))))
465.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* n (/ l Om)) (* (* (cbrt (* (/ l Om) (- U U*))) (cbrt (* (/ l Om) (- U U*)))) (cbrt (* (/ l Om) (- U U*))))) (* (* (/ l Om) 2) l))))))
440.0ms	(sqrt (* (* U 2) (* n (- t (+ (* (* n (/ l Om)) (* (/ l Om) (- U U*))) (* (* (/ l Om) 2) l))))))

Rules

403×	add-sqr-sqrt
397×	pow1
330×	*-un-lft-identity
278×	add-cube-cbrt
258×	add-exp-log
230×	add-cbrt-cube
159×	sqrt-prod
136×	unpow-prod-down
119×	add-log-exp
114×	insert-posit16
97×	pow-prod-down
86×	associate-*r*
75×	sqrt-pow1
74×	sinh-def prod-exp
73×	cbrt-prod
70×	cbrt-unprod
69×	associate-*r/
66×	associate-*l* pow-unpow
55×	times-frac
53×	cbrt-div
48×	pow-pow
45×	frac-times
39×	pow1/2
36×	associate-*l/
32×	pow-prod-up
31×	pow1/3
30×	unswap-sqr
29×	pow-plus
26×	distribute-lft-out-- difference-of-squares
25×	flip3-- flip--
24×	swap-sqr
22×	sub-neg
20×	distribute-rgt-in unpow-prod-up pow-exp distribute-lft-in
19×	*-commutative
18×	sqr-pow log-prod
16×	pow-to-exp rem-sqrt-square exp-prod pow-sqr
15×	log-pow
13×	pow2
10×	sqrt-div pow-sub sqrt-pow2
9×	div-exp cbrt-undiv
6×	pow3
5×	rem-log-exp associate-/l* associate-/r*
4×	div-inv
3×	exp-sum
2×	rem-exp-log associate-/l/ flip3-+ sum-log associate-/r/ acos-asin rem-cbrt-cube +-commutative flip-+
1×	div-sub frac-2neg clear-num