Details

Time bar (total: 2.0s)

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
50%25%25%4
62.5%12.5%25%5
62.5%6.2%31.3%6
65.6%3.1%31.3%7
65.6%1.6%32.8%8
66.4%0.8%32.8%9
66.4%0.4%33.2%10
66.6%0.2%33.2%11
66.6%0.1%33.3%12
66.6%0%33.4%13
66.6%0%33.4%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample10.0ms (0.5%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify237.0ms (11.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (149.0ms)

IterNodesCost
0467913
1467913

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 14 computations (22.2% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))

rewrite10.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_20235 add-cbrt-cube_binary64_20233 pow1_binary64_20258
3×add-sqr-sqrt_binary64_20219 cbrt-unprod_binary64_20230 prod-exp_binary64_20246 pow-prod-down_binary64_20268 associate-*r*_binary64_20137
2×sub-neg_binary64_20190 *-un-lft-identity_binary64_20197 add-cube-cbrt_binary64_20232 distribute-lft-in_binary64_20146 distribute-rgt-in_binary64_20147 associate-*r/_binary64_20139 cancel-sign-sub-inv_binary64_20163
1×flip3--_binary64_20201 add-log-exp_binary64_20236 unswap-sqr_binary64_20165 *-commutative_binary64_20128 associate-*l*_binary64_20138 flip--_binary64_20172
Counts
1 → 25
Calls

1 calls:

8.0ms
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))

series51.0ms (2.5%)

Counts
1 → 3
Calls

1 calls:

51.0ms
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))

simplify58.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
05105417

prune31.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New24428
Fresh000
Picked101
Done000
Total25429
Error
0.0b
Counts
29 → 4
Compiler

Compiled 445 to 305 computations (31.5% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 (pow.f64 x 3) -2)
0.0b
(+.f64 (*.f64 (*.f64 x x) 3) (*.f64 (pow.f64 x 3) -2))
0.2b
(*.f64 (*.f64 x x) 3)

rewrite21.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
16×add-sqr-sqrt_binary64_20219
13×add-exp-log_binary64_20235 associate-*l*_binary64_20138
10×add-cbrt-cube_binary64_20233
8×*-un-lft-identity_binary64_20197 add-cube-cbrt_binary64_20232 pow1_binary64_20258
6×prod-exp_binary64_20246 associate-*r*_binary64_20137
5×add-log-exp_binary64_20236 unswap-sqr_binary64_20165
4×cbrt-unprod_binary64_20230 unpow-prod-down_binary64_20276 cube-prod_binary64_20225
3×pow-prod-down_binary64_20268
2×sqr-pow_binary64_20169 *-commutative_binary64_20128
1×sum-log_binary64_20288 unpow3_binary64_20263 +-commutative_binary64_20127 pow-to-exp_binary64_20266 pow-exp_binary64_20265 cube-mult_binary64_20227 flip3-+_binary64_20200 flip-+_binary64_20171
Counts
3 → 61
Calls

3 calls:

6.0ms
(+.f64 (*.f64 (*.f64 x x) 3) (*.f64 (pow.f64 x 3) -2))
6.0ms
(*.f64 (pow.f64 x 3) -2)
5.0ms
(*.f64 (*.f64 x x) 3)

series103.0ms (5.1%)

Counts
3 → 9
Calls

3 calls:

59.0ms
(+.f64 (*.f64 (*.f64 x x) 3) (*.f64 (pow.f64 x 3) -2))
25.0ms
(*.f64 (pow.f64 x 3) -2)
18.0ms
(*.f64 (*.f64 x x) 3)

simplify75.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
04922736
14922736

prune66.0ms (3.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New67370
Fresh123
Picked101
Done000
Total69574
Error
0b
Counts
74 → 5
Compiler

Compiled 1117 to 778 computations (30.3% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (-.f64 3 (*.f64 x 2)))
0.2b
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))

rewrite15.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
10×distribute-lft-in_binary64_20146 distribute-rgt-in_binary64_20147
9×add-exp-log_binary64_20235 add-cbrt-cube_binary64_20233 pow1_binary64_20258
7×add-sqr-sqrt_binary64_20219
6×sub-neg_binary64_20190 associate-*l*_binary64_20138 associate-*r/_binary64_20139 cancel-sign-sub-inv_binary64_20163
5×*-un-lft-identity_binary64_20197 add-cube-cbrt_binary64_20232
4×cbrt-unprod_binary64_20230 prod-exp_binary64_20246 pow-prod-down_binary64_20268 associate-*r*_binary64_20137
2×flip3--_binary64_20201 add-log-exp_binary64_20236 *-commutative_binary64_20128 flip--_binary64_20172
1×unswap-sqr_binary64_20165
Counts
2 → 52
Calls

2 calls:

7.0ms
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))
5.0ms
(*.f64 x (-.f64 3 (*.f64 x 2)))

series86.0ms (4.2%)

Counts
2 → 6
Calls

2 calls:

44.0ms
(*.f64 x (*.f64 x (-.f64 3 (*.f64 x 2))))
41.0ms
(*.f64 x (-.f64 3 (*.f64 x 2)))

simplify51.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05104771

prune48.0ms (2.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New57158
Fresh134
Picked011
Done000
Total58563
Error
0b
Counts
63 → 5
Compiler

Compiled 846 to 609 computations (28% saved)

localize11.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 (*.f64 x (*.f64 x (sqrt.f64 3))) (sqrt.f64 3)) (*.f64 (pow.f64 x 3) -2))
0.2b
(*.f64 x (*.f64 x (sqrt.f64 3)))
0.3b
(*.f64 (*.f64 x (*.f64 x (sqrt.f64 3))) (sqrt.f64 3))
0.4b
(*.f64 x (sqrt.f64 3))

rewrite35.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
20×add-exp-log_binary64_20235 add-cbrt-cube_binary64_20233 pow1_binary64_20258
14×add-sqr-sqrt_binary64_20219
13×associate-*r*_binary64_20137
10×cbrt-unprod_binary64_20230 *-un-lft-identity_binary64_20197 add-cube-cbrt_binary64_20232 prod-exp_binary64_20246 pow-prod-down_binary64_20268
7×sqrt-prod_binary64_20213 associate-*l*_binary64_20138
6×add-log-exp_binary64_20236
3×*-commutative_binary64_20128
2×unswap-sqr_binary64_20165
1×sum-log_binary64_20288 +-commutative_binary64_20127 flip3-+_binary64_20200 flip-+_binary64_20171
Counts
4 → 75
Calls

4 calls:

9.0ms
(+.f64 (*.f64 (*.f64 x (*.f64 x (sqrt.f64 3))) (sqrt.f64 3)) (*.f64 (pow.f64 x 3) -2))
9.0ms
(*.f64 (*.f64 x (*.f64 x (sqrt.f64 3))) (sqrt.f64 3))
6.0ms
(*.f64 x (*.f64 x (sqrt.f64 3)))
5.0ms
(*.f64 x (sqrt.f64 3))

series183.0ms (9%)

Counts
4 → 12
Calls

4 calls:

92.0ms
(+.f64 (*.f64 (*.f64 x (*.f64 x (sqrt.f64 3))) (sqrt.f64 3)) (*.f64 (pow.f64 x 3) -2))
41.0ms
(*.f64 (*.f64 x (*.f64 x (sqrt.f64 3))) (sqrt.f64 3))
27.0ms
(*.f64 x (*.f64 x (sqrt.f64 3)))
23.0ms
(*.f64 x (sqrt.f64 3))

simplify74.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04967925
14967925

prune82.0ms (4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New87087
Fresh033
Picked011
Done011
Total87592
Error
0b
Counts
92 → 5
Compiler

Compiled 1472 to 1156 computations (21.5% saved)

regimes81.0ms (4%)

Accuracy

Total 0.1b remaining (99.5%)

Threshold costs 0.1b (99.5%)

Compiler

Compiled 806 to 634 computations (21.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01216
11216

end0.0ms (0%)

sample672.0ms (33.2%)

Algorithm
1×intervals
Results
195.0ms8000×body128valid
0.0ms4×body128invalid
Compiler

Compiled 377 to 300 computations (20.4% saved)

Profiling

Loading profile data...