Details

Time bar (total: 7.2s)

analyze1.2s (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)

sample46.0ms (0.6%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
2.0ms58×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify14.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
06810
16810

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite31.0ms (0.4%)

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:

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

Compiled 291 to 77 computations (73.5% saved)

series243.0ms (3.4%)

Error
9.3b
Counts
1 → 12
Calls

1 calls:

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

Compiled 252 to 175 computations (30.6% saved)

simplify90.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
05076370

prune24.0ms (0.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New28533
Fresh000
Picked011
Done000
Total28634
Error
0.1b
Counts
34 → 6
Compiler

Compiled 336 to 90 computations (73.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.4b
(/.f64 1 (*.f64 b1 b2))
8.8b
(*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))

rewrite98.0ms (1.4%)

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:

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

Compiled 1018 to 432 computations (57.6% saved)

series315.0ms (4.4%)

Error
0.1b
Counts
2 → 18
Calls

2 calls:

245.0ms
(*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
63.0ms
(/.f64 1 (*.f64 b1 b2))
Compiler

Compiled 414 to 301 computations (27.3% saved)

simplify99.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
04991834
14991834

prune80.0ms (1.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New81586
Fresh224
Picked101
Done011
Total84892
Error
0.0b
Counts
92 → 8
Compiler

Compiled 952 to 310 computations (67.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

4.0b
(*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
4.4b
(/.f64 a2 (*.f64 b1 b2))

rewrite63.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
9×add-sqr-sqrt_binary64_3169
7×add-cube-cbrt_binary64_3182 *-un-lft-identity_binary64_3147 associate-*r*_binary64_3087
6×times-frac_binary64_3153
5×prod-exp_binary64_3196 cbrt-unprod_binary64_3180
4×pow1_binary64_3208 div-exp_binary64_3198 cbrt-undiv_binary64_3181
3×associate-/l*_binary64_3092 associate-*l*_binary64_3088
2×add-log-exp_binary64_3186 div-inv_binary64_3144
1×frac-2neg_binary64_3158 clear-num_binary64_3146 associate-/r*_binary64_3091 pow-prod-down_binary64_3218 unswap-sqr_binary64_3115 associate-*r/_binary64_3089 *-commutative_binary64_3078
Counts
2 → 48
Calls

2 calls:

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

Compiled 629 to 161 computations (74.4% saved)

series355.0ms (4.9%)

Error
0.0b
Counts
2 → 21
Calls

2 calls:

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

Compiled 441 to 303 computations (31.3% saved)

simplify101.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
04990702
14990702

prune43.0ms (0.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New66369
Fresh246
Picked011
Done011
Total68977
Error
0.0b
Counts
77 → 9
Compiler

Compiled 748 to 189 computations (74.7% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

4.0b
(*.f64 a1 (/.f64 (/.f64 a2 b1) b2))
4.8b
(/.f64 (/.f64 a2 b1) b2)

rewrite169.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
144×times-frac_binary64_3153
89×add-sqr-sqrt_binary64_3169
80×add-cube-cbrt_binary64_3182 *-un-lft-identity_binary64_3147
43×associate-*r*_binary64_3087
16×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
13×associate-/l*_binary64_3092
9×div-inv_binary64_3144
6×div-exp_binary64_3198 cbrt-undiv_binary64_3181
4×pow1_binary64_3208
3×associate-/r*_binary64_3091 prod-exp_binary64_3196 cbrt-unprod_binary64_3180 unswap-sqr_binary64_3115 associate-*l*_binary64_3088
2×add-log-exp_binary64_3186
1×frac-2neg_binary64_3158 clear-num_binary64_3146 associate-/l/_binary64_3094 pow-prod-down_binary64_3218 associate-*r/_binary64_3089 *-commutative_binary64_3078
Counts
2 → 135
Calls

2 calls:

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

Compiled 2273 to 581 computations (74.4% saved)

series349.0ms (4.8%)

Error
0.0b
Counts
2 → 21
Calls

2 calls:

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

Compiled 441 to 303 computations (31.3% saved)

simplify130.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
049812325
149812325

prune107.0ms (1.5%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New1533156
Fresh246
Picked011
Done022
Total15510165
Error
0b
Counts
165 → 10
Compiler

Compiled 2207 to 427 computations (80.7% saved)

regimes1.3s (18.4%)

Accuracy

Total 2.7b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 5623 to 4435 computations (21.1% saved)

bsearch3.0ms (0%)

Compiler

Compiled 7 to 7 computations (0% saved)

simplify38.0ms (0.5%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
031110
131110
Compiler

Compiled 300 to 100 computations (66.7% saved)

end0.0ms (0%)

sample2.2s (30.9%)

Algorithm
1×intervals
Results
288.0ms8000×body128valid
68.0ms1946×body128invalid
Compiler

Compiled 787 to 593 computations (24.7% saved)

Profiling

Loading profile data...