Details

rewrite1.9s (0.6%)

Algorithm

30×	rewrite-expression-head

Calls

96 calls:

410.0ms	(sqrt (* 2 (* (sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (sqrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
239.0ms	(sqrt (* 2 (* (* (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))) (* (cbrt U) (cbrt (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
203.0ms	(sqrt (* 2 (* (* (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))) (cbrt (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))))
64.0ms	(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))
53.0ms	(* (cbrt (pow (atan2 b b) (* (- b a) 1/2))) (cbrt (pow (atan2 b b) (* (- b a) 1/2))))

Rules

372×	associate-*r/
322×	add-sqr-sqrt
252×	*-un-lft-identity
240×	pow1
216×	add-cube-cbrt
209×	cbrt-prod
179×	add-exp-log
161×	add-cbrt-cube
120×	cbrt-div unpow-prod-down
100×	add-log-exp
96×	insert-posit16
78×	sqrt-div associate-*l*
77×	flip3-- flip--
66×	pow-prod-down sqrt-prod
64×	frac-times
52×	unpow-prod-up
47×	sqrt-pow1
46×	distribute-lft-in distribute-rgt-in
44×	associate-*r*
43×	times-frac
42×	prod-exp sqr-pow
41×	unswap-sqr
40×	sub-neg
38×	cbrt-unprod
32×	associate-*l/ pow-unpow
31×	pow1/3
28×	swap-sqr pow-pow
22×	pow1/2
18×	distribute-lft-out-- difference-of-squares
16×	log-pow
12×	exp-prod log-prod *-commutative
10×	pow-to-exp pow-exp
6×	rem-sqrt-square sqrt-pow2 pow-sub
5×	div-exp cbrt-undiv associate-/r* associate-/l*
4×	rem-log-exp pow-prod-up pow-sqr
3×	div-inv
2×	sinh-def associate-/l/ flip3-+ sum-log pow2 associate-/r/ pow-plus acos-asin +-commutative flip-+
1×	div-sub frac-2neg clear-num