Details

Time bar (total: 3.1s)

analyze137.0ms

Algorithm
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
49.9%49.9%0.1%5
74.9%25%0.1%6
74.9%25%0.1%7
74.9%25%0.1%8
81.1%18.7%0.1%9
81.1%18.7%0.1%10
81.1%15.6%3.3%11
84.3%10.9%4.8%12
84.3%10.9%4.8%13
84.3%8.6%7.2%14

sample24.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
1.0ms17×body80invalid

simplify28.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
032113
132113

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
0.0b
(/.f64 (*.f64 x y) 2)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64_2485
7×add-exp-log_binary64_2464 add-cbrt-cube_binary64_2472
6×*-un-lft-identity_binary64_2500
4×add-cube-cbrt_binary64_2471 add-log-exp_binary64_2465 times-frac_binary64_2495
3×associate-/r*_binary64_2563
2×pow1_binary64_2446 difference-of-squares_binary64_2529 div-exp_binary64_2453 cbrt-undiv_binary64_2470
1×diff-log_binary64_2416 distribute-lft-out--_binary64_2545 frac-2neg_binary64_2493 sub-neg_binary64_2504 div-inv_binary64_2501 frac-sub_binary64_2491 associate-/l*_binary64_2564 prod-exp_binary64_2451 clear-num_binary64_2503 flip--_binary64_2526 cbrt-unprod_binary64_2469 flip3--_binary64_2499
Counts
2 → 36
Calls
2 calls:
10.0ms
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
9.0ms
(/.f64 (*.f64 x y) 2)

series48.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
17.0ms
(/.f64 (*.f64 x y) 2)

simplify87.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
05328578

prune158.0ms

Filtered
31 candidates to 42 candidates (-35.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New40242
Fresh000
Picked011
Done000
Total40343

Merged error: 0b

Counts
43 → 3

localize22.0ms

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 z 8))
0.3b
(/.f64 x (/.f64 2 y))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
86×times-frac_binary64_2495
65×add-sqr-sqrt_binary64_2485
50×*-un-lft-identity_binary64_2500
44×add-cube-cbrt_binary64_2471
13×associate-/r*_binary64_2563
7×add-exp-log_binary64_2464 add-cbrt-cube_binary64_2472
6×difference-of-squares_binary64_2529
5×div-inv_binary64_2501
4×add-log-exp_binary64_2465
3×div-exp_binary64_2453 cbrt-undiv_binary64_2470 associate-/l*_binary64_2564
2×pow1_binary64_2446 distribute-lft-out--_binary64_2545
1×associate-/r/_binary64_2565 diff-log_binary64_2416 frac-2neg_binary64_2493 sub-neg_binary64_2504 frac-sub_binary64_2491 clear-num_binary64_2503 flip--_binary64_2526 flip3--_binary64_2499
Counts
2 → 90
Calls
2 calls:
29.0ms
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 z 8))
5.0ms
(/.f64 x (/.f64 2 y))

series51.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 z 8))
17.0ms
(/.f64 x (/.f64 2 y))

simplify83.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050181747

prune370.0ms

Filtered
80 candidates to 96 candidates (-20.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New96096
Fresh011
Picked011
Done011
Total96399

Merged error: 0b

Counts
99 → 3

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (/.f64 (/.f64 (*.f64 y x) (sqrt.f64 2)) (sqrt.f64 2)) (/.f64 z 8))
0.4b
(/.f64 (*.f64 y x) (sqrt.f64 2))
0.4b
(/.f64 (/.f64 (*.f64 y x) (sqrt.f64 2)) (sqrt.f64 2))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
117×times-frac_binary64_2495
69×add-sqr-sqrt_binary64_2485
62×sqrt-prod_binary64_2479
56×*-un-lft-identity_binary64_2500
50×add-cube-cbrt_binary64_2471
17×add-exp-log_binary64_2464 add-cbrt-cube_binary64_2472
12×associate-/r*_binary64_2563
11×associate-/l*_binary64_2564
9×div-inv_binary64_2501
7×div-exp_binary64_2453 cbrt-undiv_binary64_2470
6×difference-of-squares_binary64_2529
5×add-log-exp_binary64_2465
3×pow1_binary64_2446
2×distribute-lft-out--_binary64_2545 frac-2neg_binary64_2493 prod-exp_binary64_2451 clear-num_binary64_2503 cbrt-unprod_binary64_2469
1×associate-/l/_binary64_2566 diff-log_binary64_2416 sub-neg_binary64_2504 frac-sub_binary64_2491 flip--_binary64_2526 flip3--_binary64_2499
Counts
3 → 140
Calls
3 calls:
48.0ms
(-.f64 (/.f64 (/.f64 (*.f64 y x) (sqrt.f64 2)) (sqrt.f64 2)) (/.f64 z 8))
5.0ms
(/.f64 (*.f64 y x) (sqrt.f64 2))
9.0ms
(/.f64 (/.f64 (*.f64 y x) (sqrt.f64 2)) (sqrt.f64 2))

series201.0ms

Counts
3 → 9
Calls
3 calls:
90.0ms
(-.f64 (/.f64 (/.f64 (*.f64 y x) (sqrt.f64 2)) (sqrt.f64 2)) (/.f64 z 8))
37.0ms
(/.f64 (*.f64 y x) (sqrt.f64 2))
74.0ms
(/.f64 (/.f64 (*.f64 y x) (sqrt.f64 2)) (sqrt.f64 2))

simplify102.0ms

Algorithm
egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
051972837

prune435.0ms

Filtered
84 candidates to 149 candidates (-77.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1490149
Fresh000
Picked011
Done022
Total1493152

Merged error: 0b

Counts
152 → 3

regimes704.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02813
12813

end0.0ms

sample495.0ms

Algorithm
intervals
Results
253.0ms7999×body80valid
19.0ms513×body80invalid
0.0ms1×body640valid

Profiling

Loading profile data...