Details

Time bar (total: 2.6s)

analyze2.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1

sample21.0ms

Algorithm
intervals
Results
5.0ms256×pre80true
4.0ms256×body80valid

simplify140.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07010
17010

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(*.f64 (+.f64 a b) (+.f64 a b))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_2500
8×pow1_binary64_2446
7×add-sqr-sqrt_binary64_2485
6×flip3-+_binary64_2498 swap-sqr_binary64_2527 flip-+_binary64_2525 distribute-lft-out_binary64_2544
5×add-cube-cbrt_binary64_2471
4×associate-*l*_binary64_2560 frac-times_binary64_2492 associate-*r*_binary64_2559
3×add-exp-log_binary64_2464 add-cbrt-cube_binary64_2472
2×associate-*l/_binary64_2562 associate-*r/_binary64_2561
1×pow-prod-up_binary64_2426 distribute-rgt-in_binary64_2543 pow-plus_binary64_2441 add-log-exp_binary64_2465 distribute-lft-in_binary64_2542 pow2_binary64_2437 pow-prod-down_binary64_2427 prod-exp_binary64_2451 unswap-sqr_binary64_2528 *-commutative_binary64_2568 cbrt-unprod_binary64_2469 pow-sqr_binary64_2533
Counts
1 → 40
Calls
1 calls:
9.0ms
(*.f64 (+.f64 a b) (+.f64 a b))

series12.0ms

Counts
1 → 3
Calls
1 calls:
12.0ms
(*.f64 (+.f64 a b) (+.f64 a b))

simplify51.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
05124552

prune135.0ms

Filtered
22 candidates to 43 candidates (-95.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New40343
Fresh000
Picked101
Done000
Total41344

Merged error: 0b

Counts
44 → 3

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(*.f64 b (+.f64 b (*.f64 a 2)))
0.0b
(+.f64 (*.f64 a a) (*.f64 b (+.f64 b (*.f64 a 2))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_2485
4×add-cube-cbrt_binary64_2471 pow1_binary64_2446 add-log-exp_binary64_2465 add-exp-log_binary64_2464 add-cbrt-cube_binary64_2472 *-un-lft-identity_binary64_2500
3×associate-*l*_binary64_2560 associate-*r*_binary64_2559
2×flip3-+_binary64_2498 distribute-rgt-in_binary64_2543 associate-+r+_binary64_2551 distribute-lft-in_binary64_2542 flip-+_binary64_2525 associate-*r/_binary64_2561
1×+-commutative_binary64_2567 sum-log_binary64_2415 pow-prod-down_binary64_2427 prod-exp_binary64_2451 unswap-sqr_binary64_2528 *-commutative_binary64_2568 cbrt-unprod_binary64_2469
Counts
2 → 35
Calls
2 calls:
5.0ms
(*.f64 b (+.f64 b (*.f64 a 2)))
6.0ms
(+.f64 (*.f64 a a) (*.f64 b (+.f64 b (*.f64 a 2))))

series42.0ms

Counts
2 → 6
Calls
2 calls:
23.0ms
(*.f64 b (+.f64 b (*.f64 a 2)))
19.0ms
(+.f64 (*.f64 a a) (*.f64 b (+.f64 b (*.f64 a 2))))

simplify70.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
04928646
14928646

prune161.0ms

Filtered
28 candidates to 41 candidates (-46.4%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New41041
Fresh022
Picked011
Done000
Total41344

Merged error: 0b

Counts
44 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))
0.0b
(*.f64 b (+.f64 a b))
0.0b
(*.f64 a (+.f64 a b))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-*r/_binary64_2561
11×add-sqr-sqrt_binary64_2485 *-un-lft-identity_binary64_2500
8×associate-*r*_binary64_2559
7×flip3-+_binary64_2498 add-cube-cbrt_binary64_2471 pow1_binary64_2446 add-exp-log_binary64_2464 add-cbrt-cube_binary64_2472 flip-+_binary64_2525
6×associate-*l*_binary64_2560
5×add-log-exp_binary64_2465
4×distribute-rgt-in_binary64_2543 distribute-lft-in_binary64_2542 frac-add_binary64_2490
2×associate-+r+_binary64_2551 associate-+l+_binary64_2552 pow-prod-down_binary64_2427 prod-exp_binary64_2451 unswap-sqr_binary64_2528 *-commutative_binary64_2568 cbrt-unprod_binary64_2469 distribute-lft-out_binary64_2544
1×+-commutative_binary64_2567 distribute-rgt-out_binary64_2546 sum-log_binary64_2415
Counts
3 → 66
Calls
3 calls:
8.0ms
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))
6.0ms
(*.f64 b (+.f64 a b))
6.0ms
(*.f64 a (+.f64 a b))

series69.0ms

Counts
3 → 9
Calls
3 calls:
21.0ms
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))
27.0ms
(*.f64 b (+.f64 a b))
20.0ms
(*.f64 a (+.f64 a b))

simplify80.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
05498930

prune267.0ms

Filtered
49 candidates to 75 candidates (-53.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New75075
Fresh011
Picked011
Done011
Total75378

Merged error: 0b

Counts
78 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 b b) (*.f64 a b))
0.0b
(+.f64 (*.f64 a a) (-.f64 (*.f64 b b) (*.f64 a b)))
0.2b
(*.f64 (+.f64 a b) (+.f64 (pow.f64 a 3) (pow.f64 b 3)))
0.5b
(/.f64 (*.f64 (+.f64 a b) (+.f64 (pow.f64 a 3) (pow.f64 b 3))) (+.f64 (*.f64 a a) (-.f64 (*.f64 b b) (*.f64 a b))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity_binary64_2500
14×flip3-+_binary64_2498 flip-+_binary64_2525
11×add-log-exp_binary64_2465 add-exp-log_binary64_2464 add-cbrt-cube_binary64_2472
10×add-sqr-sqrt_binary64_2485
9×associate-*r*_binary64_2559
8×associate-/l/_binary64_2566 add-cube-cbrt_binary64_2471 frac-times_binary64_2492
6×pow1_binary64_2446 distribute-lft-out_binary64_2544
4×associate-*l/_binary64_2562 cube-prod_binary64_2473 associate-*l*_binary64_2560 unpow-prod-down_binary64_2435 associate-*r/_binary64_2561
3×times-frac_binary64_2495 associate-/r*_binary64_2563
2×associate-/r/_binary64_2565 diff-log_binary64_2416 div-exp_binary64_2453 sub-neg_binary64_2504 cbrt-undiv_binary64_2470 sum-log_binary64_2415 prod-exp_binary64_2451 cbrt-unprod_binary64_2469
1×sum-cubes_binary64_2496 distribute-rgt-in_binary64_2543 +-commutative_binary64_2567 associate-+r+_binary64_2551 frac-2neg_binary64_2493 distribute-lft-in_binary64_2542 div-inv_binary64_2501 associate-/l*_binary64_2564 pow-prod-down_binary64_2427 unswap-sqr_binary64_2528 *-commutative_binary64_2568 clear-num_binary64_2503 flip--_binary64_2526 distribute-rgt-out--_binary64_2547 associate-+r-_binary64_2553 flip3--_binary64_2499
Counts
4 → 92
Calls
4 calls:
4.0ms
(-.f64 (*.f64 b b) (*.f64 a b))
6.0ms
(+.f64 (*.f64 a a) (-.f64 (*.f64 b b) (*.f64 a b)))
17.0ms
(*.f64 (+.f64 a b) (+.f64 (pow.f64 a 3) (pow.f64 b 3)))
27.0ms
(/.f64 (*.f64 (+.f64 a b) (+.f64 (pow.f64 a 3) (pow.f64 b 3))) (+.f64 (*.f64 a a) (-.f64 (*.f64 b b) (*.f64 a b))))

series130.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(-.f64 (*.f64 b b) (*.f64 a b))
18.0ms
(+.f64 (*.f64 a a) (-.f64 (*.f64 b b) (*.f64 a b)))
40.0ms
(*.f64 (+.f64 a b) (+.f64 (pow.f64 a 3) (pow.f64 b 3)))
48.0ms
(/.f64 (*.f64 (+.f64 a b) (+.f64 (pow.f64 a 3) (pow.f64 b 3))) (+.f64 (*.f64 a a) (-.f64 (*.f64 b b) (*.f64 a b))))

simplify91.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049522376
149522376

prune589.0ms

Filtered
74 candidates to 104 candidates (-40.5%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1040104
Fresh000
Picked011
Done022
Total1043107

Merged error: 0b

Counts
107 → 3

regimes130.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01316
11316

end0.0ms

sample475.0ms

Algorithm
intervals
Results
171.0ms8000×pre80true
137.0ms8000×body80valid

Profiling

Loading profile data...