Details

Time bar (total: 2.0min)

analyze281.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 30 to 24 computations (20% saved)

sample39.0ms (0%)

Algorithm
1×intervals
Results
9.0ms166×body128valid
9.0ms90×body256valid
9.0ms281×pre128true
1.0ms25×body128nan
Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify444.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (338.0ms)

IterNodesCost
0183424
1183424

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 16 to 13 computations (18.8% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

39.5b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.2b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
39.5b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

rewrite40.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_1442
10×add-log-exp_binary64_1481
9×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
8×add-sqr-sqrt_binary64_1464
7×add-cube-cbrt_binary64_1477
6×distribute-lft-out_binary64_1393
5×times-frac_binary64_1448 associate-/l*_binary64_1387 pow1_binary64_1503
3×distribute-rgt-neg-in_binary64_1400 sqrt-prod_binary64_1458
2×cbrt-undiv_binary64_1476 sum-log_binary64_1533 associate-/l/_binary64_1389 flip3--_binary64_1446 sqrt-div_binary64_1459 flip--_binary64_1417 flip3-+_binary64_1445 flip-+_binary64_1416 associate-+l-_binary64_1377 neg-sub0_binary64_1437 div-exp_binary64_1493
1×sqrt-pow1_binary64_1460 associate-/r*_binary64_1386 cancel-sign-sub-inv_binary64_1408 rem-sqrt-square_binary64_1455 cbrt-unprod_binary64_1475 div-inv_binary64_1439 sub-neg_binary64_1435 clear-num_binary64_1441 +-commutative_binary64_1372 neg-log_binary64_1535 frac-2neg_binary64_1453 diff-log_binary64_1534 pow1/2_binary64_1522 prod-exp_binary64_1491 div-sub_binary64_1447
Counts
4 → 70
Calls

8 calls:

14.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
10.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series711.0ms (0.6%)

Counts
4 → 72
Calls

4 calls:

231.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
184.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
177.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
118.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 2001 to 1711 computations (14.5% saved)

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
051673105

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

39.5b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
0.2b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
39.5b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

rewrite39.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64_1464
14×*-un-lft-identity_binary64_1442
9×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
8×add-log-exp_binary64_1481 add-cube-cbrt_binary64_1477
6×times-frac_binary64_1448 associate-/l*_binary64_1387 sqrt-prod_binary64_1458 difference-of-squares_binary64_1411
5×pow1_binary64_1503
4×cancel-sign-sub-inv_binary64_1408 flip3--_binary64_1446 flip--_binary64_1417
3×distribute-lft-out--_binary64_1394
2×cbrt-undiv_binary64_1476 associate-/l/_binary64_1389 sub-neg_binary64_1435 sqrt-div_binary64_1459 diff-log_binary64_1534 div-exp_binary64_1493
1×sqrt-pow1_binary64_1460 associate-/r*_binary64_1386 rem-sqrt-square_binary64_1455 cbrt-unprod_binary64_1475 div-inv_binary64_1439 clear-num_binary64_1441 frac-2neg_binary64_1453 pow1/2_binary64_1522 prod-exp_binary64_1491 div-sub_binary64_1447
Counts
4 → 74
Calls

8 calls:

13.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
9.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series701.0ms (0.6%)

Counts
4 → 72
Calls

4 calls:

236.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
175.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
170.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
120.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 1950 to 1660 computations (14.9% saved)

simplify86.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
052073272

prune1.7s (1.4%)

Pruning

87 alts after pruning (85 fresh and 2 done)

PrunedKeptTotal
New20385288
Fresh000
Picked000
Done022
Total20387290
Error
0.1b
Counts
290 → 87
Compiler

Compiled 5619 to 3595 computations (36% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(/.f64 (/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.3b
(/.f64 (/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
0.3b
(/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))

rewrite71.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
45×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
34×times-frac_binary64_1448
32×add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
17×cbrt-undiv_binary64_1476 div-exp_binary64_1493
14×associate-/l*_binary64_1387
13×cbrt-unprod_binary64_1475 prod-exp_binary64_1491
12×add-cube-cbrt_binary64_1477
10×add-log-exp_binary64_1481 difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394
8×associate-/r*_binary64_1386 sqrt-prod_binary64_1458
7×cancel-sign-sub-inv_binary64_1408
6×associate-/r/_binary64_1388
5×distribute-rgt-neg-in_binary64_1400 flip3--_binary64_1446 flip--_binary64_1417
4×div-inv_binary64_1439 pow1_binary64_1503
3×diff-log_binary64_1534
2×sub-neg_binary64_1435 clear-num_binary64_1441 frac-2neg_binary64_1453
1×associate--l-_binary64_1380 associate-/l/_binary64_1389 neg-log_binary64_1535 neg-sub0_binary64_1437
Counts
4 → 122
Calls

8 calls:

23.0ms
(/.f64 (/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
17.0ms
(/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
11.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series876.0ms (0.7%)

Counts
4 → 72
Calls

4 calls:

293.0ms
(/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
247.0ms
(/.f64 (/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
186.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
149.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
Compiler

Compiled 2487 to 2008 computations (19.3% saved)

simplify138.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
194 → 194
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
049475531
149475531

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(/.f64 (*.f64 a c) b)
0.2b
(/.f64 (-.f64 (+.f64 b (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))))) b) (*.f64 a 2))
0.2b
(+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))
0.0b
(+.f64 b (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))))
0.3b
(/.f64 (*.f64 a c) b)
0.3b
(*.f64 (*.f64 a a) (*.f64 c c))
0.4b
(/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))
39.7b
(-.f64 (+.f64 b (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))))) b)

rewrite57.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
70×add-exp-log_binary64_1480
39×add-cbrt-cube_binary64_1478
33×prod-exp_binary64_1491
32×pow1_binary64_1503
17×cbrt-unprod_binary64_1475 div-exp_binary64_1493
15×associate-/r*_binary64_1386 times-frac_binary64_1448 add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
14×pow-prod-down_binary64_1513
13×add-cube-cbrt_binary64_1477
9×add-log-exp_binary64_1481
7×cbrt-undiv_binary64_1476
6×cube-prod_binary64_1470 unpow-prod-down_binary64_1521
5×pow-exp_binary64_1510 pow-to-exp_binary64_1511
4×pow-plus_binary64_1505 pow-prod-up_binary64_1512
3×cancel-sign-sub-inv_binary64_1408
2×pow2_binary64_1523 cube-mult_binary64_1472 div-inv_binary64_1439 clear-num_binary64_1441 associate-/l*_binary64_1387 pow-sqr_binary64_1415 frac-2neg_binary64_1453 diff-log_binary64_1534 sqr-pow_binary64_1414 unpow3_binary64_1508
1×associate--l+_binary64_1379 associate-*r*_binary64_1382 sum-log_binary64_1533 sub-neg_binary64_1435 flip3--_binary64_1446 associate-*l*_binary64_1383 *-commutative_binary64_1373 flip--_binary64_1417 difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394 unswap-sqr_binary64_1410
Counts
4 → 123
Calls

8 calls:

16.0ms
(/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))
10.0ms
(*.f64 (*.f64 a a) (*.f64 c c))
8.0ms
(-.f64 (+.f64 b (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))))) b)
5.0ms
(/.f64 (*.f64 a c) b)
0.0ms
(+.f64 b (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))))

series911.0ms (0.8%)

Counts
4 → 42
Calls

4 calls:

493.0ms
(-.f64 (+.f64 b (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))))) b)
226.0ms
(/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))
111.0ms
(/.f64 (*.f64 a c) b)
80.0ms
(*.f64 (*.f64 a a) (*.f64 c c))
Compiler

Compiled 1893 to 1488 computations (21.4% saved)

simplify69.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
054462567

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))
0.2b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))) (*.f64 2 a))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))
0.2b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))) (*.f64 2 a))
0.5b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))
0.7b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
39.5b
(+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))))

rewrite65.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
24×*-un-lft-identity_binary64_1442
12×cbrt-prod_binary64_1473 add-sqr-sqrt_binary64_1464 add-cube-cbrt_binary64_1477
10×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
8×add-log-exp_binary64_1481
6×cube-prod_binary64_1470 distribute-lft-out_binary64_1393 unpow-prod-down_binary64_1521
5×times-frac_binary64_1448 associate-/l*_binary64_1387 pow1_binary64_1503
4×cube-div_binary64_1471
3×distribute-rgt-neg-in_binary64_1400 pow-unpow_binary64_1519
2×cbrt-undiv_binary64_1476 cube-mult_binary64_1472 sum-log_binary64_1533 cbrt-div_binary64_1474 associate-/l/_binary64_1389 flip3--_binary64_1446 flip--_binary64_1417 sqr-pow_binary64_1414 unpow3_binary64_1508 flip3-+_binary64_1445 flip-+_binary64_1416 associate-+l-_binary64_1377 neg-sub0_binary64_1437 div-exp_binary64_1493
1×associate-/r*_binary64_1386 cbrt-unprod_binary64_1475 pow-exp_binary64_1510 div-inv_binary64_1439 clear-num_binary64_1441 +-commutative_binary64_1372 neg-log_binary64_1535 rem-cube-cbrt_binary64_1465 frac-2neg_binary64_1453 pow1/3_binary64_1524 prod-exp_binary64_1491 div-sub_binary64_1447 pow-to-exp_binary64_1511 rem-cbrt-cube_binary64_1466 pow-pow_binary64_1514
Counts
4 → 91
Calls

8 calls:

27.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))) (*.f64 2 a))
16.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))))
6.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))
6.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
0.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))

series806.0ms (0.7%)

Counts
4 → 80
Calls

4 calls:

227.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))) (*.f64 2 a))
219.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
182.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))
177.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))))
Compiler

Compiled 2411 to 2080 computations (13.7% saved)

simplify79.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
052573989

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))
0.0b
(-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3))
0.3b
(*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.3b
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
0.7b
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
41.2b
(+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))))

rewrite95.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
49×add-sqr-sqrt_binary64_1464
33×*-un-lft-identity_binary64_1442
30×times-frac_binary64_1448
24×difference-of-squares_binary64_1411
21×sqr-pow_binary64_1414 add-cube-cbrt_binary64_1477
17×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
15×pow1_binary64_1503
10×associate-/l*_binary64_1387
9×unpow-prod-down_binary64_1521
8×add-log-exp_binary64_1481
6×cbrt-unprod_binary64_1475 pow-prod-down_binary64_1513 prod-exp_binary64_1491
4×distribute-lft-out--_binary64_1394
3×associate-*r*_binary64_1382 associate-/r*_binary64_1386 pow-exp_binary64_1510 pow-unpow_binary64_1519 rem-cube-cbrt_binary64_1465 flip3-+_binary64_1445 flip-+_binary64_1416 pow-pow_binary64_1514
2×associate-*r/_binary64_1384 sum-log_binary64_1533 associate-/l/_binary64_1389 associate-/r/_binary64_1388 distribute-lft-out_binary64_1393
1×cbrt-undiv_binary64_1476 cube-mult_binary64_1472 div-inv_binary64_1439 clear-num_binary64_1441 distribute-rgt-neg-in_binary64_1400 flip3--_binary64_1446 +-commutative_binary64_1372 cube-prod_binary64_1470 associate-*l*_binary64_1383 *-commutative_binary64_1373 neg-log_binary64_1535 flip--_binary64_1417 frac-2neg_binary64_1453 distribute-lft-in_binary64_1391 unpow3_binary64_1508 distribute-rgt-in_binary64_1392 div-sub_binary64_1447 associate-+l-_binary64_1377 neg-sub0_binary64_1437 div-exp_binary64_1493 pow-to-exp_binary64_1511
Counts
4 → 122
Calls

8 calls:

40.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))))
17.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
10.0ms
(*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
7.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
0.0ms
(-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3))

series1.5s (1.3%)

Counts
4 → 60
Calls

4 calls:

763.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
321.0ms
(*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
299.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))))
113.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
Compiler

Compiled 2569 to 2135 computations (16.9% saved)

simplify123.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
050867094

prune10.1s (8.5%)

Pruning

258 alts after pruning (252 fresh and 6 done)

PrunedKeptTotal
New531181712
Fresh97180
Picked000
Done167
Total541258799
Error
0b
Counts
799 → 258
Compiler

Compiled 22729 to 14597 computations (35.8% saved)

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
0.1b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
0.1b
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
0.1b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
0.2b
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
0.2b
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a)
0.3b
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a))

rewrite116.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
309×times-frac_binary64_1448
227×add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
139×add-cube-cbrt_binary64_1477
85×associate-*r*_binary64_1382
44×difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394
30×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
27×associate-/l*_binary64_1387
25×sqrt-prod_binary64_1458
22×distribute-rgt-neg-in_binary64_1400
14×associate-/r/_binary64_1388
10×add-log-exp_binary64_1481
9×cbrt-undiv_binary64_1476 cbrt-unprod_binary64_1475 div-inv_binary64_1439 flip3--_binary64_1446 flip--_binary64_1417 prod-exp_binary64_1491 pow1_binary64_1503 div-exp_binary64_1493
7×cancel-sign-sub-inv_binary64_1408
3×associate-/r*_binary64_1386 pow-prod-down_binary64_1513 diff-log_binary64_1534
2×sub-neg_binary64_1435
1×associate-*r/_binary64_1384 associate--l-_binary64_1380 associate-/l/_binary64_1389 clear-num_binary64_1441 associate-*l*_binary64_1383 *-commutative_binary64_1373 neg-log_binary64_1535 frac-2neg_binary64_1453 neg-sub0_binary64_1437
Counts
4 → 270
Calls

8 calls:

33.0ms
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a))
19.0ms
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a)
16.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
5.0ms
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))

series846.0ms (0.7%)

Counts
4 → 72
Calls

4 calls:

275.0ms
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a)
253.0ms
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a))
172.0ms
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
147.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
Compiler

Compiled 2345 to 1871 computations (20.2% saved)

simplify148.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
342 → 342
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
0497711756
1497711756

localize11.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(/.f64 (-.f64 (sqrt.f64 (exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b) (*.f64 a 2))
0.1b
(sqrt.f64 (exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.0b
(log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(/.f64 (-.f64 (sqrt.f64 (exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b) (*.f64 a 2))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
2.7b
(exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
43.8b
(-.f64 (sqrt.f64 (exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b)

rewrite47.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64_1464
15×*-un-lft-identity_binary64_1442
9×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 difference-of-squares_binary64_1411 add-cube-cbrt_binary64_1477
8×add-log-exp_binary64_1481
7×times-frac_binary64_1448 associate-/l*_binary64_1387
6×log-prod_binary64_1528 sqrt-prod_binary64_1458 exp-sum_binary64_1488
5×pow1_binary64_1503
4×cancel-sign-sub-inv_binary64_1408 flip3--_binary64_1446 exp-prod_binary64_1494 flip--_binary64_1417
3×distribute-lft-out--_binary64_1394
2×cbrt-undiv_binary64_1476 associate-/l/_binary64_1389 sub-neg_binary64_1435 diff-log_binary64_1534 exp-diff_binary64_1490 log-div_binary64_1529 div-exp_binary64_1493
1×associate-/r*_binary64_1386 cbrt-unprod_binary64_1475 div-inv_binary64_1439 clear-num_binary64_1441 rem-exp-log_binary64_1482 log-pow_binary64_1531 frac-2neg_binary64_1453 prod-exp_binary64_1491 div-sub_binary64_1447
Counts
4 → 79
Calls

8 calls:

15.0ms
(/.f64 (-.f64 (sqrt.f64 (exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b) (*.f64 a 2))
12.0ms
(-.f64 (sqrt.f64 (exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b)
6.0ms
(exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.0ms
(log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.1s (0.9%)

Counts
4 → 66
Calls

4 calls:

338.0ms
(/.f64 (-.f64 (sqrt.f64 (exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b) (*.f64 a 2))
334.0ms
(exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
236.0ms
(-.f64 (sqrt.f64 (exp.f64 (log.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b)
175.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
Compiler

Compiled 2475 to 2188 computations (11.6% saved)

simplify97.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049953137
149953137

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2))))) (*.f64 2 a))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2))))
0.4b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)
0.5b
(cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)))
0.5b
(*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2))
39.5b
(+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)))))

rewrite59.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
26×add-sqr-sqrt_binary64_1464
21×unpow-prod-down_binary64_1521
18×*-un-lft-identity_binary64_1442
17×add-exp-log_binary64_1480
14×add-cube-cbrt_binary64_1477
11×sqr-pow_binary64_1414
9×prod-exp_binary64_1491 unswap-sqr_binary64_1410
8×add-log-exp_binary64_1481
7×associate-*r*_binary64_1382 pow-exp_binary64_1510 swap-sqr_binary64_1409 associate-*l*_binary64_1383 pow-to-exp_binary64_1511
6×add-cbrt-cube_binary64_1478
5×pow1_binary64_1503
3×pow-unpow_binary64_1519
2×sum-log_binary64_1533 distribute-lft-out_binary64_1393
1×pow2_binary64_1523 cbrt-unprod_binary64_1475 cbrt-prod_binary64_1473 distribute-rgt-neg-in_binary64_1400 +-commutative_binary64_1372 pow-prod-down_binary64_1513 *-commutative_binary64_1373 pow-sqr_binary64_1415 neg-log_binary64_1535 flip3-+_binary64_1445 flip-+_binary64_1416 pow1/3_binary64_1524 associate-+l-_binary64_1377 pow-prod-up_binary64_1512 neg-sub0_binary64_1437 pow-pow_binary64_1514
Counts
4 → 93
Calls

8 calls:

15.0ms
(*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2))
12.0ms
(cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)))
8.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)))))
6.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)
0.0ms
(sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2))))

series824.0ms (0.7%)

Counts
4 → 81
Calls

4 calls:

236.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)
228.0ms
(*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2))
182.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)))))
178.0ms
(cbrt.f64 (*.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2) (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3/2)))
Compiler

Compiled 2935 to 2478 computations (15.6% saved)

simplify98.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
174 → 174
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
050644109

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c))))))
0.1b
(sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c))))))
0.0b
(+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))
0.0b
(+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))
0.3b
(*.f64 (+.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)))
0.4b
(/.f64 (*.f64 a a) (pow.f64 b 3))
0.4b
(/.f64 (*.f64 a a) (pow.f64 b 3))
40.3b
(-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b))

rewrite81.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
42×add-sqr-sqrt_binary64_1464
36×*-un-lft-identity_binary64_1442
32×add-exp-log_binary64_1480
24×associate-/r*_binary64_1386 times-frac_binary64_1448 add-cube-cbrt_binary64_1477
23×sqrt-prod_binary64_1458
18×cancel-sign-sub-inv_binary64_1408
16×add-cbrt-cube_binary64_1478
12×cube-prod_binary64_1470 div-exp_binary64_1493 unpow-prod-down_binary64_1521
9×associate-*r*_binary64_1382
8×difference-of-squares_binary64_1411
7×distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_1392 prod-exp_binary64_1491
6×add-log-exp_binary64_1481 pow1_binary64_1503
5×associate-*l*_binary64_1383
4×cbrt-undiv_binary64_1476 cube-mult_binary64_1472 pow-exp_binary64_1510 flip3--_binary64_1446 flip--_binary64_1417 frac-times_binary64_1452 sqr-pow_binary64_1414 unpow3_binary64_1508 distribute-lft-out--_binary64_1394 pow-to-exp_binary64_1511
3×cbrt-unprod_binary64_1475 sub-neg_binary64_1435 flip3-+_binary64_1445 flip-+_binary64_1416
2×associate-*r/_binary64_1384 div-inv_binary64_1439 clear-num_binary64_1441 associate-/l*_binary64_1387 distribute-lft-out_binary64_1393 frac-2neg_binary64_1453 associate-*l/_binary64_1385
1×pow-prod-down_binary64_1513 *-commutative_binary64_1373 diff-log_binary64_1534 unswap-sqr_binary64_1410
Counts
4 → 157
Calls

8 calls:

21.0ms
(*.f64 (+.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)))
9.0ms
(-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b))
7.0ms
(/.f64 (*.f64 a a) (pow.f64 b 3))
7.0ms
(/.f64 (*.f64 a a) (pow.f64 b 3))
0.0ms
(+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))

series1.2s (1%)

Counts
4 → 34
Calls

4 calls:

705.0ms
(*.f64 (+.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)))
221.0ms
(-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b))
123.0ms
(/.f64 (*.f64 a a) (pow.f64 b 3))
118.0ms
(/.f64 (*.f64 a a) (pow.f64 b 3))
Compiler

Compiled 2820 to 2083 computations (26.1% saved)

simplify99.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
051396246

prune23.1s (19.5%)

Pruning

465 alts after pruning (454 fresh and 11 done)

PrunedKeptTotal
New617235852
Fresh28219247
Picked000
Done01111
Total6454651110
Error
0b
Counts
1110 → 465
Compiler

Compiled 37180 to 22900 computations (38.4% saved)

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))
0.1b
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))))
0.1b
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))
0.0b
(-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16))
0.2b
(*.f64 a (*.f64 a (*.f64 c c)))
0.3b
(*.f64 a (*.f64 c c))
0.3b
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))) a))
0.4b
(/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))

rewrite118.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
180×times-frac_binary64_1448
145×add-sqr-sqrt_binary64_1464
117×*-un-lft-identity_binary64_1442
96×associate-*r*_binary64_1382
81×add-cube-cbrt_binary64_1477
41×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
27×difference-of-squares_binary64_1411
23×pow1_binary64_1503
18×cbrt-unprod_binary64_1475 sqrt-prod_binary64_1458 prod-exp_binary64_1491 distribute-lft-out--_binary64_1394
12×pow-prod-down_binary64_1513
9×distribute-rgt-neg-in_binary64_1400
8×associate-/r/_binary64_1388
7×cbrt-undiv_binary64_1476 associate-*l*_binary64_1383 div-exp_binary64_1493
5×div-inv_binary64_1439
4×flip3--_binary64_1446 add-log-exp_binary64_1481 flip--_binary64_1417
3×associate-/r*_binary64_1386 associate-/l*_binary64_1387 *-commutative_binary64_1373
2×associate-/l/_binary64_1389
1×associate-*r/_binary64_1384 clear-num_binary64_1441 frac-2neg_binary64_1453 flip3-+_binary64_1445 flip-+_binary64_1416 div-sub_binary64_1447 unswap-sqr_binary64_1410
Counts
4 → 190
Calls

8 calls:

47.0ms
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))) a))
12.0ms
(/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))
9.0ms
(*.f64 a (*.f64 a (*.f64 c c)))
7.0ms
(*.f64 a (*.f64 c c))
0.0ms
(-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16))

series954.0ms (0.8%)

Counts
4 → 48
Calls

4 calls:

469.0ms
(/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))
322.0ms
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a (*.f64 a (*.f64 c c))) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))) a))
89.0ms
(*.f64 a (*.f64 a (*.f64 c c)))
73.0ms
(*.f64 a (*.f64 c c))
Compiler

Compiled 1897 to 1489 computations (21.5% saved)

simplify121.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
238 → 238
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049688636
149688636

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))
0.1b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))
0.1b
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))
0.2b
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)
0.3b
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a))
0.7b
(cbrt.f64 (pow.f64 (*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)) 3))
0.7b
(pow.f64 (*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)) 3)

rewrite144.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
309×times-frac_binary64_1448
223×add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
139×add-cube-cbrt_binary64_1477
85×associate-*r*_binary64_1382
52×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
42×difference-of-squares_binary64_1411 distribute-lft-out--_binary64_1394
27×associate-/l*_binary64_1387
21×distribute-rgt-neg-in_binary64_1400 sqrt-prod_binary64_1458
18×cbrt-unprod_binary64_1475 prod-exp_binary64_1491
15×cbrt-undiv_binary64_1476 pow1_binary64_1503 div-exp_binary64_1493
14×associate-/r/_binary64_1388
9×div-inv_binary64_1439
8×cbrt-prod_binary64_1473
7×pow-exp_binary64_1510 flip3--_binary64_1446 rem-cube-cbrt_binary64_1465 flip--_binary64_1417
6×pow-prod-down_binary64_1513
4×add-log-exp_binary64_1481
3×associate-*r/_binary64_1384 associate-/r*_binary64_1386 pow-unpow_binary64_1519 pow-pow_binary64_1514
2×cube-mult_binary64_1472 cube-prod_binary64_1470 sqr-pow_binary64_1414 unpow3_binary64_1508 cube-div_binary64_1471 unpow-prod-down_binary64_1521
1×cbrt-div_binary64_1474 associate-/l/_binary64_1389 clear-num_binary64_1441 associate-*l*_binary64_1383 *-commutative_binary64_1373 frac-2neg_binary64_1453 pow1/3_binary64_1524 pow-to-exp_binary64_1511 rem-cbrt-cube_binary64_1466
Counts
4 → 287
Calls

8 calls:

33.0ms
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a))
31.0ms
(pow.f64 (*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)) 3)
19.0ms
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)
2.0ms
(cbrt.f64 (pow.f64 (*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)) 3))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))

series1.3s (1.1%)

Counts
4 → 72
Calls

4 calls:

414.0ms
(pow.f64 (*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)) 3)
294.0ms
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)
293.0ms
(cbrt.f64 (pow.f64 (*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a)) 3))
256.0ms
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))) a))
Compiler

Compiled 2736 to 2254 computations (17.6% saved)

simplify143.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
359 → 359
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
0501613259

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(/.f64 (-.f64 (sqrt.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) b) (*.f64 a 2))
0.1b
(sqrt.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))
0.0b
(log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.2b
(exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.6b
(exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
10.0b
(-.f64 (sqrt.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) b)
11.6b
(log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

rewrite38.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_1464
13×log-prod_binary64_1528 exp-prod_binary64_1494 *-un-lft-identity_binary64_1442
12×exp-sum_binary64_1488
11×add-cube-cbrt_binary64_1477
9×log-pow_binary64_1531 add-log-exp_binary64_1481
7×pow1_binary64_1503
5×cancel-sign-sub-inv_binary64_1408
4×add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
3×sub-neg_binary64_1435 rem-exp-log_binary64_1482 difference-of-squares_binary64_1411
2×diff-log_binary64_1534 exp-diff_binary64_1490 sqrt-prod_binary64_1458
1×rem-log-exp_binary64_1483 flip3--_binary64_1446 flip--_binary64_1417 log-div_binary64_1529 distribute-lft-out--_binary64_1394
Counts
4 → 70
Calls

8 calls:

13.0ms
(-.f64 (sqrt.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) b)
6.0ms
(exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
6.0ms
(exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
6.0ms
(log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.0ms
(log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))

series2.3s (1.9%)

Counts
4 → 59
Calls

4 calls:

915.0ms
(exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
729.0ms
(-.f64 (sqrt.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) b)
482.0ms
(log.f64 (exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
127.0ms
(exp.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 2253 to 2000 computations (11.2% saved)

simplify81.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
050442381

localize47.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c))))))
0.1b
(sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2))) c))))))
0.0b
(+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2))) c)))))
0.0b
(+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))
0.3b
(*.f64 (+.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2))) c)))))) (sqrt.f64 b)))
0.3b
(/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2)))
0.4b
(/.f64 (*.f64 a a) (pow.f64 b 3))
40.3b
(-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2))) c)))))) (sqrt.f64 b))

rewrite88.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
62×add-exp-log_binary64_1480
40×add-sqr-sqrt_binary64_1464
34×*-un-lft-identity_binary64_1442
30×div-exp_binary64_1493
23×sqrt-prod_binary64_1458
22×add-cube-cbrt_binary64_1477
20×add-cbrt-cube_binary64_1478
19×associate-/r*_binary64_1386 times-frac_binary64_1448
18×cancel-sign-sub-inv_binary64_1408
16×prod-exp_binary64_1491
12×unpow-prod-down_binary64_1521
10×pow-exp_binary64_1510 pow-to-exp_binary64_1511
9×associate-*r*_binary64_1382
8×difference-of-squares_binary64_1411
7×distribute-lft-in_binary64_1391 distribute-rgt-in_binary64_1392
6×cbrt-undiv_binary64_1476 cube-prod_binary64_1470 add-log-exp_binary64_1481 pow1_binary64_1503
5×associate-*l*_binary64_1383
4×cbrt-unprod_binary64_1475 flip3--_binary64_1446 flip--_binary64_1417 frac-times_binary64_1452 sqr-pow_binary64_1414 distribute-lft-out--_binary64_1394
3×sub-neg_binary64_1435 flip3-+_binary64_1445 flip-+_binary64_1416 associate-*l/_binary64_1385
2×associate-*r/_binary64_1384 cube-mult_binary64_1472 div-inv_binary64_1439 clear-num_binary64_1441 associate-/l*_binary64_1387 distribute-lft-out_binary64_1393 frac-2neg_binary64_1453 unpow3_binary64_1508
1×associate-/l/_binary64_1389 pow-prod-down_binary64_1513 *-commutative_binary64_1373 diff-log_binary64_1534 unswap-sqr_binary64_1410
Counts
4 → 158
Calls

8 calls:

28.0ms
(*.f64 (+.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2))) c)))))) (sqrt.f64 b)))
12.0ms
(/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2)))
9.0ms
(-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2))) c)))))) (sqrt.f64 b))
8.0ms
(/.f64 (*.f64 a a) (pow.f64 b 3))
0.0ms
(+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))

series1.2s (1%)

Counts
4 → 34
Calls

4 calls:

734.0ms
(*.f64 (+.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 a a) (pow.f64 b 3)) c)))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2))) c)))))) (sqrt.f64 b)))
229.0ms
(-.f64 (sqrt.f64 (+.f64 b (*.f64 -2 (*.f64 c (+.f64 (/.f64 a b) (*.f64 (/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2))) c)))))) (sqrt.f64 b))
126.0ms
(/.f64 (*.f64 a a) (pow.f64 b 3))
123.0ms
(/.f64 (*.f64 (/.f64 a (pow.f64 b 3/2)) a) (pow.f64 b (/.f64 3 2)))
Compiler

Compiled 2914 to 2162 computations (25.8% saved)

simplify106.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049136383
149136383

prune41.6s (35%)

Pruning

682 alts after pruning (668 fresh and 14 done)

PrunedKeptTotal
New641277918
Fresh58391449
Picked000
Done21416
Total7016821383
Error
0b
Counts
1383 → 682
Compiler

Compiled 24356 to 12938 computations (46.9% saved)

simplify1.3s (1.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (15.0ms)

IterNodesCost
0536175680

regimes17.4s (14.7%)

Compiler

Compiled 195132 to 133348 computations (31.7% saved)

bsearch0.0ms (0%)

regimes1.8s (1.5%)

Compiler

Compiled 17436 to 13520 computations (22.5% saved)

bsearch0.0ms (0%)

regimes575.0ms (0.5%)

Compiler

Compiled 5065 to 4256 computations (16% saved)

bsearch0.0ms (0%)

regimes93.0ms (0.1%)

Compiler

Compiled 531 to 540 computations (-1.7% saved)

bsearch0.0ms (0%)

regimes26.0ms (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch0.0ms (0%)

regimes23.0ms (0%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch6.0ms (0%)

Compiler

Compiled 80 to 71 computations (11.3% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0160119
1160119

end0.0ms (0%)

sample2.3s (1.9%)

Algorithm
1×intervals
Results
304.0ms2957×body256valid
278.0ms8925×pre128true
267.0ms5042×body128valid
55.0ms925×body128nan
0.0ms1×body512valid
Compiler

Compiled 48940 to 33473 computations (31.6% saved)

Profiling

Loading profile data...