Details

Time bar (total: 6.8s)

analyze524.0ms (7.7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0116152
1116152
033
133
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
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
31.2%68.6%0.1%8
35.9%60.8%3.3%9
44.1%48%7.9%10
54.8%36.9%8.3%11
57.6%31.5%10.9%12
61.9%24%14.1%13
67.2%18.6%14.2%14
Compiler

Compiled 10 to 10 computations (0% saved)

sample18.0ms (0.3%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
1.0ms21×body128invalid
Compiler

Compiled 19 to 22 computations (-15.8% saved)

simplify37.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
053713
153713

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 18 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 (-.f64 1 y) z)
5.5b
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))

rewrite76.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
5.8b
Rules
13×add-sqr-sqrt_binary64_18514
9×*-un-lft-identity_binary64_18492 associate-*l*_binary64_18433
6×pow1_binary64_18553 add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528 add-cube-cbrt_binary64_18527 associate-*r*_binary64_18432
2×pow-prod-down_binary64_18563 prod-exp_binary64_18541 add-log-exp_binary64_18531 cbrt-unprod_binary64_18525 unswap-sqr_binary64_18460 sub-neg_binary64_18485 distribute-rgt-in_binary64_18442 cancel-sign-sub-inv_binary64_18458 distribute-lft-in_binary64_18441 flip3--_binary64_18496 associate-*r/_binary64_18434 flip--_binary64_18467 *-commutative_binary64_18423 associate-*l/_binary64_18435 difference-of-squares_binary64_18461
1×distribute-lft-out--_binary64_18444
Counts
2 → 47
Calls

2 calls:

10.0ms
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))
7.0ms
(*.f64 (-.f64 1 y) z)
Compiler

Compiled 771 to 543 computations (29.6% saved)

series200.0ms (2.9%)

Error
5.7b
Counts
2 → 24
Calls

2 calls:

126.0ms
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))
56.0ms
(*.f64 (-.f64 1 y) z)
Compiler

Compiled 551 to 379 computations (31.2% saved)

simplify61.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
04957805
14957805

prune72.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New63871
Fresh000
Picked101
Done000
Total64872
Error
5.6b
Counts
72 → 8
Compiler

Compiled 975 to 528 computations (45.8% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 z y) z)
0.0b
(+.f64 x (*.f64 x (-.f64 (*.f64 z y) z)))
5.5b
(*.f64 x (-.f64 (*.f64 z y) z))

rewrite59.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
5.6b
Rules
15×cancel-sign-sub-inv_binary64_18458
12×add-sqr-sqrt_binary64_18514
10×add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492
8×distribute-rgt-in_binary64_18442 distribute-lft-in_binary64_18441 associate-+r+_binary64_18424
7×add-log-exp_binary64_18531
5×pow1_binary64_18553 add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528 sub-neg_binary64_18485
3×associate-*l*_binary64_18433 associate-*r*_binary64_18432
2×flip3--_binary64_18496 associate-*r/_binary64_18434 flip--_binary64_18467
1×pow-prod-down_binary64_18563 prod-exp_binary64_18541 cbrt-unprod_binary64_18525 unswap-sqr_binary64_18460 *-commutative_binary64_18423 sum-log_binary64_18583 flip3-+_binary64_18495 flip-+_binary64_18466 +-commutative_binary64_18422 diff-log_binary64_18584
Counts
3 → 61
Calls

3 calls:

7.0ms
(*.f64 x (-.f64 (*.f64 z y) z))
7.0ms
(-.f64 (*.f64 z y) z)
4.0ms
(+.f64 x (*.f64 x (-.f64 (*.f64 z y) z)))
Compiler

Compiled 1028 to 239 computations (76.8% saved)

series348.0ms (5.1%)

Error
0.0b
Counts
3 → 36
Calls

3 calls:

160.0ms
(+.f64 x (*.f64 x (-.f64 (*.f64 z y) z)))
118.0ms
(*.f64 x (-.f64 (*.f64 z y) z))
50.0ms
(-.f64 (*.f64 z y) z)
Compiler

Compiled 868 to 524 computations (39.6% saved)

simplify101.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
049341138
149341138

prune63.0ms (0.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New95297
Fresh167
Picked011
Done000
Total969105
Error
5.6b
Counts
105 → 9
Compiler

Compiled 1295 to 308 computations (76.2% saved)

localize3.0ms (0%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (*.f64 x z))

rewrite15.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Error
5.6b
Rules
3×add-log-exp_binary64_18531
1×diff-log_binary64_18584 pow1_binary64_18553 add-exp-log_binary64_18530 add-cbrt-cube_binary64_18528 add-cube-cbrt_binary64_18527 add-sqr-sqrt_binary64_18514 flip3--_binary64_18496 *-un-lft-identity_binary64_18492 sub-neg_binary64_18485 flip--_binary64_18467 cancel-sign-sub-inv_binary64_18458
Counts
1 → 12
Calls

1 calls:

3.0ms
(-.f64 x (*.f64 x z))
Compiler

Compiled 143 to 44 computations (69.2% saved)

series50.0ms (0.7%)

Error
5.6b
Counts
1 → 9
Calls

1 calls:

46.0ms
(-.f64 x (*.f64 x z))
Compiler

Compiled 118 to 105 computations (11% saved)

simplify80.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
05476200

prune26.0ms (0.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New16521
Fresh167
Picked011
Done011
Total171330
Error
5.6b
Counts
30 → 13
Compiler

Compiled 313 to 216 computations (31% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (*.f64 x (-.f64 1 z))) (cbrt.f64 (*.f64 x (-.f64 1 z))))
0.5b
(cbrt.f64 (*.f64 x (-.f64 1 z)))
0.5b
(cbrt.f64 (*.f64 x (-.f64 1 z)))
0.5b
(cbrt.f64 (*.f64 x (-.f64 1 z)))

rewrite132.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
5.6b
Rules
20×associate-*r/_binary64_18434
18×cbrt-div_binary64_18524
11×pow1_binary64_18553
10×add-sqr-sqrt_binary64_18514
9×pow1/3_binary64_18574 flip3--_binary64_18496 flip--_binary64_18467
8×add-cube-cbrt_binary64_18527 *-un-lft-identity_binary64_18492
7×cbrt-prod_binary64_18523
6×add-exp-log_binary64_18530
4×add-log-exp_binary64_18531 add-cbrt-cube_binary64_18528 frac-times_binary64_18502 swap-sqr_binary64_18459 associate-*l*_binary64_18433 associate-*r*_binary64_18432
2×pow-prod-down_binary64_18563 pow-prod-up_binary64_18562 pow-sqr_binary64_18465 associate-*l/_binary64_18435
1×pow2_binary64_18573 pow-plus_binary64_18555 prod-exp_binary64_18541 cbrt-unprod_binary64_18525 unswap-sqr_binary64_18460 *-commutative_binary64_18423
Counts
4 → 72
Calls

4 calls:

7.0ms
(*.f64 (cbrt.f64 (*.f64 x (-.f64 1 z))) (cbrt.f64 (*.f64 x (-.f64 1 z))))
5.0ms
(cbrt.f64 (*.f64 x (-.f64 1 z)))
5.0ms
(cbrt.f64 (*.f64 x (-.f64 1 z)))
5.0ms
(cbrt.f64 (*.f64 x (-.f64 1 z)))
Compiler

Compiled 2027 to 1464 computations (27.8% saved)

series950.0ms (13.9%)

Error
5.5b
Counts
4 → 53
Calls

4 calls:

265.0ms
(*.f64 (cbrt.f64 (*.f64 x (-.f64 1 z))) (cbrt.f64 (*.f64 x (-.f64 1 z))))
205.0ms
(cbrt.f64 (*.f64 x (-.f64 1 z)))
195.0ms
(cbrt.f64 (*.f64 x (-.f64 1 z)))
190.0ms
(cbrt.f64 (*.f64 x (-.f64 1 z)))
Compiler

Compiled 4373 to 3593 computations (17.8% saved)

simplify70.0ms (1%)

Algorithm
1×egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
050312175

prune162.0ms (2.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1205125
Fresh4610
Picked101
Done112
Total12612138
Error
5.5b
Counts
138 → 12
Compiler

Compiled 3091 to 2156 computations (30.2% saved)

regimes1.6s (23.1%)

Accuracy

Total 1.8b remaining (98.9%)

Threshold costs 0b (0%)

Compiler

Compiled 13611 to 11306 computations (16.9% saved)

bsearch4.0ms (0.1%)

Compiler

Compiled 9 to 9 computations (0% saved)

simplify15.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (12.0ms)

IterNodesCost
041875
141875

end0.0ms (0%)

sample2.2s (31.7%)

Algorithm
1×intervals
Results
239.0ms8000×body128valid
19.0ms684×body128invalid
Compiler

Compiled 1796 to 1464 computations (18.5% saved)

Profiling

Loading profile data...