Details

Time bar (total: 3.1s)

analyze731.0ms (23.8%)

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
18.7%81.1%0.1%8
34.3%65.5%0.1%9
39%60.8%0.1%10
41.3%58.5%0.1%11
52.7%47.2%0.1%12
54%45.7%0.2%13
55.3%43.8%0.9%14
Compiler

Compiled 19 to 10 computations (47.4% saved)

sample1.8s (57.1%)

Results
657.0ms6011×body128valid
282.0ms849×body1024valid
197.0ms471×body2048valid
169.0ms1560×body128invalid
148.0ms590×body512valid
65.0ms335×body256valid
64.0ms244×body512invalid
49.0ms147×body1024invalid
29.0ms134×body256invalid
Compiler

Compiled 56 to 29 computations (48.2% saved)

simplify146.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
1476×distribute-rgt-out--_binary64
585×unsub-neg_binary64
406×sub-neg_binary64
378×distribute-rgt-neg-in_binary64
342×fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01019
12911
28410
32147
45907
518327
623617
727737
830297
933277
1034827
1135007
1235007
1335007
1453907

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 y (-.f64 x z))
14.7b
(-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))
Compiler

Compiled 75 to 39 computations (48% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.2%)

Counts
1 → 36
Calls

1 calls:

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

rewrite10.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
19×*-un-lft-identity_binary64
18×prod-diff_binary64
17×add-cube-cbrt_binary64
13×distribute-lft-in_binary64
Counts
1 → 50
Calls

1 calls:

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

simplify91.0ms (3%)

Algorithm
1×egg-herbie
Rules
626×fma-def_binary64
422×unsub-neg_binary64
281×unswap-sqr_binary64
277×*-commutative_binary64
231×neg-mul-1_binary64
Counts
86 → 67
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0117869
1190803
2577749
31458695
43029695
54852695
65000695
74766695

prune30.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New65267
Fresh101
Picked011
Done000
Total66369
Error
0b
Counts
69 → 3
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 y (-.f64 x z))
▶0.0b
(-.f64 (*.f64 y x) (*.f64 y z))
1.3b
(*.f64 (*.f64 y (*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z)))) (cbrt.f64 (-.f64 x z)))
Compiler

Compiled 1069 to 294 computations (72.5% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.3%)

Counts
1 → 18
Calls

1 calls:

10.0ms
(-.f64 (*.f64 y x) (*.f64 y z))

rewrite3.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×distribute-lft-out--_binary64
1×cancel-sign-sub-inv_binary64
1×flip--_binary64
1×sub-neg_binary64
Counts
1 → 17
Calls

1 calls:

3.0ms
(-.f64 (*.f64 y x) (*.f64 y z))

simplify78.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
791×unsub-neg_binary64
633×fma-def_binary64
541×distribute-rgt-in_binary64
482×distribute-lft-in_binary64
320×times-frac_binary64
Counts
35 → 35
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
045332
1121314
2415307
31268304
43520304
54176304
64949304
74865304

prune18.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New34135
Fresh101
Picked101
Done011
Total36238
Error
0b
Counts
38 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 y (-.f64 x z))
▶0.0b
(fma.f64 y x (neg.f64 (*.f64 y z)))
Compiler

Compiled 423 to 119 computations (71.9% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

7.0ms
(fma.f64 y x (neg.f64 (*.f64 y z)))

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

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

simplify74.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
600×times-frac_binary64
566×associate-*l*_binary64
429×associate-*r*_binary64
401×distribute-rgt-in_binary64
384×distribute-lft-in_binary64
Counts
46 → 25
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
025352
147337
2126337
3448337
42005337
54119337
64418337
75458337

prune8.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New25025
Fresh000
Picked011
Done011
Total25227
Error
0b
Counts
27 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 y (-.f64 x z))
✓0.0b
(fma.f64 y x (neg.f64 (*.f64 y z)))
Compiler

Compiled 261 to 68 computations (73.9% saved)

regimes47.0ms (1.5%)

Accuracy

Total 0.0b remaining (66.7%)

Threshold costs 0.0b (66.7%)

Counts
11 → 1
Compiler

Compiled 564 to 324 computations (42.6% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01022
12122
22922
33322
43422
53422

end36.0ms (1.2%)

Compiler

Compiled 54 to 29 computations (46.3% saved)

Profiling

Loading profile data...