Details

Time bar (total: 6.6s)

analyze340.0ms (5.2%)

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
12.5%87.4%0.1%4
25%74.9%0.1%5
31.2%68.7%0.1%6
67.1%32.8%0.1%7
71%28.9%0.1%8
82.3%17.6%0.1%9
84.9%15%0.1%10
90.8%9.1%0.1%11
92.2%7.7%0.1%12
95.3%4.6%0.1%13
96%3.9%0.1%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample43.0ms (0.7%)

Algorithm
1×intervals
Results
18.0ms207×body128valid
6.0ms27×body512valid
4.0ms13×body1024valid
1.0ms9×body256valid
Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify226.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
1996×fma-def_binary64
1626×fma-neg_binary64
1098×div-sub_binary64
733×sub-neg_binary64
664×associate-/l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0916
11916
24316
310214
427414
565214
6127214
7169714
8241614
9293314
10327814
11346114
12198014
13199614
14265914
15253914
16249714
17253114
18253114
19472314
20490314
21594214

prune7.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 73 to 55 computations (24.7% saved)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series66.0ms (1%)

Counts
2 → 48
Calls

2 calls:

47.0ms
(fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)
19.0ms
(/.f64 (+.f64 x -1) (+.f64 1 y))

rewrite20.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
35×*-un-lft-identity_binary64
20×times-frac_binary64
18×add-sqr-sqrt_binary64
13×add-cube-cbrt_binary64
11×distribute-lft-out_binary64
Counts
2 → 57
Calls

2 calls:

11.0ms
(/.f64 (+.f64 x -1) (+.f64 1 y))
1.0ms
(fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)

simplify170.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
780×fma-neg_binary64
491×associate--l+_binary64
425×associate--r+_binary64
390×associate-+l+_binary64
315×fma-def_binary64
Counts
105 → 102
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01602086
14161897
212751850
347011850
454021850

prune264.0ms (4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New993102
Fresh101
Picked101
Done000
Total1013104
Error
0.0b
Counts
104 → 3
Alt Table
StatusErrorProgram
32.7b
(-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))))
13.3b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)) (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1))) (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)))
▶12.9b
(-.f64 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (/.f64 y (+.f64 1 y)))
Compiler

Compiled 1962 to 1347 computations (31.3% saved)

localize17.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series25.0ms (0.4%)

Counts
1 → 24
Calls

1 calls:

25.0ms
(-.f64 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (/.f64 y (+.f64 1 y)))

rewrite41.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
78×*-un-lft-identity_binary64
57×add-sqr-sqrt_binary64
54×prod-diff_binary64
52×add-cube-cbrt_binary64
49×times-frac_binary64
Counts
1 → 92
Calls

1 calls:

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

simplify223.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
780×fma-def_binary64
350×fma-neg_binary64
228×distribute-rgt-in_binary64
190×distribute-lft-in_binary64
176×cancel-sign-sub-inv_binary64
Counts
116 → 115
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02383623
16162873
217422073
343602073
449702073
549862073
648082073

prune220.0ms (3.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1141115
Fresh112
Picked101
Done000
Total1162118
Error
0.0b
Counts
118 → 2
Alt Table
StatusErrorProgram
32.7b
(-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))))
▶13.1b
(+.f64 (fma.f64 (/.f64 y (-.f64 1 (*.f64 y y))) (-.f64 y 1) (fma.f64 x (/.f64 y (+.f64 1 y)) 1)) 0)
Compiler

Compiled 4664 to 3130 computations (32.9% saved)

localize25.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓12.9b
(fma.f64 (/.f64 y (-.f64 1 (*.f64 y y))) (-.f64 y 1) (fma.f64 x (/.f64 y (+.f64 1 y)) 1))
✓13.4b
(/.f64 y (-.f64 1 (*.f64 y y)))

series62.0ms (0.9%)

Counts
2 → 36
Calls

2 calls:

57.0ms
(fma.f64 (/.f64 y (-.f64 1 (*.f64 y y))) (-.f64 y 1) (fma.f64 x (/.f64 y (+.f64 1 y)) 1))
5.0ms
(/.f64 y (-.f64 1 (*.f64 y y)))

rewrite13.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
16×*-un-lft-identity_binary64
16×add-sqr-sqrt_binary64
15×times-frac_binary64
12×add-cube-cbrt_binary64
8×difference-of-squares_binary64
Counts
2 → 49
Calls

2 calls:

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

simplify169.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
813×fma-neg_binary64
415×sub-neg_binary64
257×fma-def_binary64
229×associate-+l+_binary64
229×associate--l+_binary64
Counts
85 → 102
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01491911
13441695
210071623
331741618
446321618
549981618
649311618

prune199.0ms (3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1020102
Fresh011
Picked011
Done000
Total1022104
Error
0.0b
Counts
104 → 2
Alt Table
StatusErrorProgram
▶32.7b
(-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))))
✓13.1b
(+.f64 (fma.f64 (/.f64 y (-.f64 1 (*.f64 y y))) (-.f64 y 1) (fma.f64 x (/.f64 y (+.f64 1 y)) 1)) 0)
Compiler

Compiled 2786 to 1799 computations (35.4% saved)

localize33.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓6.8b
(/.f64 x (pow.f64 y 3))
✓7.3b
(+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3)))
✓7.5b
(/.f64 x (*.f64 y y))
✓8.4b
(-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))))

series293.0ms (4.5%)

Counts
4 → 72
Calls

4 calls:

126.0ms
(-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))))
64.0ms
(+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3)))
53.0ms
(/.f64 x (pow.f64 y 3))
49.0ms
(/.f64 x (*.f64 y y))

rewrite216.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Rules
270×*-un-lft-identity_binary64
152×distribute-lft-out_binary64
55×times-frac_binary64
50×add-sqr-sqrt_binary64
49×div-inv_binary64
Counts
4 → 242
Calls

4 calls:

98.0ms
(-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))))
31.0ms
(+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3)))
7.0ms
(/.f64 x (pow.f64 y 3))
6.0ms
(/.f64 x (*.f64 y y))

simplify502.0ms (7.6%)

Algorithm
1×egg-herbie
Rules
478×distribute-rgt-in_binary64
458×distribute-lft-in_binary64
225×fma-def_binary64
208×associate-/r*_binary64
151×times-frac_binary64
Counts
314 → 254
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
039318146
1125612743
2482112743
3500612743

prune552.0ms (8.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2522254
Fresh000
Picked101
Done011
Total2533256
Error
0.0b
Counts
256 → 3
Alt Table
StatusErrorProgram
46.1b
(+.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (*.f64 (neg.f64 (sqrt.f64 (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))))) (sqrt.f64 (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y))))))
32.7b
(+.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (neg.f64 (/.f64 (+.f64 (/.f64 x (*.f64 y y)) (+.f64 (/.f64 1 y) (+.f64 x -1))) y)))
✓13.1b
(+.f64 (fma.f64 (/.f64 y (-.f64 1 (*.f64 y y))) (-.f64 y 1) (fma.f64 x (/.f64 y (+.f64 1 y)) 1)) 0)
Compiler

Compiled 15638 to 8004 computations (48.8% saved)

regimes2.0s (30.4%)

Accuracy

Total 0.1b remaining (79.2%)

Threshold costs 0.1b (79.2%)

Counts
130 → 3
Compiler

Compiled 17679 to 11787 computations (33.3% saved)

bsearch6.0ms (0.1%)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify14.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
27×+-commutative_binary64
16×sub-neg_binary64
15×*-commutative_binary64
13×neg-sub0_binary64
12×neg-mul-1_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
045155
168153
285153
3100153
4118153
5131153
6141153
7148153
8152153
9155153
10156153
11152153

end2.0ms (0%)

Compiler

Compiled 106 to 66 computations (37.7% saved)

sample816.0ms (12.4%)

Algorithm
1×intervals
Results
259.0ms6168×body128valid
101.0ms628×body1024valid
82.0ms721×body512valid
34.0ms476×body256valid
1.0ms7×body2048valid
Compiler

Compiled 231 to 149 computations (35.5% saved)

Profiling

Loading profile data...