Details

Time bar (total: 9.7s)

analyze976.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
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
26.5%72.9%0.5%9
38.2%60.7%1.1%10
41.7%54.9%3.4%11
47.6%47.4%5%12
53.4%39.4%7.2%13
54.9%34.5%10.6%14

sample66.0ms

Algorithm
intervals
Results
16.0ms188×body80valid
12.0ms25×body1280valid
7.0ms21×body640valid
6.0ms13×body320valid
5.0ms60×body80invalid
3.0ms8×body640invalid
2.0ms7×body320invalid
1.0ms9×body160valid
1.0ms3×body1280invalid
1.0ms6×body160invalid

simplify325.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (310.0ms)

IterNodesCost
0489324
1489324

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: 29.4b

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
4.1b
(*.f64 (*.f64 x (pow.f64 s 2)) x)
9.3b
(*.f64 x (pow.f64 s 2))
18.8b
(*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
122×add-exp-log_binary64
82×prod-exp_binary64
34×add-cbrt-cube_binary64
18×pow-to-exp_binary64 add-sqr-sqrt_binary64 pow-exp_binary64
16×cbrt-unprod_binary64 div-exp_binary64
12×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 associate-*l*_binary64
7×unpow-prod-down_binary64
6×pow1_binary64
4×add-log-exp_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 insert-posit16
3×unpow2_binary64 sqr-pow_binary64 associate-/l*_binary64 times-frac_binary64 *-commutative_binary64
1×pow-prod-down_binary64 associate-/r*_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 cos-2_binary64
Counts
4 → 123
Calls
4 calls:
17.0ms
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
7.0ms
(*.f64 (*.f64 x (pow.f64 s 2)) x)
7.0ms
(*.f64 x (pow.f64 s 2))
12.0ms
(*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x))

series1.2s

Counts
4 → 12
Calls
4 calls:
443.0ms
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
245.0ms
(*.f64 (*.f64 x (pow.f64 s 2)) x)
206.0ms
(*.f64 x (pow.f64 s 2))
309.0ms
(*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0540693
1540693
0139
1139
0540693
1540693
0139
1139
013
113
0337309
1337309
0149
1149
0337309
1337309
0149
1149
013
113
0418441
1418441
0149
1149
0418441
1418441
0149
1149
013
113
07711250
17711250
065451
165451
07711250
17711250
065451
165451
013
113

simplify117.0ms

Counts
135 → 135
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
051562030

prune106.0ms

Filtered
74 candidates to 135 candidates (-82.4%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New12213135
Fresh000
Picked101
Done000
Total12313136

Merged error: 2.3b

Counts
136 → 13

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (fabs.f64 (*.f64 (*.f64 x s) c)) (fabs.f64 (*.f64 (*.f64 x s) c)))
0.4b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (fabs.f64 (*.f64 (*.f64 x s) c)) (fabs.f64 (*.f64 (*.f64 x s) c))))
4.7b
(*.f64 (*.f64 x s) c)
4.7b
(*.f64 (*.f64 x s) c)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
14×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64
9×associate-*r*_binary64
8×cbrt-unprod_binary64 prod-exp_binary64
7×pow-prod-down_binary64
5×associate-*l*_binary64
4×add-log-exp_binary64 insert-posit16
3×swap-sqr_binary64 associate-/l*_binary64 times-frac_binary64 *-commutative_binary64
2×cbrt-undiv_binary64 div-exp_binary64
1×associate-/r*_binary64 pow-prod-up_binary64 pow-plus_binary64 unswap-sqr_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 pow-sqr_binary64 cos-2_binary64 pow2_binary64
Counts
4 → 87
Calls
4 calls:
5.0ms
(*.f64 (fabs.f64 (*.f64 (*.f64 x s) c)) (fabs.f64 (*.f64 (*.f64 x s) c)))
7.0ms
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (fabs.f64 (*.f64 (*.f64 x s) c)) (fabs.f64 (*.f64 (*.f64 x s) c))))
6.0ms
(*.f64 (*.f64 x s) c)
6.0ms
(*.f64 (*.f64 x s) c)

series1.3s

Counts
4 → 12
Calls
4 calls:
454.0ms
(*.f64 (fabs.f64 (*.f64 (*.f64 x s) c)) (fabs.f64 (*.f64 (*.f64 x s) c)))
454.0ms
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (fabs.f64 (*.f64 (*.f64 x s) c)) (fabs.f64 (*.f64 (*.f64 x s) c))))
180.0ms
(*.f64 (*.f64 x s) c)
183.0ms
(*.f64 (*.f64 x s) c)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0268231
1268231
089
189
0268231
1268231
089
189
013
113
0268231
1268231
089
189
0268231
1268231
089
189
013
113
04091913
14091913
01431230
11431230
04091913
14091913
01431230
11431230
0501321
01991832
11991832
044771113
144771113
01991832
11991832
044771113
144771113
018949
118949

simplify151.0ms

Counts
99 → 99
Iterations

Useful iterations: 0 (123.0ms)

IterNodesCost
052181286

prune99.0ms

Filtered
63 candidates to 99 candidates (-57.1%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New92799
Fresh6612
Picked101
Done000
Total9913112

Merged error: 1.9b

Counts
112 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

0.7b
(/.f64 1 (fabs.f64 (*.f64 (*.f64 x s) c)))
0.7b
(/.f64 (cos.f64 (*.f64 x 2)) (fabs.f64 (*.f64 (*.f64 x s) c)))
4.7b
(*.f64 (*.f64 x s) c)
4.7b
(*.f64 (*.f64 x s) c)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
20×add-exp-log_binary64
18×add-cbrt-cube_binary64 times-frac_binary64
15×pow1_binary64
6×pow-prod-down_binary64 associate-/r*_binary64 cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64 associate-/l*_binary64
4×add-log-exp_binary64 insert-posit16
3×div-exp_binary64
2×cbrt-undiv_binary64 associate-*l*_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 *-commutative_binary64
1×1-exp_binary64 inv-pow_binary64 rec-exp_binary64 pow-flip_binary64
Counts
4 → 98
Calls
4 calls:
4.0ms
(/.f64 1 (fabs.f64 (*.f64 (*.f64 x s) c)))
5.0ms
(/.f64 (cos.f64 (*.f64 x 2)) (fabs.f64 (*.f64 (*.f64 x s) c)))
6.0ms
(*.f64 (*.f64 x s) c)
6.0ms
(*.f64 (*.f64 x s) c)

series1.2s

Counts
4 → 12
Calls
4 calls:
420.0ms
(/.f64 1 (fabs.f64 (*.f64 (*.f64 x s) c)))
449.0ms
(/.f64 (cos.f64 (*.f64 x 2)) (fabs.f64 (*.f64 (*.f64 x s) c)))
184.0ms
(*.f64 (*.f64 x s) c)
178.0ms
(*.f64 (*.f64 x s) c)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0268231
1268231
089
189
0268231
1268231
089
189
013
113
0268231
1268231
089
189
0268231
1268231
089
189
013
113
03301768
13301768
01091150
11091150
03301768
13301768
01091150
11091150
0501321
02661714
12661714
01661136
11661136
02661714
12661714
01661136
11661136
0501321

simplify170.0ms

Counts
110 → 110
Iterations

Useful iterations: 0 (142.0ms)

IterNodesCost
048071675
148071675

prune102.0ms

Filtered
70 candidates to 110 candidates (-57.1%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1082110
Fresh11112
Picked011
Done000
Total10914123

Merged error: 1.9b

Counts
123 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

4.7b
(*.f64 (*.f64 x s) c)
4.7b
(*.f64 (*.f64 x s) c)
12.3b
(sqrt.f64 (fabs.f64 (*.f64 (*.f64 x s) c)))
12.3b
(sqrt.f64 (fabs.f64 (*.f64 (*.f64 x s) c)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1_binary64
14×add-exp-log_binary64 add-cbrt-cube_binary64
10×add-sqr-sqrt_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64
6×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64 sqrt-prod_binary64
4×add-log-exp_binary64 insert-posit16
2×pow1/2_binary64 associate-*l*_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 *-commutative_binary64
Counts
4 → 66
Calls
4 calls:
7.0ms
(*.f64 (*.f64 x s) c)
6.0ms
(*.f64 (*.f64 x s) c)
2.0ms
(sqrt.f64 (fabs.f64 (*.f64 (*.f64 x s) c)))
2.0ms
(sqrt.f64 (fabs.f64 (*.f64 (*.f64 x s) c)))

series1.3s

Counts
4 → 12
Calls
4 calls:
180.0ms
(*.f64 (*.f64 x s) c)
183.0ms
(*.f64 (*.f64 x s) c)
457.0ms
(sqrt.f64 (fabs.f64 (*.f64 (*.f64 x s) c)))
465.0ms
(sqrt.f64 (fabs.f64 (*.f64 (*.f64 x s) c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
02011705
12011705
050201079
02011705
12011705
050201079
012045
112045
02011705
12011705
050201079
02011705
12011705
050201079
012045
112045
0268231
1268231
089
189
0268231
1268231
089
189
013
113
0268231
1268231
089
189
0268231
1268231
089
189
013
113

simplify114.0ms

Counts
78 → 78
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
05440796

prune72.0ms

Filtered
54 candidates to 78 candidates (-44.4%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New74478
Fresh01212
Picked101
Done101
Total761692

Merged error: 1.9b

Counts
92 → 16

regimes200.0ms

Accuracy

0% (1.0b remaining)

Error of 2.8b against oracle of 1.8b and baseline of 2.8b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02666
12666

end0.0ms

sample2.0s

Algorithm
intervals
Results
678.0ms5975×body80valid
333.0ms699×body1280valid
245.0ms709×body640valid
159.0ms1869×body80invalid
117.0ms418×body320valid
80.0ms248×body640invalid
56.0ms118×body1280invalid
37.0ms161×body320invalid
34.0ms199×body160valid
19.0ms116×body160invalid

Profiling

Loading profile data...