Details

Time bar (total: 3.9s)

analyze44.0ms (1.1%)

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
25%74.9%0.1%4
37.5%62.4%0.1%5
59.3%40.6%0.1%6
76.5%23.4%0.1%7
82%18%0.1%8
87.8%12.1%0.1%9
90.7%9.2%0.1%10
93.8%6.1%0.1%11
95.3%4.6%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample15.0ms (0.4%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify157.0ms (4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
078210
178210

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(/.f64 (-.f64 x y) (+.f64 x y))

rewrite47.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
34×*-un-lft-identity_binary64_20538
22×add-sqr-sqrt_binary64_20560
20×times-frac_binary64_20544
12×add-cube-cbrt_binary64_20573
6×distribute-lft-out_binary64_20489
5×difference-of-squares_binary64_20507 distribute-lft-out--_binary64_20490 associate-/l*_binary64_20483
4×associate-/r*_binary64_20482
3×add-exp-log_binary64_20576 add-cbrt-cube_binary64_20574
2×associate-/l/_binary64_20485 associate-/r/_binary64_20484
1×pow1_binary64_20599 div-exp_binary64_20589 add-log-exp_binary64_20577 cbrt-undiv_binary64_20572 frac-2neg_binary64_20549 div-sub_binary64_20543 clear-num_binary64_20537 div-inv_binary64_20535 flip3--_binary64_20542 flip--_binary64_20513 flip3-+_binary64_20541 flip-+_binary64_20512
Counts
1 → 46
Calls

1 calls:

8.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
Compiler

Compiled 725 to 165 computations (77.2% saved)

series104.0ms (2.6%)

Error
0.0b
Counts
1 → 24
Calls

1 calls:

81.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
Compiler

Compiled 624 to 514 computations (17.6% saved)

simplify71.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
055401155

prune55.0ms (1.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New67370
Fresh000
Picked101
Done000
Total68371
Error
0b
Counts
71 → 3
Compiler

Compiled 942 to 291 computations (69.1% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 y (+.f64 x y))
0.0b
(/.f64 x (+.f64 x y))
0.0b
(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))

rewrite120.0ms (3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
77×*-un-lft-identity_binary64_20538
52×times-frac_binary64_20544
43×add-sqr-sqrt_binary64_20560
31×add-cube-cbrt_binary64_20573
18×cancel-sign-sub-inv_binary64_20504
15×distribute-lft-out_binary64_20489
10×associate-/r/_binary64_20484
8×associate-/r*_binary64_20482
7×add-exp-log_binary64_20576 add-cbrt-cube_binary64_20574 distribute-lft-out--_binary64_20490
6×associate-/l*_binary64_20483
5×add-log-exp_binary64_20577 div-inv_binary64_20535 flip3-+_binary64_20541 flip-+_binary64_20512
4×difference-of-squares_binary64_20507
3×pow1_binary64_20599 distribute-rgt-out--_binary64_20492
2×div-exp_binary64_20589 cbrt-undiv_binary64_20572 frac-2neg_binary64_20549 clear-num_binary64_20537
1×diff-log_binary64_20630 frac-sub_binary64_20547 sub-div_binary64_20545 flip3--_binary64_20542 sub-neg_binary64_20531 flip--_binary64_20513
Counts
3 → 111
Calls

3 calls:

26.0ms
(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
5.0ms
(/.f64 x (+.f64 x y))
5.0ms
(/.f64 y (+.f64 x y))
Compiler

Compiled 2172 to 456 computations (79% saved)

series311.0ms (7.9%)

Error
0b
Counts
3 → 72
Calls

3 calls:

99.0ms
(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
77.0ms
(/.f64 y (+.f64 x y))
75.0ms
(/.f64 x (+.f64 x y))
Compiler

Compiled 2400 to 1575 computations (34.4% saved)

simplify79.0ms (2%)

Algorithm
1×egg-herbie
Counts
183 → 183
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
050972699

prune114.0ms (2.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1830183
Fresh022
Picked011
Done000
Total1833186
Error
0b
Counts
186 → 3
Compiler

Compiled 2914 to 723 computations (75.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 1 (+.f64 x y))
0.2b
(*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y)))

rewrite88.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
37×*-un-lft-identity_binary64_20538
29×add-sqr-sqrt_binary64_20560
26×times-frac_binary64_20544
20×add-cube-cbrt_binary64_20573
18×associate-*r*_binary64_20478
15×add-exp-log_binary64_20576
9×add-cbrt-cube_binary64_20574
7×distribute-lft-out_binary64_20489
5×pow1_binary64_20599 associate-*l*_binary64_20479
4×div-exp_binary64_20589 prod-exp_binary64_20587 associate-/r/_binary64_20484 associate-/r*_binary64_20482
3×unswap-sqr_binary64_20506 associate-/l*_binary64_20483
2×1-exp_binary64_20582 rec-exp_binary64_20588 add-log-exp_binary64_20577 cbrt-unprod_binary64_20571 cbrt-undiv_binary64_20572 flip3--_binary64_20542 frac-times_binary64_20548 flip--_binary64_20513 associate-*l/_binary64_20481 div-inv_binary64_20535 flip3-+_binary64_20541 flip-+_binary64_20512
1×pow-prod-down_binary64_20609 un-div-inv_binary64_20536 associate-*r/_binary64_20480 difference-of-squares_binary64_20507 distribute-lft-out--_binary64_20490 *-commutative_binary64_20469 inv-pow_binary64_20623 pow-flip_binary64_20612 frac-2neg_binary64_20549 clear-num_binary64_20537
Counts
2 → 84
Calls

2 calls:

14.0ms
(*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y)))
5.0ms
(/.f64 1 (+.f64 x y))
Compiler

Compiled 1404 to 601 computations (57.2% saved)

series195.0ms (4.9%)

Error
0b
Counts
2 → 48
Calls

2 calls:

83.0ms
(*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y)))
74.0ms
(/.f64 1 (+.f64 x y))
Compiler

Compiled 1464 to 1091 computations (25.5% saved)

simplify67.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049911872
149911872

prune86.0ms (2.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1320132
Fresh011
Picked011
Done011
Total1323135
Error
0b
Counts
135 → 3
Compiler

Compiled 1852 to 684 computations (63.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 2 (-.f64 (*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1)) (pow.f64 (/.f64 y x) 3)))
0.1b
(*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1))
0.3b
(pow.f64 (/.f64 y x) 3)
10.1b
(-.f64 (*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1)) (pow.f64 (/.f64 y x) 3))

rewrite425.0ms (10.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
96×cancel-sign-sub-inv_binary64_20504
84×add-sqr-sqrt_binary64_20560
83×times-frac_binary64_20544
76×*-un-lft-identity_binary64_20538
74×add-cube-cbrt_binary64_20573
52×unpow-prod-down_binary64_20617 cube-prod_binary64_20566
39×distribute-rgt-in_binary64_20488 distribute-lft-in_binary64_20487
16×associate-*l*_binary64_20479
14×add-exp-log_binary64_20576 add-cbrt-cube_binary64_20574
13×associate-*r/_binary64_20480
11×cube-div_binary64_20567
10×frac-sub_binary64_20547 associate-*r*_binary64_20478
9×pow1_binary64_20599 div-inv_binary64_20535
6×add-log-exp_binary64_20577 flip3-+_binary64_20541 frac-times_binary64_20548 flip-+_binary64_20512 cube-mult_binary64_20568 associate--l+_binary64_20475
4×unpow3_binary64_20604 sqr-pow_binary64_20510
3×associate-*l/_binary64_20481 sub-neg_binary64_20531 pow-unpow_binary64_20615 prod-exp_binary64_20587 cbrt-unprod_binary64_20571 unswap-sqr_binary64_20506
2×flip3--_binary64_20542 flip--_binary64_20513 distribute-lft-out--_binary64_20490 div-exp_binary64_20589 pow-exp_binary64_20606 rem-cube-cbrt_binary64_20561 cbrt-undiv_binary64_20572 pow-prod-down_binary64_20609 difference-of-sqr--1_binary64_20509 *-commutative_binary64_20469
1×diff-log_binary64_20630 pow-pow_binary64_20610 pow-to-exp_binary64_20607 distribute-lft-out_binary64_20489
Counts
4 → 234
Calls

4 calls:

30.0ms
(*.f64 2 (-.f64 (*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1)) (pow.f64 (/.f64 y x) 3)))
21.0ms
(-.f64 (*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1)) (pow.f64 (/.f64 y x) 3))
14.0ms
(*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1))
5.0ms
(pow.f64 (/.f64 y x) 3)
Compiler

Compiled 7126 to 3743 computations (47.5% saved)

series594.0ms (15.1%)

Error
0b
Counts
4 → 42
Calls

4 calls:

174.0ms
(*.f64 2 (-.f64 (*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1)) (pow.f64 (/.f64 y x) 3)))
149.0ms
(-.f64 (*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1)) (pow.f64 (/.f64 y x) 3))
134.0ms
(*.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1))
99.0ms
(pow.f64 (/.f64 y x) 3)
Compiler

Compiled 1950 to 1515 computations (22.3% saved)

simplify120.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
276 → 276
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049465626
149465626

prune333.0ms (8.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2760276
Fresh000
Picked011
Done022
Total2763279
Error
0b
Counts
279 → 3
Compiler

Compiled 6571 to 3491 computations (46.9% saved)

regimes120.0ms (3.1%)

Accuracy

Total 0.0b remaining (97.7%)

Threshold costs 0.0b (97.7%)

Compiler

Compiled 1180 to 731 computations (38.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02821
12821

end0.0ms (0%)

sample763.0ms (19.4%)

Algorithm
1×intervals
Results
191.0ms8000×body128valid
Compiler

Compiled 384 to 241 computations (37.2% saved)

Profiling

Loading profile data...