Details

Time bar (total: 5.8s)

analyze582.0ms (10%)

Algorithm
1×search
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
Compiler

Compiled 8 to 8 computations (0% saved)

sample21.0ms (0.4%)

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

Compiled 15 to 19 computations (-26.7% saved)

simplify99.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
06810
16810

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite28.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
13×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524
4×prod-exp_binary64_3537 div-exp_binary64_3539 cbrt-undiv_binary64_3522 cbrt-unprod_binary64_3521
1×pow1_binary64_3549 add-log-exp_binary64_3527 add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_3510 frac-2neg_binary64_3499 times-frac_binary64_3494 *-un-lft-identity_binary64_3488 clear-num_binary64_3487 div-inv_binary64_3485 associate-/l*_binary64_3433 associate-/r*_binary64_3432
Counts
1 → 21
Calls

1 calls:

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

Compiled 291 to 77 computations (73.5% saved)

series190.0ms (3.3%)

Error
13.8b
Counts
1 → 12
Calls

1 calls:

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

Compiled 252 to 175 computations (30.6% saved)

simplify79.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
05076370

prune28.0ms (0.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New26733
Fresh000
Picked101
Done000
Total27734
Error
0.1b
Counts
34 → 7
Compiler

Compiled 372 to 110 computations (70.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

3.8b
(/.f64 b1 (/.f64 a2 b2))
4.7b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))

rewrite272.0ms (4.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
471×times-frac_binary64_3494
229×add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_3510 *-un-lft-identity_binary64_3488
57×associate-/r*_binary64_3432
22×div-inv_binary64_3485
16×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524
9×div-exp_binary64_3539 cbrt-undiv_binary64_3522
6×associate-/r/_binary64_3434 associate-/l*_binary64_3433
2×pow1_binary64_3549 add-log-exp_binary64_3527 frac-2neg_binary64_3499 clear-num_binary64_3487
Counts
2 → 266
Calls

2 calls:

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

Compiled 5203 to 1261 computations (75.8% saved)

series292.0ms (5%)

Error
0.0b
Counts
2 → 21
Calls

2 calls:

186.0ms
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
98.0ms
(/.f64 b1 (/.f64 a2 b2))
Compiler

Compiled 441 to 303 computations (31.3% saved)

simplify133.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
287 → 287
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049776307
149776307

prune204.0ms (3.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2807287
Fresh426
Picked101
Done000
Total2859294
Error
0b
Counts
294 → 9
Compiler

Compiled 4890 to 833 computations (83% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite46.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
27×add-sqr-sqrt_binary64_3510
22×times-frac_binary64_3494
15×add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
13×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 associate-*l*_binary64_3429 associate-*r*_binary64_3428
4×div-exp_binary64_3539 prod-exp_binary64_3537 cbrt-unprod_binary64_3521 cbrt-undiv_binary64_3522 unswap-sqr_binary64_3456
3×pow1_binary64_3549
2×div-inv_binary64_3485
1×pow-prod-down_binary64_3559 add-log-exp_binary64_3527 frac-times_binary64_3498 associate-*l/_binary64_3431 associate-*r/_binary64_3430 *-commutative_binary64_3419
Counts
1 → 50
Calls

1 calls:

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

Compiled 744 to 196 computations (73.7% saved)

series188.0ms (3.2%)

Error
0b
Counts
1 → 12
Calls

1 calls:

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

Compiled 252 to 175 computations (30.6% saved)

simplify94.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
04974803
14974803

prune39.0ms (0.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New62062
Fresh088
Picked011
Done000
Total62971
Error
0b
Counts
71 → 9
Compiler

Compiled 800 to 216 computations (73% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

4.7b
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
5.0b
(/.f64 (*.f64 b1 b2) a2)

rewrite55.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
36×times-frac_binary64_3494
20×add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_3510 *-un-lft-identity_binary64_3488
16×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524
10×associate-/r*_binary64_3432
7×div-exp_binary64_3539 cbrt-undiv_binary64_3522
6×div-inv_binary64_3485
4×associate-/l*_binary64_3433
2×pow1_binary64_3549 prod-exp_binary64_3537 add-log-exp_binary64_3527 cbrt-unprod_binary64_3521 frac-2neg_binary64_3499 clear-num_binary64_3487
1×associate-/r/_binary64_3434
Counts
2 → 69
Calls

2 calls:

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

Compiled 979 to 248 computations (74.7% saved)

series279.0ms (4.8%)

Error
0b
Counts
2 → 21
Calls

2 calls:

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

Compiled 441 to 303 computations (31.3% saved)

simplify67.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049861179
149861179

prune48.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New89190
Fresh257
Picked101
Done011
Total92799
Error
0b
Counts
99 → 7
Compiler

Compiled 999 to 191 computations (80.9% saved)

regimes1.2s (20.1%)

Accuracy

Total 2.8b remaining (100%)

Threshold costs 0b (0%)

Compiler

Compiled 11163 to 7859 computations (29.6% saved)

bsearch4.0ms (0.1%)

Compiler

Compiled 7 to 7 computations (0% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
040126
140126

end0.0ms (0%)

sample1.9s (32.3%)

Algorithm
1×intervals
Results
226.0ms8000×body128valid
59.0ms1933×body128invalid
Compiler

Compiled 1616 to 1116 computations (30.9% saved)

Profiling

Loading profile data...