Details

Time bar (total: 27.6s)

analyze44.0ms (0.2%)

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)

sample40.0ms (0.1%)

Algorithm
1×intervals
Results
24.0ms256×body128valid
6.0ms256×pre128true
Compiler

Compiled 116 to 64 computations (44.8% saved)

simplify196.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0539579

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 53.8b

Counts
2 → 1
Compiler

Compiled 106 to 54 computations (49.1% saved)

localize16.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))))
34.6b
(/.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))
46.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))))

rewrite157.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
86×times-frac_binary64_1431
66×flip3-+_binary64_1428 associate-/r/_binary64_1373 flip-+_binary64_1399
61×add-cbrt-cube_binary64_1458 add-exp-log_binary64_1460
46×add-sqr-sqrt_binary64_1446
44×*-un-lft-identity_binary64_1425 frac-times_binary64_1435
34×associate-*r/_binary64_1369
30×add-cube-cbrt_binary64_1457
28×difference-of-squares_binary64_1394
22×prod-exp_binary64_1471 cbrt-unprod_binary64_1455 associate-*l/_binary64_1370
19×div-exp_binary64_1473 cbrt-undiv_binary64_1456
16×pow1_binary64_1483
14×difference-of-sqr-1_binary64_1395 associate-/l*_binary64_1372
9×div-inv_binary64_1422 associate-/l/_binary64_1374
7×associate-/r*_binary64_1371
6×associate-*r*_binary64_1367
4×associate-*l*_binary64_1368 add-log-exp_binary64_1461 pow-prod-down_binary64_1493
3×swap-sqr_binary64_1392
2×distribute-lft-in_binary64_1376 frac-2neg_binary64_1436 clear-num_binary64_1424 distribute-rgt-in_binary64_1377 *-commutative_binary64_1358
1×flip--_binary64_1400 unswap-sqr_binary64_1393 pow-plus_binary64_1485 pow2_binary64_1503 pow-sqr_binary64_1398 flip3--_binary64_1429 pow-prod-up_binary64_1492
Counts
4 → 228
Calls

4 calls:

44.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))
29.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))))
17.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
14.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

series3.6s (13%)

Counts
4 → 12
Calls

4 calls:

2.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))
392.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))))
200.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
95.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

simplify156.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
240 → 240
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
0522818186

prune789.0ms (2.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2346240
Fresh000
Picked101
Done000
Total2356241

Merged error: 32.0b

Counts
241 → 6
Compiler

Compiled 17609 to 6606 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.1b
(*.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)))
31.7b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
31.9b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite282.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
414×times-frac_binary64_1431
314×add-sqr-sqrt_binary64_1446
280×*-un-lft-identity_binary64_1425
169×add-cube-cbrt_binary64_1457
111×associate-*r*_binary64_1367
70×add-cbrt-cube_binary64_1458 add-exp-log_binary64_1460
62×difference-of-squares_binary64_1394
48×associate-/r/_binary64_1373
42×associate-*l*_binary64_1368
33×div-exp_binary64_1473 cbrt-undiv_binary64_1456
31×distribute-lft-out--_binary64_1379 difference-of-sqr-1_binary64_1395
24×flip3-+_binary64_1428 div-inv_binary64_1422 flip-+_binary64_1399
19×associate-/l*_binary64_1372
16×prod-exp_binary64_1471 cbrt-unprod_binary64_1455
13×associate-/r*_binary64_1371
9×distribute-lft-out_binary64_1378
6×unswap-sqr_binary64_1393 pow1_binary64_1483
5×associate-/l/_binary64_1374
4×add-log-exp_binary64_1461
3×frac-2neg_binary64_1436 clear-num_binary64_1424 associate-*r/_binary64_1369
2×flip--_binary64_1400 flip3--_binary64_1429
1×associate-*l/_binary64_1370 *-commutative_binary64_1358 frac-times_binary64_1435 pow-prod-down_binary64_1493
Counts
4 → 395
Calls

4 calls:

128.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)))
24.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 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
12.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series3.7s (13.5%)

Counts
4 → 12
Calls

4 calls:

3.1s
(*.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)))
366.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))
201.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
118.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify241.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
407 → 407
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
0512630002

prune1.4s (5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New4025407
Fresh235
Picked101
Done000
Total4058413

Merged error: 32.0b

Counts
413 → 8
Compiler

Compiled 32108 to 12989 computations (59.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(*.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 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))))))
0.1b
(/.f64 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))))
31.7b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
31.9b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite673.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Rules
1927×times-frac_binary64_1431
1182×add-sqr-sqrt_binary64_1446
1048×*-un-lft-identity_binary64_1425
709×add-cube-cbrt_binary64_1457
335×associate-*r*_binary64_1367
220×add-exp-log_binary64_1460
210×difference-of-squares_binary64_1394
128×div-exp_binary64_1473
121×associate-/r/_binary64_1373
116×associate-/r*_binary64_1371
105×distribute-lft-out--_binary64_1379 difference-of-sqr-1_binary64_1395
100×add-cbrt-cube_binary64_1458
65×div-inv_binary64_1422
58×flip3-+_binary64_1428 flip-+_binary64_1399
53×cbrt-undiv_binary64_1456
51×prod-exp_binary64_1471
42×associate-*l*_binary64_1368
21×cbrt-unprod_binary64_1455
15×1-exp_binary64_1466 rec-exp_binary64_1472
14×unswap-sqr_binary64_1393
9×distribute-lft-out_binary64_1378
7×associate-/l*_binary64_1372 pow1_binary64_1483
4×associate-/l/_binary64_1374 add-log-exp_binary64_1461
3×frac-2neg_binary64_1436 clear-num_binary64_1424 associate-*r/_binary64_1369
1×pow-flip_binary64_1496 inv-pow_binary64_1507 un-div-inv_binary64_1423 associate-*l/_binary64_1370 *-commutative_binary64_1358 frac-times_binary64_1435 pow-prod-down_binary64_1493
Counts
4 → 984
Calls

4 calls:

283.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 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))))))
44.0ms
(/.f64 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))))
14.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
12.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series3.7s (13.5%)

Counts
4 → 12
Calls

4 calls:

3.0s
(*.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 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))))))
386.0ms
(/.f64 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))))
220.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
112.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify592.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
996 → 996
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
0564981377

prune5.4s (19.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New9951996
Fresh167
Picked101
Done000
Total99771004

Merged error: 32.0b

Counts
1004 → 7
Compiler

Compiled 85355 to 36336 computations (57.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
0.1b
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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)))
31.7b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
31.9b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite216.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
190×times-frac_binary64_1431
152×add-sqr-sqrt_binary64_1446
132×*-un-lft-identity_binary64_1425
111×associate-*r*_binary64_1367
94×add-cbrt-cube_binary64_1458 add-exp-log_binary64_1460
83×add-cube-cbrt_binary64_1457
43×div-exp_binary64_1473 cbrt-undiv_binary64_1456
30×difference-of-squares_binary64_1394
25×prod-exp_binary64_1471 cbrt-unprod_binary64_1455
24×associate-/r/_binary64_1373
15×distribute-lft-out--_binary64_1379 difference-of-sqr-1_binary64_1395
13×flip3-+_binary64_1428 flip-+_binary64_1399
12×div-inv_binary64_1422
10×associate-/r*_binary64_1371
9×associate-*l*_binary64_1368
7×associate-/l/_binary64_1374
6×pow1_binary64_1483
5×associate-/l*_binary64_1372
4×associate-*r/_binary64_1369 add-log-exp_binary64_1461
3×frac-2neg_binary64_1436 unswap-sqr_binary64_1393 clear-num_binary64_1424
2×distribute-lft-out_binary64_1378 associate-*l/_binary64_1370 frac-times_binary64_1435
1×flip--_binary64_1400 flip3--_binary64_1429 *-commutative_binary64_1358 pow-prod-down_binary64_1493
Counts
4 → 253
Calls

4 calls:

73.0ms
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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)))
50.0ms
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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))) (+.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)))
12.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series4.1s (15%)

Counts
4 → 12
Calls

4 calls:

3.1s
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
739.0ms
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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)))
201.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
127.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify140.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
265 → 265
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
0508916401

prune682.0ms (2.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2650265
Fresh066
Picked011
Done000
Total2657272

Merged error: 32.0b

Counts
272 → 7
Compiler

Compiled 19239 to 7722 computations (59.9% saved)

regimes75.0ms (0.3%)

Compiler

Compiled 939 to 537 computations (42.8% saved)

bsearch31.0ms (0.1%)

Steps
ItersRangePoint
8
1.0614435007462279e+153
4.5001701343653494e+156
1.3501889309401774e+154
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%)

sample1.3s (4.6%)

Algorithm
1×intervals
Results
645.0ms8000×body128valid
189.0ms8000×pre128true
Compiler

Compiled 434 to 243 computations (44% saved)

Profiling

Loading profile data...