Details

Time bar (total: 2.1s)

analyze258.0ms (12.5%)

Algorithm
2×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07422
17422
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%4
37.5%62.4%0.1%5
37.5%62.4%0.1%5
43.7%56.2%0.1%6
43.7%56.2%0.1%6
71.8%28.1%0.1%7
71.8%28.1%0.1%7
73.4%25%1.7%8
73.4%25%1.7%8
80.4%16.4%3.2%9
80.4%16.4%3.2%9
80.8%14%5.2%10
80.8%14%5.2%10
84.1%8.8%7.1%11
84.1%8.8%7.1%11
84.2%7.4%8.4%12
84.2%7.4%8.4%12
85.8%4.5%9.7%13
85.8%4.5%9.7%13
85.8%3.8%10.4%14
85.8%3.8%10.4%14
Compiler

Compiled 16 to 14 computations (12.5% saved)

sample122.0ms (5.9%)

Algorithm
2×intervals
Results
11.0ms512×body128valid
2.0ms64×body128invalid
Compiler

Compiled 2311 to 2598 computations (-12.4% saved)

simplify9.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07111
17111

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 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite29.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×add-cube-cbrt_binary64_2841 add-sqr-sqrt_binary64_2828 times-frac_binary64_2812 *-un-lft-identity_binary64_2806
3×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 associate-/l*_binary64_2751 associate-/r*_binary64_2750
1×pow1_binary64_2867 div-exp_binary64_2857 add-log-exp_binary64_2845 cbrt-undiv_binary64_2840 frac-2neg_binary64_2817 clear-num_binary64_2805 div-inv_binary64_2803
Counts
1 → 27
Calls

1 calls:

3.0ms
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
Compiler

Compiled 421 to 90 computations (78.6% saved)

series107.0ms (5.2%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

104.0ms
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
Compiler

Compiled 126 to 78 computations (38.1% saved)

simplify46.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05220573

prune27.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New31233
Fresh000
Picked011
Done000
Total31334
Error
0b
Counts
34 → 3
Compiler

Compiled 444 to 90 computations (79.7% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite118.0ms (5.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
84×times-frac_binary64_2812
52×add-cube-cbrt_binary64_2841 add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806
16×associate-/r*_binary64_2750
15×add-exp-log_binary64_2844
9×add-cbrt-cube_binary64_2842
8×div-exp_binary64_2857
6×div-inv_binary64_2803 associate-/l*_binary64_2751
4×cbrt-undiv_binary64_2840
3×pow1_binary64_2867
2×1-exp_binary64_2850 rec-exp_binary64_2856 add-log-exp_binary64_2845 frac-2neg_binary64_2817 clear-num_binary64_2805
1×inv-pow_binary64_2891 pow-flip_binary64_2880 associate-/r/_binary64_2752
Counts
2 → 103
Calls

2 calls:

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

Compiled 2057 to 639 computations (68.9% saved)

series250.0ms (12.2%)

Error
0b
Counts
2 → 12
Calls

2 calls:

134.0ms
(/.f64 (fabs.f64 y) (fabs.f64 (-.f64 x y)))
110.0ms
(/.f64 1 (/.f64 (fabs.f64 y) (fabs.f64 (-.f64 x y))))
Compiler

Compiled 288 to 187 computations (35.1% saved)

simplify73.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049812412
149812412

prune89.0ms (4.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1150115
Fresh011
Picked011
Done011
Total1153118
Error
0b
Counts
118 → 3
Compiler

Compiled 1857 to 419 computations (77.4% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite46.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
16×add-sqr-sqrt_binary64_2828
13×associate-*r*_binary64_2746
11×times-frac_binary64_2812
10×add-exp-log_binary64_2844 *-un-lft-identity_binary64_2806
9×add-cube-cbrt_binary64_2841
6×add-cbrt-cube_binary64_2842
4×prod-exp_binary64_2855
3×pow1_binary64_2867 unswap-sqr_binary64_2774 associate-*l*_binary64_2747
2×div-exp_binary64_2857 cbrt-unprod_binary64_2839
1×pow-prod-down_binary64_2877 1-exp_binary64_2850 rec-exp_binary64_2856 add-log-exp_binary64_2845 cbrt-undiv_binary64_2840 un-div-inv_binary64_2804 associate-*r/_binary64_2748 div-inv_binary64_2803 *-commutative_binary64_2737
Counts
1 → 36
Calls

1 calls:

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

Compiled 619 to 265 computations (57.2% saved)

series115.0ms (5.6%)

Error
0b
Counts
1 → 6
Calls

1 calls:

112.0ms
(*.f64 (fabs.f64 (-.f64 x y)) (/.f64 1 (fabs.f64 y)))
Compiler

Compiled 126 to 78 computations (38.1% saved)

simplify57.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05415604

prune29.0ms (1.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New42042
Fresh000
Picked011
Done022
Total42345
Error
0b
Counts
45 → 3
Compiler

Compiled 530 to 143 computations (73% saved)

regimes61.0ms (3%)

Accuracy

Total 0.0b remaining (83.8%)

Threshold costs 0.0b (83.8%)

Compiler

Compiled 492 to 290 computations (41.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01711
11711

end0.0ms (0%)

sample597.0ms (29%)

Algorithm
1×intervals
Results
184.0ms8000×body128valid
24.0ms1168×body128invalid
Compiler

Compiled 173 to 105 computations (39.3% saved)

Profiling

Loading profile data...