Details

Time bar (total: 1.4s)

analyze3.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
75%12.5%12.5%5
75%6.2%18.8%6
75%3.1%21.9%7
75%1.6%23.5%8
75%0.8%24.3%9
75%0.4%24.6%10
75%0.2%24.8%11
75%0.1%24.9%12
75%0%25%13
75%0%25%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample10.0ms (0.8%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify164.0ms (12.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02110
12110

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.1b
(/.f64 (-.f64 (*.f64 x x) 3) 6)

rewrite10.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64_2853
12×times-frac_binary64_2837
10×add-cube-cbrt_binary64_2866 *-un-lft-identity_binary64_2831
4×difference-of-squares_binary64_2800 associate-/l*_binary64_2776
3×add-cbrt-cube_binary64_2867 add-exp-log_binary64_2869 associate-/r*_binary64_2775
2×associate-/l/_binary64_2778
1×frac-2neg_binary64_2842 pow1_binary64_2892 add-log-exp_binary64_2870 div-inv_binary64_2828 cbrt-undiv_binary64_2865 flip3--_binary64_2835 div-exp_binary64_2882 flip--_binary64_2806 clear-num_binary64_2830 div-sub_binary64_2836
Counts
1 → 34
Calls

1 calls:

8.0ms
(/.f64 (-.f64 (*.f64 x x) 3) 6)

series77.0ms (5.6%)

Counts
1 → 3
Calls

1 calls:

77.0ms
(/.f64 (-.f64 (*.f64 x x) 3) 6)

simplify60.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05817602

prune110.0ms (8.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New34337
Fresh000
Picked101
Done000
Total35338

Merged error: 0b

Counts
38 → 3
Compiler

Compiled 1664 to 1268 computations (23.8% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.1b
(/.f64 (*.f64 x x) 6)

rewrite7.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64_2867 add-exp-log_binary64_2869
3×add-cube-cbrt_binary64_2866 add-sqr-sqrt_binary64_2853 times-frac_binary64_2837 associate-/r*_binary64_2775 *-un-lft-identity_binary64_2831
2×cbrt-undiv_binary64_2865 div-exp_binary64_2882
1×frac-2neg_binary64_2842 pow1_binary64_2892 add-log-exp_binary64_2870 cbrt-unprod_binary64_2864 div-inv_binary64_2828 prod-exp_binary64_2880 clear-num_binary64_2830 associate-/l*_binary64_2776
Counts
1 → 21
Calls

1 calls:

5.0ms
(/.f64 (*.f64 x x) 6)

series36.0ms (2.6%)

Counts
1 → 3
Calls

1 calls:

36.0ms
(/.f64 (*.f64 x x) 6)

simplify94.0ms (6.9%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04803205
14803205

prune30.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New22224
Fresh202
Picked011
Done000
Total24327

Merged error: 0b

Counts
27 → 3
Compiler

Compiled 350 to 270 computations (22.9% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.1b
(/.f64 x (/.f64 6 x))

rewrite13.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64_2837
43×add-cube-cbrt_binary64_2866 add-sqr-sqrt_binary64_2853 *-un-lft-identity_binary64_2831
13×associate-/r*_binary64_2775
6×add-cbrt-cube_binary64_2867 add-exp-log_binary64_2869
5×div-inv_binary64_2828
3×cbrt-undiv_binary64_2865 div-exp_binary64_2882 associate-/l*_binary64_2776
1×frac-2neg_binary64_2842 pow1_binary64_2892 add-log-exp_binary64_2870 clear-num_binary64_2830 associate-/r/_binary64_2777
Counts
1 → 70
Calls

1 calls:

6.0ms
(/.f64 x (/.f64 6 x))

series35.0ms (2.6%)

Counts
1 → 3
Calls

1 calls:

35.0ms
(/.f64 x (/.f64 6 x))

simplify87.0ms (6.4%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049211086
149211086

prune59.0ms (4.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New73073
Fresh011
Picked011
Done011
Total73376

Merged error: 0b

Counts
76 → 3
Compiler

Compiled 1004 to 676 computations (32.7% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.1b
(*.f64 x (/.f64 x 6))

rewrite11.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64_2853
13×associate-*r*_binary64_2771
10×times-frac_binary64_2837
9×add-cube-cbrt_binary64_2866 *-un-lft-identity_binary64_2831
6×add-cbrt-cube_binary64_2867 add-exp-log_binary64_2869
3×pow1_binary64_2892 associate-*l*_binary64_2772
2×cbrt-unprod_binary64_2864 unswap-sqr_binary64_2799 prod-exp_binary64_2880
1×pow-prod-down_binary64_2902 add-log-exp_binary64_2870 *-commutative_binary64_2762 div-inv_binary64_2828 cbrt-undiv_binary64_2865 div-exp_binary64_2882 associate-*r/_binary64_2773
Counts
1 → 32
Calls

1 calls:

8.0ms
(*.f64 x (/.f64 x 6))

series44.0ms (3.2%)

Counts
1 → 3
Calls

1 calls:

44.0ms
(*.f64 x (/.f64 x 6))

simplify90.0ms (6.6%)

Algorithm
1×egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
05044317

prune23.0ms (1.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New35035
Fresh000
Picked011
Done022
Total35338

Merged error: 0b

Counts
38 → 3
Compiler

Compiled 393 to 285 computations (27.5% saved)

regimes17.0ms (1.3%)

Compiler

Compiled 50 to 42 computations (16% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01710
11710

end0.0ms (0%)

sample357.0ms (26.3%)

Algorithm
1×intervals
Results
187.0ms8000×body128valid
Compiler

Compiled 36 to 32 computations (11.1% saved)

Profiling

Loading profile data...