Details

Time bar (total: 15.9s)

analyze75.0ms (0.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%14%86%0
0%14%86%1
0%14%86%2
0%14%86%3
0%14%86%4
0%14%86%5
0%14%86%6
8.1%5.9%86%7
10.3%3.7%86%8
12.6%1.5%86%9
13.9%0.1%86%10
14%0%86%11
14%0%86%12
14%0%86%13
14%0%86%14
Compiler

Compiled 63 to 34 computations (46% saved)

sample46.0ms (0.3%)

Algorithm
1×intervals
Results
25.0ms256×body128valid
7.0ms256×pre128true
Compiler

Compiled 116 to 64 computations (44.8% saved)

simplify167.0ms (1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
0539579

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 55.0b

Counts
2 → 1
Compiler

Compiled 106 to 54 computations (49.1% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
0.1b
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
37.4b
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
47.1b
(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

rewrite194.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
86×times-frac_binary64_1448
66×associate-/r/_binary64_1388 flip3-+_binary64_1445 flip-+_binary64_1416
61×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
46×add-sqr-sqrt_binary64_1464
44×frac-times_binary64_1452 *-un-lft-identity_binary64_1442
34×associate-*r/_binary64_1384
30×add-cube-cbrt_binary64_1477
28×difference-of-squares_binary64_1411
22×cbrt-unprod_binary64_1475 prod-exp_binary64_1491 associate-*l/_binary64_1385
19×cbrt-undiv_binary64_1476 div-exp_binary64_1493
16×pow1_binary64_1503
14×associate-/l*_binary64_1387 difference-of-sqr-1_binary64_1412
9×associate-/l/_binary64_1389 div-inv_binary64_1439
7×associate-/r*_binary64_1386
6×associate-*r*_binary64_1382
4×associate-*l*_binary64_1383 pow-prod-down_binary64_1513 add-log-exp_binary64_1481
3×swap-sqr_binary64_1409
2×clear-num_binary64_1441 *-commutative_binary64_1373 frac-2neg_binary64_1453 distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_1392
1×pow2_binary64_1523 pow-plus_binary64_1505 flip3--_binary64_1446 pow-sqr_binary64_1415 flip--_binary64_1417 pow-prod-up_binary64_1512 unswap-sqr_binary64_1410
Counts
4 → 228
Calls

4 calls:

56.0ms
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
35.0ms
(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))
27.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
20.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))

series2.3s (14.6%)

Counts
4 → 12
Calls

4 calls:

1.9s
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
245.0ms
(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))
128.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
51.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

simplify175.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
240 → 240
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
0526118181

prune856.0ms (5.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2346240
Fresh000
Picked101
Done000
Total2356241

Merged error: 33.5b

Counts
241 → 6
Compiler

Compiled 17720 to 6649 computations (62.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
0.2b
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
33.8b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
34.3b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite326.0ms (2%)

Algorithm
1×rewrite-expression-head
Rules
414×times-frac_binary64_1448
314×add-sqr-sqrt_binary64_1464
280×*-un-lft-identity_binary64_1442
169×add-cube-cbrt_binary64_1477
111×associate-*r*_binary64_1382
70×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
62×difference-of-squares_binary64_1411
48×associate-/r/_binary64_1388
42×associate-*l*_binary64_1383
33×cbrt-undiv_binary64_1476 div-exp_binary64_1493
31×difference-of-sqr-1_binary64_1412 distribute-lft-out--_binary64_1394
24×div-inv_binary64_1439 flip3-+_binary64_1445 flip-+_binary64_1416
19×associate-/l*_binary64_1387
16×cbrt-unprod_binary64_1475 prod-exp_binary64_1491
13×associate-/r*_binary64_1386
9×distribute-lft-out_binary64_1393
6×pow1_binary64_1503 unswap-sqr_binary64_1410
5×associate-/l/_binary64_1389
4×add-log-exp_binary64_1481
3×associate-*r/_binary64_1384 clear-num_binary64_1441 frac-2neg_binary64_1453
2×flip3--_binary64_1446 flip--_binary64_1417
1×pow-prod-down_binary64_1513 *-commutative_binary64_1373 frac-times_binary64_1452 associate-*l/_binary64_1385
Counts
4 → 395
Calls

4 calls:

153.0ms
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
28.0ms
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
14.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
13.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series2.3s (14.2%)

Counts
4 → 12
Calls

4 calls:

1.8s
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
235.0ms
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
112.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
72.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify251.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
407 → 407
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
0517030002

prune1.6s (9.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New4007407
Fresh325
Picked101
Done000
Total4049413

Merged error: 33.4b

Counts
413 → 9
Compiler

Compiled 32300 to 13075 computations (59.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
0.2b
(*.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) (/.f64 1 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
33.8b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
34.3b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite185.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
220×add-exp-log_binary64_1480
136×add-cbrt-cube_binary64_1478
94×times-frac_binary64_1448
91×div-exp_binary64_1493
87×prod-exp_binary64_1491
77×*-un-lft-identity_binary64_1442
74×add-sqr-sqrt_binary64_1464
69×associate-*r*_binary64_1382
54×cbrt-undiv_binary64_1476
50×add-cube-cbrt_binary64_1477
49×cbrt-unprod_binary64_1475
18×associate-/r/_binary64_1388
16×associate-*l*_binary64_1383
11×pow1_binary64_1503
10×flip3-+_binary64_1445 flip-+_binary64_1416
9×div-inv_binary64_1439 1-exp_binary64_1486 rec-exp_binary64_1492 distribute-lft-out_binary64_1393
6×associate-*r/_binary64_1384 associate-/r*_binary64_1386 frac-times_binary64_1452 difference-of-squares_binary64_1411 associate-*l/_binary64_1385
4×associate-/l/_binary64_1389 associate-/l*_binary64_1387 pow-prod-down_binary64_1513 add-log-exp_binary64_1481 unswap-sqr_binary64_1410
3×difference-of-sqr-1_binary64_1412 distribute-lft-out--_binary64_1394
2×clear-num_binary64_1441 *-commutative_binary64_1373 frac-2neg_binary64_1453
1×flip3--_binary64_1446 flip--_binary64_1417 un-div-inv_binary64_1440
Counts
4 → 245
Calls

4 calls:

53.0ms
(*.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) (/.f64 1 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
48.0ms
(*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
13.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
11.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series1.2s (7.4%)

Counts
4 → 12
Calls

4 calls:

581.0ms
(*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
427.0ms
(*.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) (/.f64 1 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
108.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
65.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify180.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
257 → 257
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
0506615906

prune664.0ms (4.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New2570257
Fresh088
Picked011
Done000
Total2579266

Merged error: 33.4b

Counts
266 → 9
Compiler

Compiled 17353 to 7372 computations (57.5% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.4b
(*.f64 (sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta))))) (/.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta))))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
33.8b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
34.2b
(sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))))
34.2b
(sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))))

rewrite172.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
307×times-frac_binary64_1448
250×add-sqr-sqrt_binary64_1464
198×*-un-lft-identity_binary64_1442
174×associate-*r*_binary64_1382
126×add-cube-cbrt_binary64_1477
78×sqrt-prod_binary64_1458
48×difference-of-squares_binary64_1411
24×difference-of-sqr-1_binary64_1412 distribute-lft-out--_binary64_1394
18×add-cbrt-cube_binary64_1478 associate-/r/_binary64_1388 add-exp-log_binary64_1480
13×flip3-+_binary64_1445 flip-+_binary64_1416
9×div-inv_binary64_1439
8×sqrt-div_binary64_1459 pow1_binary64_1503 unswap-sqr_binary64_1410
6×associate-*l*_binary64_1383
5×cbrt-undiv_binary64_1476 div-exp_binary64_1493
4×cbrt-unprod_binary64_1475 add-log-exp_binary64_1481 prod-exp_binary64_1491
3×associate-*r/_binary64_1384 associate-/r*_binary64_1386
2×sqrt-pow1_binary64_1460 rem-sqrt-square_binary64_1455 associate-/l/_binary64_1389 frac-times_binary64_1452 pow1/2_binary64_1522 associate-*l/_binary64_1385
1×clear-num_binary64_1441 associate-/l*_binary64_1387 flip3--_binary64_1446 pow-prod-down_binary64_1513 *-commutative_binary64_1373 flip--_binary64_1417 frac-2neg_binary64_1453
Counts
4 → 263
Calls

4 calls:

75.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta))))) (/.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta))))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
14.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
4.0ms
(sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))))
4.0ms
(sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))))

series383.0ms (2.4%)

Counts
4 → 12
Calls

4 calls:

194.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta))))) (/.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta))))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
68.0ms
(sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))))
64.0ms
(sqrt.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))))
57.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify167.0ms (1%)

Algorithm
1×egg-herbie
Counts
275 → 275
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
0497414830
1497414830

prune896.0ms (5.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2741275
Fresh167
Picked101
Done011
Total2768284

Merged error: 33.4b

Counts
284 → 8
Compiler

Compiled 24878 to 8755 computations (64.8% saved)

regimes773.0ms (4.9%)

Compiler

Compiled 16080 to 7933 computations (50.7% saved)

bsearch37.0ms (0.2%)

Steps
ItersRangePoint
8
1.4101007781366665e+209
1.0763184763053283e+212
1.4868581397582444e+209
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04389
14389

end0.0ms (0%)

sample2.9s (18.4%)

Algorithm
1×intervals
Results
649.0ms8000×body128valid
203.0ms8000×pre128true
Compiler

Compiled 4075 to 2014 computations (50.6% saved)

Profiling

Loading profile data...