Details

Time bar (total: 5.4s)

analyze926.0ms (17.1%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
022870
122870
044
144
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
18.7%81.1%0.2%9
21.8%78%0.2%10
25%74.9%0.2%11
34.7%64.9%0.4%12
47.2%51.9%0.9%13
49%49.2%1.8%14
Symmetry

sort(a1 a2)

sort(b1 b2)

Compiler

Compiled 8 to 8 computations (0% saved)

sample34.0ms (0.6%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
2.0ms61×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify25.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
06810
16810

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

10.9b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

rewrite26.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
13×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
4×prod-exp_binary64_3196 div-exp_binary64_3198 cbrt-undiv_binary64_3181 cbrt-unprod_binary64_3180
1×pow1_binary64_3208 add-log-exp_binary64_3186 add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 frac-2neg_binary64_3158 times-frac_binary64_3153 *-un-lft-identity_binary64_3147 clear-num_binary64_3146 div-inv_binary64_3144 associate-/l*_binary64_3092 associate-/r*_binary64_3091
Counts
1 → 21
Calls

1 calls:

5.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
Compiler

Compiled 291 to 77 computations (73.5% saved)

series196.0ms (3.6%)

Error
11.2b
Counts
1 → 12
Calls

1 calls:

191.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
Compiler

Compiled 252 to 175 computations (30.6% saved)

simplify79.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
05076370

prune26.0ms (0.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New26733
Fresh000
Picked011
Done000
Total26834
Error
0.1b
Counts
34 → 8
Compiler

Compiled 379 to 109 computations (71.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.7b
(/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))
10.5b
(/.f64 (*.f64 b1 b2) (*.f64 a1 a2))

rewrite78.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
58×add-exp-log_binary64_3185
32×add-cbrt-cube_binary64_3183
26×div-exp_binary64_3198
20×times-frac_binary64_3153
16×prod-exp_binary64_3196
13×cbrt-undiv_binary64_3181
12×add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147
8×cbrt-unprod_binary64_3180
6×div-inv_binary64_3144 associate-/r*_binary64_3091
5×1-exp_binary64_3191 rec-exp_binary64_3197
4×associate-/l*_binary64_3092
3×pow1_binary64_3208
2×add-log-exp_binary64_3186 frac-2neg_binary64_3158 clear-num_binary64_3146
1×inv-pow_binary64_3232 pow-flip_binary64_3221 associate-/r/_binary64_3093
Counts
2 → 77
Calls

2 calls:

7.0ms
(/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))
5.0ms
(/.f64 (*.f64 b1 b2) (*.f64 a1 a2))
Compiler

Compiled 1277 to 418 computations (67.3% saved)

series398.0ms (7.3%)

Error
0.1b
Counts
2 → 24
Calls

2 calls:

202.0ms
(/.f64 (*.f64 b1 b2) (*.f64 a1 a2))
186.0ms
(/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))
Compiler

Compiled 576 to 416 computations (27.8% saved)

simplify75.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050771335

prune63.0ms (1.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New983101
Fresh156
Picked011
Done011
Total9910109
Error
0.0b
Counts
109 → 10
Compiler

Compiled 1250 to 353 computations (71.8% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.5b
(/.f64 1 (*.f64 b1 b2))
10.8b
(*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))

rewrite106.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
58×add-exp-log_binary64_3185
30×prod-exp_binary64_3196
28×add-cbrt-cube_binary64_3183
12×div-exp_binary64_3198 cbrt-unprod_binary64_3180
10×pow1_binary64_3208
7×associate-*r*_binary64_3087
6×1-exp_binary64_3191 rec-exp_binary64_3197 add-cube-cbrt_binary64_3182 cbrt-undiv_binary64_3181 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147 times-frac_binary64_3153
4×pow-prod-down_binary64_3218
3×associate-/l*_binary64_3092
2×add-log-exp_binary64_3186 div-inv_binary64_3144 pow-flip_binary64_3221
1×un-div-inv_binary64_3145 associate-*r/_binary64_3089 associate-*l*_binary64_3088 *-commutative_binary64_3078 inv-pow_binary64_3232 frac-2neg_binary64_3158 clear-num_binary64_3146 associate-/r*_binary64_3091
Counts
2 → 68
Calls

2 calls:

17.0ms
(*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
9.0ms
(/.f64 1 (*.f64 b1 b2))
Compiler

Compiled 1018 to 432 computations (57.6% saved)

series232.0ms (4.3%)

Error
0.0b
Counts
2 → 18
Calls

2 calls:

177.0ms
(*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
47.0ms
(/.f64 1 (*.f64 b1 b2))
Compiler

Compiled 414 to 301 computations (27.3% saved)

simplify71.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04991834
14991834

prune54.0ms (1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New83386
Fresh257
Picked101
Done112
Total87996
Error
0.0b
Counts
96 → 9
Compiler

Compiled 961 to 309 computations (67.8% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b
(/.f64 (/.f64 1 b1) b2)
10.8b
(*.f64 (*.f64 a1 a2) (/.f64 (/.f64 1 b1) b2))

rewrite162.0ms (3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
141×times-frac_binary64_3153
79×add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147
46×add-exp-log_binary64_3185
43×associate-*r*_binary64_3087
28×add-cbrt-cube_binary64_3183
18×div-exp_binary64_3198
15×prod-exp_binary64_3196
13×associate-/l*_binary64_3092
9×cbrt-unprod_binary64_3180 cbrt-undiv_binary64_3181 div-inv_binary64_3144
7×pow1_binary64_3208
3×pow-prod-down_binary64_3218 1-exp_binary64_3191 rec-exp_binary64_3197 associate-/r*_binary64_3091
2×add-log-exp_binary64_3186
1×associate-*r/_binary64_3089 associate-*l*_binary64_3088 *-commutative_binary64_3078 frac-2neg_binary64_3158 clear-num_binary64_3146 associate-/l/_binary64_3094
Counts
2 → 143
Calls

2 calls:

15.0ms
(*.f64 (*.f64 a1 a2) (/.f64 (/.f64 1 b1) b2))
6.0ms
(/.f64 (/.f64 1 b1) b2)
Compiler

Compiled 2683 to 1365 computations (49.1% saved)

series252.0ms (4.7%)

Error
0.0b
Counts
2 → 18
Calls

2 calls:

196.0ms
(*.f64 (*.f64 a1 a2) (/.f64 (/.f64 1 b1) b2))
49.0ms
(/.f64 (/.f64 1 b1) b2)
Compiler

Compiled 414 to 301 computations (27.3% saved)

simplify94.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
050222331

prune111.0ms (2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1601161
Fresh077
Picked011
Done011
Total16010170
Error
0b
Counts
170 → 10
Compiler

Compiled 2386 to 950 computations (60.2% saved)

regimes1.1s (20%)

Accuracy

Total 2.1b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 4526 to 3756 computations (17% saved)

bsearch2.0ms (0%)

Compiler

Compiled 7 to 7 computations (0% saved)

simplify44.0ms (0.8%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
037122
137122
Removed

((sort a1 a2))

Compiler

Compiled 498 to 204 computations (59% saved)

end0.0ms (0%)

sample1.2s (23%)

Algorithm
1×intervals
Results
225.0ms8000×body128valid
62.0ms1850×body128invalid
Compiler

Compiled 634 to 501 computations (21% saved)

Profiling

Loading profile data...