Details

Time bar (total: 9.4s)

analyze1.0s

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

sample81.0ms

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

simplify20.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
02114
12114

prune2.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.6b

Counts
2 → 1

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite20.0ms

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

series858.0ms

Counts
3 → 9
Calls
3 calls:
186.0ms
(*.f64 r (sin.f64 b))
303.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
369.0ms
(cos.f64 (+.f64 a b))
Iterations

Useful iterations: 0 (196.0ms)

IterNodesCost
0237165
1237165
03453
13453
0237165
1237165
03453
13453
045833
145833
0522645
1522645
065143
165143
0522645
1522645
065143
165143
01073
11073
0277210
1277210
069
169
0277210
1277210
069
169
013
113

simplify170.0ms

Counts
59 → 59
Iterations

Useful iterations: 0 (148.0ms)

IterNodesCost
04837645
14837645

prune54.0ms

Filtered
46 candidates to 59 candidates (-28.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New50959
Fresh000
Picked101
Done000
Total51960

Merged error: 0.2b

Counts
60 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 r (sin.f64 b))
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 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

rewrite34.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 r (sin.f64 b))
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 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

series1.0s

Counts
4 → 12
Calls
4 calls:
190.0ms
(*.f64 r (sin.f64 b))
256.0ms
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))
196.0ms
(*.f64 (sin.f64 a) (sin.f64 b))
381.0ms
(/.f64 (*.f64 r (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
07551350
17551350
069
169
07551350
17551350
069
169
013
113
0302270
1302270
069
169
0302270
1302270
069
169
013
113
0492564
1492564
069
169
0492564
1492564
069
169
013
113
0277210
1277210
069
169
0277210
1277210
069
169
013
113

simplify126.0ms

Counts
91 → 91
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049181477
149181477

prune93.0ms

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

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New82991
Fresh448
Picked101
Done000
Total8713100

Merged error: 0b

Counts
100 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.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 b) (sin.f64 a)))
6.0ms
(*.f64 (sin.f64 b) (sin.f64 a))
15.0ms
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
11.0ms
(/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))

series1.2s

Counts
4 → 12
Calls
4 calls:
258.0ms
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))
192.0ms
(*.f64 (sin.f64 b) (sin.f64 a))
405.0ms
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
326.0ms
(/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
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

simplify173.0ms

Counts
115 → 115
Iterations

Useful iterations: 0 (135.0ms)

IterNodesCost
049292713
149292713

prune104.0ms

Filtered
90 candidates to 115 candidates (-27.8%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1150115
Fresh01212
Picked011
Done000
Total11513128

Merged error: 0b

Counts
128 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

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

series1.3s

Counts
4 → 12
Calls
4 calls:
255.0ms
(-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))
192.0ms
(*.f64 (sin.f64 b) (sin.f64 a))
385.0ms
(/.f64 1 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
433.0ms
(*.f64 (*.f64 r (sin.f64 b)) (/.f64 1 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
08401539
18401539
047467
147467
08401539
18401539
047467
147467
013
113
06271113
16271113
069
169
06271113
16271113
069
169
01121
11121
0302270
1302270
069
169
0302270
1302270
069
169
013
113
0492564
1492564
069
169
0492564
1492564
069
169
013
113

simplify133.0ms

Counts
125 → 125
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
049182892
149182892

prune80.0ms

Filtered
79 candidates to 125 candidates (-58.2%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1241125
Fresh2911
Picked011
Done011
Total12612138

Merged error: 0b

Counts
138 → 12

regimes84.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04226
14226

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.6s2919×body1280valid
515.0ms1786×body640valid
153.0ms766×body320valid
145.0ms2171×body80valid
53.0ms358×body160valid
1.0ms3×body1280invalid
0.0ms1×body640invalid

Profiling

Loading profile data...