Details

Time bar (total: 10.2s)

sample56.0ms

Algorithm
intervals
Results
20.0ms131×body160valid
9.0ms125×body80valid

simplify96.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
08236
131036
2105431
3485530
4500130

prune14.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.7b

Counts
2 → 2

localize27.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))))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
23×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 expm1-log1p-u associate-/r/ log1p-expm1-u
3×fma-def flip3-+ fma-neg prod-diff 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 → 100
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:
34.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
31.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
313.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))))))))
832.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))))))

simplify71.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
04752423
122542059
250021979

prune520.0ms

Filtered
112 candidates to 92 candidates (82.1%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1066112
Fresh011
Picked101
Done000
Total1077114

Merged error: 14.6b

Counts
114 → 7

localize27.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 (fma 0.3275911 (fabs x) 1.0)) 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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
18.2b
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
32×cbrt-prod
30×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
27×times-frac
13×unpow-prod-down cube-prod
8×add-log-exp
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u
3×fma-def fma-neg prod-diff associate-/r* div-inv associate-/l*
2×associate-+r+ flip3-+ associate-/r/ flip-+
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 → 113
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 (fma 0.3275911 (fabs x) 1.0)) 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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
5.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))

series1.3s

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

simplify103.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 2 (80.0ms)

IterNodesCost
07322518
135612060
250021990

prune534.0ms

Filtered
125 candidates to 84 candidates (67.2%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1187125
Fresh516
Picked011
Done000
Total1239132

Merged error: 14.5b

Counts
132 → 9

localize36.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 (fma 0.3275911 (fabs x) 1.0)) 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 (fma 0.3275911 (fabs x) 1.0)) 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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
18.2b
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
32×cbrt-prod
24×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
13×unpow-prod-down cube-prod
8×add-log-exp
5×pow1
4×add-exp-log expm1-log1p-u exp-prod add-cbrt-cube log1p-expm1-u
3×log-prod fma-def fma-neg exp-sum prod-diff
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 flip3-+ pow1/3 diff-log unpow3 sum-log log-pow rem-cbrt-cube flip-+ rem-exp-log sqr-pow
Counts
4 → 101
Calls
4 calls:
4.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 (fma 0.3275911 (fabs x) 1.0)) 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 (fma 0.3275911 (fabs x) 1.0)) 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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
5.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))

series2.2s

Counts
4 → 12
Calls
4 calls:
358.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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))
890.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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))))
882.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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
32.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))

simplify103.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
06683502
132532919
250032649

prune527.0ms

Filtered
113 candidates to 70 candidates (61.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1076113
Fresh347
Picked101
Done101
Total11210122

Merged error: 14.5b

Counts
122 → 10

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
96×cbrt-prod
54×times-frac
51×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
39×unpow-prod-down cube-prod
6×div-inv add-log-exp
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×cube-div cube-mult cbrt-div fma-neg pow1/3 unpow3 prod-diff rem-cbrt-cube sqr-pow
1×sub-neg flip3-- diff-log flip--
Counts
4 → 152
Calls
4 calls:
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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
5.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))
5.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))
5.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))

series987.0ms

Counts
4 → 12
Calls
4 calls:
886.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 (fma 0.3275911 (fabs x) 1.0)) 3)) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
31.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))
32.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))
38.0ms
(cbrt (pow (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 3))

simplify93.0ms

Algorithm
egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
05102431
125482054
250021999

prune960.0ms

Filtered
164 candidates to 83 candidates (50.6%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1613164
Fresh369
Picked011
Done000
Total16410174

Merged error: 13.8b

Counts
174 → 10

regimes243.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077132
177132

end0.0ms

sample1.0s

Algorithm
intervals
Results
595.0ms3904×body160valid
319.0ms4096×body80valid