Details

Time bar (total: 3.9s)

analyze481.0ms (12.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
026440
126440
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
21.8%78%0.1%7
26.5%73.3%0.1%8
36.7%63.2%0.1%9
41.3%49.9%8.7%10
47.2%43.3%9.5%11
54.4%35.5%10.1%12
57.9%27.4%14.7%13
61.7%23.2%15.1%14
Symmetry

(sort x y)

Compiler

Compiled 8 to 8 computations (0% saved)

sample22.0ms (0.6%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
0.0ms14×body128invalid
Compiler

Compiled 15 to 18 computations (-20% saved)

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
010410
110410

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 (+.f64 x y) (+.f64 z 1))

rewrite44.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×*-un-lft-identity_binary64_1442
6×flip3-+_binary64_1445 flip-+_binary64_1416
5×add-sqr-sqrt_binary64_1464
4×frac-times_binary64_1452 associate-*l*_binary64_1383 associate-*r*_binary64_1382
3×pow1_binary64_1503 add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478 add-cube-cbrt_binary64_1477
2×associate-*l/_binary64_1385 associate-*r/_binary64_1384 distribute-lft-out_binary64_1393
1×pow-prod-down_binary64_1513 prod-exp_binary64_1491 add-log-exp_binary64_1481 cbrt-unprod_binary64_1475 unswap-sqr_binary64_1410 distribute-rgt-in_binary64_1392 distribute-lft-in_binary64_1391 *-commutative_binary64_1373
Counts
1 → 30
Calls

1 calls:

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

Compiled 492 to 257 computations (47.8% saved)

series115.0ms (3%)

Error
0.0b
Counts
1 → 18
Calls

1 calls:

103.0ms
(*.f64 (+.f64 x y) (+.f64 z 1))
Compiler

Compiled 383 to 228 computations (40.5% saved)

simplify75.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
04982622
14982622

prune41.0ms (1.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New44448
Fresh000
Picked011
Done000
Total44549
Error
0.0b
Counts
49 → 5
Compiler

Compiled 600 to 304 computations (49.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite53.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×*-un-lft-identity_binary64_1442
7×add-log-exp_binary64_1481
6×add-sqr-sqrt_binary64_1464 flip3-+_binary64_1445 associate-*r/_binary64_1384 flip-+_binary64_1416
4×pow1_binary64_1503 add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478 add-cube-cbrt_binary64_1477 frac-add_binary64_1450 associate-*r*_binary64_1382
3×sum-log_binary64_1533 associate-*l*_binary64_1383
2×distribute-rgt-out_binary64_1395 distribute-lft-out_binary64_1393 distribute-rgt-in_binary64_1392 associate-+l+_binary64_1375 distribute-lft-in_binary64_1391
1×distribute-lft1-in_binary64_1397 associate-+r+_binary64_1374 +-commutative_binary64_1372 pow-prod-down_binary64_1513 prod-exp_binary64_1491 cbrt-unprod_binary64_1475 unswap-sqr_binary64_1410 *-commutative_binary64_1373
Counts
2 → 45
Calls

2 calls:

10.0ms
(+.f64 (*.f64 z (+.f64 y x)) (+.f64 y x))
6.0ms
(*.f64 z (+.f64 y x))
Compiler

Compiled 822 to 198 computations (75.9% saved)

series235.0ms (6.1%)

Error
0b
Counts
2 → 33
Calls

2 calls:

132.0ms
(+.f64 (*.f64 z (+.f64 y x)) (+.f64 y x))
85.0ms
(*.f64 z (+.f64 y x))
Compiler

Compiled 746 to 401 computations (46.2% saved)

simplify66.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
04774902
14774902

prune49.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New76278
Fresh213
Picked101
Done011
Total79483
Error
0b
Counts
83 → 4
Compiler

Compiled 948 to 275 computations (71% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite45.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×add-log-exp_binary64_1481
9×*-un-lft-identity_binary64_1442
7×add-sqr-sqrt_binary64_1464
5×pow1_binary64_1503 add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478 add-cube-cbrt_binary64_1477
4×sum-log_binary64_1533 associate-*l*_binary64_1383
3×flip3-+_binary64_1445 flip-+_binary64_1416 associate-*r*_binary64_1382
2×distribute-lft-out_binary64_1393 +-commutative_binary64_1372 associate-*l/_binary64_1385
1×associate-+l+_binary64_1375 pow-prod-down_binary64_1513 prod-exp_binary64_1491 cbrt-unprod_binary64_1475 unswap-sqr_binary64_1410 *-commutative_binary64_1373
Counts
3 → 46
Calls

3 calls:

7.0ms
(*.f64 (+.f64 x y) z)
6.0ms
(+.f64 (+.f64 y (*.f64 (+.f64 x y) z)) x)
3.0ms
(+.f64 y (*.f64 (+.f64 x y) z))
Compiler

Compiled 772 to 198 computations (74.4% saved)

series372.0ms (9.6%)

Error
0b
Counts
3 → 51
Calls

3 calls:

141.0ms
(+.f64 (+.f64 y (*.f64 (+.f64 x y) z)) x)
118.0ms
(+.f64 y (*.f64 (+.f64 x y) z))
88.0ms
(*.f64 (+.f64 x y) z)
Compiler

Compiled 1149 to 610 computations (46.9% saved)

simplify67.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05029998

prune53.0ms (1.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New97097
Fresh022
Picked011
Done011
Total974101
Error
0b
Counts
101 → 4
Compiler

Compiled 1062 to 274 computations (74.2% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite44.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
19×add-log-exp_binary64_1481
10×sum-log_binary64_1533
5×*-un-lft-identity_binary64_1442
3×pow1_binary64_1503 add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478 add-cube-cbrt_binary64_1477 add-sqr-sqrt_binary64_1464 flip3-+_binary64_1445 flip-+_binary64_1416 +-commutative_binary64_1372
2×associate-+r+_binary64_1374
1×distribute-lft-out_binary64_1393
Counts
3 → 39
Calls

3 calls:

9.0ms
(+.f64 (*.f64 y z) (+.f64 y (+.f64 x (*.f64 x z))))
5.0ms
(+.f64 y (+.f64 x (*.f64 x z)))
3.0ms
(+.f64 x (*.f64 x z))
Compiler

Compiled 767 to 157 computations (79.5% saved)

series297.0ms (7.6%)

Error
0b
Counts
3 → 45
Calls

3 calls:

137.0ms
(+.f64 (*.f64 y z) (+.f64 y (+.f64 x (*.f64 x z))))
88.0ms
(+.f64 y (+.f64 x (*.f64 x z)))
50.0ms
(+.f64 x (*.f64 x z))
Compiler

Compiled 1054 to 580 computations (45% saved)

simplify55.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
05020915

prune47.0ms (1.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New84084
Fresh011
Picked011
Done022
Total84488
Error
0b
Counts
88 → 4
Compiler

Compiled 998 to 239 computations (76.1% saved)

regimes423.0ms (10.9%)

Accuracy

Total 0.0b remaining (97.5%)

Threshold costs 0.0b (97.5%)

Compiler

Compiled 3850 to 3102 computations (19.4% saved)

bsearch0.0ms (0%)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01213
11213
Compiler

Compiled 18 to 14 computations (22.2% saved)

end0.0ms (0%)

sample1.3s (32.4%)

Algorithm
1×intervals
Results
200.0ms7998×body128valid
20.0ms587×body128invalid
0.0ms2×body256valid
Compiler

Compiled 580 to 467 computations (19.5% saved)

Profiling

Loading profile data...