Details

Time bar (total: 2.6s)

analyze159.0ms (6%)

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)

sample921.0ms (34.9%)

Results
796.0ms8256×body128valid
24.0ms251×body128invalid
Compiler

Compiled 41 to 29 computations (29.3% saved)

simplify78.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
454×rules-20_binary64
350×fma-neg_binary64
294×fma-def_binary64
276×rules-12-rev_binary64
273×cube-div_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0916
12214
24614
316314
436213
5153913
6446813
7471313
8507713

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 70 to 43 computations (38.6% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series22.0ms (0.8%)

Counts
3 → 63
Calls

3 calls:

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

rewrite87.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
875×fma-neg_binary64
537×prod-diff_binary64
245×egg-rr
164×expm1-udef_binary64
164×log1p-udef_binary64
Counts
3 → 245
Calls

3 calls:

83.0ms
(+.f64 (/.f64 x y) 1)
83.0ms
(*.f64 x (+.f64 (/.f64 x y) 1))
83.0ms
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0933
121529
2275829
3498429
000
100

simplify62.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
727×rules-14-rev_binary64
690×fma-def_binary64
441×rules-21_binary64
412×rules-20_binary64
310×rules-7-rev_binary64
Counts
308 → 271
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
047789
1141785
2561680
33171647
45538647

prune155.0ms (5.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2692271
Fresh011
Picked011
Done000
Total2694273
Error
0b
Counts
273 → 4
Alt Table
StatusErrorProgram
✓8.8b
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
36.3b
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
▶8.8b
(/.f64 (+.f64 x (*.f64 x (/.f64 x y))) (+.f64 x 1))
10.4b
(/.f64 (+.f64 x y) (+.f64 y (/.f64 y x)))
Compiler

Compiled 5428 to 2749 computations (49.4% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series38.0ms (1.4%)

Counts
3 → 72
Calls

3 calls:

17.0ms
(/.f64 (+.f64 x (*.f64 x (/.f64 x y))) (+.f64 x 1))
11.0ms
(*.f64 x (/.f64 x y))
10.0ms
(+.f64 x (*.f64 x (/.f64 x y)))

rewrite92.0ms (3.5%)

Algorithm
2×batch-egg-rewrite
Rules
901×fma-neg_binary64
685×prod-diff_binary64
244×egg-rr
168×expm1-udef_binary64
168×log1p-udef_binary64
Counts
3 → 244
Calls

3 calls:

88.0ms
(+.f64 x (*.f64 x (/.f64 x y)))
88.0ms
(*.f64 x (/.f64 x y))
88.0ms
(/.f64 (+.f64 x (*.f64 x (/.f64 x y))) (+.f64 x 1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0933
121729
2283629
3528329
000
100

simplify58.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
727×rules-14-rev_binary64
690×fma-def_binary64
441×rules-21_binary64
412×rules-20_binary64
310×rules-7-rev_binary64
Counts
316 → 266
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
047879
1141875
2561770
33171737
45538737

prune140.0ms (5.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2660266
Fresh022
Picked011
Done011
Total2664270
Error
0b
Counts
270 → 4
Alt Table
StatusErrorProgram
✓8.8b
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
36.3b
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
✓8.8b
(/.f64 (+.f64 x (*.f64 x (/.f64 x y))) (+.f64 x 1))
▶10.4b
(/.f64 (+.f64 x y) (+.f64 y (/.f64 y x)))
Compiler

Compiled 5044 to 2227 computations (55.8% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series19.0ms (0.7%)

Counts
2 → 48
Calls

2 calls:

12.0ms
(/.f64 (+.f64 x y) (+.f64 y (/.f64 y x)))
8.0ms
(+.f64 y (/.f64 y x))

rewrite60.0ms (2.3%)

Algorithm
2×batch-egg-rewrite
Rules
864×expm1-log1p-u_binary64
805×prod-diff_binary64
82×add-sqr-sqrt_binary64
79×log1p-expm1-u_binary64
78×egg-rr
Counts
2 → 78
Calls

2 calls:

59.0ms
(+.f64 y (/.f64 y x))
59.0ms
(/.f64 (+.f64 x y) (+.f64 y (/.f64 y x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
117520
2243620
3556820
000
100

simplify106.0ms (4%)

Algorithm
1×egg-herbie
Rules
479×rules-20_binary64
424×rules-21_binary64
310×rules-7-rev_binary64
187×rules-10_binary64
182×rules-15-rev_binary64
Counts
126 → 103
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
049756
1149659
2588576
33373504
44845504
54989504
64996504

prune46.0ms (1.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1030103
Fresh011
Picked011
Done022
Total1034107
Error
0b
Counts
107 → 4
Alt Table
StatusErrorProgram
✓8.8b
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
▶36.3b
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
✓8.8b
(/.f64 (+.f64 x (*.f64 x (/.f64 x y))) (+.f64 x 1))
✓10.4b
(/.f64 (+.f64 x y) (+.f64 y (/.f64 y x)))
Compiler

Compiled 1559 to 526 computations (66.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.4%)

Counts
2 → 30
Calls

2 calls:

5.0ms
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
4.0ms
(+.f64 1 (/.f64 x y))

rewrite88.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
917×expm1-log1p-u_binary64
739×prod-diff_binary64
158×egg-rr
88×add-sqr-sqrt_binary64
85×log1p-expm1-u_binary64
Counts
2 → 158
Calls

2 calls:

84.0ms
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
84.0ms
(+.f64 1 (/.f64 x y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0820
119720
2257320
3559820
000
100

simplify101.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
582×rules-15-rev_binary64
371×rules-14-rev_binary64
335×rules-4_binary64
253×rules-15_binary64
193×cube-div_binary64
Counts
188 → 166
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
011219
125219
249192
387192
4199192
5596192
62681192
74782192
84820192
95046192

prune101.0ms (3.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1660166
Fresh000
Picked011
Done033
Total1664170
Error
0b
Counts
170 → 4
Alt Table
StatusErrorProgram
✓8.8b
(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
✓36.3b
(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))
✓8.8b
(/.f64 (+.f64 x (*.f64 x (/.f64 x y))) (+.f64 x 1))
✓10.4b
(/.f64 (+.f64 x y) (+.f64 y (/.f64 y x)))
Compiler

Compiled 4236 to 2722 computations (35.7% saved)

regimes161.0ms (6.1%)

Accuracy

Total 0.2b remaining (89.9%)

Threshold costs 0.2b (89.9%)

Counts
26 → 3
Compiler

Compiled 773 to 521 computations (32.6% saved)

bsearch38.0ms (1.4%)

Steps
ItersRangePoint
10
0.12072287940589371
4875076631.809141
4801249538.945384
8
-2.7861100621046432e+66
-5.594751820425222e+63
-5.7098531931846154e+63
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01954
12154
22054

end69.0ms (2.6%)

Compiler

Compiled 128 to 77 computations (39.8% saved)

Profiling

Loading profile data...