Details

Time bar (total: 4.0s)

analyze223.0ms (5.6%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03726
13726
022
122
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
Symmetry

(sort x y)

Compiler

Compiled 10 to 8 computations (20% saved)

sample22.0ms (0.6%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
03713
13713

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
14.1b
Counts
2 → 1
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

13.5b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

rewrite42.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×add-exp-log_binary64_15461 add-cbrt-cube_binary64_15459
7×*-un-lft-identity_binary64_15423
4×times-frac_binary64_15429 associate-/l*_binary64_15368
3×prod-exp_binary64_15472 div-exp_binary64_15474 add-cube-cbrt_binary64_15458 cbrt-undiv_binary64_15457 cbrt-unprod_binary64_15456 add-sqr-sqrt_binary64_15445
2×distribute-lft-out_binary64_15374 associate-/l/_binary64_15370
1×pow1_binary64_15484 add-log-exp_binary64_15462 frac-2neg_binary64_15434 clear-num_binary64_15422 div-inv_binary64_15420 flip3-+_binary64_15426 flip-+_binary64_15397 associate-/r*_binary64_15367
Counts
1 → 27
Calls

1 calls:

9.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 454 to 218 computations (52% saved)

series129.0ms (3.2%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

119.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 234 to 224 computations (4.3% saved)

simplify46.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05367505

prune30.0ms (0.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New36339
Fresh000
Picked101
Done000
Total37340
Error
0b
Counts
40 → 3
Compiler

Compiled 457 to 234 computations (48.8% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite29.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
11×*-un-lft-identity_binary64_15423
6×times-frac_binary64_15429
5×distribute-lft-out_binary64_15374
3×add-log-exp_binary64_15462 add-cube-cbrt_binary64_15458 add-sqr-sqrt_binary64_15445
2×div-inv_binary64_15420
1×sum-log_binary64_15514 pow1_binary64_15484 add-exp-log_binary64_15461 add-cbrt-cube_binary64_15459 frac-add_binary64_15431 flip3-+_binary64_15426 flip-+_binary64_15397 +-commutative_binary64_15353
Counts
1 → 17
Calls

1 calls:

12.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 249 to 195 computations (21.7% saved)

series98.0ms (2.5%)

Error
0b
Counts
1 → 12
Calls

1 calls:

92.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
Compiler

Compiled 234 to 224 computations (4.3% saved)

simplify89.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
05160328

prune21.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New29029
Fresh022
Picked011
Done000
Total29332
Error
0b
Counts
32 → 3
Compiler

Compiled 304 to 228 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x y) (*.f64 x 2))
7.8b
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) y)

rewrite79.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
44×times-frac_binary64_15429
33×*-un-lft-identity_binary64_15423
21×add-cube-cbrt_binary64_15458 add-sqr-sqrt_binary64_15445
16×add-exp-log_binary64_15461 add-cbrt-cube_binary64_15459
12×associate-/l*_binary64_15368
7×div-exp_binary64_15474 cbrt-undiv_binary64_15457
6×distribute-lft-out_binary64_15374 div-inv_binary64_15420
4×associate-/r*_binary64_15367
3×associate-/l/_binary64_15370
2×pow1_binary64_15484 prod-exp_binary64_15472 add-log-exp_binary64_15462 cbrt-unprod_binary64_15456 frac-2neg_binary64_15434 clear-num_binary64_15422
1×flip3-+_binary64_15426 flip-+_binary64_15397
Counts
2 → 77
Calls

2 calls:

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

Compiled 1338 to 614 computations (54.1% saved)

series219.0ms (5.5%)

Error
0b
Counts
2 → 24
Calls

2 calls:

122.0ms
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) y)
85.0ms
(/.f64 (+.f64 x y) (*.f64 x 2))
Compiler

Compiled 456 to 396 computations (13.2% saved)

simplify55.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
052091542

prune66.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1001101
Fresh101
Picked101
Done011
Total1022104
Error
0b
Counts
104 → 2
Compiler

Compiled 1338 to 631 computations (52.8% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (+.f64 x y) (*.f64 x 2))
3.9b
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) (sqrt.f64 y))
4.1b
(/.f64 (/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) (sqrt.f64 y)) (sqrt.f64 y))

rewrite725.0ms (18.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
896×times-frac_binary64_15429
448×*-un-lft-identity_binary64_15423
354×sqrt-prod_binary64_15439
346×add-cube-cbrt_binary64_15458 add-sqr-sqrt_binary64_15445
64×associate-/l*_binary64_15368
59×div-inv_binary64_15420
51×distribute-lft-out_binary64_15374
31×add-exp-log_binary64_15461 add-cbrt-cube_binary64_15459
16×div-exp_binary64_15474 cbrt-undiv_binary64_15457
13×associate-/r*_binary64_15367
4×associate-/l/_binary64_15370
3×pow1_binary64_15484 prod-exp_binary64_15472 add-log-exp_binary64_15462 cbrt-unprod_binary64_15456 frac-2neg_binary64_15434 clear-num_binary64_15422
1×flip3-+_binary64_15426 flip-+_binary64_15397
Counts
3 → 493
Calls

3 calls:

26.0ms
(/.f64 (/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) (sqrt.f64 y)) (sqrt.f64 y))
10.0ms
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) (sqrt.f64 y))
6.0ms
(/.f64 (+.f64 x y) (*.f64 x 2))
Compiler

Compiled 13672 to 5076 computations (62.9% saved)

series354.0ms (8.9%)

Error
0b
Counts
3 → 32
Calls

3 calls:

122.0ms
(/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) (sqrt.f64 y))
119.0ms
(/.f64 (/.f64 (/.f64 (+.f64 x y) (*.f64 x 2)) (sqrt.f64 y)) (sqrt.f64 y))
95.0ms
(/.f64 (+.f64 x y) (*.f64 x 2))
Compiler

Compiled 912 to 705 computations (22.7% saved)

simplify199.0ms (5%)

Algorithm
1×egg-herbie
Counts
525 → 525
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
0505015834

prune553.0ms (13.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New5250525
Fresh000
Picked011
Done011
Total5252527
Error
0b
Counts
527 → 2
Compiler

Compiled 11819 to 4458 computations (62.3% saved)

regimes139.0ms (3.5%)

Accuracy

Total 0.0b remaining (94.4%)

Threshold costs 0.0b (94.4%)

Compiler

Compiled 1262 to 899 computations (28.8% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01416
11416
Remove

(sort x y)

Compiler

Compiled 22 to 22 computations (0% saved)

end0.0ms (0%)

sample822.0ms (20.6%)

Algorithm
1×intervals
Results
225.0ms8000×body128valid
0.0ms2×body128invalid
Compiler

Compiled 401 to 293 computations (26.9% saved)

Profiling

Loading profile data...