Details

Time bar (total: 3.4s)

analyze197.0ms (5.8%)

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)

simplify7.0ms (0.2%)

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

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite50.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-exp-log_binary64_10005 add-cbrt-cube_binary64_10003
3×add-cube-cbrt_binary64_10002 add-sqr-sqrt_binary64_9989 times-frac_binary64_9973 *-un-lft-identity_binary64_9967 associate-/l*_binary64_9912
2×div-exp_binary64_10018 cbrt-undiv_binary64_10001
1×pow1_binary64_10028 prod-exp_binary64_10016 add-log-exp_binary64_10006 cbrt-unprod_binary64_10000 frac-2neg_binary64_9978 clear-num_binary64_9966 div-inv_binary64_9964 associate-/r*_binary64_9911
Counts
1 → 21
Calls

1 calls:

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

Compiled 214 to 66 computations (69.2% saved)

series73.0ms (2.2%)

Error
11.8b
Counts
1 → 6
Calls

1 calls:

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

Compiled 90 to 80 computations (11.1% saved)

simplify89.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
06109244

prune29.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New21627
Fresh000
Picked011
Done000
Total21728
Error
0.0b
Counts
28 → 7
Compiler

Compiled 254 to 88 computations (65.4% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite73.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
75×times-frac_binary64_9973
43×add-cube-cbrt_binary64_10002 add-sqr-sqrt_binary64_9989 *-un-lft-identity_binary64_9967
13×associate-/l*_binary64_9912
6×add-exp-log_binary64_10005 add-cbrt-cube_binary64_10003
5×div-inv_binary64_9964
3×div-exp_binary64_10018 cbrt-undiv_binary64_10001 associate-/r*_binary64_9911
1×pow1_binary64_10028 add-log-exp_binary64_10006 frac-2neg_binary64_9978 clear-num_binary64_9966 associate-/l/_binary64_9914
Counts
1 → 70
Calls

1 calls:

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

Compiled 1011 to 278 computations (72.5% saved)

series84.0ms (2.5%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

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

Compiled 90 to 80 computations (11.1% saved)

simplify126.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
047631090
147631090

prune60.0ms (1.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New73376
Fresh145
Picked011
Done011
Total74983
Error
0.0b
Counts
83 → 9
Compiler

Compiled 955 to 319 computations (66.6% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite76.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
32×add-sqr-sqrt_binary64_9989
25×times-frac_binary64_9973
23×add-exp-log_binary64_10005
17×*-un-lft-identity_binary64_9967
15×add-cube-cbrt_binary64_10002
13×add-cbrt-cube_binary64_10003 associate-*l*_binary64_9908 associate-*r*_binary64_9907
8×div-exp_binary64_10018 prod-exp_binary64_10016
6×unswap-sqr_binary64_9935
4×cbrt-unprod_binary64_10000 cbrt-undiv_binary64_10001
3×pow1_binary64_10028
2×1-exp_binary64_10011 rec-exp_binary64_10017 div-inv_binary64_9964
1×pow-prod-down_binary64_10038 add-log-exp_binary64_10006 frac-times_binary64_9977 associate-*l/_binary64_9910 associate-*r/_binary64_9909 *-commutative_binary64_9898
Counts
1 → 56
Calls

1 calls:

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

Compiled 824 to 400 computations (51.5% saved)

series78.0ms (2.3%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

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

Compiled 90 to 80 computations (11.1% saved)

simplify109.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
05798635

prune38.0ms (1.1%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New61162
Fresh066
Picked011
Done022
Total611071
Error
0.0b
Counts
71 → 10
Compiler

Compiled 716 to 269 computations (62.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite378.0ms (11.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
471×times-frac_binary64_9973
229×add-cube-cbrt_binary64_10002 add-sqr-sqrt_binary64_9989 *-un-lft-identity_binary64_9967
57×associate-/r*_binary64_9911
28×add-exp-log_binary64_10005
22×div-inv_binary64_9964
18×div-exp_binary64_10018
16×add-cbrt-cube_binary64_10003
9×cbrt-undiv_binary64_10001
6×associate-/r/_binary64_9913 associate-/l*_binary64_9912
3×pow1_binary64_10028 1-exp_binary64_10011 rec-exp_binary64_10017
2×add-log-exp_binary64_10006 frac-2neg_binary64_9978 clear-num_binary64_9966
1×inv-pow_binary64_10052 pow-flip_binary64_10041
Counts
2 → 274
Calls

2 calls:

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

Compiled 5275 to 1993 computations (62.2% saved)

series150.0ms (4.4%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

74.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
70.0ms
(/.f64 y (/.f64 x y))
Compiler

Compiled 216 to 194 computations (10.2% saved)

simplify139.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
286 → 286
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
050685036

prune213.0ms (6.3%)

Pruning

10 alts after pruning (6 fresh and 4 done)

PrunedKeptTotal
New2833286
Fresh336
Picked011
Done033
Total28610296
Error
0b
Counts
296 → 10
Compiler

Compiled 4084 to 1466 computations (64.1% saved)

regimes288.0ms (8.5%)

Accuracy

Total 0.2b remaining (98.4%)

Threshold costs 0.2b (98.4%)

Compiler

Compiled 2391 to 1553 computations (35% 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.1s (32.1%)

Algorithm
1×intervals
Results
211.0ms8000×body128valid
9.0ms381×body128invalid
Compiler

Compiled 563 to 372 computations (33.9% saved)

Profiling

Loading profile data...