Details

Time bar (total: 1.7s)

analyze26.0ms (1.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
74.9%25%0.1%5
74.9%25%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 10 to 6 computations (40% saved)

sample595.0ms (35.7%)

Infinites
0% of outputs are infinite.
Results
491.0ms8256×body128valid
Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify69.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
516×fma-neg_binary64
439×fma-def_binary64
382×times-frac_binary64
357×div-sub_binary64
168×associate-/l*_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
1910
21410
32110
42810
55110
67410
710410
815410
931910
1047910
1180610
12105010
13121610
14131610
15133010
16135010
17135010
18125010

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 27 to 15 computations (44.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (+.f64 x y) (-.f64 x y))

series8.0ms (0.5%)

Counts
1 → 24
Calls

1 calls:

8.0ms
(/.f64 (+.f64 x y) (-.f64 x y))

rewrite8.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
34×*-un-lft-identity_binary64
22×add-sqr-sqrt_binary64
20×times-frac_binary64
12×add-cube-cbrt_binary64
6×distribute-lft-out_binary64
Counts
1 → 47
Calls

1 calls:

5.0ms
(/.f64 (+.f64 x y) (-.f64 x y))

simplify79.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
910×fma-neg_binary64
434×cancel-sign-sub-inv_binary64
387×distribute-rgt-in_binary64
223×fma-def_binary64
161×associate-/l*_binary64
Counts
71 → 57
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01091282
12801222
27851160
325161148
445661139
551721139

prune30.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New55257
Fresh000
Picked011
Done000
Total55358
Error
0b
Counts
58 → 3
Alt Table
StatusErrorProgram
▶1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y)))
30.5b
(fma.f64 2 (*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x)) 1)
✓0.0b
(/.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 930 to 304 computations (67.3% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y))
✓0.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y)))
✓0.5b
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
✓0.5b
(cbrt.f64 (+.f64 x y))

series95.0ms (5.7%)

Counts
4 → 96
Calls

4 calls:

35.0ms
(/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y))
27.0ms
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
24.0ms
(cbrt.f64 (+.f64 x y))
9.0ms
(*.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y)))

rewrite66.0ms (4%)

Algorithm
1×rewrite-expression-head
Rules
119×*-un-lft-identity_binary64
94×add-sqr-sqrt_binary64
73×cbrt-prod_binary64
72×times-frac_binary64
51×add-cube-cbrt_binary64
Counts
4 → 218
Calls

4 calls:

25.0ms
(*.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y)))
8.0ms
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
6.0ms
(/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y))
4.0ms
(cbrt.f64 (+.f64 x y))

simplify217.0ms (13%)

Algorithm
1×egg-herbie
Rules
422×associate-*l*_binary64
371×associate-*r*_binary64
250×*-commutative_binary64
243×unswap-sqr_binary64
227×fma-neg_binary64
Counts
314 → 405
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04318268
111637956
241587392
349837392
449867392

prune210.0ms (12.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New5210521
Fresh011
Picked011
Done011
Total5213524
Error
0b
Counts
524 → 3
Alt Table
StatusErrorProgram
✓1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y)))
▶30.5b
(fma.f64 2 (*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x)) 1)
✓0.0b
(/.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 15938 to 4737 computations (70.3% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x))

series15.0ms (0.9%)

Counts
1 → 24
Calls

1 calls:

15.0ms
(*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x))

rewrite13.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
13×associate-*r*_binary64
11×*-un-lft-identity_binary64
10×times-frac_binary64
9×add-cube-cbrt_binary64
Counts
1 → 39
Calls

1 calls:

9.0ms
(*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x))

simplify72.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
332×associate-*l*_binary64
268×associate-*r*_binary64
245×associate-*l/_binary64
242×associate-*r/_binary64
228×distribute-rgt-in_binary64
Counts
63 → 64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0921078
1227929
2773850
32605849
44059838
54960838

prune36.0ms (2.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New64064
Fresh000
Picked011
Done022
Total64367
Error
0b
Counts
67 → 3
Alt Table
StatusErrorProgram
✓1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (/.f64 (cbrt.f64 (+.f64 x y)) (-.f64 x y)))
✓30.5b
(fma.f64 2 (*.f64 (+.f64 (/.f64 y x) 1) (/.f64 y x)) 1)
✓0.0b
(/.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 1275 to 625 computations (51% saved)

regimes57.0ms (3.4%)

Accuracy

Total 0.0b remaining (51.4%)

Threshold costs 0.0b (51.4%)

Counts
21 → 1
Compiler

Compiled 899 to 535 computations (40.5% saved)

simplify4.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11313
21713
31913
42013
51913

end45.0ms (2.7%)

Compiler

Compiled 65 to 36 computations (44.6% saved)

Profiling

Loading profile data...