Details

Time bar (total: 3.1m)

sample166.0ms

Algorithm
intervals
Results
83.0ms113×body160valid
37.0ms143×body80valid

simplify1.7s

Counts
1 → 1

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.5b

localize58.0ms

Local error

Found 4 expressions with local error:

12.5b
(- 1 (/ (+ (/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (* (+ 1 (* (fabs x) 0.3275911)) (exp (* (fabs x) (fabs x))))))
0.4b
(+ (/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
0.2b
(/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911)))
0.2b
(/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))

rewrite10.0s

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
25×add-sqr-sqrt
24×times-frac
22×add-cube-cbrt
9×distribute-lft-out
8×add-cbrt-cube add-exp-log associate-/l* add-log-exp
6×associate-/r*
5×flip3-+ flip-+
4×pow1 associate-/r/ insert-posit16 associate-/l/
2×cbrt-undiv clear-num frac-2neg div-exp div-inv difference-of-squares
1×+-commutative sum-log sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 101
Calls
4 calls:
Slowest
6.1s
(- 1 (/ (+ (/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (* (+ 1 (* (fabs x) 0.3275911)) (exp (* (fabs x) (fabs x))))))
2.4s
(+ (/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
1.3s
(/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911)))
264.0ms
(/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
910.0ms
(- 1 (/ (+ (/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (* (+ 1 (* (fabs x) 0.3275911)) (exp (* (fabs x) (fabs x))))))
453.0ms
(+ (/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
395.0ms
(/ (+ (/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911)))
247.0ms
(/ (+ (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911))) 1.421413741) (+ 1 (* (fabs x) 0.3275911)))

simplify1.7s

Counts
113 → 113

prune1.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 12.4b

localize97.0ms

Local error

Found 4 expressions with local error:

12.5b
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
12.5b
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
0.4b
(+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
0.2b
(/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911)))

rewrite27.3s

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
35×*-un-lft-identity
24×times-frac
15×add-cube-cbrt
12×difference-of-squares
11×log-pow
10×exp-prod
8×add-log-exp
6×add-cbrt-cube add-exp-log
5×pow1 log-prod distribute-lft-out
4×insert-posit16 associate-/l*
3×associate-/r* flip3-+ flip-+
2×sub-neg exp-sum associate-/r/ distribute-lft-out-- associate-/l/
1×cbrt-undiv +-commutative log-div clear-num sum-log frac-2neg flip3-- exp-diff diff-log div-exp rem-log-exp div-inv flip--
Counts
4 → 95
Calls
4 calls:
Slowest
19.6s
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
5.7s
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
1.8s
(+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
245.0ms
(/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911)))

series2.5s

Counts
4 → 12
Calls
4 calls:
Slowest
966.0ms
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
891.0ms
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
361.0ms
(+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592)
261.0ms
(/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911)))

simplify1.8s

Counts
107 → 107

prune2.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 12.4b

localize108.0ms

Local error

Found 4 expressions with local error:

12.5b
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
12.5b
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
12.5b
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
12.5b
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))

rewrite1.1m

Algorithm
rewrite-expression-head
Rules
70×add-sqr-sqrt
33×log-pow
30×exp-prod *-un-lft-identity
24×times-frac difference-of-squares
15×log-prod
10×add-cube-cbrt
7×pow1
6×exp-sum add-log-exp
4×sub-neg add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out--
3×log-div exp-diff rem-log-exp
1×flip3-- diff-log flip--
Counts
4 → 98
Calls
4 calls:
Slowest
20.3s
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
20.2s
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
19.8s
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
4.9s
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))

series4.3s

Counts
4 → 12
Calls
4 calls:
Slowest
1.4s
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
983.0ms
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
949.0ms
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
948.0ms
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))

simplify2.2s

Counts
110 → 110

prune2.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 11.7b

localize211.0ms

Local error

Found 4 expressions with local error:

12.5b
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
12.5b
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
12.5b
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
12.5b
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))

rewrite49.5s

Algorithm
rewrite-expression-head
Rules
68×add-sqr-sqrt
28×*-un-lft-identity
24×times-frac difference-of-squares
22×log-pow
20×exp-prod
10×log-prod
8×add-cube-cbrt add-log-exp
6×pow1
4×sub-neg add-cbrt-cube exp-sum add-exp-log insert-posit16 distribute-lft-out--
2×log-div flip3-- exp-diff diff-log rem-log-exp flip--
Counts
4 → 92
Calls
4 calls:
Slowest
20.4s
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
20.0s
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
4.6s
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
4.5s
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))

series3.6s

Counts
4 → 12
Calls
4 calls:
Slowest
963.0ms
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
926.0ms
(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
886.0ms
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))
836.0ms
(- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))

simplify2.0s

Counts
104 → 104

prune3.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 11.0b

regimes178.0ms

Accuracy

0% (0.0b remaining)

Error of 12.0b against oracle of 11.9b and baseline of 12.0b

bsearch34.0ms

end0.0ms

sample3.5s

Algorithm
intervals
Results
2.3s3807×body160valid
1.1s4193×body80valid