Details

Time bar (total: 880.0ms)

analyze79.0ms (9%)

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
25%74.9%0.1%5
37.5%50%12.6%6
43.7%40.6%15.7%7
56.2%23.4%20.4%8
57.8%21.1%21.2%9
64%12.5%23.5%10
64.8%10.7%24.5%11
67.9%6.4%25.7%12
68.3%5.4%26.3%13
69.9%3.3%26.9%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample30.0ms (3.5%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
0.0ms12×body128invalid
Compiler

Compiled 25 to 17 computations (32% saved)

simplify7.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
17×fma-def_binary64
16×*-commutative_binary64
6×distribute-rgt-out_binary64
5×associate-*r*_binary64
5×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
12010
23910
35410
45610
55610

prune5.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
Compiler

Compiled 40 to 25 computations (37.5% saved)

localize5.0ms (0.6%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 x x) (*.f64 x y))

series6.0ms (0.7%)

Counts
1 → 24
Calls

1 calls:

6.0ms
(+.f64 (*.f64 x x) (*.f64 x y))

rewrite4.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×+-commutative_binary64
1×distribute-lft-out_binary64
1×flip-+_binary64
1×*-un-lft-identity_binary64
Counts
1 → 15
Calls

1 calls:

3.0ms
(+.f64 (*.f64 x x) (*.f64 x y))

simplify96.0ms (11%)

Algorithm
1×egg-herbie
Rules
456×unswap-sqr_binary64
360×fma-neg_binary64
316×cancel-sign-sub-inv_binary64
301×distribute-rgt-in_binary64
291×sub-neg_binary64
Counts
39 → 29
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
034336
1114309
2357309
31187309
42608309
54431309
64739309
74995309
84880309

prune16.0ms (1.8%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New28129
Fresh000
Picked101
Done000
Total29130
Error
0.0b
Counts
30 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 2 (fma.f64 x x (*.f64 x y)))
Compiler

Compiled 416 to 160 computations (61.5% saved)

localize5.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.6%)

Counts
1 → 24
Calls

1 calls:

5.0ms
(fma.f64 x x (*.f64 x y))

rewrite1.0ms (0.1%)

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 x x (*.f64 x y))

simplify77.0ms (8.7%)

Algorithm
1×egg-herbie
Rules
826×fma-def_binary64
365×distribute-rgt-in_binary64
357×sqr-pow_binary64
343×distribute-lft-in_binary64
331×distribute-rgt-out_binary64
Counts
34 → 22
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019292
126247
259247
3167247
4668247
52891247
63405247
74149247
84978247
94870247

prune10.0ms (1.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New22022
Fresh000
Picked011
Done000
Total22123
Error
0.0b
Counts
23 → 1
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 2 (fma.f64 x x (*.f64 x y)))
Compiler

Compiled 260 to 101 computations (61.2% saved)

regimes35.0ms (3.9%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
7 → 1
Compiler

Compiled 292 to 196 computations (32.9% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
1911
2911

end0.0ms (0%)

Compiler

Compiled 10 to 6 computations (40% saved)

sample497.0ms (56.5%)

Algorithm
1×intervals
Results
258.0ms8000×body128valid
5.0ms167×body128invalid
Compiler

Compiled 34 to 22 computations (35.3% saved)

Profiling

Loading profile data...