Details

Time bar (total: 11.0s)

sample44.0ms

Algorithm
intervals
Results
14.0ms129×body160valid
7.0ms127×body80valid

simplify93.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.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.3b

Counts
2 → 1

localize29.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)))) 1.061405429)
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.2b
(- 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))))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×add-cube-cbrt *-un-lft-identity
19×times-frac
15×associate-*l*
11×add-exp-log add-cbrt-cube
8×add-log-exp
6×pow1
4×associate-/r/
3×flip3-+ associate-*r* associate-/r* flip-+ associate-/l*
2×cbrt-undiv associate-+r+ div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×+-commutative distribute-rgt-in sub-neg flip3-- frac-2neg distribute-lft-in diff-log pow-prod-down associate-*l/ clear-num sum-log *-commutative flip--
Counts
4 → 88
Calls
4 calls:
5.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
8.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)
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:
30.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
34.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)
309.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))))))))
858.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))))))

simplify76.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
05531880
126741701
250011698

prune397.0ms

Filtered
100 candidates to 76 candidates (76.0%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New955100
Fresh000
Picked101
Done000
Total965101

Merged error: 14.2b

Counts
101 → 5

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)
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.2b
(- 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)))))))) (/ 1 (exp (pow (fabs x) 2))))))
14.2b
(log (exp (- 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)))))))) (/ 1 (exp (pow (fabs x) 2))))))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
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×sub-neg associate-+r+ flip3-+ exp-sum prod-exp associate-/r/ cbrt-unprod flip-+ unswap-sqr
1×cbrt-undiv +-commutative distribute-rgt-in log-div flip3-- distribute-lft-in exp-diff diff-log div-exp rem-log-exp pow-prod-down associate-*l/ sum-log *-commutative flip-- div-inv
Counts
4 → 77
Calls
4 calls:
8.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)
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)))))))) (/ 1 (exp (pow (fabs x) 2))))))
3.0ms
(log (exp (- 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)))))))) (/ 1 (exp (pow (fabs x) 2))))))))

series1.9s

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)
314.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))))))))
777.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)))))))) (/ 1 (exp (pow (fabs x) 2))))))
771.0ms
(log (exp (- 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)))))))) (/ 1 (exp (pow (fabs x) 2))))))))

simplify78.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
05492619
125782343
250022343

prune401.0ms

Filtered
89 candidates to 68 candidates (76.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New88189
Fresh044
Picked101
Done000
Total89594

Merged error: 14.2b

Counts
94 → 5

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
0.5b
(+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
14.2b
(- 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 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2))))))
14.2b
(log (exp (- 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 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2))))))))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
54×pow1
28×sqrt-pow1
20×pow-prod-down
12×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity pow1/2 pow-prod-up
8×add-log-exp
6×add-exp-log pow-sqr add-cbrt-cube
5×log-prod associate-*l/
4×sqrt-div swap-sqr associate-*r* associate-*l* sqrt-prod log-pow
3×exp-prod
2×sub-neg associate-+r+ exp-sum
1×+-commutative pow2 distribute-rgt-in frac-times log-div flip3-- distribute-lft-in flip3-+ pow-plus exp-diff sqrt-unprod diff-log associate-*r/ rem-log-exp prod-exp sum-log rem-square-sqrt *-commutative flip-- cbrt-unprod flip-+ unswap-sqr
Counts
4 → 95
Calls
4 calls:
16.0ms
(* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
4.0ms
(+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 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 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2))))))
3.0ms
(log (exp (- 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 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2))))))))

series2.3s

Counts
4 → 12
Calls
4 calls:
85.0ms
(* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
296.0ms
(+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
839.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 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2))))))
1.1s
(log (exp (- 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 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (/ 1 (exp (pow (fabs x) 2))))))))

simplify91.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
04603143
124362750
250012708

prune395.0ms

Filtered
107 candidates to 63 candidates (58.9%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1043107
Fresh134
Picked101
Done000
Total1066112

Merged error: 14.2b

Counts
112 → 6

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b
(+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
0.6b
(pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)
14.2b
(- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)))) (/ 1 (exp (pow (fabs x) 2))))))
14.2b
(log (exp (- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)))) (/ 1 (exp (pow (fabs x) 2))))))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×add-log-exp
6×pow1
5×add-exp-log log-prod add-cbrt-cube
4×log-pow
3×unpow-prod-down pow-unpow exp-prod cube-prod
2×cube-div sub-neg associate-+r+ flip3-+ exp-sum flip-+
1×+-commutative distribute-rgt-in cube-mult pow-to-exp log-div flip3-- pow-pow distribute-lft-in exp-diff diff-log unpow3 rem-log-exp pow-exp sum-log flip-- rem-cube-cbrt sqr-pow
Counts
4 → 68
Calls
4 calls:
4.0ms
(+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
4.0ms
(pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)
3.0ms
(- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)))) (/ 1 (exp (pow (fabs x) 2))))))
3.0ms
(log (exp (- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)))) (/ 1 (exp (pow (fabs x) 2))))))))

series2.4s

Counts
4 → 12
Calls
4 calls:
293.0ms
(+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
425.0ms
(pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)
843.0ms
(- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)))) (/ 1 (exp (pow (fabs x) 2))))))
845.0ms
(log (exp (- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (sqrt (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) 3)))) (/ 1 (exp (pow (fabs x) 2))))))))

simplify87.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
04653882
123123414
250023406

prune366.0ms

Filtered
80 candidates to 55 candidates (68.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New79180
Fresh145
Picked011
Done000
Total80686

Merged error: 14.2b

Counts
86 → 6

regimes154.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04947
14947

end0.0ms

sample805.0ms

Algorithm
intervals
Results
447.0ms3926×body160valid
242.0ms4074×body80valid

Profiling

Loading profile data...