Details

Time bar (total: 4.3s)

analyze461.0ms (10.8%)

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)

sample26.0ms (0.6%)

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

Compiled 31 to 20 computations (35.5% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
04113
14113

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 33 to 24 computations (27.3% saved)

localize6.0ms (0.1%)

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_16166 add-exp-log_binary64_16143 add-cbrt-cube_binary64_16141
4×add-log-exp_binary64_16144
3×pow-prod-down_binary64_16176 prod-exp_binary64_16154 add-cube-cbrt_binary64_16140 cbrt-unprod_binary64_16138 add-sqr-sqrt_binary64_16127 *-un-lft-identity_binary64_16105 associate-*l*_binary64_16046
1×associate-*r*_binary64_16045 *-commutative_binary64_16036 sum-log_binary64_16196 flip3-+_binary64_16108 flip-+_binary64_16079 +-commutative_binary64_16035
Counts
2 → 29
Calls

2 calls:

5.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)

series184.0ms (4.3%)

Error
0.1b
Counts
2 → 21
Calls

2 calls:

144.0ms
(+.f64 (*.f64 x y) (*.f64 z (*.f64 z 3)))
25.0ms
(*.f64 z (*.f64 z 3))
Compiler

Compiled 394 to 344 computations (12.7% saved)

simplify97.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04926545
14926545

prune40.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New46450
Fresh011
Picked011
Done000
Total46652
Error
0.0b
Counts
52 → 6
Compiler

Compiled 641 to 313 computations (51.2% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 x y) (*.f64 z z))
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))

rewrite55.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
19×add-log-exp_binary64_16144
10×sum-log_binary64_16196
3×pow1_binary64_16166 add-exp-log_binary64_16143 add-cbrt-cube_binary64_16141 add-cube-cbrt_binary64_16140 add-sqr-sqrt_binary64_16127 flip3-+_binary64_16108 *-un-lft-identity_binary64_16105 flip-+_binary64_16079 +-commutative_binary64_16035
2×associate-+l+_binary64_16038
Counts
3 → 38
Calls

3 calls:

10.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))
5.0ms
(+.f64 (*.f64 x y) (*.f64 z z))
Compiler

Compiled 1006 to 149 computations (85.2% saved)

series445.0ms (10.4%)

Error
0.0b
Counts
3 → 54
Calls

3 calls:

154.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
152.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
111.0ms
(+.f64 (*.f64 x y) (*.f64 z z))
Compiler

Compiled 1409 to 924 computations (34.4% saved)

simplify74.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
048601115
148601115

prune63.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New90292
Fresh134
Picked101
Done011
Total92698
Error
0.0b
Counts
98 → 6
Compiler

Compiled 1405 to 401 computations (71.5% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 3 (*.f64 z z))
0.3b
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z))))
20.3b
(sqrt.f64 (*.f64 3 (*.f64 z z)))
20.3b
(sqrt.f64 (*.f64 3 (*.f64 z z)))

rewrite160.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
148×pow1_binary64_16166
80×pow-prod-down_binary64_16176
66×sqrt-pow1_binary64_16123
17×pow-prod-up_binary64_16175
14×pow1/2_binary64_16185
12×add-sqr-sqrt_binary64_16127
11×add-exp-log_binary64_16143 add-cbrt-cube_binary64_16141 pow-sqr_binary64_16078
9×add-cube-cbrt_binary64_16140 *-un-lft-identity_binary64_16105
7×associate-*l*_binary64_16046
6×sqrt-prod_binary64_16121
5×associate-*r*_binary64_16045
4×add-log-exp_binary64_16144 prod-exp_binary64_16154 cbrt-unprod_binary64_16138 swap-sqr_binary64_16072
2×unswap-sqr_binary64_16073 *-commutative_binary64_16036
1×pow2_binary64_16186 pow-plus_binary64_16168 sqrt-unprod_binary64_16125 rem-square-sqrt_binary64_16117
Counts
4 → 109
Calls

4 calls:

14.0ms
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z))))
6.0ms
(*.f64 3 (*.f64 z z))
5.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
4.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
Compiler

Compiled 2280 to 1253 computations (45% saved)

series145.0ms (3.4%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

49.0ms
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z))))
31.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
27.0ms
(*.f64 3 (*.f64 z z))
25.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
Compiler

Compiled 543 to 437 computations (19.5% saved)

simplify79.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04997772
14997772

prune111.0ms (2.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1183121
Fresh314
Picked011
Done011
Total1216127
Error
0.0b
Counts
127 → 6
Compiler

Compiled 1963 to 1050 computations (46.5% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))))
20.3b
(sqrt.f64 (*.f64 3 (*.f64 z z)))
20.3b
(sqrt.f64 (*.f64 3 (*.f64 z z)))
21.0b
(cbrt.f64 (*.f64 3 (*.f64 z z)))

rewrite82.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×pow1_binary64_16166
6×pow-prod-down_binary64_16176 sqrt-pow1_binary64_16123
5×add-cube-cbrt_binary64_16140 cbrt-prod_binary64_16136 add-sqr-sqrt_binary64_16127 *-un-lft-identity_binary64_16105
4×add-log-exp_binary64_16144 add-exp-log_binary64_16143 add-cbrt-cube_binary64_16141
3×sqrt-prod_binary64_16121
2×pow1/3_binary64_16187 pow1/2_binary64_16185
Counts
4 → 45
Calls

4 calls:

5.0ms
(cbrt.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))))
4.0ms
(cbrt.f64 (*.f64 3 (*.f64 z z)))
4.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
4.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
Compiler

Compiled 1384 to 778 computations (43.8% saved)

series285.0ms (6.6%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

104.0ms
(cbrt.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))))
103.0ms
(cbrt.f64 (*.f64 3 (*.f64 z z)))
32.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
32.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
Compiler

Compiled 924 to 689 computations (25.4% saved)

simplify58.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04982540
14982540

prune72.0ms (1.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New57057
Fresh033
Picked011
Done022
Total57663
Error
0.0b
Counts
63 → 6
Compiler

Compiled 1571 to 875 computations (44.3% saved)

regimes478.0ms (11.1%)

Accuracy

Total 0.1b remaining (97.7%)

Threshold costs 0.1b (97.7%)

Compiler

Compiled 5907 to 4044 computations (31.5% saved)

bsearch0.0ms (0%)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01313
11313
Removed

((sort x y))

Compiler

Compiled 18 to 16 computations (11.1% saved)

end0.0ms (0%)

sample1.3s (29.8%)

Algorithm
1×intervals
Results
234.0ms8000×body128valid
13.0ms462×body128invalid
Compiler

Compiled 915 to 635 computations (30.6% saved)

Profiling

Loading profile data...