Details

rewrite1.2s (0.5%)

Algorithm

29×	rewrite-expression-head

Calls

92 calls:

410.0ms	(sqrt (* (* (* (* (cbrt (fma (* (pow (/ l Om) (* 2 (/ 2.0 2))) n) (- U* U) (fma l (* (/ l Om) (- 2.0)) t))) (cbrt (fma (* (pow (/ l Om) (* 2 (/ 2.0 2))) n) (- U* U) (fma l (* (/ l Om) (- 2.0)) t)))) U) (* n 2.0)) (cbrt (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (* (/ l Om) l) (- 2.0) t)))))
79.0ms	(* (* (* 2.0 n) U) (pow (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (* (/ l Om) l) (- 2.0) t)) 1))
75.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (* (/ l Om) l) (- 2.0) t)))
47.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (fma (* (/ l Om) l) (- 2.0) t)))
46.0ms	(sqrt (* (* (* 2.0 n) U) (pow (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (fma (* (/ l Om) l) (- 2.0) t)) 1)))

Rules

391×	add-sqr-sqrt
357×	*-un-lft-identity
305×	add-cube-cbrt
234×	pow1
206×	unpow-prod-down
187×	add-exp-log
159×	sqrt-prod
128×	add-cbrt-cube
113×	unpow-prod-up
112×	pow-unpow
93×	log1p-expm1-u
92×	add-log-exp expm1-log1p-u
90×	prod-diff
78×	sqrt-pow1
64×	associate-*r*
58×	pow-prod-down
55×	times-frac
53×	pow-pow cbrt-prod
42×	prod-exp
39×	log-prod
37×	log-pow
36×	pow-exp
34×	pow1/2
29×	sqr-pow
27×	pow-to-exp
26×	distribute-lft-out-- difference-of-squares
21×	cbrt-unprod
19×	exp-prod
13×	pow1/3
12×	associate-*l* unswap-sqr
10×	sub-neg rem-sqrt-square sqrt-pow2 pow-sub
9×	fma-udef
8×	cube-prod
7×	rem-log-exp
6×	*-commutative
5×	associate-/l* associate-/r*
4×	div-exp div-inv
3×	exp-sum
2×	sinh-def unpow3 associate-/l/ flip3-- flip-- associate-/r/ distribute-lft-in distribute-rgt-in acos-asin cube-mult e-exp-1
1×	rem-cube-cbrt expm1-udef div-sub expm1-log1p rem-exp-log cbrt-undiv frac-2neg clear-num