Details

sample101.0ms

Algorithm

intervals

Results

37.0ms	130×	body	160	valid
18.0ms	126×	body	80	valid

simplify32.0ms

Counts: 1 → 1

prune31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.5b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
0.1b	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
0.4b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
14.4b	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt` `associate-l`
20×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
14×	`add-exp-log` `add-cbrt-cube`
8×	`pow1` `add-log-exp`
7×	`flip3-+` `flip-+`
6×	`associate-r`
4×	`frac-times` `associate-*r/` `prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`cbrt-undiv` `associate-+r+` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv`
1×	`+-commutative` `sub-neg` `flip3--` `diff-log` `sum-log` `flip--`

Counts

4 → 105

Calls

4 calls:

48.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
54.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
15.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
12.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series2.5s

Counts

4 → 12

Calls

4 calls:

161.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
580.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
438.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.3s	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify85.0ms

Counts: 117 → 117

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 14.4b

localize60.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))
0.4b	(+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
14.4b	(log (exp (- 1.0 (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))))))
14.4b	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite760.0ms

Algorithm

rewrite-expression-head

Rules

543×	`frac-add`
310×	`frac-times` `associate-*r/`
46×	`flip3-+` `associate-*l/` `flip-+`
19×	`add-sqr-sqrt`
15×	`associate-l`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`times-frac`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`pow1`
5×	`log-prod`
4×	`log-pow`
3×	`exp-prod` `associate-r`
2×	`distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in` `exp-sum` `prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `log-div` `flip3--` `exp-diff` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `sum-log` `*-commutative` `flip--` `div-inv`

Counts

4 → 260

Calls

4 calls:

534.0ms	(* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))
170.0ms	(+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
12.0ms	(log (exp (- 1.0 (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))))))
15.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))))

series3.6s

Counts

4 → 12

Calls

4 calls:

578.0ms	(* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))
504.0ms	(+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
1.3s	(log (exp (- 1.0 (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))))))
1.2s	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify528.0ms

Counts: 272 → 272

prune3.9s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 14.4b

localize587.0ms

Local error

Found 4 expressions with local error:

0.4b	(+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
0.5b	(* (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) (+ (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 1.0))
0.8b	(pow (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
13.8b	(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 3))

rewrite7.4s

Algorithm

rewrite-expression-head

Rules

4535×	`frac-times`
4525×	`frac-add`
2817×	`associate-*r/`
1251×	`associate-*l/`
748×	`flip3-+` `flip-+`
500×	`exp-neg`
496×	`neg-sub0` `exp-diff`
372×	`cube-div`
28×	`add-cbrt-cube`
22×	`add-exp-log`
19×	`pow1`
16×	`add-sqr-sqrt`
14×	`prod-exp` `cbrt-unprod`
9×	`pow-prod-down`
8×	`*-un-lft-identity` `add-log-exp` `difference-of-squares`
7×	`sqr-pow`
6×	`add-cube-cbrt`
4×	`pow-exp` `un-div-inv` `rem-cube-cbrt`
3×	`unpow-prod-down` `pow-unpow` `pow-pow` `cube-prod` `associate-r`
2×	`cbrt-undiv` `distribute-rgt-in` `associate-+r+` `distribute-lft-in` `div-exp`
1×	`difference-cubes` `+-commutative` `cube-mult` `pow-to-exp` `sub-neg` `flip3--` `diff-log` `unpow3` `associate-l` `sum-log` `*-commutative` `flip--` `distribute-lft-out--`

Counts

4 → 1636

Calls

4 calls:

127.0ms	(+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
5.9s	(* (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) (+ (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 1.0))
846.0ms	(pow (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
22.0ms	(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 3))

series8.6s

Counts

4 → 12

Calls

4 calls:

462.0ms	(+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
2.4s	(* (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) (+ (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 1.0))
897.0ms	(pow (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
4.8s	(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (- (* (fabs x) (fabs x))))) 3))

simplify5.6s

Counts: 1648 → 1648

prune43.6s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.5b

localize175.0ms

Local error

Found 4 expressions with local error:

0.5b	(- (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
0.5b	(- (* (/ 2295300911148351.0 9007199254740992.0) (/ 2295300911148351.0 9007199254740992.0)) (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))
0.5b	(* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
13.8b	(- (pow 1.0 3) (/ (pow (* (* 1.0 (- (* (/ 2295300911148351.0 9007199254740992.0) (/ 2295300911148351.0 9007199254740992.0)) (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))) (exp 0)) 3) (pow (* (* (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x))) (- (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (* (fabs x) (fabs x)))) 3)))

rewrite14.5s

Algorithm

rewrite-expression-head

Rules

58682×	`frac-add`
57446×	`frac-times`
43758×	`associate-*r/`
11050×	`associate-*l/`
10856×	`frac-sub`
6734×	`flip3-+` `flip-+`
43×	`pow1`
40×	`add-exp-log` `add-cbrt-cube`
39×	`add-sqr-sqrt`
21×	`prod-exp` `cbrt-unprod` `difference-of-squares` `sqr-pow`
17×	`pow-prod-down`
16×	`times-frac`
10×	`add-log-exp`
9×	`distribute-rgt-in` `distribute-lft-in`
6×	`cbrt-undiv` `*-un-lft-identity` `div-exp` `associate--r+`
5×	`unpow-prod-down` `cube-prod`
4×	`add-cube-cbrt` `pow-sqr` `pow-prod-up`
3×	`sub-neg` `flip3--` `diff-log` `flip--`
2×	`pow-plus`
1×	`pow2` `swap-sqr` `associate-r` `associate-l` `*-commutative` `distribute-lft-out--`

Counts

4 → 14567

Calls

4 calls:

311.0ms	(- (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
2.4s	(- (* (/ 2295300911148351.0 9007199254740992.0) (/ 2295300911148351.0 9007199254740992.0)) (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))
1.6s	(* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
4.3s	(- (pow 1.0 3) (/ (pow (* (* 1.0 (- (* (/ 2295300911148351.0 9007199254740992.0) (/ 2295300911148351.0 9007199254740992.0)) (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))) (exp 0)) 3) (pow (* (* (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x))) (- (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (* (fabs x) (fabs x)))) 3)))

series28.2s

Counts

4 → 12

Calls

4 calls:

324.0ms	(- (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
731.0ms	(- (* (/ 2295300911148351.0 9007199254740992.0) (/ 2295300911148351.0 9007199254740992.0)) (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))
381.0ms	(* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))
26.8s	(- (pow 1.0 3) (/ (pow (* (* 1.0 (- (* (/ 2295300911148351.0 9007199254740992.0) (/ 2295300911148351.0 9007199254740992.0)) (* (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0))))))))))) (exp 0)) 3) (pow (* (* (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x))) (- (/ 2295300911148351.0 9007199254740992.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -5125037576950889.0 18014398509481984.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ 6401478394306903.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (+ (/ -6544414927309881.0 4503599627370496.0) (* (/ 1.0 (+ 1.0 (* (/ 1475339155889891.0 4503599627370496.0) (fabs x)))) (/ 4780145094533421.0 4503599627370496.0)))))))))) (exp (* (fabs x) (fabs x)))) 3)))

simplify34.2s

Counts: 14579 → 14579

prune6.9m

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.4b

regimes412.0ms

Accuracy

0.1% (0.0b remaining)

Error of 13.0b against oracle of 13.0b and baseline of 13.0b

bsearch0.0ms

simplify35.0ms

end0.0ms

sample1.8s

Algorithm

intervals

Results

823.0ms	3951×	body	160	valid
792.0ms	4049×	body	80	valid