Details

Time bar (total: 4.7s)

analyze13.0ms (0.3%)

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
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25.1%13
74.9%0%25.1%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample28.0ms (0.6%)

Algorithm
1×intervals
Results
10.0ms227×body128valid
3.0ms16×body1024valid
1.0ms9×body512valid
0.0ms4×body256valid
Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify214.0ms (4.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
040510
140510

prune6.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 23 to 20 computations (13% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.1b
(*.f64 x (+.f64 6 (*.f64 x -9)))

rewrite61.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
5×add-sqr-sqrt_binary64_21242
3×pow1_binary64_21281 add-exp-log_binary64_21258 add-cbrt-cube_binary64_21256 add-cube-cbrt_binary64_21255 *-un-lft-identity_binary64_21220 associate-*l*_binary64_21161 associate-*r*_binary64_21160
2×associate-*r/_binary64_21162
1×pow-prod-down_binary64_21291 prod-exp_binary64_21269 add-log-exp_binary64_21259 cbrt-unprod_binary64_21253 unswap-sqr_binary64_21188 distribute-rgt-in_binary64_21170 distribute-lft-in_binary64_21169 flip3-+_binary64_21223 flip-+_binary64_21194 *-commutative_binary64_21151
Counts
1 → 22
Calls

1 calls:

12.0ms
(*.f64 x (+.f64 6 (*.f64 x -9)))
Compiler

Compiled 318 to 241 computations (24.2% saved)

series105.0ms (2.2%)

Error
0.2b
Counts
1 → 6
Calls

1 calls:

95.0ms
(*.f64 x (+.f64 6 (*.f64 x -9)))
Compiler

Compiled 107 to 93 computations (13.1% saved)

simplify119.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (103.0ms)

IterNodesCost
05367328

prune62.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New21728
Fresh011
Picked101
Done000
Total22830
Error
0.0b
Counts
30 → 8
Compiler

Compiled 441 to 333 computations (24.5% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 6 x) (*.f64 (*.f64 x x) -9))
0.2b
(*.f64 (*.f64 x x) -9)

rewrite68.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_21281 add-exp-log_binary64_21258 add-cbrt-cube_binary64_21256
4×add-log-exp_binary64_21259 add-sqr-sqrt_binary64_21242
3×pow-prod-down_binary64_21291 prod-exp_binary64_21269 add-cube-cbrt_binary64_21255 cbrt-unprod_binary64_21253 *-un-lft-identity_binary64_21220 associate-*r*_binary64_21160
1×unswap-sqr_binary64_21188 associate-*l*_binary64_21161 *-commutative_binary64_21151 sum-log_binary64_21311 flip3-+_binary64_21223 flip-+_binary64_21194 +-commutative_binary64_21150
Counts
2 → 30
Calls

2 calls:

11.0ms
(*.f64 (*.f64 x x) -9)
7.0ms
(+.f64 (*.f64 6 x) (*.f64 (*.f64 x x) -9))
Compiler

Compiled 489 to 306 computations (37.4% saved)

series148.0ms (3.2%)

Error
0.0b
Counts
2 → 9
Calls

2 calls:

95.0ms
(+.f64 (*.f64 6 x) (*.f64 (*.f64 x x) -9))
45.0ms
(*.f64 (*.f64 x x) -9)
Compiler

Compiled 188 to 162 computations (13.8% saved)

simplify135.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (116.0ms)

IterNodesCost
04918405
14918405

prune65.0ms (1.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New38139
Fresh167
Picked011
Done000
Total39847
Error
0.0b
Counts
47 → 8
Compiler

Compiled 561 to 391 computations (30.3% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite133.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×pow1_binary64_21281 add-exp-log_binary64_21258 add-cbrt-cube_binary64_21256
8×add-sqr-sqrt_binary64_21242
6×add-cube-cbrt_binary64_21255 *-un-lft-identity_binary64_21220 associate-*r*_binary64_21160
5×add-log-exp_binary64_21259
4×pow-prod-down_binary64_21291 prod-exp_binary64_21269 cbrt-unprod_binary64_21253 associate-*r/_binary64_21162 associate-*l*_binary64_21161
3×flip3--_binary64_21224 flip--_binary64_21195 sub-neg_binary64_21213 cancel-sign-sub-inv_binary64_21186
2×associate-*l/_binary64_21163 *-commutative_binary64_21151 distribute-rgt-in_binary64_21170 distribute-lft-in_binary64_21169
1×unswap-sqr_binary64_21188 diff-log_binary64_21312
Counts
3 → 56
Calls

3 calls:

14.0ms
(*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)
11.0ms
(*.f64 3 (-.f64 2 (*.f64 x 3)))
6.0ms
(-.f64 2 (*.f64 x 3))
Compiler

Compiled 923 to 752 computations (18.5% saved)

series236.0ms (5%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

96.0ms
(*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)
70.0ms
(*.f64 3 (-.f64 2 (*.f64 x 3)))
53.0ms
(-.f64 2 (*.f64 x 3))
Compiler

Compiled 315 to 263 computations (16.5% saved)

simplify121.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
04918726
14918726

prune110.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New72274
Fresh336
Picked011
Done011
Total75782
Error
0.0b
Counts
82 → 7
Compiler

Compiled 906 to 712 computations (21.4% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite142.0ms (3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×pow1_binary64_21281 add-exp-log_binary64_21258 add-cbrt-cube_binary64_21256 distribute-rgt-in_binary64_21170 distribute-lft-in_binary64_21169
8×add-sqr-sqrt_binary64_21242
7×sub-neg_binary64_21213 cancel-sign-sub-inv_binary64_21186
6×add-cube-cbrt_binary64_21255 *-un-lft-identity_binary64_21220 associate-*r/_binary64_21162 associate-*l*_binary64_21161
5×add-log-exp_binary64_21259
4×pow-prod-down_binary64_21291 prod-exp_binary64_21269 cbrt-unprod_binary64_21253 associate-*r*_binary64_21160
3×flip3--_binary64_21224 flip--_binary64_21195
2×*-commutative_binary64_21151
1×unswap-sqr_binary64_21188 diff-log_binary64_21312
Counts
3 → 64
Calls

3 calls:

14.0ms
(*.f64 3 (*.f64 x (-.f64 2 (*.f64 x 3))))
11.0ms
(*.f64 x (-.f64 2 (*.f64 x 3)))
6.0ms
(-.f64 2 (*.f64 x 3))
Compiler

Compiled 1035 to 822 computations (20.6% saved)

series254.0ms (5.4%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

95.0ms
(*.f64 3 (*.f64 x (-.f64 2 (*.f64 x 3))))
88.0ms
(*.f64 x (-.f64 2 (*.f64 x 3)))
52.0ms
(-.f64 2 (*.f64 x 3))
Compiler

Compiled 363 to 315 computations (13.2% saved)

simplify92.0ms (2%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04887893
14887893

prune105.0ms (2.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New82082
Fresh044
Picked011
Done022
Total82789
Error
0.0b
Counts
89 → 7
Compiler

Compiled 960 to 719 computations (25.1% saved)

regimes266.0ms (5.7%)

Accuracy

Total 0.2b remaining (97.8%)

Threshold costs 0.2b (97.8%)

Compiler

Compiled 1266 to 1042 computations (17.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03713
13713

end0.0ms (0%)

sample2.2s (46.1%)

Algorithm
1×intervals
Results
327.0ms7239×body128valid
80.0ms454×body1024valid
23.0ms191×body512valid
9.0ms116×body256valid
0.0ms2×body128invalid
Compiler

Compiled 651 to 537 computations (17.5% saved)

Profiling

Loading profile data...