Details

Time bar (total: 1.7s)

analyze98.0ms (5.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
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)

sample754.0ms (44.2%)

Results
713.0ms8256×body128valid
12.0ms152×body128invalid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify7.0ms (0.4%)

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

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 36 to 23 computations (36.1% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series13.0ms (0.8%)

Counts
2 → 48
Calls

2 calls:

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

rewrite11.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
9×add-cbrt-cube_binary64
9×add-exp-log_binary64
9×pow1_binary64
7×*-un-lft-identity_binary64
7×add-sqr-sqrt_binary64
Counts
2 → 51
Calls

2 calls:

5.0ms
(*.f64 2 (*.f64 x (+.f64 x y)))
4.0ms
(*.f64 x (+.f64 x y))

simplify93.0ms (5.4%)

Algorithm
1×egg-herbie
Rules
613×associate-+r+_binary64
494×distribute-rgt-in_binary64
493×distribute-lft-in_binary64
408×unswap-sqr_binary64
247×fma-def_binary64
Counts
99 → 84
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0811011
1201927
2766923
32315923
43621923
54721923
64981923
74952923

prune35.0ms (2.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New82284
Fresh000
Picked101
Done000
Total83285
Error
0b
Counts
85 → 2
Alt Table
StatusErrorProgram
20.3b
(*.f64 (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))) (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))))
▶0.0b
(*.f64 x (*.f64 2 (+.f64 y x)))
Compiler

Compiled 1083 to 467 computations (56.9% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.5%)

Counts
1 → 24
Calls

1 calls:

8.0ms
(*.f64 x (*.f64 2 (+.f64 y x)))

rewrite6.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
4×associate-*r/_binary64
4×distribute-lft-in_binary64
Counts
1 → 26
Calls

1 calls:

5.0ms
(*.f64 x (*.f64 2 (+.f64 y x)))

simplify63.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
661×associate-*l*_binary64
465×associate-*r*_binary64
393×distribute-rgt-in_binary64
390×distribute-lft-in_binary64
371×associate-*l/_binary64
Counts
50 → 42
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
067658
1164541
2581541
32144541
43808541
55202541

prune18.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New42042
Fresh011
Picked011
Done000
Total42244
Error
0b
Counts
44 → 2
Alt Table
StatusErrorProgram
▶20.3b
(*.f64 (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))) (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))))
✓0.0b
(*.f64 x (*.f64 2 (+.f64 y x)))
Compiler

Compiled 566 to 284 computations (49.8% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(*.f64 x (+.f64 x y))
0.0b
(*.f64 2 (*.f64 x (+.f64 x y)))
✓0.3b
(*.f64 (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))) (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))))
✓5.9b
(sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y))))

series81.0ms (4.8%)

Counts
2 → 36
Calls

2 calls:

48.0ms
(*.f64 (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))) (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))))
33.0ms
(sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y))))

rewrite28.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
135×pow1_binary64
74×pow-prod-down_binary64
63×sqrt-pow1_binary64
30×associate-*r/_binary64
17×pow-prod-up_binary64
Counts
2 → 92
Calls

2 calls:

14.0ms
(*.f64 (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))) (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))))
4.0ms
(sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y))))

simplify71.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
540×cancel-sign-sub-inv_binary64
482×fma-neg_binary64
328×unswap-sqr_binary64
287×times-frac_binary64
229×*-commutative_binary64
Counts
128 → 103
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01231955
12951711
29521597
331051581
451581581

prune265.0ms (15.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New3020302
Fresh000
Picked011
Done011
Total3022304
Error
0b
Counts
304 → 2
Alt Table
StatusErrorProgram
✓20.3b
(*.f64 (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))) (sqrt.f64 (*.f64 2 (*.f64 x (+.f64 x y)))))
✓0.0b
(*.f64 x (*.f64 2 (+.f64 y x)))
Compiler

Compiled 6915 to 3229 computations (53.3% saved)

regimes70.0ms (4.1%)

Accuracy

Total 0.0b remaining (72.1%)

Threshold costs 0.0b (72.1%)

Counts
17 → 1
Compiler

Compiled 940 to 656 computations (30.2% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
21010

end62.0ms (3.6%)

Compiler

Compiled 46 to 29 computations (37% saved)

Profiling

Loading profile data...