Details

Time bar (total: 4.2s)

analyze383.0ms (9.2%)

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)

sample26.0ms (0.6%)

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

Compiled 17 to 18 computations (-5.9% saved)

simplify12.0ms (0.3%)

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
16.2b
Counts
2 → 1
Compiler

Compiled 16 to 14 computations (12.5% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

5.5b
(*.f64 (*.f64 (*.f64 a a) b) b)
10.1b
(*.f64 (*.f64 a a) b)

rewrite52.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
4.5b
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)

series124.0ms (3%)

Error
16.2b
Counts
2 → 12
Calls

2 calls:

68.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
48.0ms
(*.f64 (*.f64 a a) b)
Compiler

Compiled 288 to 273 computations (5.2% saved)

simplify48.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
05066461

prune46.0ms (1.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New44852
Fresh000
Picked011
Done000
Total44953
Error
0.0b
Counts
53 → 9
Compiler

Compiled 611 to 217 computations (64.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite25.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
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)

series59.0ms (1.4%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

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

Compiled 126 to 119 computations (5.6% saved)

simplify74.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
05054230

prune27.0ms (0.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New29332
Fresh167
Picked011
Done011
Total301141
Error
0.0b
Counts
41 → 11
Compiler

Compiled 420 to 203 computations (51.7% saved)

localize10.0ms (0.2%)

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.8b
(sqrt.f64 (fabs.f64 (*.f64 a b)))

rewrite78.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
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)

series269.0ms (6.4%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

164.0ms
(pow.f64 (fabs.f64 (*.f64 a b)) 3/2)
49.0ms
(*.f64 (sqrt.f64 (fabs.f64 (*.f64 a b))) (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))
45.0ms
(sqrt.f64 (fabs.f64 (*.f64 a b)))
Compiler

Compiled 612 to 426 computations (30.4% saved)

simplify61.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050081085

prune78.0ms (1.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New75681
Fresh448
Picked101
Done022
Total801292
Error
0b
Counts
92 → 12
Compiler

Compiled 1442 to 576 computations (60.1% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b
(pow.f64 (fabs.f64 (*.f64 a b)) 3/2)
9.8b
(sqrt.f64 (fabs.f64 (*.f64 a b)))
12.3b
(sqrt.f64 (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))
12.3b
(sqrt.f64 (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))

rewrite96.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
17×sqrt-prod_binary64_94
16×add-sqr-sqrt_binary64_100
11×add-cube-cbrt_binary64_113 unpow-prod-down_binary64_157 *-un-lft-identity_binary64_78
7×rem-sqrt-square_binary64_91
6×pow1_binary64_139
5×add-exp-log_binary64_116 sqr-pow_binary64_50
4×add-log-exp_binary64_117 add-cbrt-cube_binary64_114
3×pow1/2_binary64_158 sqrt-pow1_binary64_96 pow-unpow_binary64_155
1×pow-pow_binary64_150 pow-to-exp_binary64_147 pow-exp_binary64_146
Counts
4 → 68
Calls

4 calls:

2.0ms
(sqrt.f64 (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))
2.0ms
(sqrt.f64 (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 1945 to 871 computations (55.2% saved)

series687.0ms (16.4%)

Error
0b
Counts
4 → 24
Calls

4 calls:

234.0ms
(sqrt.f64 (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))
229.0ms
(sqrt.f64 (pow.f64 (fabs.f64 (*.f64 a b)) 3/2))
157.0ms
(pow.f64 (fabs.f64 (*.f64 a b)) 3/2)
42.0ms
(sqrt.f64 (fabs.f64 (*.f64 a b)))
Compiler

Compiled 1638 to 996 computations (39.2% saved)

simplify79.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
048051114
148051114

prune99.0ms (2.4%)

Pruning

12 alts after pruning (9 fresh and 3 done)

PrunedKeptTotal
New92092
Fresh099
Picked011
Done022
Total9212104
Error
0b
Counts
104 → 12
Compiler

Compiled 2360 to 1018 computations (56.9% saved)

regimes500.0ms (12%)

Accuracy

Total 0.3b remaining (96.5%)

Threshold costs 0.3b (96.5%)

Compiler

Compiled 5880 to 3660 computations (37.8% saved)

bsearch0.0ms (0%)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01611
11611
Remove

(sort a b)

Compiler

Compiled 14 to 16 computations (-14.3% saved)

end0.0ms (0%)

sample1.3s (31.4%)

Algorithm
1×intervals
Results
221.0ms8000×body128valid
13.0ms515×body128invalid
Compiler

Compiled 931 to 586 computations (37.1% saved)

Profiling

Loading profile data...