Details

Time bar (total: 12.7s)

sample83.0ms

Algorithm
intervals
Results
36.0ms132×body160valid
25.0ms124×body80valid

simplify96.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
08236
131036
2105431
3485530
4500130

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.6b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.2b
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 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 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
14.5b
(- 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))))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
23×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
5×flip3-+ flip-+
4×expm1-log1p-u associate-/r/ log1p-expm1-u
3×fma-def fma-neg associate-*r* prod-diff associate-/r* associate-/l*
2×cbrt-undiv distribute-rgt-in frac-times associate-+r+ distribute-lft-in associate-*r/ div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×+-commutative sub-neg flip3-- frac-2neg diff-log pow-prod-down associate-*l/ clear-num sum-log *-commutative flip--
Counts
4 → 111
Calls
4 calls:
4.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
17.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 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.3s

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
118.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
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))))))))
857.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))))))

simplify108.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 2 (84.0ms)

IterNodesCost
07842839
140202396
250012367

prune592.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 14.5b

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.1b
(/ 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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
14.5b
(- 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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (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:
7.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
4.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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
35.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
385.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
944.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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify73.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
04972523
123112184
250012115

prune662.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 14.5b

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))))
14.5b
(- 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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
8×add-log-exp
6×add-exp-log add-cbrt-cube
5×pow1
4×expm1-log1p-u exp-prod log1p-expm1-u
3×log-prod fma-def fma-neg exp-sum prod-diff associate-/r* associate-/l*
2×log-div associate-+r+ flip3-- flip3-+ exp-diff associate-/r/ flip-- flip-+
1×cbrt-undiv +-commutative distribute-rgt-in sub-neg frac-2neg distribute-lft-in diff-log div-exp clear-num sum-log log-pow div-inv rem-exp-log
Counts
4 → 88
Calls
4 calls:
4.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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

series2.3s

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
380.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
949.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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))))
946.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.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify80.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
05363485
123813070
250012869

prune660.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 14.5b

localize36.0ms

Local error

Found 4 expressions with local error:

0.4b
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
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 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))))
2.3b
(log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0))))
14.5b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
19×exp-prod
17×add-sqr-sqrt add-cube-cbrt *-un-lft-identity log-pow
9×times-frac
8×add-log-exp
6×pow1 log-prod
4×add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-def fma-neg exp-sum prod-diff
2×log-div associate-+r+ flip3-- flip3-+ exp-diff associate-/r/ flip-- flip-+
1×+-commutative distribute-rgt-in sub-neg distribute-lft-in diff-log rem-log-exp sum-log div-inv rem-exp-log
Counts
4 → 86
Calls
4 calls:
7.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
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 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))))
13.0ms
(log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0))))
3.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

series2.4s

Counts
4 → 12
Calls
4 calls:
372.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))
915.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 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))))
30.0ms
(log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0))))
1.1s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (log (exp (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)))) (+ 1.421413741 (+ (/ (* -1.453152027 1.0) (fma 0.3275911 (fabs x) 1.0)) (/ (* (/ (* 1.061405429 1.0) (fma 0.3275911 (fabs x) 1.0)) 1.0) (fma 0.3275911 (fabs x) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify81.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
05293607
121063122
250032900

prune581.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 14.5b

regimes191.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055129
159129
259129

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.1s3974×body160valid
653.0ms4026×body80valid