Details

Time bar (total: 7.6s)

analyze764.0ms

Algorithm
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
0%99.9%0.1%5
12.5%87.4%0.1%6
18.7%81.2%0.1%7
25%73.4%1.7%8
28.1%68.7%3.2%9
31.2%62.8%6%10
32.8%60.1%7.1%11
34.3%56.7%9%12
35.1%55.2%9.7%13
35.9%53.4%10.7%14

sample63.0ms

Algorithm
intervals
Results
23.0ms51×body1280valid
13.0ms45×body640valid
8.0ms117×body80valid
6.0ms32×body320valid
2.0ms11×body160valid
1.0ms9×body80invalid

simplify150.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
013114
113114

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
0.1b
(/.f64 1 (sin.f64 B))
0.1b
(/.f64 x (tan.f64 B))

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt_binary64
28×*-un-lft-identity_binary64
27×times-frac_binary64
19×add-cube-cbrt_binary64
9×add-exp-log_binary64
7×add-cbrt-cube_binary64
6×associate-/r*_binary64 difference-of-squares_binary64 associate-/l*_binary64
5×add-log-exp_binary64
4×pow1_binary64
3×distribute-lft-out--_binary64 div-inv_binary64 div-exp_binary64 insert-posit16
2×cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 1-exp_binary64 associate-/r/_binary64 inv-pow_binary64 rec-exp_binary64 flip--_binary64 pow-flip_binary64 frac-sub_binary64 tan-quot_binary64
Counts
3 → 83
Calls
3 calls:
18.0ms
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
4.0ms
(/.f64 1 (sin.f64 B))
209.0ms
(/.f64 x (tan.f64 B))

series902.0ms

Counts
3 → 9
Calls
3 calls:
259.0ms
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
417.0ms
(/.f64 1 (sin.f64 B))
226.0ms
(/.f64 x (tan.f64 B))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0355330
1355330
089
189
0355330
1355330
089
189
013
113
0411684
1411684
099
199
0411684
1411684
099
199
0506342
0514594
1514594
089
189
0514594
1514594
089
189
010312
110312

simplify158.0ms

Counts
92 → 92
Iterations

Useful iterations: 0 (131.0ms)

IterNodesCost
048831274
148831274

prune82.0ms

Filtered
66 candidates to 92 candidates (-39.4%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New83992
Fresh101
Picked101
Done000
Total85994

Merged error: 0.0b

Counts
94 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (/.f64 1 (sin.f64 B)) (*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B)))
0.1b
(/.f64 1 (sin.f64 B))
0.1b
(*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B))
0.2b
(/.f64 x (sin.f64 B))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt_binary64
28×*-un-lft-identity_binary64 add-cube-cbrt_binary64 times-frac_binary64
15×add-exp-log_binary64
13×add-cbrt-cube_binary64 associate-*l*_binary64
7×pow1_binary64
6×associate-/r*_binary64 add-log-exp_binary64 associate-/l*_binary64
4×div-exp_binary64 insert-posit16
3×associate-*r*_binary64 cbrt-undiv_binary64 div-inv_binary64 associate-*l/_binary64
2×cbrt-unprod_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 1-exp_binary64 inv-pow_binary64 rec-exp_binary64 sub-div_binary64 flip--_binary64 pow-flip_binary64 frac-sub_binary64 *-commutative_binary64
Counts
4 → 107
Calls
4 calls:
10.0ms
(-.f64 (/.f64 1 (sin.f64 B)) (*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B)))
4.0ms
(/.f64 1 (sin.f64 B))
8.0ms
(*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B))
4.0ms
(/.f64 x (sin.f64 B))

series1.2s

Counts
4 → 12
Calls
4 calls:
358.0ms
(-.f64 (/.f64 1 (sin.f64 B)) (*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B)))
416.0ms
(/.f64 1 (sin.f64 B))
234.0ms
(*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B))
205.0ms
(/.f64 x (sin.f64 B))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0327294
1327294
069
169
0327294
1327294
069
169
013
113
0452513
1452513
069
169
0452513
1452513
069
169
013
113
0411684
1411684
099
199
0411684
1411684
099
199
0506342
0563777
1563777
059
159
0563777
1563777
059
159
01121
11121

simplify121.0ms

Counts
119 → 119
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
050931538

prune86.0ms

Filtered
87 candidates to 119 candidates (-36.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1172119
Fresh178
Picked101
Done000
Total1199128

Merged error: 0.0b

Counts
128 → 9

localize9.0ms

Local error

Found 2 expressions with local error:

0.1b
(*.f64 x (cos.f64 B))
0.2b
(/.f64 (-.f64 1 (*.f64 x (cos.f64 B))) (sin.f64 B))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64
9×times-frac_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
4×pow1_binary64
3×associate-/r*_binary64 associate-*r*_binary64 associate-*l*_binary64 associate-/l*_binary64
2×associate-/l/_binary64 add-log-exp_binary64 insert-posit16
1×pow-prod-down_binary64 flip3--_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 div-sub_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64 *-commutative_binary64
Counts
2 → 50
Calls
2 calls:
5.0ms
(*.f64 x (cos.f64 B))
7.0ms
(/.f64 (-.f64 1 (*.f64 x (cos.f64 B))) (sin.f64 B))

series517.0ms

Counts
2 → 6
Calls
2 calls:
193.0ms
(*.f64 x (cos.f64 B))
324.0ms
(/.f64 (-.f64 1 (*.f64 x (cos.f64 B))) (sin.f64 B))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0484558
1484558
069
169
0484558
1484558
069
169
01121
11121
0288222
1288222
069
169
0288222
1288222
069
169
013
113

simplify156.0ms

Counts
56 → 56
Iterations

Useful iterations: 0 (132.0ms)

IterNodesCost
04955873
14955873

prune42.0ms

Filtered
42 candidates to 56 candidates (-33.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New55156
Fresh178
Picked011
Done000
Total56965

Merged error: 0.0b

Counts
65 → 9

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b
(/.f64 (sin.f64 B) (-.f64 1 (*.f64 x (cos.f64 B))))
0.1b
(*.f64 x (cos.f64 B))
0.2b
(/.f64 1 (/.f64 (sin.f64 B) (-.f64 1 (*.f64 x (cos.f64 B)))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac_binary64
59×add-sqr-sqrt_binary64
57×*-un-lft-identity_binary64 add-cube-cbrt_binary64
18×associate-/r*_binary64 add-exp-log_binary64
12×add-cbrt-cube_binary64
11×associate-/r/_binary64
8×div-exp_binary64
6×pow1_binary64 associate-/l*_binary64 div-inv_binary64
5×flip3--_binary64 flip--_binary64
4×cbrt-undiv_binary64
3×add-log-exp_binary64 associate-*r*_binary64 associate-*l*_binary64 insert-posit16
2×1-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64
1×pow-prod-down_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 inv-pow_binary64 prod-exp_binary64 pow-flip_binary64 *-commutative_binary64
Counts
3 → 134
Calls
3 calls:
7.0ms
(/.f64 (sin.f64 B) (-.f64 1 (*.f64 x (cos.f64 B))))
5.0ms
(*.f64 x (cos.f64 B))
10.0ms
(/.f64 1 (/.f64 (sin.f64 B) (-.f64 1 (*.f64 x (cos.f64 B)))))

series847.0ms

Counts
3 → 9
Calls
3 calls:
261.0ms
(/.f64 (sin.f64 B) (-.f64 1 (*.f64 x (cos.f64 B))))
191.0ms
(*.f64 x (cos.f64 B))
395.0ms
(/.f64 1 (/.f64 (sin.f64 B) (-.f64 1 (*.f64 x (cos.f64 B)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06161095
16161095
069
169
06161095
16161095
069
169
01121
11121
0288222
1288222
069
169
0288222
1288222
069
169
013
113
0481654
1481654
069
169
0481654
1481654
069
169
013
113

simplify136.0ms

Counts
143 → 143
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
054023263

prune97.0ms

Filtered
95 candidates to 143 candidates (-50.5%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1430143
Fresh077
Picked011
Done011
Total1439152

Merged error: 0.0b

Counts
152 → 9

regimes43.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03714
13714

end0.0ms

sample1.8s

Algorithm
intervals
Results
756.0ms1694×body1280valid
414.0ms1465×body640valid
275.0ms3777×body80valid
141.0ms691×body320valid
53.0ms373×body160valid
13.0ms188×body80invalid
0.0ms1×body320invalid

Profiling

Loading profile data...