Details

Time bar (total: 22.4s)

analyze462.0ms (2.1%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034848
134848
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
25%74.9%0.1%6
25%74.9%0.1%7
25%62.4%12.6%8
37.4%43.7%18.9%9
37.4%43.7%18.9%10
49.9%31.2%18.9%11
56.2%20.3%23.5%12
56.2%20.3%23.5%13
61.6%14.8%23.5%14
Symmetry

(sort a b)

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample568.0ms (2.5%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
4.0ms96×body128invalid
Compiler

Compiled 3185 to 3890 computations (-22.1% saved)

simplify15.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
014212
114212

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
19.7b
Counts
2 → 1
Compiler

Compiled 16 to 14 computations (12.5% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

6.8b
(*.f64 (*.f64 (*.f64 a a) b) b)
11.9b
(*.f64 (*.f64 a a) b)

rewrite55.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Error
5.7b
Rules
16×pow1_binary64_139 add-exp-log_binary64_116 add-cbrt-cube_binary64_114
9×pow-prod-down_binary64_149 prod-exp_binary64_127 cbrt-unprod_binary64_111
6×associate-*r*_binary64_18
5×add-sqr-sqrt_binary64_100
4×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
2×add-log-exp_binary64_117 associate-*l*_binary64_19 *-commutative_binary64_9
1×unswap-sqr_binary64_46
Counts
2 → 40
Calls

2 calls:

7.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
6.0ms
(*.f64 (*.f64 a a) b)
Compiler

Compiled 554 to 161 computations (70.9% saved)

series197.0ms (0.9%)

Error
19.6b
Counts
2 → 12
Calls

2 calls:

100.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
89.0ms
(*.f64 (*.f64 a a) b)
Compiler

Compiled 288 to 273 computations (5.2% saved)

simplify52.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05066461

prune52.0ms (0.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New43952
Fresh000
Picked101
Done000
Total44953
Error
0.1b
Counts
53 → 9
Compiler

Compiled 623 to 225 computations (63.9% saved)

localize9.0ms (0%)

Local error

Found 1 expressions with local error:

0.4b
(*.f64 (fabs.f64 (*.f64 a b)) (fabs.f64 (*.f64 a b)))

rewrite32.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
8×pow1_binary64_139
7×add-sqr-sqrt_binary64_100
5×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
3×add-exp-log_binary64_116 add-cbrt-cube_binary64_114 swap-sqr_binary64_45 associate-*l*_binary64_19 associate-*r*_binary64_18
1×pow2_binary64_159 pow-prod-down_binary64_149 pow-prod-up_binary64_148 pow-plus_binary64_141 prod-exp_binary64_127 add-log-exp_binary64_117 cbrt-unprod_binary64_111 sqr-abs_binary64_93 pow-sqr_binary64_51 unswap-sqr_binary64_46 *-commutative_binary64_9
Counts
1 → 26
Calls

1 calls:

4.0ms
(*.f64 (fabs.f64 (*.f64 a b)) (fabs.f64 (*.f64 a b)))
Compiler

Compiled 444 to 94 computations (78.8% saved)

series87.0ms (0.4%)

Error
0.1b
Counts
1 → 6
Calls

1 calls:

83.0ms
(*.f64 (fabs.f64 (*.f64 a b)) (fabs.f64 (*.f64 a b)))
Compiler

Compiled 126 to 119 computations (5.6% saved)

simplify76.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
05054230

prune30.0ms (0.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New30232
Fresh268
Picked011
Done000
Total32941
Error
0.1b
Counts
41 → 9
Compiler

Compiled 392 to 190 computations (51.5% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b
(*.f64 (sqrt.f64 (fabs.f64 (*.f64 a b))) (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))
0.3b
(pow.f64 (fabs.f64 (*.f64 a b)) 3/2)
9.5b
(sqrt.f64 (fabs.f64 (*.f64 a b)))

rewrite95.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
21×add-sqr-sqrt_binary64_100
10×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
9×add-exp-log_binary64_116 sqrt-prod_binary64_94
8×unpow-prod-down_binary64_157
7×associate-*r*_binary64_18
6×pow1_binary64_139 unswap-sqr_binary64_46 associate-*l*_binary64_19
5×add-cbrt-cube_binary64_114
4×sqr-pow_binary64_50
3×add-log-exp_binary64_117 pow-unpow_binary64_155 prod-exp_binary64_127
2×pow1/2_binary64_158 sqrt-pow1_binary64_96 pow-to-exp_binary64_147 pow-exp_binary64_146 pow-prod-up_binary64_148
1×rem-sqrt-square_binary64_91 pow-pow_binary64_150 cbrt-unprod_binary64_111 *-commutative_binary64_9
Counts
3 → 63
Calls

3 calls:

7.0ms
(*.f64 (sqrt.f64 (fabs.f64 (*.f64 a b))) (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))
2.0ms
(pow.f64 (fabs.f64 (*.f64 a b)) 3/2)
1.0ms
(sqrt.f64 (fabs.f64 (*.f64 a b)))
Compiler

Compiled 1332 to 480 computations (64% saved)

series402.0ms (1.8%)

Error
0.1b
Counts
3 → 18
Calls

3 calls:

247.0ms
(pow.f64 (fabs.f64 (*.f64 a b)) 3/2)
74.0ms
(*.f64 (sqrt.f64 (fabs.f64 (*.f64 a b))) (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))
68.0ms
(sqrt.f64 (fabs.f64 (*.f64 a b)))
Compiler

Compiled 612 to 426 computations (30.4% saved)

simplify62.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
050081085

prune97.0ms (0.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New74781
Fresh347
Picked011
Done011
Total771390
Error
0.0b
Counts
90 → 13
Compiler

Compiled 1454 to 578 computations (60.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (pow.f64 (fabs.f64 (*.f64 a b)) 3/4) (pow.f64 (fabs.f64 (*.f64 a b)) 3/4))
5.1b
(pow.f64 (fabs.f64 (*.f64 a b)) 3/4)
5.1b
(pow.f64 (fabs.f64 (*.f64 a b)) 3/4)
9.5b
(sqrt.f64 (fabs.f64 (*.f64 a b)))

rewrite155.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
30×add-sqr-sqrt_binary64_100
24×unpow-prod-down_binary64_157
18×add-exp-log_binary64_116
17×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
12×sqr-pow_binary64_50
9×prod-exp_binary64_127 unswap-sqr_binary64_46
8×pow-to-exp_binary64_147 pow-exp_binary64_146
7×pow1_binary64_139 swap-sqr_binary64_45 associate-*l*_binary64_19 associate-*r*_binary64_18
6×add-cbrt-cube_binary64_114 pow-unpow_binary64_155
4×add-log-exp_binary64_117
3×sqrt-prod_binary64_94
2×pow-pow_binary64_150
1×pow1/2_binary64_158 sqrt-pow1_binary64_96 rem-sqrt-square_binary64_91 pow2_binary64_159 pow-prod-down_binary64_149 pow-prod-up_binary64_148 cbrt-unprod_binary64_111 pow-sqr_binary64_51 *-commutative_binary64_9
Counts
4 → 99
Calls

4 calls:

8.0ms
(*.f64 (pow.f64 (fabs.f64 (*.f64 a b)) 3/4) (pow.f64 (fabs.f64 (*.f64 a b)) 3/4))
2.0ms
(pow.f64 (fabs.f64 (*.f64 a b)) 3/4)
2.0ms
(pow.f64 (fabs.f64 (*.f64 a b)) 3/4)
1.0ms
(sqrt.f64 (fabs.f64 (*.f64 a b)))
Compiler

Compiled 2833 to 1146 computations (59.5% saved)

series845.0ms (3.8%)

Error
0.0b
Counts
4 → 24
Calls

4 calls:

273.0ms
(pow.f64 (fabs.f64 (*.f64 a b)) 3/4)
271.0ms
(pow.f64 (fabs.f64 (*.f64 a b)) 3/4)
206.0ms
(*.f64 (pow.f64 (fabs.f64 (*.f64 a b)) 3/4) (pow.f64 (fabs.f64 (*.f64 a b)) 3/4))
68.0ms
(sqrt.f64 (fabs.f64 (*.f64 a b)))
Compiler

Compiled 1404 to 834 computations (40.6% saved)

simplify104.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
048821661
148821661

prune149.0ms (0.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New1212123
Fresh1910
Picked101
Done022
Total12313136
Error
0.0b
Counts
136 → 13
Compiler

Compiled 2730 to 1029 computations (62.3% saved)

regimes686.0ms (3.1%)

Accuracy

Total 0.3b remaining (97.1%)

Threshold costs 0.3b (97.1%)

Compiler

Compiled 7460 to 4465 computations (40.1% saved)

bsearch0.0ms (0%)

simplify10.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0159
1159
Remove

(sort a b)

Compiler

Compiled 12 to 14 computations (-16.7% saved)

end0.0ms (0%)

sample18.1s (80.9%)

Algorithm
1×intervals
Results
251.0ms8000×body128valid
131.0ms3109×body128invalid
Compiler

Compiled 101173 to 122920 computations (-21.5% saved)

Profiling

Loading profile data...