Details

Time bar (total: 3.2s)

analyze164.0ms (5.2%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01114
11114
022
122
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
50%50%0.1%5
50%50%0.1%6
62.4%34.3%3.2%7
62.4%32.8%4.8%8
68.7%21.1%10.2%9
68.7%19.1%12.2%10
71.8%11.5%16.7%11
71.8%10.2%18%12
73.4%6%20.6%13
73.4%5.3%21.3%14
Compiler

Compiled 6 to 5 computations (16.7% saved)

sample13.0ms (0.4%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
0.0ms16×body128invalid
Compiler

Compiled 11 to 11 computations (0% saved)

simplify11.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
077
177

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

10.0b
(/.f64 x (*.f64 y y))

rewrite24.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367
3×add-cube-cbrt_binary64_11366 add-sqr-sqrt_binary64_11353 times-frac_binary64_11337 *-un-lft-identity_binary64_11331 associate-/l*_binary64_11276
2×div-exp_binary64_11382 cbrt-undiv_binary64_11365
1×pow1_binary64_11392 prod-exp_binary64_11380 add-log-exp_binary64_11370 cbrt-unprod_binary64_11364 frac-2neg_binary64_11342 clear-num_binary64_11330 div-inv_binary64_11328 associate-/r*_binary64_11275
Counts
1 → 21
Calls

1 calls:

4.0ms
(/.f64 x (*.f64 y y))
Compiler

Compiled 214 to 66 computations (69.2% saved)

series70.0ms (2.2%)

Error
10.2b
Counts
1 → 6
Calls

1 calls:

67.0ms
(/.f64 x (*.f64 y y))
Compiler

Compiled 90 to 80 computations (11.1% saved)

simplify78.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
06109244

prune24.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New20727
Fresh000
Picked011
Done000
Total20828
Error
0.0b
Counts
28 → 8
Compiler

Compiled 267 to 94 computations (64.8% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b
(/.f64 (/.f64 x y) y)

rewrite60.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
75×times-frac_binary64_11337
43×add-cube-cbrt_binary64_11366 add-sqr-sqrt_binary64_11353 *-un-lft-identity_binary64_11331
13×associate-/l*_binary64_11276
6×add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367
5×div-inv_binary64_11328
3×div-exp_binary64_11382 cbrt-undiv_binary64_11365 associate-/r*_binary64_11275
1×pow1_binary64_11392 add-log-exp_binary64_11370 frac-2neg_binary64_11342 clear-num_binary64_11330 associate-/l/_binary64_11278
Counts
1 → 70
Calls

1 calls:

6.0ms
(/.f64 (/.f64 x y) y)
Compiler

Compiled 1011 to 278 computations (72.5% saved)

series72.0ms (2.3%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

69.0ms
(/.f64 (/.f64 x y) y)
Compiler

Compiled 90 to 80 computations (11.1% saved)

simplify98.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
047631090
147631090

prune54.0ms (1.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New73376
Fresh156
Picked011
Done101
Total75984
Error
0.0b
Counts
84 → 9
Compiler

Compiled 960 to 322 computations (66.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (/.f64 1 y) (/.f64 x y))

rewrite55.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
32×add-sqr-sqrt_binary64_11353
25×times-frac_binary64_11337
23×add-exp-log_binary64_11369
17×*-un-lft-identity_binary64_11331
15×add-cube-cbrt_binary64_11366
13×add-cbrt-cube_binary64_11367 associate-*l*_binary64_11272 associate-*r*_binary64_11271
8×div-exp_binary64_11382 prod-exp_binary64_11380
6×unswap-sqr_binary64_11299
4×cbrt-unprod_binary64_11364 cbrt-undiv_binary64_11365
3×pow1_binary64_11392
2×1-exp_binary64_11375 rec-exp_binary64_11381 div-inv_binary64_11328
1×pow-prod-down_binary64_11402 add-log-exp_binary64_11370 frac-times_binary64_11341 associate-*l/_binary64_11274 associate-*r/_binary64_11273 *-commutative_binary64_11262
Counts
1 → 56
Calls

1 calls:

11.0ms
(*.f64 (/.f64 1 y) (/.f64 x y))
Compiler

Compiled 824 to 400 computations (51.5% saved)

series69.0ms (2.2%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

66.0ms
(*.f64 (/.f64 1 y) (/.f64 x y))
Compiler

Compiled 90 to 80 computations (11.1% saved)

simplify103.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
05798635

prune38.0ms (1.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New62062
Fresh077
Picked011
Done011
Total62971
Error
0.0b
Counts
71 → 9
Compiler

Compiled 703 to 257 computations (63.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 y (/.f64 x y))
0.8b
(/.f64 1 (/.f64 y (/.f64 x y)))

rewrite276.0ms (8.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
471×times-frac_binary64_11337
229×add-cube-cbrt_binary64_11366 add-sqr-sqrt_binary64_11353 *-un-lft-identity_binary64_11331
57×associate-/r*_binary64_11275
28×add-exp-log_binary64_11369
22×div-inv_binary64_11328
18×div-exp_binary64_11382
16×add-cbrt-cube_binary64_11367
9×cbrt-undiv_binary64_11365
6×associate-/r/_binary64_11277 associate-/l*_binary64_11276
3×pow1_binary64_11392 1-exp_binary64_11375 rec-exp_binary64_11381
2×add-log-exp_binary64_11370 frac-2neg_binary64_11342 clear-num_binary64_11330
1×inv-pow_binary64_11416 pow-flip_binary64_11405
Counts
2 → 274
Calls

2 calls:

12.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
6.0ms
(/.f64 y (/.f64 x y))
Compiler

Compiled 5275 to 1993 computations (62.2% saved)

series136.0ms (4.3%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

67.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
63.0ms
(/.f64 y (/.f64 x y))
Compiler

Compiled 216 to 194 computations (10.2% saved)

simplify141.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
286 → 286
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
050685036

prune202.0ms (6.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New2842286
Fresh246
Picked101
Done022
Total2878295
Error
0b
Counts
295 → 8
Compiler

Compiled 4084 to 1466 computations (64.1% saved)

regimes289.0ms (9.1%)

Accuracy

Total 0.2b remaining (98.9%)

Threshold costs 0.2b (98.9%)

Compiler

Compiled 2563 to 1673 computations (34.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
057
157

end0.0ms (0%)

sample1.2s (36.8%)

Algorithm
1×intervals
Results
356.0ms8000×body128valid
7.0ms394×body128invalid
Compiler

Compiled 596 to 395 computations (33.7% saved)

Profiling

Loading profile data...