Details

Time bar (total: 6.2s)

analyze607.0ms (9.7%)

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)

sample1.7s (27.4%)

Symmetry

(sort x y)

Results
1.5s8256×body128valid
60.0ms288×body128invalid
Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify30.0ms (0.5%)

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

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 30 to 21 computations (30% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 (*.f64 x 3) y)

series9.0ms (0.1%)

Counts
1 → 24
Calls

1 calls:

9.0ms
(*.f64 (*.f64 x 3) y)

rewrite15.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
3×associate-*r*_binary64
3×cbrt-unprod_binary64
Counts
1 → 20
Calls

1 calls:

14.0ms
(*.f64 (*.f64 x 3) y)

simplify94.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
865×fma-def_binary64
454×associate-*l*_binary64
380×*-commutative_binary64
340×log-div_binary64
308×associate-*r*_binary64
Counts
44 → 30
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
045380
1100344
2341344
3909344
41093344
51300344
61628344
73095344
84826344
94980344

prune43.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New27330
Fresh000
Picked011
Done000
Total27431
Error
0b
Counts
31 → 4
Alt Table
StatusErrorProgram
0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
▶0.1b
(-.f64 (*.f64 x (*.f64 3 y)) z)
0.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y))) z)
Compiler

Compiled 454 to 282 computations (37.9% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

12.0ms
(*.f64 x (*.f64 3 y))

rewrite9.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
3×associate-*l*_binary64
3×cbrt-unprod_binary64
Counts
1 → 20
Calls

1 calls:

7.0ms
(*.f64 x (*.f64 3 y))

simplify106.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
523×associate-/r/_binary64
451×associate-*l*_binary64
394×associate-/l*_binary64
375×*-commutative_binary64
301×associate-*r*_binary64
Counts
44 → 30
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
042378
190342
2301342
3821342
41019342
51170342
62090342
74774342
84904342

prune40.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New30030
Fresh022
Picked011
Done011
Total30434
Error
0b
Counts
34 → 4
Alt Table
StatusErrorProgram
▶0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓0.1b
(-.f64 (*.f64 x (*.f64 3 y)) z)
0.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y))) z)
Compiler

Compiled 444 to 274 computations (38.3% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.1%)

Counts
1 → 0
Calls

1 calls:

9.0ms
(*.f64 3 (*.f64 y x))

rewrite9.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
3×associate-*l*_binary64
3×cbrt-unprod_binary64
Counts
1 → 20
Calls

1 calls:

7.0ms
(*.f64 3 (*.f64 y x))

simplify89.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
614×fma-def_binary64
590×distribute-rgt-in_binary64
557×distribute-lft-in_binary64
459×associate-/r/_binary64
350×*-commutative_binary64
Counts
20 → 20
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
040210
184174
2254174
3647174
4828174
5986174
61261174
71807174
84989174
95038174

prune30.0ms (0.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New20020
Fresh011
Picked011
Done022
Total20424
Error
0b
Counts
24 → 4
Alt Table
StatusErrorProgram
✓0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓0.1b
(-.f64 (*.f64 x (*.f64 3 y)) z)
▶0.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y))) z)
Compiler

Compiled 329 to 205 computations (37.7% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
0.4b
(*.f64 (*.f64 x 3) y)
✓0.4b
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
✓9.3b
(cbrt.f64 (*.f64 (*.f64 x 3) y))

series1.7s (27.7%)

Counts
3 → 72
Calls

3 calls:

993.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
641.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))
93.0ms
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y)))

rewrite41.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
29×pow1_binary64
16×pow1/3_binary64
11×pow-prod-up_binary64
11×add-sqr-sqrt_binary64
10×add-exp-log_binary64
Counts
3 → 79
Calls

3 calls:

18.0ms
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
9.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y)))
5.0ms
(cbrt.f64 (*.f64 (*.f64 x 3) y))

simplify306.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
1134×fma-neg_binary64
448×exp-sum_binary64
404×exp-prod_binary64
276×exp-diff_binary64
275×unswap-sqr_binary64
Counts
151 → 126
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01402434
12842197
26541916
314151660
435151542
548651542
649781518
743301518
848291518
949251518
1050621518

prune454.0ms (7.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New2660266
Fresh000
Picked011
Done033
Total2664270
Error
0b
Counts
270 → 4
Alt Table
StatusErrorProgram
✓0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓0.1b
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓0.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y))) z)
Compiler

Compiled 6866 to 4687 computations (31.7% saved)

regimes440.0ms (7%)

Accuracy

Total 0.1b remaining (92%)

Threshold costs 0.1b (92%)

Counts
33 → 1
Compiler

Compiled 4224 to 3092 computations (26.8% saved)

simplify4.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

end410.0ms (6.6%)

Compiler

Compiled 95 to 67 computations (29.5% saved)

Profiling

Loading profile data...