Details

Time bar (total: 2.4s)

analyze4.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25.1%13
74.9%0%25.1%14
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample946.0ms (38.8%)

Results
645.0ms7460×body128valid
184.0ms482×body1024valid
40.0ms201×body512valid
15.0ms113×body256valid
0.0ms2×body128invalid
Compiler

Compiled 32 to 26 computations (18.8% saved)

simplify41.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
927×fma-def_binary64
405×fma-neg_binary64
127×cancel-sign-sub-inv_binary64
85×distribute-rgt-in_binary64
63×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0813
11813
24010
3928
41738
52598
63658
75618
85808
96758
107988
118218
129188
139228
149228
158038

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.2b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.2b
(*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)
▶0.2b
(*.f64 x (fma.f64 x -9 6))
Compiler

Compiled 50 to 38 computations (24% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x -9 6)
✓0.1b
(*.f64 x (fma.f64 x -9 6))

series4.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(*.f64 x (fma.f64 x -9 6))
1.0ms
(fma.f64 x -9 6)

rewrite82.0ms (3.4%)

Algorithm
2×batch-egg-rewrite
Rules
54×egg-rr
Counts
2 → 54
Calls

2 calls:

81.0ms
((*.f64 x (fma.f64 x -9 6)) (fma.f64 x -9 6))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
112213
2130613
3495913
4655113
000
100

simplify130.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
1613×fma-def_binary64
1033×distribute-rgt-in_binary64
753×fma-neg_binary64
486×distribute-rgt-neg-in_binary64
451×cancel-sign-sub-inv_binary64
Counts
78 → 64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
014207
132189
254144
3123144
4324144
5926144
61625144
72459144
83649144
94122144
103387144
113645144
124440144
135540144

prune54.0ms (2.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New57764
Fresh011
Picked101
Done000
Total58866
Error
0.1b
Counts
66 → 8
Alt Table
StatusErrorProgram
0.2b
(*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)
9.5b
(*.f64 x (pow.f64 (sqrt.f64 (fma.f64 x -9 6)) 2))
6.0b
(*.f64 x (/.f64 (+.f64 (pow.f64 (*.f64 x -9) 3) 216) (+.f64 (pow.f64 (*.f64 x -9) 2) (-.f64 36 (*.f64 (*.f64 x -9) 6)))))
1.3b
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) 3)
6.5b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
39.1b
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x -9 6)) 3))
44.2b
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x -9 6))) 2)
▶0.2b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
Compiler

Compiled 856 to 668 computations (22% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
✓0.2b
(*.f64 9 (pow.f64 x 2))

series7.0ms (0.3%)

Counts
2 → 3
Calls

2 calls:

4.0ms
(*.f64 9 (pow.f64 x 2))
3.0ms
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))

rewrite71.0ms (2.9%)

Algorithm
2×batch-egg-rewrite
Rules
63×egg-rr
Counts
2 → 63
Calls

2 calls:

70.0ms
((*.f64 9 (pow.f64 x 2)) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0920
120418
2226918
3526518
000
100

simplify197.0ms (8.1%)

Algorithm
1×egg-herbie
Rules
1127×sqr-pow_binary64
577×fabs-mul_binary64
564×cube-prod_binary64
541×pow-sqr_binary64
523×associate-*l*_binary64
Counts
66 → 66
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0818
11518
22518
34818
410318
525818
679918
7120218
8130718
9146318
10164318
11182418
12204718
13221418
14263318
15319818
16388418
17410218
18434618
19442818
20446118
21448218
22505118

prune56.0ms (2.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New64266
Fresh347
Picked101
Done000
Total68674
Error
0.0b
Counts
74 → 6
Alt Table
StatusErrorProgram
0.2b
(*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)
9.5b
(*.f64 x (pow.f64 (sqrt.f64 (fma.f64 x -9 6)) 2))
6.5b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
1.3b
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) 3)
▶0.1b
(fma.f64 x 6 (*.f64 (*.f64 x x) -9))
0.3b
(-.f64 (*.f64 6 x) (pow.f64 (*.f64 x 3) 2))
Compiler

Compiled 1314 to 789 computations (40% saved)

localize133.0ms (5.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 x 6 (*.f64 (*.f64 x x) -9))
✓0.2b
(*.f64 (*.f64 x x) -9)

series6.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(*.f64 (*.f64 x x) -9)
3.0ms
(fma.f64 x 6 (*.f64 (*.f64 x x) -9))

rewrite70.0ms (2.9%)

Algorithm
2×batch-egg-rewrite
Rules
46×egg-rr
Counts
2 → 46
Calls

2 calls:

69.0ms
((*.f64 (*.f64 x x) -9) (fma.f64 x 6 (*.f64 (*.f64 x x) -9)))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0718
114417
2150817
3499217
4490017
000
100

simplify139.0ms (5.7%)

Algorithm
1×egg-herbie
Rules
1661×fma-def_binary64
724×fma-neg_binary64
531×unsub-neg_binary64
521×distribute-rgt-neg-in_binary64
420×distribute-lft-neg-in_binary64
Counts
70 → 52
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
011219
124201
245192
3110174
4284174
5809174
61430174
72365174
83740174
93984174
103359174
113616174
123797174
134899174
144770174

prune32.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New51152
Fresh145
Picked011
Done000
Total52658
Error
0.0b
Counts
58 → 6
Alt Table
StatusErrorProgram
6.5b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
▶0.2b
(*.f64 x (fma.f64 -9 x 6))
9.5b
(*.f64 x (pow.f64 (sqrt.f64 (fma.f64 x -9 6)) 2))
1.3b
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) 3)
✓0.1b
(fma.f64 x 6 (*.f64 (*.f64 x x) -9))
0.3b
(-.f64 (*.f64 6 x) (pow.f64 (*.f64 x 3) 2))
Compiler

Compiled 735 to 529 computations (28% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 -9 x 6)
✓0.1b
(*.f64 x (fma.f64 -9 x 6))

series4.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(*.f64 x (fma.f64 -9 x 6))
2.0ms
(fma.f64 -9 x 6)

rewrite80.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
54×egg-rr
Counts
2 → 54
Calls

2 calls:

79.0ms
((*.f64 x (fma.f64 -9 x 6)) (fma.f64 -9 x 6))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
112213
2130713
3496013
4655113
000
100

simplify192.0ms (7.9%)

Algorithm
1×egg-herbie
Rules
1613×fma-def_binary64
1033×distribute-rgt-in_binary64
753×fma-neg_binary64
486×distribute-rgt-neg-in_binary64
451×cancel-sign-sub-inv_binary64
Counts
78 → 64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
014207
132189
254144
3123144
4324144
5926144
61625144
72459144
83649144
94122144
103387144
113645144
124440144
135540144

prune31.0ms (1.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New64064
Fresh044
Picked011
Done011
Total64670
Error
0.0b
Counts
70 → 6
Alt Table
StatusErrorProgram
6.5b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
✓0.2b
(*.f64 x (fma.f64 -9 x 6))
9.5b
(*.f64 x (pow.f64 (sqrt.f64 (fma.f64 x -9 6)) 2))
1.3b
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) 3)
✓0.1b
(fma.f64 x 6 (*.f64 (*.f64 x x) -9))
0.3b
(-.f64 (*.f64 6 x) (pow.f64 (*.f64 x 3) 2))
Compiler

Compiled 724 to 559 computations (22.8% saved)

regimes67.0ms (2.8%)

Accuracy

Total 0.1b remaining (74.6%)

Threshold costs 0.1b (74.6%)

Counts
36 → 1
Compiler

Compiled 718 to 560 computations (22% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
1811
2811

end75.0ms (3.1%)

Compiler

Compiled 74 to 55 computations (25.7% saved)

Profiling

Loading profile data...