Details

Time bar (total: 1.4s)

analyze66.0ms (4.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
50%50%0.1%6
56.2%37.5%6.3%7
68.7%25%6.3%8
71.8%18.7%9.5%9
78%12.5%9.5%10
79.6%9.4%11%11
82.7%6.2%11%12
83.6%4.6%11.8%13
85.1%3.1%11.8%14
Compiler

Compiled 12 to 11 computations (8.3% saved)

sample18.0ms (1.3%)

Algorithm
1×intervals
Results
12.0ms256×body128valid
0.0ms4×body128invalid
Compiler

Compiled 23 to 23 computations (0% saved)

simplify191.0ms (13.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
054613
154613

prune4.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2
Compiler

Compiled 29 to 26 computations (10.3% saved)

localize8.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

rewrite21.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64_1446
7×associate-*r*_binary64_1367 *-un-lft-identity_binary64_1425
5×sub-neg_binary64_1418
4×add-cube-cbrt_binary64_1457 add-cbrt-cube_binary64_1458 pow1_binary64_1483 add-exp-log_binary64_1460 add-log-exp_binary64_1461
3×associate-*l*_binary64_1368
2×distribute-lft-in_binary64_1376 flip--_binary64_1400 associate-*r/_binary64_1369 associate--l+_binary64_1364 distribute-rgt-in_binary64_1377 difference-of-squares_binary64_1394 flip3--_binary64_1429
1×diff-log_binary64_1514 distribute-lft-out--_binary64_1379 unswap-sqr_binary64_1393 prod-exp_binary64_1471 cbrt-unprod_binary64_1455 difference-of-sqr-1_binary64_1395 *-commutative_binary64_1358 pow-prod-down_binary64_1493
Counts
2 → 39
Calls

2 calls:

11.0ms
(*.f64 x (-.f64 y 1))
7.0ms
(-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2))

series79.0ms (5.7%)

Counts
2 → 6
Calls

2 calls:

46.0ms
(*.f64 x (-.f64 y 1))
33.0ms
(-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2))

simplify62.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05525496

prune40.0ms (2.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New44145
Fresh011
Picked011
Done000
Total44347

Merged error: 0b

Counts
47 → 3
Compiler

Compiled 705 to 506 computations (28.2% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

rewrite8.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_1446 *-un-lft-identity_binary64_1425
4×associate-*r*_binary64_1367
3×add-cube-cbrt_binary64_1457 associate-*l*_binary64_1368 add-cbrt-cube_binary64_1458 pow1_binary64_1483 add-exp-log_binary64_1460
2×associate-*r/_binary64_1369
1×distribute-lft-in_binary64_1376 unswap-sqr_binary64_1393 prod-exp_binary64_1471 flip3-+_binary64_1428 cbrt-unprod_binary64_1455 distribute-lft-out_binary64_1378 distribute-rgt-in_binary64_1377 flip-+_binary64_1399 add-log-exp_binary64_1461 *-commutative_binary64_1358 pow-prod-down_binary64_1493
Counts
1 → 23
Calls

1 calls:

7.0ms
(*.f64 y (+.f64 x -1/2))

series42.0ms (3%)

Counts
1 → 3
Calls

1 calls:

42.0ms
(*.f64 y (+.f64 x -1/2))

simplify48.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
04950233
14950233

prune23.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New25126
Fresh101
Picked011
Done011
Total26329

Merged error: 0b

Counts
29 → 3
Compiler

Compiled 352 to 245 computations (30.4% saved)

localize8.0ms (0.6%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 (+.f64 x -1/2) (sqrt.f64 y))
0.2b
(*.f64 (sqrt.f64 y) (*.f64 (+.f64 x -1/2) (sqrt.f64 y)))

rewrite23.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_1446
10×associate-*l*_binary64_1368
9×add-cbrt-cube_binary64_1458 pow1_binary64_1483 add-exp-log_binary64_1460 *-un-lft-identity_binary64_1425
7×add-cube-cbrt_binary64_1457 associate-*r*_binary64_1367 sqrt-prod_binary64_1440
4×prod-exp_binary64_1471 cbrt-unprod_binary64_1455 associate-*l/_binary64_1370 pow-prod-down_binary64_1493
2×unswap-sqr_binary64_1393 flip3-+_binary64_1428 associate-*r/_binary64_1369 flip-+_binary64_1399 add-log-exp_binary64_1461 *-commutative_binary64_1358
1×distribute-lft-out_binary64_1378
Counts
2 → 48
Calls

2 calls:

11.0ms
(*.f64 (sqrt.f64 y) (*.f64 (+.f64 x -1/2) (sqrt.f64 y)))
8.0ms
(*.f64 (+.f64 x -1/2) (sqrt.f64 y))

series100.0ms (7.2%)

Counts
2 → 6
Calls

2 calls:

53.0ms
(*.f64 (+.f64 x -1/2) (sqrt.f64 y))
47.0ms
(*.f64 (sqrt.f64 y) (*.f64 (+.f64 x -1/2) (sqrt.f64 y)))

simplify87.0ms (6.3%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
04933639
14933639

prune44.0ms (3.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New54054
Fresh000
Picked011
Done022
Total54357

Merged error: 0b

Counts
57 → 3
Compiler

Compiled 896 to 545 computations (39.2% saved)

regimes43.0ms (3.1%)

Compiler

Compiled 176 to 156 computations (11.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05616
15616

end0.0ms (0%)

sample472.0ms (33.8%)

Algorithm
1×intervals
Results
253.0ms7995×body128valid
2.0ms75×body128invalid
0.0ms4×body1024valid
0.0ms1×body512valid
Compiler

Compiled 56 to 51 computations (8.9% saved)

Profiling

Loading profile data...