Details

Time bar (total: 2.7s)

analyze395.0ms (14.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
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
25%74.9%0.1%8
31.2%62.4%6.4%9
46.8%46.8%6.4%10
53.8%39.8%6.4%11
57.3%33.2%9.5%12
66.9%23.6%9.5%13
70.3%20.2%9.5%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample900.0ms (33.3%)

Symmetry

(sort x y)

Results
801.0ms8256×body128valid
26.0ms310×body128invalid
Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify20.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
192×fma-def_binary64
125×fma-neg_binary64
44×distribute-rgt-neg-in_binary64
36×cancel-sign-sub-inv_binary64
27×unsub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11510
22810
33810
47010
510910
619310
731110
836310
942010
1042410
1142610
1238110

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.1b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
Compiler

Compiled 30 to 21 computations (30% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓0.2b
(*.f64 (*.f64 x 3) y)

series13.0ms (0.5%)

Counts
2 → 60
Calls

2 calls:

8.0ms
(-.f64 (*.f64 (*.f64 x 3) y) z)
5.0ms
(*.f64 (*.f64 x 3) y)

rewrite61.0ms (2.3%)

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

2 calls:

58.0ms
((*.f64 (*.f64 x 3) y) (-.f64 (*.f64 (*.f64 x 3) y) z))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
117217
2211317
3498617
000
100

simplify52.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
192×fma-def_binary64
125×fma-neg_binary64
44×distribute-rgt-neg-in_binary64
36×cancel-sign-sub-inv_binary64
27×unsub-neg_binary64
Counts
190 → 134
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010485
118485
229485
339485
470485
5109485
6193485
7311485
8363485
9420485
10424485
11426485
12381485

prune92.0ms (3.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1295134
Fresh000
Picked011
Done000
Total1296135
Error
0b
Counts
135 → 6
Alt Table
StatusErrorProgram
33.7b
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 z)) (fma.f64 (neg.f64 (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)) z))
✓0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
32.3b
(pow.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 x 3) y) z)) 2)
0.2b
(-.f64 (*.f64 3 (*.f64 y x)) z)
29.9b
(-.f64 (pow.f64 (sqrt.f64 (*.f64 (*.f64 x 3) y)) 2) z)
▶0.1b
(fma.f64 x (*.f64 3 y) (neg.f64 z))
Compiler

Compiled 2394 to 1144 computations (52.2% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 x (*.f64 3 y) (neg.f64 z))

series9.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

8.0ms
(fma.f64 x (*.f64 3 y) (neg.f64 z))

rewrite56.0ms (2.1%)

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

2 calls:

52.0ms
((fma.f64 x (*.f64 3 y) (neg.f64 z)))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11628
216258
349778
000
100

simplify36.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
192×fma-def_binary64
125×fma-neg_binary64
44×distribute-rgt-neg-in_binary64
36×cancel-sign-sub-inv_binary64
27×unsub-neg_binary64
Counts
126 → 94
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010317
118317
229317
339317
470317
5109317
6193317
7311317
8363317
9420317
10424317
11426317
12381317

prune53.0ms (2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New94094
Fresh044
Picked011
Done011
Total946100
Error
0b
Counts
100 → 6
Alt Table
StatusErrorProgram
33.7b
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 z)) (fma.f64 (neg.f64 (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)) z))
✓0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
32.3b
(pow.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 x 3) y) z)) 2)
▶0.2b
(-.f64 (*.f64 3 (*.f64 y x)) z)
29.9b
(-.f64 (pow.f64 (sqrt.f64 (*.f64 (*.f64 x 3) y)) 2) z)
✓0.1b
(fma.f64 x (*.f64 3 y) (neg.f64 z))
Compiler

Compiled 2445 to 1012 computations (58.6% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(*.f64 3 (*.f64 y x))

series11.0ms (0.4%)

Counts
2 → 9
Calls

2 calls:

7.0ms
(-.f64 (*.f64 3 (*.f64 y x)) z)
5.0ms
(*.f64 3 (*.f64 y x))

rewrite68.0ms (2.5%)

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

2 calls:

65.0ms
((*.f64 3 (*.f64 y x)) (-.f64 (*.f64 3 (*.f64 y x)) z))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
117217
2212017
3493817
000
100

simplify11.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
6×*-commutative_binary64
3×associate-*r*_binary64
3×associate-*l*_binary64
3×sub-neg_binary64
2×+-commutative_binary64
Counts
124 → 118
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0947
11547
22347
32447
42647
53047
63147
73647
83147

prune72.0ms (2.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1171118
Fresh123
Picked011
Done022
Total1186124
Error
0b
Counts
124 → 6
Alt Table
StatusErrorProgram
32.3b
(pow.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 x 3) y) z)) 2)
✓0.2b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
▶19.6b
(-.f64 (cbrt.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3))) z)
29.9b
(-.f64 (pow.f64 (sqrt.f64 (*.f64 (*.f64 x 3) y)) 2) z)
✓0.1b
(fma.f64 x (*.f64 3 y) (neg.f64 z))
Compiler

Compiled 2023 to 863 computations (57.3% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (cbrt.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3))) z)
✓0.2b
(*.f64 27 (pow.f64 (*.f64 y x) 3))
✓0.3b
(pow.f64 (*.f64 y x) 3)
✓28.5b
(cbrt.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3)))

series67.0ms (2.5%)

Counts
4 → 108
Calls

4 calls:

23.0ms
(*.f64 27 (pow.f64 (*.f64 y x) 3))
16.0ms
(cbrt.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3)))
15.0ms
(-.f64 (cbrt.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3))) z)
12.0ms
(pow.f64 (*.f64 y x) 3)

rewrite139.0ms (5.1%)

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

2 calls:

135.0ms
((cbrt.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3))) (pow.f64 (*.f64 y x) 3) (*.f64 27 (pow.f64 (*.f64 y x) 3)) (-.f64 (cbrt.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3))) z))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01134
123134
2265234
3478834
4474334
5506234
000
100

simplify117.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
811×fma-neg_binary64
563×associate-*l*_binary64
406×unsub-neg_binary64
379×associate-*r*_binary64
318×fma-def_binary64
Counts
294 → 196
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0211089
1591089
21611089
34281089
41297945
51868945
62568945
73443945
83689945
94570945
104864945

prune116.0ms (4.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New1960196
Fresh022
Picked011
Done033
Total1966202
Error
0b
Counts
202 → 6
Alt Table
StatusErrorProgram
32.3b
(pow.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 x 3) y) z)) 2)
✓0.2b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓19.6b
(-.f64 (cbrt.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3))) z)
29.9b
(-.f64 (pow.f64 (sqrt.f64 (*.f64 (*.f64 x 3) y)) 2) z)
✓0.1b
(fma.f64 x (*.f64 3 y) (neg.f64 z))
Compiler

Compiled 2895 to 1576 computations (45.6% saved)

regimes161.0ms (6%)

Accuracy

Total 0.2b remaining (94.5%)

Threshold costs 0.2b (94.5%)

Counts
23 → 1
Compiler

Compiled 2160 to 1512 computations (30% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11210
21710
31910
42010
52010

end227.0ms (8.4%)

Compiler

Compiled 109 to 79 computations (27.5% saved)

Profiling

Loading profile data...