Details

Algorithm

21×

intervals

Results

Calls

93 calls:

7.2s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
7.1s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
6.9s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
5.3s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))))
2.2s	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))

Accuracy

Total 13.3b remaining (6%)

Threshold costs 0.6b (0.3%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

Rules

397×	`add-exp-log`
334×	`pow1`
305×	`add-sqr-sqrt`
253×	`*-un-lft-identity`
224×	`add-cbrt-cube`
209×	`add-cube-cbrt`
198×	`prod-exp`
124×	`associate-*r/`
103×	`add-log-exp`
96×	`pow-prod-down`
88×	`sqrt-prod`
84×	`cbrt-unprod` `unpow-prod-down` `associate-r`
60×	`sinh-def`
56×	`associate-l` `flip3--` `flip--`
51×	`cbrt-prod`
50×	`pow-exp`
48×	`sqrt-pow1` `times-frac`
40×	`sub-neg` `frac-sub`
35×	`distribute-rgt-in` `distribute-lft-in`
32×	`pow-unpow`
29×	`pow-to-exp`
28×	`pow1/2` `pow-pow`
25×	`pow-prod-up`
24×	`unswap-sqr` `div-exp` `pow1/3` `sqrt-div`
22×	`difference-of-squares` `frac-times` `distribute-lft-out--` `associate-*l/`
21×	`pow-plus` `*-commutative`
20×	`associate--l+`
14×	`cbrt-div` `rem-sqrt-square`
12×	`unpow-prod-up` `associate--r+` `log-pow` `sqr-pow` `swap-sqr`
11×	`pow-sqr`
9×	`exp-prod` `pow2` `log-prod`
8×	`associate-/r*`
6×	`pow-sub` `sqrt-pow2` `diff-log` `associate-/l*`
5×	`pow3`
4×	`acos-asin` `div-inv`
3×	`rem-log-exp` `cbrt-undiv`
2×	`associate--l-` `associate-/l/` `frac-2neg` `associate-/r/` `clear-num` `rem-cbrt-cube`
1×	`exp-diff` `div-sub` `flip3-+` `log-div` `flip-+` `cosh-def`