Details

Time bar (total: 1.1s)

analyze125.0ms (11.2%)

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
25%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample35.0ms (3.1%)

Algorithm
1×intervals
Symmetry

(sort x y)

Results
11.0ms256×body128valid
Compiler

Compiled 25 to 17 computations (32% saved)

simplify9.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
13×associate-/r*_binary64
5×*-commutative_binary64
4×associate-/l/_binary64
3×associate-*r*_binary64
3×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11513
22813
33913
43713
53713

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 42 to 25 computations (40.5% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.7%)

Counts
1 → 24
Calls

1 calls:

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

rewrite9.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
7×*-un-lft-identity_binary64
4×associate-/l*_binary64
4×times-frac_binary64
Counts
1 → 29
Calls

1 calls:

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

simplify54.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
701×fma-def_binary64
664×times-frac_binary64
522×associate-/r*_binary64
519×associate-*l*_binary64
500×distribute-rgt-in_binary64
Counts
53 → 45
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
080767
1222654
2839654
33818653
45409653

prune22.0ms (2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New43245
Fresh000
Picked011
Done000
Total43346
Error
0b
Counts
46 → 3
Alt Table
StatusErrorProgram
47.2b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (*.f64 (*.f64 x 2) y) (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y)))))
▶0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
✓14.2b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 773 to 383 computations (50.5% saved)

localize10.0ms (0.9%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.6%)

Counts
1 → 24
Calls

1 calls:

7.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

rewrite13.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
18×*-un-lft-identity_binary64
15×times-frac_binary64
13×fma-def_binary64
10×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
Counts
1 → 32
Calls

1 calls:

11.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

simplify91.0ms (8.1%)

Algorithm
1×egg-herbie
Rules
539×distribute-rgt-out_binary64
539×times-frac_binary64
394×associate-/l/_binary64
321×fma-neg_binary64
298×distribute-rgt-in_binary64
Counts
56 → 40
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
049504
1127473
2402472
31379472
42965472
54451472
64835472
75030472

prune24.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New39140
Fresh101
Picked011
Done101
Total41243
Error
0b
Counts
43 → 2
Alt Table
StatusErrorProgram
▶0.4b
(fma.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) x) (/.f64 1/2 y))
✓0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 572 to 426 computations (25.5% saved)

localize7.0ms (0.6%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(fma.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) x) (/.f64 1/2 y))
✓0.4b
(/.f64 (sqrt.f64 1/2) x)

series16.0ms (1.4%)

Counts
2 → 24
Calls

2 calls:

12.0ms
(fma.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) x) (/.f64 1/2 y))
3.0ms
(/.f64 (sqrt.f64 1/2) x)

rewrite5.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
18×times-frac_binary64
17×*-un-lft-identity_binary64
17×add-sqr-sqrt_binary64
17×add-cube-cbrt_binary64
12×sqrt-prod_binary64
Counts
2 → 51
Calls

2 calls:

3.0ms
(/.f64 (sqrt.f64 1/2) x)
0.0ms
(fma.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) x) (/.f64 1/2 y))

simplify86.0ms (7.7%)

Algorithm
1×egg-herbie
Rules
962×fma-neg_binary64
812×fma-def_binary64
380×*-commutative_binary64
338×distribute-rgt-in_binary64
328×distribute-lft-in_binary64
Counts
75 → 65
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
084883
1131850
2246850
3535850
41770850
53708850
64811850
75570850

prune45.0ms (4.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New65065
Fresh000
Picked011
Done011
Total65267
Error
0b
Counts
67 → 2
Alt Table
StatusErrorProgram
✓0.4b
(fma.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) x) (/.f64 1/2 y))
✓0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 1155 to 941 computations (18.5% saved)

regimes43.0ms (3.9%)

Accuracy

Total 0.0b remaining (13.6%)

Threshold costs 0.0b (13.6%)

Counts
10 → 1
Compiler

Compiled 424 to 304 computations (28.3% saved)

simplify2.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
1810
2810

end6.0ms (0.5%)

Remove

(sort x y)

Compiler

Compiled 27 to 21 computations (22.2% saved)

sample492.0ms (44.1%)

Algorithm
1×intervals
Results
264.0ms8000×body128valid
0.0ms1×body128invalid
Compiler

Compiled 46 to 36 computations (21.7% saved)

Profiling

Loading profile data...