Details

Time bar (total: 2.6s)

analyze175.0ms (6.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
12.5%87.4%0.1%5
31.2%68.7%0.1%6
46.8%53.1%0.1%7
60.9%39%0.1%8
67.9%31.2%0.9%9
74.5%22.2%3.2%10
77.9%17.2%5%11
81.1%11.8%7.1%12
82.7%9%8.3%13
84.3%6.1%9.7%14
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample982.0ms (38%)

Results
836.0ms8256×body128valid
28.0ms264×body128invalid
Compiler

Compiled 41 to 29 computations (29.3% saved)

simplify83.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
1151×distribute-rgt-in_binary64
1143×distribute-lft-in_binary64
971×fma-def_binary64
653×associate-/l*_binary64
535×associate-/l/_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0916
12214
23014
37514
411214
522214
640614
741914
878314
993714
10125914
11161114
12177814
13201514
14293914
15324514
16507514

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
8.8b
Counts
3 → 2
Alt Table
StatusErrorProgram
8.8b
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
▶8.8b
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))
Compiler

Compiled 73 to 45 computations (38.4% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 x (/.f64 x y) x)
✓8.2b
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))

series23.0ms (0.9%)

Counts
2 → 48
Calls

2 calls:

13.0ms
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))
10.0ms
(fma.f64 x (/.f64 x y) x)

rewrite6.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64
12×times-frac_binary64
11×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
4×associate-/r*_binary64
Counts
2 → 45
Calls

2 calls:

4.0ms
(/.f64 (fma.f64 x (/.f64 x y) x) (+.f64 x 1))
0.0ms
(fma.f64 x (/.f64 x y) x)

simplify77.0ms (3%)

Algorithm
1×egg-herbie
Rules
1032×fma-neg_binary64
526×cancel-sign-sub-inv_binary64
338×sub-neg_binary64
265×distribute-rgt-in_binary64
240×associate-/l/_binary64
Counts
93 → 74
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01081641
12451554
27141484
324091453
444391453
550611453

prune52.0ms (2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New70474
Fresh101
Picked101
Done000
Total72476
Error
0.0b
Counts
76 → 4
Alt Table
StatusErrorProgram
▶8.8b
(*.f64 (fma.f64 x (/.f64 x y) x) (/.f64 1 (+.f64 x 1)))
44.3b
(cbrt.f64 (/.f64 (*.f64 (*.f64 (fma.f64 x (/.f64 x y) x) (fma.f64 x (/.f64 x y) x)) (fma.f64 x (/.f64 x y) x)) (*.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) (+.f64 x 1))))
16.2b
(/.f64 (+.f64 (/.f64 (*.f64 x x) y) x) (+.f64 x 1))
35.7b
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
Compiler

Compiled 1403 to 624 computations (55.5% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 1 (+.f64 x 1))
0.1b
(fma.f64 x (/.f64 x y) x)
✓8.2b
(*.f64 (fma.f64 x (/.f64 x y) x) (/.f64 1 (+.f64 x 1)))

series20.0ms (0.8%)

Counts
2 → 36
Calls

2 calls:

18.0ms
(*.f64 (fma.f64 x (/.f64 x y) x) (/.f64 1 (+.f64 x 1)))
2.0ms
(/.f64 1 (+.f64 x 1))

rewrite15.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
35×*-un-lft-identity_binary64
27×add-sqr-sqrt_binary64
26×times-frac_binary64
20×add-cube-cbrt_binary64
18×associate-*r*_binary64
Counts
2 → 82
Calls

2 calls:

7.0ms
(*.f64 (fma.f64 x (/.f64 x y) x) (/.f64 1 (+.f64 x 1)))
3.0ms
(/.f64 1 (+.f64 x 1))

simplify114.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
892×fma-neg_binary64
598×cancel-sign-sub-inv_binary64
402×sub-neg_binary64
234×associate--l+_binary64
202×associate-+l+_binary64
Counts
118 → 133
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01301920
13151752
29531660
331411647
441911647
549991647
649861647

prune114.0ms (4.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1490149
Fresh033
Picked011
Done000
Total1494153
Error
0.0b
Counts
153 → 4
Alt Table
StatusErrorProgram
✓8.8b
(*.f64 (fma.f64 x (/.f64 x y) x) (/.f64 1 (+.f64 x 1)))
44.3b
(cbrt.f64 (/.f64 (*.f64 (*.f64 (fma.f64 x (/.f64 x y) x) (fma.f64 x (/.f64 x y) x)) (fma.f64 x (/.f64 x y) x)) (*.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) (+.f64 x 1))))
▶16.2b
(/.f64 (+.f64 (/.f64 (*.f64 x x) y) x) (+.f64 x 1))
35.7b
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
Compiler

Compiled 2855 to 1482 computations (48.1% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (/.f64 (*.f64 x x) y) x)
✓8.2b
(/.f64 (+.f64 (/.f64 (*.f64 x x) y) x) (+.f64 x 1))
✓9.1b
(/.f64 (*.f64 x x) y)

series33.0ms (1.3%)

Counts
3 → 72
Calls

3 calls:

14.0ms
(/.f64 (+.f64 (/.f64 (*.f64 x x) y) x) (+.f64 x 1))
10.0ms
(/.f64 (*.f64 x x) y)
8.0ms
(+.f64 (/.f64 (*.f64 x x) y) x)

rewrite22.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
39×*-un-lft-identity_binary64
22×times-frac_binary64
17×add-sqr-sqrt_binary64
17×add-cube-cbrt_binary64
11×distribute-lft-out_binary64
Counts
3 → 86
Calls

3 calls:

10.0ms
(/.f64 (+.f64 (/.f64 (*.f64 x x) y) x) (+.f64 x 1))
5.0ms
(+.f64 (/.f64 (*.f64 x x) y) x)
3.0ms
(/.f64 (*.f64 x x) y)

simplify87.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
708×fma-neg_binary64
327×associate-/l*_binary64
298×fma-def_binary64
293×times-frac_binary64
215×associate-*l/_binary64
Counts
158 → 139
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01562428
13792315
211472077
343322077
449732077

prune85.0ms (3.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1363139
Fresh202
Picked101
Done011
Total1394143
Error
0.0b
Counts
143 → 4
Alt Table
StatusErrorProgram
24.2b
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))) (/.f64 (+.f64 (/.f64 (*.f64 x x) y) x) (sqrt.f64 (+.f64 x 1))))
✓8.8b
(*.f64 (fma.f64 x (/.f64 x y) x) (/.f64 1 (+.f64 x 1)))
8.8b
(/.f64 (+.f64 (/.f64 x (/.f64 y x)) x) (+.f64 x 1))
▶0.0b
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))
Compiler

Compiled 2665 to 1079 computations (59.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 x (+.f64 x 1))
✓0.0b
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))

series16.0ms (0.6%)

Counts
2 → 36
Calls

2 calls:

12.0ms
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))
3.0ms
(/.f64 x (+.f64 x 1))

rewrite57.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64
25×times-frac_binary64
25×add-sqr-sqrt_binary64
20×add-cube-cbrt_binary64
18×associate-*r*_binary64
Counts
2 → 79
Calls

2 calls:

49.0ms
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))
3.0ms
(/.f64 x (+.f64 x 1))

simplify126.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
440×fma-def_binary64
386×associate-/l*_binary64
386×times-frac_binary64
344×distribute-rgt-in_binary64
313×fma-neg_binary64
Counts
115 → 130
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01642083
14351938
214601787
344411787
448871787
549951787
649661787

prune92.0ms (3.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1291130
Fresh022
Picked011
Done011
Total1295134
Error
0b
Counts
134 → 5
Alt Table
StatusErrorProgram
24.2b
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))) (/.f64 (+.f64 (/.f64 (*.f64 x x) y) x) (sqrt.f64 (+.f64 x 1))))
✓8.8b
(*.f64 (fma.f64 x (/.f64 x y) x) (/.f64 1 (+.f64 x 1)))
8.8b
(/.f64 (+.f64 (/.f64 x (/.f64 y x)) x) (+.f64 x 1))
14.9b
(/.f64 (*.f64 (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 1 1)) x) (*.f64 (-.f64 (/.f64 x y) 1) (+.f64 x 1)))
✓0.0b
(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))
Compiler

Compiled 2470 to 1419 computations (42.6% saved)

regimes306.0ms (11.8%)

Accuracy

Total 0.0b remaining (79.9%)

Threshold costs 0.0b (79.9%)

Counts
107 → 1
Compiler

Compiled 5927 to 3989 computations (32.7% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
1×*-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
11416
21316

end72.0ms (2.8%)

Compiler

Compiled 112 to 74 computations (33.9% saved)

Profiling

Loading profile data...