Details

Time bar (total: 7.1s)

analyze16.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 12 to 11 computations (8.3% saved)

sample40.0ms (0.6%)

Algorithm
1×intervals
Results
10.0ms66×body512valid
10.0ms151×body128valid
3.0ms30×body256valid
2.0ms9×body1024valid
Compiler

Compiled 23 to 22 computations (4.3% saved)

simplify167.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
07616
17616

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 22 to 20 computations (9.1% saved)

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

3.0b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))

rewrite258.0ms (3.6%)

Algorithm
1×rewrite-expression-head
Error
11.6b
Rules
75×*-un-lft-identity_binary64_5534
57×times-frac_binary64_5540
56×add-sqr-sqrt_binary64_5556
27×cancel-sign-sub-inv_binary64_5500
26×distribute-lft-out--_binary64_5486
20×add-cube-cbrt_binary64_5569
15×difference-of-squares_binary64_5503
6×distribute-lft-out_binary64_5485
5×div-inv_binary64_5531
4×associate-/r/_binary64_5480
3×add-log-exp_binary64_5573 flip--_binary64_5509 difference-of-sqr-1_binary64_5504
2×flip3--_binary64_5538
1×diff-log_binary64_5626 pow1_binary64_5595 add-exp-log_binary64_5572 add-cbrt-cube_binary64_5570 frac-sub_binary64_5543 sub-neg_binary64_5527 flip-+_binary64_5508
Counts
1 → 65
Calls

1 calls:

73.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
Compiler

Compiled 1411 to 1195 computations (15.3% saved)

series151.0ms (2.1%)

Error
0.3b
Counts
1 → 12
Calls

1 calls:

124.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
Compiler

Compiled 388 to 349 computations (10.1% saved)

simplify150.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
051541418

prune139.0ms (2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New76177
Fresh000
Picked011
Done000
Total76278
Error
0.3b
Counts
78 → 2
Compiler

Compiled 1256 to 1016 computations (19.1% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b
(/.f64 -2 (-.f64 (*.f64 x x) 1))

rewrite101.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
18×times-frac_binary64_5540
16×add-sqr-sqrt_binary64_5556 *-un-lft-identity_binary64_5534
12×add-cube-cbrt_binary64_5569
8×difference-of-squares_binary64_5503
6×associate-/r*_binary64_5478
4×difference-of-sqr-1_binary64_5504
3×add-exp-log_binary64_5572 add-cbrt-cube_binary64_5570 associate-/l*_binary64_5479
2×associate-/r/_binary64_5480
1×pow1_binary64_5595 div-exp_binary64_5585 add-log-exp_binary64_5573 cbrt-undiv_binary64_5568 frac-2neg_binary64_5545 clear-num_binary64_5533 div-inv_binary64_5531 flip3--_binary64_5538 flip--_binary64_5509
Counts
1 → 41
Calls

1 calls:

13.0ms
(/.f64 -2 (-.f64 (*.f64 x x) 1))
Compiler

Compiled 624 to 442 computations (29.2% saved)

series122.0ms (1.7%)

Error
0.3b
Counts
1 → 12
Calls

1 calls:

98.0ms
(/.f64 -2 (-.f64 (*.f64 x x) 1))
Compiler

Compiled 388 to 349 computations (10.1% saved)

simplify126.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
04979887
14979887

prune96.0ms (1.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New51253
Fresh000
Picked011
Done101
Total52355
Error
0b
Counts
55 → 3
Compiler

Compiled 734 to 522 computations (28.9% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite534.0ms (7.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
222×times-frac_binary64_5540
189×*-un-lft-identity_binary64_5534
160×add-sqr-sqrt_binary64_5556
84×add-cube-cbrt_binary64_5569
38×difference-of-squares_binary64_5503
24×distribute-lft-out_binary64_5485
19×difference-of-sqr-1_binary64_5504 distribute-lft-out--_binary64_5486
18×associate-/r/_binary64_5480 associate-/l*_binary64_5479
9×div-inv_binary64_5531
8×flip3-+_binary64_5537 flip-+_binary64_5508
7×associate-/r*_binary64_5478
6×add-exp-log_binary64_5572 add-cbrt-cube_binary64_5570
3×div-exp_binary64_5585 cbrt-undiv_binary64_5568
1×pow1_binary64_5595 add-log-exp_binary64_5573 frac-2neg_binary64_5545 clear-num_binary64_5533 associate-/l/_binary64_5481 flip3--_binary64_5538 flip--_binary64_5509
Counts
1 → 168
Calls

1 calls:

26.0ms
(/.f64 (/.f64 -2 (+.f64 x 1)) (-.f64 x 1))
Compiler

Compiled 3762 to 3024 computations (19.6% saved)

series141.0ms (2%)

Error
0b
Counts
1 → 12
Calls

1 calls:

119.0ms
(/.f64 (/.f64 -2 (+.f64 x 1)) (-.f64 x 1))
Compiler

Compiled 388 to 349 computations (10.1% saved)

simplify233.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
180 → 180
Iterations

Useful iterations: 0 (145.0ms)

IterNodesCost
049324787
149324787

prune414.0ms (5.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1800180
Fresh011
Picked011
Done011
Total1803183
Error
0b
Counts
183 → 3
Compiler

Compiled 3501 to 2695 computations (23% saved)

localize17.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b
(/.f64 -2 (-.f64 (pow.f64 x 4) 1))
23.1b
(*.f64 (/.f64 -2 (-.f64 (pow.f64 x 4) 1)) (+.f64 (*.f64 x x) 1))

rewrite475.0ms (6.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
106×add-sqr-sqrt_binary64_5556
79×times-frac_binary64_5540
73×*-un-lft-identity_binary64_5534
45×associate-*l*_binary64_5475
42×difference-of-squares_binary64_5503
38×add-cube-cbrt_binary64_5569
21×unpow-prod-down_binary64_5613 difference-of-sqr-1_binary64_5504 sqr-pow_binary64_5506
13×associate-/r*_binary64_5478
9×add-exp-log_binary64_5572 add-cbrt-cube_binary64_5570
7×distribute-lft-out--_binary64_5486
4×pow1_binary64_5595 associate-/r/_binary64_5480
3×associate-*r*_binary64_5474 associate-/l*_binary64_5479
2×div-exp_binary64_5585 prod-exp_binary64_5583 add-log-exp_binary64_5573 cbrt-unprod_binary64_5567 cbrt-undiv_binary64_5568 flip3-+_binary64_5537 frac-times_binary64_5544 flip-+_binary64_5508 unswap-sqr_binary64_5502 associate-*r/_binary64_5476 div-inv_binary64_5531 flip3--_binary64_5538 flip--_binary64_5509
1×pow-prod-down_binary64_5605 distribute-rgt-in_binary64_5484 distribute-lft-in_binary64_5483 associate-*l/_binary64_5477 *-commutative_binary64_5465 frac-2neg_binary64_5545 clear-num_binary64_5533
Counts
2 → 139
Calls

2 calls:

42.0ms
(*.f64 (/.f64 -2 (-.f64 (pow.f64 x 4) 1)) (+.f64 (*.f64 x x) 1))
20.0ms
(/.f64 -2 (-.f64 (pow.f64 x 4) 1))
Compiler

Compiled 3414 to 2627 computations (23.1% saved)

series417.0ms (5.9%)

Error
0b
Counts
2 → 22
Calls

2 calls:

226.0ms
(/.f64 -2 (-.f64 (pow.f64 x 4) 1))
149.0ms
(*.f64 (/.f64 -2 (-.f64 (pow.f64 x 4) 1)) (+.f64 (*.f64 x x) 1))
Compiler

Compiled 844 to 720 computations (14.7% saved)

simplify162.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
048763014
148763014

prune369.0ms (5.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1610161
Fresh000
Picked011
Done022
Total1613164
Error
0b
Counts
164 → 3
Compiler

Compiled 3283 to 2385 computations (27.4% saved)

regimes315.0ms (4.4%)

Accuracy

Total 0.1b remaining (90.2%)

Threshold costs 0.1b (90.2%)

Compiler

Compiled 1896 to 1596 computations (15.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01913
11913

end0.0ms (0%)

sample2.6s (36.6%)

Algorithm
1×intervals
Results
294.0ms1986×body512valid
249.0ms4605×body128valid
108.0ms1027×body256valid
87.0ms382×body1024valid
Compiler

Compiled 903 to 759 computations (15.9% saved)

Profiling

Loading profile data...