Details

Time bar (total: 3.1s)

analyze67.0ms (2.1%)

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
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)

sample19.0ms (0.6%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
0.0ms19×body128invalid
Compiler

Compiled 11 to 11 computations (0% saved)

simplify100.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
077
177

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 8 computations (20% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite37.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-exp-log_binary64_12051 add-cbrt-cube_binary64_12049
3×add-cube-cbrt_binary64_12048 add-sqr-sqrt_binary64_12035 times-frac_binary64_12019 *-un-lft-identity_binary64_12013 associate-/l*_binary64_11958
2×div-exp_binary64_12064 cbrt-undiv_binary64_12047
1×pow1_binary64_12074 prod-exp_binary64_12062 add-log-exp_binary64_12052 cbrt-unprod_binary64_12046 frac-2neg_binary64_12024 clear-num_binary64_12012 div-inv_binary64_12010 associate-/r*_binary64_11957
Counts
1 → 21
Calls

1 calls:

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

Compiled 214 to 66 computations (69.2% saved)

series79.0ms (2.5%)

Error
12.5b
Counts
1 → 6
Calls

1 calls:

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

Compiled 90 to 80 computations (11.1% saved)

simplify81.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
06109244

prune47.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

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

Compiled 258 to 88 computations (65.9% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite92.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
75×times-frac_binary64_12019
43×add-cube-cbrt_binary64_12048 add-sqr-sqrt_binary64_12035 *-un-lft-identity_binary64_12013
13×associate-/l*_binary64_11958
6×add-exp-log_binary64_12051 add-cbrt-cube_binary64_12049
5×div-inv_binary64_12010
3×div-exp_binary64_12064 cbrt-undiv_binary64_12047 associate-/r*_binary64_11957
1×pow1_binary64_12074 add-log-exp_binary64_12052 frac-2neg_binary64_12024 clear-num_binary64_12012 associate-/l/_binary64_11960
Counts
1 → 70
Calls

1 calls:

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

Compiled 1011 to 278 computations (72.5% saved)

series66.0ms (2.1%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

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

Compiled 90 to 80 computations (11.1% saved)

simplify128.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (109.0ms)

IterNodesCost
047631090
147631090

prune62.0ms (2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New70676
Fresh235
Picked011
Done101
Total731083
Error
0.0b
Counts
83 → 10
Compiler

Compiled 984 to 342 computations (65.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite84.0ms (2.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
32×add-sqr-sqrt_binary64_12035
25×times-frac_binary64_12019
23×add-exp-log_binary64_12051
17×*-un-lft-identity_binary64_12013
15×add-cube-cbrt_binary64_12048
13×add-cbrt-cube_binary64_12049 associate-*l*_binary64_11954 associate-*r*_binary64_11953
8×div-exp_binary64_12064 prod-exp_binary64_12062
6×unswap-sqr_binary64_11981
4×cbrt-unprod_binary64_12046 cbrt-undiv_binary64_12047
3×pow1_binary64_12074
2×1-exp_binary64_12057 rec-exp_binary64_12063 div-inv_binary64_12010
1×pow-prod-down_binary64_12084 add-log-exp_binary64_12052 frac-times_binary64_12023 associate-*l/_binary64_11956 associate-*r/_binary64_11955 *-commutative_binary64_11944
Counts
1 → 56
Calls

1 calls:

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

Compiled 824 to 400 computations (51.5% saved)

series84.0ms (2.7%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

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

Compiled 90 to 80 computations (11.1% saved)

simplify119.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (107.0ms)

IterNodesCost
05798635

prune43.0ms (1.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New62062
Fresh088
Picked011
Done011
Total621072
Error
0.0b
Counts
72 → 10
Compiler

Compiled 727 to 277 computations (61.9% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite72.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
25×cbrt-prod_binary64_12044
23×add-sqr-sqrt_binary64_12035
15×add-cube-cbrt_binary64_12048 *-un-lft-identity_binary64_12013
11×pow1_binary64_12074
9×pow1/3_binary64_12095
6×add-exp-log_binary64_12051 swap-sqr_binary64_11980 associate-*l*_binary64_11954 associate-*r*_binary64_11953
4×add-log-exp_binary64_12052 add-cbrt-cube_binary64_12049 unswap-sqr_binary64_11981
2×pow-prod-down_binary64_12084 pow-prod-up_binary64_12083 pow-sqr_binary64_11986
1×pow2_binary64_12094 pow-plus_binary64_12076 prod-exp_binary64_12062 cbrt-unprod_binary64_12046 *-commutative_binary64_11944
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
Compiler

Compiled 1232 to 303 computations (75.4% saved)

series410.0ms (13.1%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

110.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
109.0ms
(cbrt.f64 x)
91.0ms
(cbrt.f64 x)
90.0ms
(cbrt.f64 x)
Compiler

Compiled 519 to 348 computations (32.9% saved)

simplify103.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
04873548
14873548

prune67.0ms (2.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New84185
Fresh167
Picked101
Done022
Total86995
Error
0b
Counts
95 → 9
Compiler

Compiled 1233 to 356 computations (71.1% saved)

regimes301.0ms (9.6%)

Accuracy

Total 0.2b remaining (97.4%)

Threshold costs 0.2b (97.4%)

Compiler

Compiled 1930 to 1277 computations (33.8% 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.0s (33%)

Algorithm
1×intervals
Results
201.0ms8000×body128valid
9.0ms375×body128invalid
Compiler

Compiled 458 to 306 computations (33.2% saved)

Profiling

Loading profile data...