Details

Time bar (total: 4.7s)

analyze682.0ms (14.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010752
110752
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
25%74.9%0.1%8
31.2%64%4.8%9
31.2%42.1%26.7%10
35.9%37.1%27.1%11
38.2%32.2%29.6%12
47.8%21.6%30.6%13
50.2%19%30.8%14
Symmetry

(sort x y)

Compiler

Compiled 16 to 9 computations (43.8% saved)

sample27.0ms (0.6%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
0.0ms13×body128invalid
Compiler

Compiled 31 to 20 computations (35.5% saved)

simplify15.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04113
14113

prune7.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 33 to 24 computations (27.3% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite40.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_15484 add-exp-log_binary64_15461 add-cbrt-cube_binary64_15459
4×add-log-exp_binary64_15462
3×pow-prod-down_binary64_15494 prod-exp_binary64_15472 add-cube-cbrt_binary64_15458 cbrt-unprod_binary64_15456 add-sqr-sqrt_binary64_15445 *-un-lft-identity_binary64_15423 associate-*l*_binary64_15364
1×associate-*r*_binary64_15363 *-commutative_binary64_15354 sum-log_binary64_15514 flip3-+_binary64_15426 flip-+_binary64_15397 +-commutative_binary64_15353
Counts
2 → 29
Calls

2 calls:

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

Compiled 476 to 253 computations (46.8% saved)

series221.0ms (4.7%)

Error
0.0b
Counts
2 → 21
Calls

2 calls:

175.0ms
(+.f64 (*.f64 x y) (*.f64 z (*.f64 z 3)))
34.0ms
(*.f64 z (*.f64 z 3))
Compiler

Compiled 394 to 344 computations (12.7% saved)

simplify107.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
04926545
14926545

prune42.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New47350
Fresh011
Picked011
Done000
Total47552
Error
0.0b
Counts
52 → 5
Compiler

Compiled 609 to 289 computations (52.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite45.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-log-exp_binary64_15462
9×sum-log_binary64_15514
2×pow1_binary64_15484 add-exp-log_binary64_15461 add-cbrt-cube_binary64_15459 add-cube-cbrt_binary64_15458 add-sqr-sqrt_binary64_15445 flip3-+_binary64_15426 *-un-lft-identity_binary64_15423 flip-+_binary64_15397 associate-+l+_binary64_15356 +-commutative_binary64_15353
Counts
2 → 27
Calls

2 calls:

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

Compiled 740 to 98 computations (86.8% saved)

series377.0ms (8%)

Error
0.0b
Counts
2 → 36
Calls

2 calls:

178.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
162.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
Compiler

Compiled 806 to 615 computations (23.7% saved)

simplify113.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
04860817
14860817

prune78.0ms (1.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New61263
Fresh033
Picked011
Done011
Total61768
Error
0.0b
Counts
68 → 7
Compiler

Compiled 893 to 325 computations (63.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)

rewrite95.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
25×cbrt-prod_binary64_15454
23×add-sqr-sqrt_binary64_15445
15×add-cube-cbrt_binary64_15458 *-un-lft-identity_binary64_15423
11×pow1_binary64_15484
9×pow1/3_binary64_15505
6×add-exp-log_binary64_15461 swap-sqr_binary64_15390 associate-*l*_binary64_15364 associate-*r*_binary64_15363
4×add-log-exp_binary64_15462 add-cbrt-cube_binary64_15459 unswap-sqr_binary64_15391
2×pow-prod-down_binary64_15494 pow-prod-up_binary64_15493 pow-sqr_binary64_15396
1×pow2_binary64_15504 pow-plus_binary64_15486 prod-exp_binary64_15472 cbrt-unprod_binary64_15456 *-commutative_binary64_15354
Counts
4 → 73
Calls

4 calls:

7.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
Compiler

Compiled 1524 to 527 computations (65.4% saved)

series390.0ms (8.3%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

103.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
98.0ms
(cbrt.f64 z)
91.0ms
(cbrt.f64 z)
88.0ms
(cbrt.f64 z)
Compiler

Compiled 663 to 480 computations (27.6% saved)

simplify88.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
04873548
14873548

prune93.0ms (2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New84185
Fresh134
Picked101
Done022
Total86692
Error
0b
Counts
92 → 6
Compiler

Compiled 1649 to 697 computations (57.7% saved)

localize22.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (cbrt.f64 (*.f64 z z)) (*.f64 (*.f64 3 z) (cbrt.f64 z)))
0.3b
(*.f64 (*.f64 3 z) (cbrt.f64 z))
0.6b
(cbrt.f64 z)
19.4b
(cbrt.f64 (*.f64 z z))

rewrite124.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
18×pow1_binary64_15484 add-exp-log_binary64_15461
11×add-cbrt-cube_binary64_15459
9×pow-prod-down_binary64_15494 prod-exp_binary64_15472 cbrt-unprod_binary64_15456
8×add-cube-cbrt_binary64_15458 cbrt-prod_binary64_15454 add-sqr-sqrt_binary64_15445 *-un-lft-identity_binary64_15423
7×associate-*r*_binary64_15363
5×associate-*l*_binary64_15364
4×add-log-exp_binary64_15462
2×pow1/3_binary64_15505 *-commutative_binary64_15354
Counts
4 → 63
Calls

4 calls:

18.0ms
(*.f64 (cbrt.f64 (*.f64 z z)) (*.f64 (*.f64 3 z) (cbrt.f64 z)))
12.0ms
(*.f64 (*.f64 3 z) (cbrt.f64 z))
4.0ms
(cbrt.f64 (*.f64 z z))
2.0ms
(cbrt.f64 z)
Compiler

Compiled 1283 to 508 computations (60.4% saved)

series331.0ms (7%)

Error
0b
Counts
4 → 12
Calls

4 calls:

102.0ms
(*.f64 (*.f64 3 z) (cbrt.f64 z))
94.0ms
(cbrt.f64 (*.f64 z z))
84.0ms
(cbrt.f64 z)
42.0ms
(*.f64 (cbrt.f64 (*.f64 z z)) (*.f64 (*.f64 3 z) (cbrt.f64 z)))
Compiler

Compiled 546 to 427 computations (21.8% saved)

simplify69.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
04827575
14827575

prune53.0ms (1.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New75075
Fresh033
Picked011
Done022
Total75681
Error
0b
Counts
81 → 6
Compiler

Compiled 1195 to 540 computations (54.8% saved)

regimes388.0ms (8.2%)

Accuracy

Total 0.1b remaining (93.7%)

Threshold costs 0.1b (93.7%)

Compiler

Compiled 3642 to 2480 computations (31.9% saved)

bsearch0.0ms (0%)

simplify12.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01419
11419
Remove

(sort x y)

Compiler

Compiled 26 to 18 computations (30.8% saved)

end0.0ms (0%)

sample1.3s (27.1%)

Algorithm
1×intervals
Results
276.0ms8000×body128valid
19.0ms471×body128invalid
Compiler

Compiled 637 to 434 computations (31.9% saved)

Profiling

Loading profile data...