Details

Time bar (total: 2.5s)

analyze36.0ms (1.5%)

Algorithm
1×search
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
25%74.9%0.1%4
43.7%56.2%0.1%5
65.6%34.3%0.1%6
76.5%23.4%0.1%7
82%18%0.1%8
87.8%12.1%0.1%9
90.7%9.2%0.1%10
93.8%6.1%0.1%11
95.3%4.6%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14
Compiler

Compiled 6 to 5 computations (16.7% saved)

sample19.0ms (0.8%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
Compiler

Compiled 11 to 11 computations (0% saved)

simplify92.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
067
167

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(/.f64 x (+.f64 x y))

rewrite34.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
18×*-un-lft-identity_binary64_10990
12×times-frac_binary64_10996
10×add-cube-cbrt_binary64_11025 add-sqr-sqrt_binary64_11012
4×distribute-lft-out_binary64_10941 associate-/r*_binary64_10934
3×add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026 associate-/l*_binary64_10935
2×associate-/r/_binary64_10936
1×pow1_binary64_11051 div-exp_binary64_11041 add-log-exp_binary64_11029 cbrt-undiv_binary64_11024 frac-2neg_binary64_11001 clear-num_binary64_10989 div-inv_binary64_10987 flip3-+_binary64_10993 flip-+_binary64_10964
Counts
1 → 33
Calls

1 calls:

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

Compiled 404 to 116 computations (71.3% saved)

series68.0ms (2.8%)

Error
0.0b
Counts
1 → 18
Calls

1 calls:

56.0ms
(/.f64 x (+.f64 x y))
Compiler

Compiled 381 to 286 computations (24.9% saved)

simplify57.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05326632

prune30.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New47451
Fresh000
Picked011
Done000
Total47552
Error
0b
Counts
52 → 5
Compiler

Compiled 551 to 175 computations (68.2% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite76.0ms (3.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
35×*-un-lft-identity_binary64_10990
27×add-sqr-sqrt_binary64_11012
26×times-frac_binary64_10996
20×add-cube-cbrt_binary64_11025
18×associate-*r*_binary64_10930
15×add-exp-log_binary64_11028
9×add-cbrt-cube_binary64_11026
7×distribute-lft-out_binary64_10941
5×pow1_binary64_11051
4×div-exp_binary64_11041 prod-exp_binary64_11039 associate-/r/_binary64_10936 associate-/r*_binary64_10934
3×unswap-sqr_binary64_10958 associate-*l*_binary64_10931 associate-/l*_binary64_10935
2×1-exp_binary64_11034 rec-exp_binary64_11040 add-log-exp_binary64_11029 cbrt-unprod_binary64_11023 cbrt-undiv_binary64_11024 div-inv_binary64_10987 flip3-+_binary64_10993 flip-+_binary64_10964
1×pow-prod-down_binary64_11061 un-div-inv_binary64_10988 associate-*r/_binary64_10932 *-commutative_binary64_10921 inv-pow_binary64_11075 pow-flip_binary64_11064 frac-2neg_binary64_11001 clear-num_binary64_10989
Counts
2 → 78
Calls

2 calls:

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

Compiled 1106 to 560 computations (49.4% saved)

series140.0ms (5.7%)

Error
0b
Counts
2 → 36
Calls

2 calls:

60.0ms
(*.f64 x (/.f64 1 (+.f64 x y)))
57.0ms
(/.f64 1 (+.f64 x y))
Compiler

Compiled 906 to 679 computations (25.1% saved)

simplify83.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049501305
149501305

prune67.0ms (2.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1140114
Fresh033
Picked011
Done011
Total1145119
Error
0b
Counts
119 → 5
Compiler

Compiled 1311 to 555 computations (57.7% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
0.5b
(cbrt.f64 (+.f64 x y))
0.5b
(cbrt.f64 (+.f64 x y))
0.5b
(cbrt.f64 (+.f64 x y))

rewrite107.0ms (4.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
36×cbrt-prod_binary64_11021
35×*-un-lft-identity_binary64_10990
23×add-sqr-sqrt_binary64_11012
18×cbrt-div_binary64_11022
15×add-cube-cbrt_binary64_11025
11×pow1_binary64_11051
9×pow1/3_binary64_11072 flip3-+_binary64_10993 flip-+_binary64_10964 distribute-lft-out_binary64_10941 swap-sqr_binary64_10957
7×associate-*l*_binary64_10931 associate-*r*_binary64_10930
6×add-exp-log_binary64_11028
4×add-log-exp_binary64_11029 add-cbrt-cube_binary64_11026 frac-times_binary64_11000 unswap-sqr_binary64_10958
2×pow-prod-down_binary64_11061 pow-prod-up_binary64_11060 pow-sqr_binary64_10963 associate-*l/_binary64_10933 associate-*r/_binary64_10932
1×pow2_binary64_11071 pow-plus_binary64_11053 prod-exp_binary64_11039 cbrt-unprod_binary64_11023 *-commutative_binary64_10921
Counts
4 → 95
Calls

4 calls:

12.0ms
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
3.0ms
(cbrt.f64 (+.f64 x y))
3.0ms
(cbrt.f64 (+.f64 x y))
3.0ms
(cbrt.f64 (+.f64 x y))
Compiler

Compiled 2263 to 461 computations (79.6% saved)

series513.0ms (20.9%)

Error
0b
Counts
4 → 54
Calls

4 calls:

139.0ms
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
107.0ms
(cbrt.f64 (+.f64 x y))
105.0ms
(cbrt.f64 (+.f64 x y))
105.0ms
(cbrt.f64 (+.f64 x y))
Compiler

Compiled 3606 to 2484 computations (31.1% saved)

simplify78.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049152235
149152235

prune120.0ms (4.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1490149
Fresh022
Picked011
Done022
Total1495154
Error
0b
Counts
154 → 5
Compiler

Compiled 3190 to 944 computations (70.4% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 1 (/.f64 y x))

rewrite27.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
16×add-sqr-sqrt_binary64_11012
13×cancel-sign-sub-inv_binary64_10956
12×*-un-lft-identity_binary64_10990
11×times-frac_binary64_10996
8×add-cube-cbrt_binary64_11025
4×difference-of-squares_binary64_10959
3×add-log-exp_binary64_11029
1×diff-log_binary64_11082 pow1_binary64_11051 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026 flip3--_binary64_10994 sub-neg_binary64_10983 flip--_binary64_10965 div-inv_binary64_10987 distribute-lft-out--_binary64_10942
Counts
1 → 29
Calls

1 calls:

8.0ms
(-.f64 1 (/.f64 y x))
Compiler

Compiled 381 to 190 computations (50.1% saved)

series69.0ms (2.8%)

Error
0b
Counts
1 → 12
Calls

1 calls:

62.0ms
(-.f64 1 (/.f64 y x))
Compiler

Compiled 126 to 108 computations (14.3% saved)

simplify54.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05434363

prune19.0ms (0.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New41041
Fresh011
Picked011
Done033
Total41546
Error
0b
Counts
46 → 5
Compiler

Compiled 301 to 135 computations (55.1% saved)

regimes58.0ms (2.3%)

Accuracy

Total 0.0b remaining (78.5%)

Threshold costs 0.0b (78.5%)

Compiler

Compiled 422 to 259 computations (38.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
167

end0.0ms (0%)

sample690.0ms (28.1%)

Algorithm
1×intervals
Results
332.0ms8000×body128valid
Compiler

Compiled 147 to 92 computations (37.4% saved)

Profiling

Loading profile data...