Details

Time bar (total: 11.1s)

sample49.0ms

Algorithm
intervals
Results
18.0ms121×body160valid
10.0ms135×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: 13.4b

Counts
2 → 2

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 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)))))))
0.2b
(* (/ 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))))))))
13.3b
(- 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))))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
30×associate-*l*
23×add-cube-cbrt *-un-lft-identity
20×times-frac
14×add-exp-log add-cbrt-cube
8×pow1 add-log-exp
6×associate-*r*
5×flip3-+ flip-+
4×expm1-log1p-u prod-exp associate-/r/ cbrt-unprod log1p-expm1-u unswap-sqr
3×fma-def fma-neg prod-diff
2×cbrt-undiv distribute-rgt-in frac-times associate-+r+ distribute-lft-in associate-*r/ div-exp pow-prod-down associate-*l/ *-commutative div-inv
1×+-commutative sub-neg flip3-- diff-log sum-log flip--
Counts
4 → 116
Calls
4 calls:
9.0ms
(* (/ 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)))))))
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.5s

Counts
4 → 12
Calls
4 calls:
295.0ms
(* (/ 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)))))))
37.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))))))))
847.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))))))

simplify118.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 2 (89.0ms)

IterNodesCost
08313515
142332984
250012946

prune696.0ms

Filtered
128 candidates to 107 candidates (83.6%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1235128
Fresh101
Picked101
Done000
Total1255130

Merged error: 13.3b

Counts
130 → 5

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))
0.7b
(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))
1.5b
(- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0)))))
13.3b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))))) (/ 1.061405429 (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (- (* (fabs x) (fabs x))))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
60×times-frac
57×add-sqr-sqrt *-un-lft-identity
55×add-cube-cbrt
24×unpow-prod-down
22×add-exp-log
20×associate-/r*
12×cube-prod div-exp prod-diff
8×add-cbrt-cube add-log-exp sqr-pow
6×pow-to-exp rec-exp fma-neg 1-exp pow-exp associate-/l*
4×pow1 expm1-log1p-u cube-mult unpow3 log1p-expm1-u unpow2
2×cbrt-undiv cube-div sub-neg flip3-- pow-flip frac-2neg diff-log clear-num associate-/r/ flip-- fma-udef div-inv inv-pow
1×flip3-+ associate--l+ flip-+ associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 186
Calls
4 calls:
8.0ms
(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))
7.0ms
(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))
4.0ms
(- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0)))))
3.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))))) (/ 1.061405429 (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (- (* (fabs x) (fabs x))))))

series1.0s

Counts
4 → 12
Calls
4 calls:
64.0ms
(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))
46.0ms
(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))
201.0ms
(- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0)))))
739.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))))) (/ 1.061405429 (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (- (* (fabs x) (fabs x))))))

simplify120.0ms

Algorithm
egg-herbie
Counts
198 → 198
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
06803759
135302793
250022731

prune695.0ms

Filtered
198 candidates to 94 candidates (47.5%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1962198
Fresh134
Picked101
Done000
Total1985203

Merged error: 13.3b

Counts
203 → 5

localize43.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4))
1.5b
(- (fma 1.421413741 (/ (/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4)) (cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0)))))
13.3b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (- (fma 1.421413741 (/ (/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4)) (cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))))) (/ 1.061405429 (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (- (* (fabs x) (fabs x))))))
15.9b
(cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt *-un-lft-identity
38×add-cube-cbrt
30×times-frac
27×unpow-prod-down
20×cbrt-prod
13×add-exp-log
12×prod-diff
10×associate-/r*
8×add-log-exp
6×fma-neg div-exp add-cbrt-cube
5×sqr-pow
4×pow1 expm1-log1p-u log1p-expm1-u
3×pow-to-exp rec-exp 1-exp pow-exp associate-/l*
2×sub-neg flip3-- diff-log flip-- fma-udef
1×cbrt-undiv pow-flip frac-2neg pow1/3 associate--l+ clear-num div-inv associate--r+ distribute-lft-out-- unpow2 inv-pow difference-of-squares
Counts
4 → 135
Calls
4 calls:
9.0ms
(/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4))
4.0ms
(- (fma 1.421413741 (/ (/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4)) (cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0)))))
3.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (- (fma 1.421413741 (/ (/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4)) (cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))))) (/ 1.061405429 (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (- (* (fabs x) (fabs x))))))
5.0ms
(cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))

series1.3s

Counts
4 → 12
Calls
4 calls:
182.0ms
(/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4))
206.0ms
(- (fma 1.421413741 (/ (/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4)) (cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0)))))
745.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (- (fma 1.421413741 (/ (/ 1 (pow (cbrt (+ (* 0.3275911 (fabs x)) 1.0)) 4)) (cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 0.254829592) (fma 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 3)) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1.0))))) (/ 1.061405429 (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (- (* (fabs x) (fabs x))))))
153.0ms
(cbrt (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))

simplify92.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
05854047
124543251
250023151

prune746.0ms

Filtered
147 candidates to 84 candidates (57.1%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1461147
Fresh044
Picked101
Done000
Total1475152

Merged error: 13.3b

Counts
152 → 5

localize47.0ms

Local error

Found 4 expressions with local error:

0.4b
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
0.5b
(* (fma (* (/ 1 (exp (pow (fabs x) 2))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 1.0) (/ (/ (* (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 1.0) (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2))))
0.8b
(pow (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 3)
12.8b
(fma (- (* (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3) (pow (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 3))) (pow (/ 1 (exp (pow (fabs x) 2))) 3) (pow 1.0 3))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
27×add-sqr-sqrt
25×associate-*r*
22×add-cube-cbrt *-un-lft-identity
19×add-cbrt-cube
16×add-exp-log
7×pow1
5×cbrt-undiv div-exp prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×unpow-prod-down pow-unpow cube-prod associate-*l*
2×fma-udef unswap-sqr
1×cube-mult pow-to-exp pow-pow unpow3 associate-*r/ pow-prod-down pow-exp *-commutative rem-cube-cbrt sqr-pow
Counts
4 → 95
Calls
4 calls:
1.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
15.0ms
(* (fma (* (/ 1 (exp (pow (fabs x) 2))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 1.0) (/ (/ (* (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 1.0) (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2))))
2.0ms
(pow (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 3)
1.0ms
(fma (- (* (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3) (pow (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 3))) (pow (/ 1 (exp (pow (fabs x) 2))) 3) (pow 1.0 3))

series2.3s

Counts
4 → 12
Calls
4 calls:
225.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
903.0ms
(* (fma (* (/ 1 (exp (pow (fabs x) 2))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 1.0) (/ (/ (* (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 1.0) (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2))))
311.0ms
(pow (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 3)
826.0ms
(fma (- (* (pow (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 3) (pow (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) 3))) (pow (/ 1 (exp (pow (fabs x) 2))) 3) (pow 1.0 3))

simplify86.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
010675918
150015175

prune824.0ms

Filtered
107 candidates to 79 candidates (73.8%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1061107
Fresh134
Picked101
Done000
Total1084112

Merged error: 12.5b

Counts
112 → 4

regimes180.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05298
15498
25498

end0.0ms

sample1.0s

Algorithm
intervals
Results
572.0ms3919×body160valid
304.0ms4081×body80valid