Details

Time bar (total: 57.2s)

sample123.0ms

Algorithm
intervals
Results
45.0ms140×body160valid
30.0ms116×body80valid

simplify791.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
31203
2313
182
026

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 15.3b

localize65.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
0.2b
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
0.5b
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
15.3b
(- 1.0 (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (* (fabs x) (fabs x)))))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
1014×times-frac
621×add-sqr-sqrt
609×*-un-lft-identity
607×add-cube-cbrt
408×prod-diff
41×div-inv
9×associate-/r/
8×add-cbrt-cube add-exp-log
6×associate-/r* associate-/l* add-log-exp
4×expm1-log1p-u pow1 log1p-expm1-u difference-of-squares
3×fma-neg
2×cbrt-undiv clear-num frac-2neg div-exp
1×sub-neg flip3-- diff-log fma-udef flip-- distribute-lft-out--
Counts
4 → 498
Calls
4 calls:
5.0ms
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
4.0ms
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
2.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
101.0ms
(- 1.0 (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (* (fabs x) (fabs x)))))

series906.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
33.0ms
(/ 1.0 (fma 0.3275911 (fabs x) 1.0))
283.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
534.0ms
(- 1.0 (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (* (fabs x) (fabs x)))))

simplify2.3s

Counts
510 → 510
Iterations
IterNodes
done5001
14042
01459

prune6.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 15.2b

localize127.0ms

Local error

Found 4 expressions with local error:

0.5b
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
0.5b
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
0.8b
(pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3)
14.7b
(- (pow 1.0 3) (pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
8628×times-frac
4868×add-sqr-sqrt
4764×*-un-lft-identity
4754×add-cube-cbrt
3336×prod-diff
2635×unpow-prod-down cube-prod
338×div-inv
306×sqr-pow
292×cube-mult unpow3
78×associate-/r/
40×difference-of-squares
14×add-cbrt-cube
12×fma-neg
11×add-exp-log
6×cbrt-undiv div-exp add-log-exp
5×pow1 distribute-lft-out--
4×expm1-log1p-u pow-exp log1p-expm1-u rem-cube-cbrt
3×pow-unpow
2×fma-udef
1×cube-div pow-to-exp difference-cubes sub-neg pow-pow flip3-- diff-log flip--
Counts
4 → 3726
Calls
4 calls:
0.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
1.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
55.0ms
(pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3)
493.0ms
(- (pow 1.0 3) (pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3))

series2.5s

Counts
4 → 12
Calls
4 calls:
319.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
339.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
873.0ms
(pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3)
956.0ms
(- (pow 1.0 3) (pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3))

simplify4.2s

Counts
3738 → 3738
Iterations
IterNodes
done5001
02767

prune25.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.3b

localize82.0ms

Local error

Found 4 expressions with local error:

0.5b
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
0.5b
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
0.8b
(pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3)
14.7b
(- (pow 1.0 3) (log1p (expm1 (pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3))))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
660×times-frac
336×add-sqr-sqrt
331×*-un-lft-identity
329×add-cube-cbrt
149×unpow-prod-down cube-prod
36×prod-diff
26×div-inv
14×add-cbrt-cube
12×fma-neg
11×add-exp-log
7×add-log-exp
6×cbrt-undiv div-exp associate-/r/ sqr-pow
5×cube-mult pow1 unpow3
4×expm1-log1p-u pow-exp log1p-expm1-u rem-cube-cbrt difference-of-squares
3×pow-unpow
2×diff-log fma-udef
1×cube-div pow-to-exp log1p-udef sub-neg pow-pow flip3-- flip-- distribute-lft-out--
Counts
4 → 386
Calls
4 calls:
0.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
1.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
53.0ms
(pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3)
24.0ms
(- (pow 1.0 3) (log1p (expm1 (pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3))))

series2.2s

Counts
4 → 12
Calls
4 calls:
245.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
307.0ms
(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
610.0ms
(pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3)
1.0s
(- (pow 1.0 3) (log1p (expm1 (pow (/ (/ (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (/ (fma 0.3275911 (fabs x) 1.0) 1.0)) (exp (pow (fabs x) 2))) 3))))

simplify1.6s

Counts
398 → 398
Iterations
IterNodes
done5000
14556
0948

prune2.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 14.3b

localize86.0ms

Local error

Found 4 expressions with local error:

0.5b
(pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3)
0.5b
(cbrt (pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3))
0.8b
(pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3)
14.7b
(- (pow 1.0 3) (log1p (expm1 (cbrt (pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3)))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
88×unpow-prod-down cube-prod
62×add-sqr-sqrt
57×*-un-lft-identity
55×add-cube-cbrt
46×cbrt-prod
36×prod-diff
30×times-frac
19×add-exp-log
15×add-cbrt-cube
14×pow-exp
12×fma-neg sqr-pow
11×cube-mult unpow3
10×div-inv
8×div-exp
7×add-log-exp
6×pow-unpow
5×cube-div pow1 rem-cube-cbrt
4×expm1-log1p-u cbrt-undiv prod-exp log1p-expm1-u difference-of-squares
3×pow-to-exp
2×pow-pow diff-log cbrt-unprod
1×cbrt-div log1p-udef sub-neg flip3-- pow1/3 rem-cbrt-cube flip-- distribute-lft-out--
Counts
4 → 231
Calls
4 calls:
13.0ms
(pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3)
12.0ms
(cbrt (pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3))
17.0ms
(pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3)
16.0ms
(- (pow 1.0 3) (log1p (expm1 (cbrt (pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3)))))

series2.4s

Counts
4 → 12
Calls
4 calls:
566.0ms
(pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3)
519.0ms
(cbrt (pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3))
445.0ms
(pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3)
836.0ms
(- (pow 1.0 3) (log1p (expm1 (cbrt (pow (pow (/ (* (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (fma (fabs x) 0.3275911 1.0)) 1.0) (exp (pow (fabs x) 2))) 3) 3)))))

simplify480.0ms

Counts
243 → 243
Iterations
IterNodes
done5001
11368
0432

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 14.3b

regimes187.0ms

Accuracy

0% (0.0b remaining)

Error of 12.9b against oracle of 12.9b and baseline of 12.9b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done44
144
042

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.1s3884×body160valid
373.0ms4116×body80valid