Details

Time bar (total: 9.1s)

analyze1.1s

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
0%99.9%0.1%6
6.2%93.6%0.1%7
9.4%90.5%0.1%8
14%85.8%0.1%9
19.5%80.4%0.1%10
20.7%79.2%0.1%11
22%77.8%0.1%12
23.5%76.4%0.1%13
23.8%76%0.1%14

sample83.0ms

Algorithm
intervals
Results
40.0ms84×body1280valid
21.0ms73×body640valid
5.0ms24×body320valid
4.0ms61×body80valid
2.0ms14×body160valid

simplify25.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
02114
12114

prune3.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 15.5b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
0.2b
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
2.7b
(cos.f64 (+.f64 a b))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64
19×*-un-lft-identity_binary64 add-cube-cbrt_binary64 times-frac_binary64
13×associate-*r*_binary64
10×add-exp-log_binary64 add-cbrt-cube_binary64
5×pow1_binary64
3×associate-/r*_binary64 add-log-exp_binary64 associate-*l*_binary64 associate-/l*_binary64 insert-posit16
2×cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 prod-exp_binary64 div-inv_binary64 div-exp_binary64
1×pow-prod-down_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 cos-sum_binary64 *-commutative_binary64
Counts
3 → 70
Calls
3 calls:
9.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
6.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
5.0ms
(cos.f64 (+.f64 a b))

series939.0ms

Counts
3 → 9
Calls
3 calls:
315.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
255.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
370.0ms
(cos.f64 (+.f64 a b))
Iterations

Useful iterations: 0 (199.0ms)

IterNodesCost
0237165
1237165
03453
13453
0237165
1237165
03453
13453
045833
145833
0421498
1421498
062143
162143
0421498
1421498
062143
162143
01073
11073
0547681
1547681
076187
176187
0547681
1547681
076187
176187
0733
1733

simplify130.0ms

Counts
79 → 79
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
051961194

prune74.0ms

Filtered
63 candidates to 79 candidates (-25.4%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New681179
Fresh000
Picked101
Done000
Total691180

Merged error: 0.2b

Counts
80 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))
0.2b
(*.f64 (sin.f64 a) (sin.f64 b))
0.2b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
0.2b
(/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt_binary64
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64
20×associate-*r*_binary64
19×times-frac_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
8×pow1_binary64 associate-/r/_binary64
7×sin-mult_binary64
6×add-log-exp_binary64 cos-mult_binary64 associate-*l*_binary64
4×insert-posit16
3×associate-/r*_binary64 flip3--_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 associate-/l*_binary64 sub-div_binary64 flip--_binary64 frac-sub_binary64
2×pow-prod-down_binary64 cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64 *-commutative_binary64
1×sub-neg_binary64 diff-log_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 103
Calls
4 calls:
7.0ms
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))
6.0ms
(*.f64 (sin.f64 a) (sin.f64 b))
15.0ms
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
11.0ms
(/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

series1.2s

Counts
4 → 12
Calls
4 calls:
251.0ms
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))
191.0ms
(*.f64 (sin.f64 a) (sin.f64 b))
399.0ms
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
320.0ms
(/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06391203
16391203
069
169
06391203
16391203
069
169
013
113
07771470
17771470
049467
149467
07771470
17771470
049467
149467
013
113
0302270
1302270
069
169
0302270
1302270
069
169
013
113
0492564
1492564
069
169
0492564
1492564
069
169
013
113

simplify134.0ms

Counts
115 → 115
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
055082640

prune127.0ms

Filtered
93 candidates to 115 candidates (-23.7%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New10213115
Fresh8210
Picked101
Done000
Total11115126

Merged error: 0.0b

Counts
126 → 15

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (cos.f64 a) (cos.f64 b))
0.1b
(-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a))
0.2b
(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
0.3b
(/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt_binary64
28×*-un-lft-identity_binary64
18×add-cube-cbrt_binary64 times-frac_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
8×associate-/r*_binary64
6×add-log-exp_binary64 pow1_binary64
5×difference-of-squares_binary64 distribute-lft-out--_binary64
4×associate-/l*_binary64 insert-posit16
3×associate-*r*_binary64 cbrt-undiv_binary64 associate-*l*_binary64 div-exp_binary64
2×flip3--_binary64 cbrt-unprod_binary64 cos-mult_binary64 associate-/r/_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64 flip--_binary64
1×pow-prod-down_binary64 associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 unswap-sqr_binary64 *-commutative_binary64
Counts
4 → 95
Calls
4 calls:
6.0ms
(*.f64 (cos.f64 a) (cos.f64 b))
10.0ms
(-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a))
11.0ms
(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
7.0ms
(/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b))

series1.1s

Counts
4 → 12
Calls
4 calls:
195.0ms
(*.f64 (cos.f64 a) (cos.f64 b))
273.0ms
(-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a))
375.0ms
(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a)))
251.0ms
(/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0491597
1491597
069
169
0491597
1491597
069
169
013
113
07421269
17421269
069
169
07421269
17421269
069
169
013
113
0551690
1551690
069
169
0551690
1551690
069
169
013
113
0321294
1321294
069
169
0321294
1321294
069
169
013
113

simplify151.0ms

Counts
107 → 107
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
049352213
149352213

prune101.0ms

Filtered
78 candidates to 107 candidates (-37.2%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1034107
Fresh41014
Picked101
Done000
Total10814122

Merged error: 0b

Counts
122 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (sin.f64 b) r)
0.1b
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))
0.2b
(*.f64 (sin.f64 a) (sin.f64 b))
0.3b
(/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
10×*-un-lft-identity_binary64 add-cube-cbrt_binary64
8×pow1_binary64
6×add-log-exp_binary64 associate-*r*_binary64 associate-*l*_binary64
5×sin-mult_binary64
4×cos-mult_binary64 associate-/r/_binary64 insert-posit16
3×associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64 times-frac_binary64
2×pow-prod-down_binary64 flip3--_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 div-exp_binary64 sub-div_binary64 flip--_binary64 frac-sub_binary64 *-commutative_binary64
1×sub-neg_binary64 diff-log_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64
Counts
4 → 79
Calls
4 calls:
5.0ms
(*.f64 (sin.f64 b) r)
7.0ms
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))
6.0ms
(*.f64 (sin.f64 a) (sin.f64 b))
12.0ms
(/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

series979.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(*.f64 (sin.f64 b) r)
249.0ms
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))
191.0ms
(*.f64 (sin.f64 a) (sin.f64 b))
362.0ms
(/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06881350
16881350
079
179
06881350
16881350
079
179
013
113
0302270
1302270
069
169
0302270
1302270
069
169
013
113
0492564
1492564
069
169
0492564
1492564
069
169
013
113
0267210
1267210
069
169
0267210
1267210
069
169
013
113

simplify127.0ms

Counts
91 → 91
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
049511551
149511551

prune65.0ms

Filtered
69 candidates to 91 candidates (-31.9%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New87491
Fresh5813
Picked101
Done000
Total9312105

Merged error: 0b

Counts
105 → 12

regimes85.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04226
14226

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.4s2919×body1280valid
526.0ms1786×body640valid
161.0ms766×body320valid
146.0ms2171×body80valid
58.0ms358×body160valid
5.0ms1×body640invalid
1.0ms3×body1280invalid

Profiling

Loading profile data...