Details

Time bar (total: 10.0s)

sample55.0ms

Algorithm
intervals
Results
21.0ms131×body160valid
14.0ms125×body80valid

simplify92.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08236
129236
296836
3449936
4500236

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.7b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.2b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.5b
(+ 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.6b
(- 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))))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
8×add-exp-log add-cbrt-cube add-log-exp
6×associate-/r* associate-/l*
4×pow1 associate-/r/
3×flip3-+ flip-+
2×cbrt-undiv associate-+r+ frac-2neg div-exp clear-num div-inv
1×+-commutative distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log sum-log flip--
Counts
4 → 83
Calls
4 calls:
5.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
5.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
3.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))))))))
3.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))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
34.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
303.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))))))))
824.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))))))

simplify65.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
04391858
120311698
250011695

prune449.0ms

Filtered
95 candidates to 76 candidates (80.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New87895
Fresh000
Picked101
Done000
Total88896

Merged error: 14.6b

Counts
96 → 8

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.5b
(+ 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
14.6b
(- 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
18.2b
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
27×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
15×unpow-prod-down cube-prod
8×add-log-exp
6×add-exp-log associate-/r/ add-cbrt-cube
4×pow1 flip3-+ flip-+
3×associate-/r* div-inv associate-/l*
2×associate-+r+
1×cbrt-undiv +-commutative cube-div distribute-rgt-in cube-mult sub-neg cbrt-div flip3-- frac-2neg distribute-lft-in pow1/3 diff-log unpow3 div-exp clear-num sum-log flip-- rem-cbrt-cube sqr-pow
Counts
4 → 100
Calls
4 calls:
5.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
3.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
3.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
7.0ms
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

series1.2s

Counts
4 → 12
Calls
4 calls:
35.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
310.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
843.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
30.0ms
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

simplify103.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
06792127
134101979
250011978

prune393.0ms

Filtered
112 candidates to 67 candidates (59.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1102112
Fresh077
Picked101
Done000
Total1119120

Merged error: 14.6b

Counts
120 → 9

localize29.0ms

Local error

Found 4 expressions with local error:

0.5b
(+ 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
1.3b
(exp (log (- 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))))
14.6b
(- 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
18.2b
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
21×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
15×unpow-prod-down cube-prod
8×add-log-exp
5×pow1
4×add-exp-log exp-prod associate-/r/ add-cbrt-cube
3×log-prod flip3-+ exp-sum flip-+
2×log-div associate-+r+ flip3-- exp-diff flip-- div-inv
1×+-commutative cube-div distribute-rgt-in cube-mult sub-neg cbrt-div distribute-lft-in pow1/3 diff-log unpow3 sum-log log-pow rem-cbrt-cube rem-exp-log sqr-pow
Counts
4 → 88
Calls
4 calls:
3.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
4.0ms
(exp (log (- 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))))
3.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
7.0ms
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

series2.0s

Counts
4 → 12
Calls
4 calls:
307.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
830.0ms
(exp (log (- 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))))
838.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
35.0ms
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

simplify106.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
06803047
132612821
250022708

prune403.0ms

Filtered
100 candidates to 58 candidates (58.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New937100
Fresh628
Picked101
Done000
Total1009109

Merged error: 14.6b

Counts
109 → 9

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b
(+ 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
1.3b
(exp (log (+ 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2)))))))
14.6b
(+ 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2)))))
18.2b
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
21×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
15×unpow-prod-down cube-prod
8×add-log-exp
5×pow1 flip3-+ flip-+
4×add-exp-log exp-prod associate-/r/ add-cbrt-cube
3×log-prod exp-sum
2×+-commutative distribute-lft-neg-out log-div associate-+r+ exp-diff sum-log div-inv
1×cube-div distribute-rgt-in cube-mult cbrt-div distribute-lft-in pow1/3 unpow3 unsub-neg log-pow rem-cbrt-cube rem-exp-log sqr-pow
Counts
4 → 89
Calls
4 calls:
3.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
3.0ms
(exp (log (+ 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2)))))))
3.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2)))))
8.0ms
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

series2.1s

Counts
4 → 12
Calls
4 calls:
495.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429))))))))
765.0ms
(exp (log (+ 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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2)))))))
772.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 (* (cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3)) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2)))))
35.0ms
(cbrt (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3))

simplify108.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (80.0ms)

IterNodesCost
07172975
135162744
250012631

prune376.0ms

Filtered
101 candidates to 61 candidates (60.4%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New992101
Fresh178
Picked101
Done000
Total1019110

Merged error: 14.6b

Counts
110 → 9

regimes155.0ms

Accuracy

0% (0.0b remaining)

Error of 13.8b against oracle of 13.7b and baseline of 13.8b

bsearch0.0ms

simplify6.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
062119
178119
289119
393119
498119
5102119
6107119
7111119
8117119
9117119

end0.0ms

sample1.0s

Algorithm
intervals
Results
590.0ms3904×body160valid
312.0ms4096×body80valid