Details

Time bar (total: 2.2s)

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)

sample949.0ms (43.8%)

Results
684.0ms7440×body128valid
123.0ms468×body1024valid
44.0ms224×body512valid
18.0ms124×body256valid
0.0ms2×body128invalid
Compiler

Compiled 32 to 26 computations (18.8% saved)

simplify42.0ms (1.9%)

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 x (fma.f64 x -9 6))
0.3b
(*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)
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))

series5.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)

rewrite79.0ms (3.6%)

Algorithm
2×batch-egg-rewrite
Rules
967×log1p-udef_binary64
506×log1p-expm1-u_binary64
506×expm1-log1p-u_binary64
285×unpow-prod-down_binary64
243×log-prod_binary64
Counts
2 → 56
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
112213
2130613
3495913
4655113
000
100

simplify129.0ms (6%)

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
80 → 66
Iterations

Useful iterations: 2 (0.0ms)

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

prune43.0ms (2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New60666
Fresh101
Picked011
Done000
Total61768
Error
0.1b
Counts
68 → 7
Alt Table
StatusErrorProgram
44.2b
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x -9 6))) 2)
1.4b
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x -9 6))) 3)
7.3b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
11.2b
(*.f64 x (pow.f64 (sqrt.f64 (fma.f64 x -9 6)) 2))
▶0.2b
(-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
1.4b
(*.f64 x (*.f64 (cbrt.f64 (fma.f64 x -9 6)) (pow.f64 (cbrt.f64 (fma.f64 x -9 6)) 2)))
Compiler

Compiled 819 to 635 computations (22.5% saved)

localize6.0ms (0.3%)

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 (*.f64 6 x) (*.f64 9 (pow.f64 x 2)))
3.0ms
(*.f64 9 (pow.f64 x 2))

rewrite54.0ms (2.5%)

Algorithm
2×batch-egg-rewrite
Rules
893×log1p-expm1-u_binary64
893×expm1-log1p-u_binary64
94×add-sqr-sqrt_binary64
92×add-log-exp_binary64
91×add-cube-cbrt_binary64
Counts
2 → 64
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0920
120418
2226918
3526518
000
100

simplify151.0ms (7%)

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
67 → 67
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

prune61.0ms (2.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New64367
Fresh325
Picked101
Done011
Total68674
Error
0.0b
Counts
74 → 6
Alt Table
StatusErrorProgram
0.2b
(+.f64 (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x))) (fma.f64 x 6 (*.f64 (*.f64 x x) -9)))
0.3b
(-.f64 (*.f64 6 x) (pow.f64 (*.f64 x 3) 2))
7.3b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
11.2b
(*.f64 x (pow.f64 (sqrt.f64 (fma.f64 x -9 6)) 2))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
▶0.2b
(+.f64 (fma.f64 x 6 (*.f64 (*.f64 x x) -9)) (+.f64 (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x))) (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x)))))
Compiler

Compiled 1380 to 813 computations (41.1% saved)

localize11.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series11.0ms (0.5%)

Counts
4 → 48
Calls

4 calls:

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

rewrite61.0ms (2.8%)

Algorithm
2×batch-egg-rewrite
Rules
795×log1p-expm1-u_binary64
795×expm1-log1p-u_binary64
159×log1p-udef_binary64
110×add-sqr-sqrt_binary64
105×add-cbrt-cube_binary64
Counts
4 → 76
Calls

4 calls:

59.0ms
(fma.f64 x 6 (*.f64 (*.f64 x x) -9))
59.0ms
(*.f64 (*.f64 x x) -9)
59.0ms
(*.f64 9 (*.f64 x x))
59.0ms
(fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01141
123437
2209237
3488137
000
100

simplify150.0ms (6.9%)

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
124 → 69
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012315
125297
245288
3110270
4284270
5809270
61430270
72365270
83740270
93984270
103335270
113606270
123787270
134893270
144770270

prune105.0ms (4.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1090109
Fresh044
Picked011
Done011
Total1096115
Error
0.0b
Counts
115 → 6
Alt Table
StatusErrorProgram
▶0.2b
(+.f64 (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x))) (fma.f64 x 6 (*.f64 (*.f64 x x) -9)))
0.3b
(-.f64 (*.f64 6 x) (pow.f64 (*.f64 x 3) 2))
7.3b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
11.2b
(*.f64 x (pow.f64 (sqrt.f64 (fma.f64 x -9 6)) 2))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
✓0.2b
(+.f64 (fma.f64 x 6 (*.f64 (*.f64 x x) -9)) (+.f64 (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x))) (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x)))))
Compiler

Compiled 3930 to 1937 computations (50.7% saved)

localize10.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

prune64.0ms (3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New69069
Fresh033
Picked011
Done022
Total69675
Error
0.0b
Counts
75 → 6
Alt Table
StatusErrorProgram
✓0.2b
(+.f64 (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x))) (fma.f64 x 6 (*.f64 (*.f64 x x) -9)))
0.3b
(-.f64 (*.f64 6 x) (pow.f64 (*.f64 x 3) 2))
7.3b
(*.f64 x (cbrt.f64 (pow.f64 (fma.f64 x -9 6) 3)))
11.2b
(*.f64 x (pow.f64 (sqrt.f64 (fma.f64 x -9 6)) 2))
✓0.2b
(*.f64 x (fma.f64 x -9 6))
✓0.2b
(+.f64 (fma.f64 x 6 (*.f64 (*.f64 x x) -9)) (+.f64 (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x))) (fma.f64 (neg.f64 (*.f64 x x)) 9 (*.f64 9 (*.f64 x x)))))
Compiler

Compiled 1669 to 905 computations (45.8% saved)

regimes112.0ms (5.2%)

Accuracy

Total 0.2b remaining (84%)

Threshold costs 0.2b (84%)

Counts
55 → 1
Compiler

Compiled 1574 to 1114 computations (29.2% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64
3×+-commutative_binary64
2×sub-neg_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01347
12347
22747
33047
43147
53147

end100.0ms (4.6%)

Compiler

Compiled 157 to 92 computations (41.4% saved)

Profiling

Loading profile data...