Details

Time bar (total: 7.6s)

analyze230.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
15.6%84.3%0.1%6
37.5%62.4%0.1%7
46.8%53.1%0.1%8
57.8%39.8%2.4%9
64.6%30.4%5%10
71.8%20.3%7.9%11
74.1%16.2%9.7%12
77.4%10.7%12%13
78.6%8.4%13%14

sample23.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
1.0ms17×body80invalid

simplify100.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
0500129

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

Counts
2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (/.f64 1 a) (/.f64 1 b))
0.6b
(/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a)))
2.8b
(-.f64 (*.f64 b b) (*.f64 a a))
7.5b
(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
224×times-frac_binary64
157×add-sqr-sqrt_binary64
132×*-un-lft-identity_binary64
100×add-cube-cbrt_binary64
58×associate-*l*_binary64
46×difference-of-squares_binary64
19×associate-*r*_binary64 div-inv_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64
14×distribute-lft-out--_binary64
13×associate-/l*_binary64
8×add-log-exp_binary64
6×pow1_binary64 flip3--_binary64 cbrt-undiv_binary64 div-exp_binary64 flip--_binary64
4×associate-/r*_binary64 sub-neg_binary64 associate-/r/_binary64 insert-posit16
3×cbrt-unprod_binary64 associate-*r/_binary64 unswap-sqr_binary64 prod-exp_binary64 frac-sub_binary64 frac-times_binary64
2×diff-log_binary64
1×pow-prod-down_binary64 associate-/l/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 234
Calls
4 calls:
19.0ms
(-.f64 (/.f64 1 a) (/.f64 1 b))
11.0ms
(/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a)))
5.0ms
(-.f64 (*.f64 b b) (*.f64 a a))
49.0ms
(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))

series1.5s

Counts
4 → 12
Calls
4 calls:
346.0ms
(-.f64 (/.f64 1 a) (/.f64 1 b))
532.0ms
(/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a)))
174.0ms
(-.f64 (*.f64 b b) (*.f64 a a))
412.0ms
(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06732859
16732859
051212456
06732859
16732859
051212456
013
113
0234243
1234243
089
189
0234243
1234243
089
189
013
113
04282709
14282709
048642629
148642629
04282709
14282709
048642629
148642629
013
113
0302312
1302312
079
179
0302312
1302312
079
179
0548527

simplify125.0ms

Counts
246 → 246
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050636741

prune297.0ms

Filtered
202 candidates to 246 candidates (-21.8%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New23610246
Fresh101
Picked101
Done000
Total23810248

Merged error: 0.0b

Counts
248 → 10

localize11.0ms

Local error

Found 2 expressions with local error:

0.3b
(/.f64 (/.f64 PI.f64 2) (+.f64 b a))
0.3b
(/.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) 1) (*.f64 a b))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
98×times-frac_binary64
79×*-un-lft-identity_binary64
60×add-exp-log_binary64
51×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
39×add-cbrt-cube_binary64
29×div-exp_binary64
19×prod-exp_binary64
17×cbrt-undiv_binary64
14×distribute-lft-out_binary64 associate-/l*_binary64
10×cbrt-unprod_binary64
7×div-inv_binary64
6×1-exp_binary64
5×associate-/r*_binary64
2×associate-/l/_binary64 add-log-exp_binary64 pow1_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 insert-posit16
1×flip3-+_binary64 flip-+_binary64 associate-*l/_binary64
Counts
2 → 124
Calls
2 calls:
10.0ms
(/.f64 (/.f64 PI.f64 2) (+.f64 b a))
18.0ms
(/.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) 1) (*.f64 a b))

series771.0ms

Counts
2 → 6
Calls
2 calls:
244.0ms
(/.f64 (/.f64 PI.f64 2) (+.f64 b a))
528.0ms
(/.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) 1) (*.f64 a b))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06412742
16412742
049462096
149462096
06412742
16412742
049462096
149462096
049286
149286
03572622
13572622
0341899
1341899
03572622
13572622
0341899
1341899
013
113

simplify103.0ms

Counts
130 → 130
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
051382650

prune98.0ms

Filtered
81 candidates to 130 candidates (-60.5%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1273130
Fresh369
Picked011
Done000
Total13010140

Merged error: 0.0b

Counts
140 → 10

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b
(*.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) 1) (/.f64 1 (*.f64 b a)))
0.2b
(/.f64 1 (*.f64 b a))
0.3b
(/.f64 (/.f64 PI.f64 2) (+.f64 b a))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
215×add-exp-log_binary64
115×prod-exp_binary64
103×times-frac_binary64
84×*-un-lft-identity_binary64
77×div-exp_binary64
67×add-cbrt-cube_binary64
56×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
37×1-exp_binary64
26×cbrt-unprod_binary64
22×cbrt-undiv_binary64
16×rec-exp_binary64 associate-/l*_binary64
14×distribute-lft-out_binary64
11×pow1_binary64
8×div-inv_binary64
7×associate-*r*_binary64
5×associate-/r*_binary64
4×pow-prod-down_binary64
3×add-log-exp_binary64 insert-posit16 associate-*l/_binary64
2×associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 pow-flip_binary64
1×flip3-+_binary64 associate-/l/_binary64 associate-*r/_binary64 associate-*l*_binary64 inv-pow_binary64 un-div-inv_binary64 flip-+_binary64 frac-times_binary64 *-commutative_binary64
Counts
3 → 200
Calls
3 calls:
23.0ms
(*.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) 1) (/.f64 1 (*.f64 b a)))
6.0ms
(/.f64 1 (*.f64 b a))
10.0ms
(/.f64 (/.f64 PI.f64 2) (+.f64 b a))

series1.3s

Counts
3 → 9
Calls
3 calls:
690.0ms
(*.f64 (*.f64 (/.f64 (/.f64 PI.f64 2) (+.f64 b a)) 1) (/.f64 1 (*.f64 b a)))
342.0ms
(/.f64 1 (*.f64 b a))
250.0ms
(/.f64 (/.f64 PI.f64 2) (+.f64 b a))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03572622
13572622
0341899
1341899
03572622
13572622
0341899
1341899
013
113
0411312
1411312
079
179
0411312
1411312
079
179
01121
11121
08252769
18252769
053562094
08252769
18252769
053562094
049286
149286

simplify177.0ms

Counts
209 → 209
Iterations

Useful iterations: 0 (127.0ms)

IterNodesCost
050043759

prune115.0ms

Filtered
101 candidates to 209 candidates (-106.9%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New2081209
Fresh088
Picked011
Done011
Total20811219

Merged error: 0b

Counts
219 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.f64 (/.f64 PI.f64 (sqrt.f64 2)) (-.f64 b a))
0.3b
(*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 PI.f64 (sqrt.f64 2)) (-.f64 b a)))
0.4b
(/.f64 (/.f64 1 (sqrt.f64 2)) (+.f64 b a))
1.0b
(/.f64 1 (sqrt.f64 2))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
637×times-frac_binary64
451×*-un-lft-identity_binary64
426×add-sqr-sqrt_binary64
299×add-cube-cbrt_binary64
157×sqrt-prod_binary64
116×associate-*r*_binary64
54×difference-of-squares_binary64
52×distribute-lft-out--_binary64
47×associate-/l*_binary64
31×add-exp-log_binary64
25×add-cbrt-cube_binary64
24×div-inv_binary64
23×distribute-lft-out_binary64
19×associate-*l*_binary64
15×associate-/r*_binary64
14×div-exp_binary64
10×cbrt-undiv_binary64
8×pow1_binary64
6×associate-/r/_binary64
4×add-log-exp_binary64 flip3--_binary64 unswap-sqr_binary64 insert-posit16 flip--_binary64
3×cbrt-unprod_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 pow-flip_binary64 frac-times_binary64 associate-*l/_binary64
2×associate-/l/_binary64 1-exp_binary64 rec-exp_binary64 frac-sub_binary64
1×pow-prod-down_binary64 flip3-+_binary64 pow1/2_binary64 associate-*r/_binary64 sqrt-pow1_binary64 inv-pow_binary64 flip-+_binary64 *-commutative_binary64
Counts
4 → 497
Calls
4 calls:
14.0ms
(/.f64 (/.f64 PI.f64 (sqrt.f64 2)) (-.f64 b a))
78.0ms
(*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 PI.f64 (sqrt.f64 2)) (-.f64 b a)))
15.0ms
(/.f64 (/.f64 1 (sqrt.f64 2)) (+.f64 b a))
6.0ms
(/.f64 1 (sqrt.f64 2))

series933.0ms

Counts
4 → 10
Calls
4 calls:
255.0ms
(/.f64 (/.f64 PI.f64 (sqrt.f64 2)) (-.f64 b a))
466.0ms
(*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 PI.f64 (sqrt.f64 2)) (-.f64 b a)))
212.0ms
(/.f64 (/.f64 1 (sqrt.f64 2)) (+.f64 b a))
0.0ms
(/.f64 1 (sqrt.f64 2))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0326501
1326501
0149
1149
0326501
1326501
0149
1149
013
113
06352790
16352790
056842222
06352790
16352790
056842222
013
113
03752640
13752640
0241944
1241944
03752640
13752640
0241944
1241944
013
113

simplify226.0ms

Counts
507 → 507
Iterations

Useful iterations: 0 (106.0ms)

IterNodesCost
0507612823

prune590.0ms

Filtered
278 candidates to 507 candidates (-82.4%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New5061507
Fresh268
Picked101
Done112
Total5108518

Merged error: 0b

Counts
518 → 8

regimes42.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05437
15437

end0.0ms

sample638.0ms

Algorithm
intervals
Results
477.0ms8000×body80valid
22.0ms372×body80invalid

Profiling

Loading profile data...