Details

Time bar (total: 2.8s)

analyze492.0ms (17.3%)

Algorithm
2×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0326232
1326232
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%3
50%50%0.1%4
50%50%0.1%4
50%50%0.1%5
50%50%0.1%5
62.4%37.5%0.1%6
62.4%37.5%0.1%6
74.9%25%0.1%7
74.9%25%0.1%7
81.2%18.7%0.1%8
81.2%18.7%0.1%8
87.4%12.5%0.1%9
87.4%12.5%0.1%9
90.5%9.4%0.1%10
90.5%9.4%0.1%10
93.7%6.2%0.1%11
93.7%6.2%0.1%11
95.2%4.7%0.1%12
95.2%4.7%0.1%12
96.8%3.1%0.1%13
96.8%3.1%0.1%13
97.6%2.3%0.1%14
97.6%2.3%0.1%14
Compiler

Compiled 24 to 20 computations (16.7% saved)

sample115.0ms (4%)

Algorithm
2×intervals
Results
17.0ms512×body128valid
Compiler

Compiled 3107 to 3105 computations (0.1% saved)

simplify241.0ms (8.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (235.0ms)

IterNodesCost
0311216
1311216

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 22 to 18 computations (18.2% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite100.0ms (3.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
24×*-un-lft-identity_binary64_6557
15×times-frac_binary64_6563
14×add-cube-cbrt_binary64_6592 add-sqr-sqrt_binary64_6579
10×add-exp-log_binary64_6595 add-cbrt-cube_binary64_6593
7×associate-/r*_binary64_6501
5×add-log-exp_binary64_6596 distribute-lft-out_binary64_6508
4×associate-/l*_binary64_6502
3×pow1_binary64_6618 div-exp_binary64_6608 cbrt-undiv_binary64_6591
2×frac-2neg_binary64_6568 clear-num_binary64_6556 div-inv_binary64_6554 flip3-+_binary64_6560 associate-/r/_binary64_6503 flip-+_binary64_6531
1×prod-exp_binary64_6606 cbrt-unprod_binary64_6590 sum-log_binary64_6648 +-commutative_binary64_6487
Counts
3 → 66
Calls

3 calls:

6.0ms
(/.f64 y (+.f64 1 (/.f64 (*.f64 x y) 2)))
5.0ms
(+.f64 1 (/.f64 (*.f64 x y) 2))
4.0ms
(/.f64 (*.f64 x y) 2)
Compiler

Compiled 1273 to 773 computations (39.3% saved)

series312.0ms (11%)

Error
0b
Counts
3 → 32
Calls

3 calls:

107.0ms
(+.f64 1 (/.f64 (*.f64 x y) 2))
98.0ms
(/.f64 y (+.f64 1 (/.f64 (*.f64 x y) 2)))
84.0ms
(/.f64 (*.f64 x y) 2)
Compiler

Compiled 982 to 748 computations (23.8% saved)

simplify66.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
050001339

prune84.0ms (3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New96298
Fresh000
Picked011
Done000
Total96399
Error
0b
Counts
99 → 3
Compiler

Compiled 1475 to 865 computations (41.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 1/2 (*.f64 x (*.f64 y y)))
6.0b
(*.f64 x (*.f64 y y))

rewrite52.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
16×pow1_binary64_6618 add-exp-log_binary64_6595 add-cbrt-cube_binary64_6593
9×pow-prod-down_binary64_6628 prod-exp_binary64_6606 cbrt-unprod_binary64_6590
6×associate-*l*_binary64_6498
5×add-sqr-sqrt_binary64_6579
4×add-cube-cbrt_binary64_6592 *-un-lft-identity_binary64_6557
2×add-log-exp_binary64_6596 associate-*r*_binary64_6497 *-commutative_binary64_6488
1×unswap-sqr_binary64_6525
Counts
2 → 40
Calls

2 calls:

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

Compiled 674 to 286 computations (57.6% saved)

series187.0ms (6.6%)

Error
0b
Counts
2 → 12
Calls

2 calls:

101.0ms
(*.f64 1/2 (*.f64 x (*.f64 y y)))
78.0ms
(*.f64 x (*.f64 y y))
Compiler

Compiled 396 to 302 computations (23.7% saved)

simplify49.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05007511

prune40.0ms (1.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New52052
Fresh011
Picked011
Done011
Total52355
Error
0b
Counts
55 → 3
Compiler

Compiled 715 to 315 computations (55.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (/.f64 2 x))

rewrite32.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
13×add-sqr-sqrt_binary64_6579 cancel-sign-sub-inv_binary64_6523
10×*-un-lft-identity_binary64_6557 times-frac_binary64_6563
8×add-cube-cbrt_binary64_6592
3×add-log-exp_binary64_6596
2×difference-of-squares_binary64_6526
1×diff-log_binary64_6649 pow1_binary64_6618 add-exp-log_binary64_6595 add-cbrt-cube_binary64_6593 flip3--_binary64_6561 sub-neg_binary64_6550 flip--_binary64_6532 div-inv_binary64_6554 distribute-lft-out--_binary64_6509
Counts
1 → 27
Calls

1 calls:

7.0ms
(-.f64 x (/.f64 2 x))
Compiler

Compiled 353 to 243 computations (31.2% saved)

series56.0ms (2%)

Error
0b
Counts
1 → 6
Calls

1 calls:

52.0ms
(-.f64 x (/.f64 2 x))
Compiler

Compiled 73 to 69 computations (5.5% saved)

simplify53.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05078271

prune20.0ms (0.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New33033
Fresh000
Picked011
Done022
Total33336
Error
0b
Counts
36 → 3
Compiler

Compiled 241 to 154 computations (36.1% saved)

regimes113.0ms (4%)

Accuracy

Total 0.0b remaining (97.7%)

Threshold costs 0.0b (97.7%)

Compiler

Compiled 1049 to 785 computations (25.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02916
12916

end0.0ms (0%)

sample800.0ms (28.2%)

Algorithm
1×intervals
Results
265.0ms7999×body128valid
0.0ms1×body256valid
Compiler

Compiled 364 to 274 computations (24.7% saved)

Profiling

Loading profile data...