Details

Algorithm

12×

intervals

Results

Calls

48 calls:

Slowest

11.0s	(sqrt (* (* U (* 2 n)) (- t (fma (/ l Om) (* 2 l) (+ (* (/ l Om) (* (* (/ l Om) (fma (* (cbrt U) (cbrt U)) (cbrt U) (- U))) n)) ( (* n (/ l Om)) (* (/ l Om) (fma (- U) 1 U))))))))
3.7s	(* (* U (* 2 n)) (- t (fma (/ l Om) (* 2 l) (+ (* (/ l Om) (* (* (/ l Om) (fma (* (cbrt U) (cbrt U)) (cbrt U) (- U))) n)) ( (* n (/ l Om)) (* (/ l Om) (fma (- U) 1 U)))))))
2.0s	(sqrt (* U (* (* 2 n) (- t (fma (/ l Om) (* 2 l) (* n (* (* (/ l Om) (/ l Om)) (- U U*))))))))
1.8s	(sqrt (* (* U (* 2 n)) (- t (fma (/ l Om) (* 2 l) (* n (* (* (/ l Om) (/ l Om)) (- U U*)))))))
1.4s	(sqrt (* (* U (* 2 n)) (- t (fma (/ l Om) (* 2 l) (* n (* (/ l Om) (* (/ l Om) (- U U*))))))))

Accuracy

Total 11.0b remaining (5.9%)

Threshold costs 0.6b (0.3%)

Algorithm

17×	rewrite-expression-head

Calls

48 calls:

Slowest

Rules

338×	`add-sqr-sqrt`
331×	`distribute-lft-in` `distribute-rgt-in`
324×	`*-un-lft-identity`
288×	`add-cube-cbrt` `prod-diff`
232×	`add-exp-log`
230×	`add-cbrt-cube`
213×	`pow1`
104×	`cbrt-unprod` `prod-exp`
84×	`associate-*r/`
83×	`pow-prod-down`
48×	`add-log-exp` `expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
47×	`frac-times`
46×	`associate-l` `associate-r`
45×	`times-frac`
32×	`flip3--` `flip--` `sub-neg`
31×	`associate-*l/`
25×	`div-exp` `cbrt-undiv`
18×	`difference-of-squares` `distribute-lft-out--`
16×	`sqrt-pow1`
15×	`log-prod`
14×	`*-commutative`
12×	`pow-prod-up` `pow-plus`
11×	`log-pow`
10×	`exp-prod`
8×	`sqrt-div` `unswap-sqr`
5×	`associate-/l` `associate-/r`
4×	`rem-log-exp` `pow1/2` `pow2` `fma-udef` `sqrt-prod` `pow-sqr`
3×	`exp-sum` `div-inv`
2×	`sinh-def` `associate-/l/` `pow3` `associate-/r/` `acos-asin`
1×	`div-sub` `frac-2neg` `rem-exp-log` `clear-num`