Details

Time bar (total: 20.7s)

sample47.0ms

Algorithm
intervals
Results
16.0ms116×body160valid
10.0ms140×body80valid

simplify95.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
08236
131036
2105431
3485530
4500130

prune13.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: 12.7b

Counts
2 → 2

localize28.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.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))))))))
12.7b
(- 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))))))

rewrite20.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))))
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 (* (/ 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))))
29.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
311.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))))))))
842.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))))))

simplify72.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
04752423
122542059
250021979

prune476.0ms

Filtered
112 candidates to 92 candidates (82.1%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1084112
Fresh101
Picked101
Done000
Total1104114

Merged error: 12.7b

Counts
114 → 4

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
306×times-frac
165×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
78×sqrt-prod
63×unpow-prod-down
28×associate-/l*
21×sqr-pow
16×add-exp-log
11×add-cbrt-cube
9×associate-/r* div-inv
8×div-exp add-log-exp
4×pow1 cbrt-undiv expm1-log1p-u associate-/r/ log1p-expm1-u
3×fma-def flip3-+ fma-neg prod-diff flip-+
2×associate-+r+ frac-2neg sqrt-div clear-num
1×+-commutative distribute-rgt-in pow-to-exp sub-neg flip3-- distribute-lft-in diff-log pow-exp sum-log flip-- associate-/l/
Counts
4 → 271
Calls
4 calls:
5.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
13.0ms
(/ (/ 1.0 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x)))))
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 (* (/ (/ 1.0 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
110.0ms
(/ (/ 1.0 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x)))))
395.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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
930.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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify93.0ms

Algorithm
egg-herbie
Counts
283 → 283
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
012036034
150015030

prune1.1s

Filtered
283 candidates to 159 candidates (56.2%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New2812283
Fresh303
Picked101
Done000
Total2852287

Merged error: 12.7b

Counts
287 → 2

localize56.0ms

Local error

Found 4 expressions with local error:

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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
0.7b
(pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
12.2b
(- (pow 1.0 3) (pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
96×prod-diff
56×add-sqr-sqrt
48×*-un-lft-identity
46×add-cube-cbrt
42×unpow-prod-down cube-prod
28×sqr-pow
22×cube-mult unpow3
18×cube-div
16×frac-times
14×add-cbrt-cube
12×fma-neg
11×add-exp-log
10×pow1 add-log-exp
8×flip3-+ associate-*r/ associate-*l/ flip-+ difference-of-squares
7×exp-neg
6×neg-sub0 fma-def exp-diff
5×prod-exp cbrt-unprod
4×expm1-log1p-u associate-+r+ pow-exp log1p-expm1-u rem-cube-cbrt
3×pow-unpow pow-pow pow-prod-down
2×+-commutative distribute-rgt-in distribute-lft-in sum-log
1×difference-cubes cbrt-undiv pow-to-exp sub-neg flip3-- diff-log div-exp un-div-inv flip-- distribute-lft-out--
Counts
4 → 215
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 (* (/ (/ 1.0 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
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 (* (/ (/ 1.0 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
15.0ms
(pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
12.0ms
(- (pow 1.0 3) (pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))

series9.0s

Counts
4 → 12
Calls
4 calls:
407.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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
400.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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
720.0ms
(pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
7.5s
(- (pow 1.0 3) (pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))

simplify231.0ms

Algorithm
egg-herbie
Counts
227 → 227
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
0130919322
1500214594

prune1.2s

Filtered
227 candidates to 100 candidates (44.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New2243227
Fresh101
Picked101
Done000
Total2263229

Merged error: 11.9b

Counts
229 → 3

localize60.0ms

Local error

Found 4 expressions with local error:

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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
0.7b
(pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
12.2b
(- (pow 1.0 3) (log1p (expm1 (pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
36×prod-diff
33×*-un-lft-identity
31×add-cube-cbrt
18×cube-div
16×frac-times
14×unpow-prod-down cube-prod add-cbrt-cube
12×fma-neg
11×add-exp-log add-log-exp
10×pow1
8×flip3-+ associate-*r/ associate-*l/ flip-+
7×exp-neg
6×neg-sub0 fma-def exp-diff sqr-pow
5×cube-mult unpow3 prod-exp cbrt-unprod
4×expm1-log1p-u associate-+r+ pow-exp log1p-expm1-u rem-cube-cbrt difference-of-squares
3×pow-unpow pow-pow pow-prod-down
2×+-commutative distribute-rgt-in distribute-lft-in diff-log sum-log
1×cbrt-undiv pow-to-exp sub-neg log1p-udef flip3-- div-exp un-div-inv flip-- distribute-lft-out--
Counts
4 → 151
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 (* (/ (/ 1.0 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
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 (* (/ (/ 1.0 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
16.0ms
(pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
8.0ms
(- (pow 1.0 3) (log1p (expm1 (pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))))

series2.6s

Counts
4 → 12
Calls
4 calls:
402.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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
406.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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
711.0ms
(pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
1.1s
(- (pow 1.0 3) (log1p (expm1 (pow (* (* (/ 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 (pow (fma 0.3275911 (fabs x) 1.0) 1/2)) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))))

simplify147.0ms

Algorithm
egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
0122011390
150019013

prune1.2s

Filtered
163 candidates to 97 candidates (59.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1621163
Fresh022
Picked101
Done000
Total1633166

Merged error: 11.8b

Counts
166 → 3

regimes132.0ms

Accuracy

0% (0.0b remaining)

Error of 12.8b against oracle of 12.8b and baseline of 12.8b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
076217
176217

end0.0ms

sample1.1s

Algorithm
intervals
Results
538.0ms3888×body160valid
494.0ms4112×body80valid