Details

rewrite945.0ms (0.4%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

73.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (- t (* (* (/ l Om) l) 2.0)))))
64.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0))))
62.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* (* n (* (cbrt (pow (/ l Om) (/ 2.0 2))) (cbrt (pow (/ l Om) (/ 2.0 2))))) (cbrt (pow (/ l Om) (/ 2.0 2)))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0)))))
57.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (- t (* (* (/ l Om) l) 2.0))))
54.0ms	(* (cbrt (- b a)) (cbrt (- b a)))

Rules

413×	add-sqr-sqrt
378×	*-un-lft-identity
290×	add-cube-cbrt
221×	pow1
175×	cbrt-prod
158×	add-exp-log
138×	times-frac
132×	unpow-prod-down
126×	add-cbrt-cube
109×	sqrt-prod
87×	log1p-expm1-u
86×	add-log-exp expm1-log1p-u
80×	associate-*r*
66×	unpow-prod-up
64×	cbrt-div
58×	sqrt-pow1
54×	prod-diff
53×	pow-prod-down
37×	pow1/2
35×	prod-exp
34×	associate-*l*
32×	distribute-lft-out--
30×	pow-unpow
28×	difference-of-squares flip3-- flip-- swap-sqr
26×	cbrt-unprod pow-pow
24×	frac-times unswap-sqr
19×	pow1/3 associate-/r*
18×	associate-/l/
15×	rem-sqrt-square sqr-pow
14×	flip-+ flip3-+
13×	associate-/l*
12×	pow-exp associate-*r/ associate-*l/
11×	fma-udef
10×	distribute-lft-out
9×	pow-to-exp pow-prod-up div-inv *-commutative
8×	log-pow
7×	pow-sqr
6×	div-exp sub-neg distribute-rgt-in associate-/r/ exp-prod pow-sub sqrt-pow2 distribute-lft-in log-prod
3×	expm1-udef cbrt-undiv frac-2neg pow2 pow-plus clear-num
2×	rem-log-exp acos-asin sin-diff
1×	expm1-log1p div-sub rem-square-sqrt sqrt-unprod