Details

Time bar (total: 9.8s)

analyze454.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
12.5%87.4%0.1%5
18.7%81.1%0.1%6
21.8%71.8%6.4%7
31.2%62.4%6.4%8
35.9%55.4%8.7%9
37.8%48.8%13.4%10
42.7%42.3%15%11
47.7%34.2%18.1%12
49.1%30.4%20.5%13
51.9%25.8%22.3%14

sample42.0ms

Algorithm
intervals
Results
13.0ms44×body2560valid
9.0ms166×body80valid
5.0ms22×body1280valid
2.0ms12×body640valid
1.0ms4×body5120valid
1.0ms25×body80nan
0.0ms5×body160valid
0.0ms3×body320valid
0.0ms7×body80invalid

simplify113.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
092824
192824

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 33.2b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
1.1b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
1.6b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
13×*-un-lft-identity_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64
7×add-cube-cbrt_binary64
6×difference-of-squares_binary64 associate-/l*_binary64 times-frac_binary64 sqrt-prod_binary64
5×pow1_binary64
4×flip3--_binary64 insert-posit16 flip--_binary64
3×distribute-lft-out--_binary64
2×associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 div-exp_binary64 sqrt-div_binary64
1×associate-/r*_binary64 pow1/2_binary64 cbrt-unprod_binary64 sqrt-pow1_binary64 div-sub_binary64 rem-sqrt-square_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 74
Calls
4 calls:
14.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.5s

Counts
4 → 12
Calls
4 calls:
344.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
438.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
236.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
470.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273
0457510
1457510
04338
14338
0457510
1457510
04338
14338
0513933
0638885
1638885
07478
17478
0638885
1638885
07478
17478
018298
118298

simplify44.0ms

Counts
86 → 86
Iterations

Useful iterations: 0 (12.0ms)

IterNodesCost
08722270
18722270

prune128.0ms

Filtered
68 candidates to 86 candidates (-26.5%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New691786
Fresh000
Picked101
Done000
Total701787

Merged error: 26.3b

Counts
87 → 17

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 a 2))
1.6b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
9.3b
(-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 a 2)) (/.f64 b (*.f64 a 2)))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity_binary64
12×add-sqr-sqrt_binary64
9×add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-prod_binary64
8×add-log-exp_binary64 times-frac_binary64
6×associate-/l*_binary64
5×pow1_binary64
4×flip3--_binary64 insert-posit16 flip--_binary64 sqrt-div_binary64
3×div-inv_binary64
2×associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 distribute-lft-out--_binary64 div-exp_binary64
1×associate-/r*_binary64 pow1/2_binary64 cbrt-unprod_binary64 distribute-rgt-out--_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 difference-of-squares_binary64 sub-div_binary64 frac-sub_binary64
Counts
4 → 76
Calls
4 calls:
11.0ms
(/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 a 2))
7.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
17.0ms
(-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 a 2)) (/.f64 b (*.f64 a 2)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.4s

Counts
4 → 12
Calls
4 calls:
320.0ms
(/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 a 2))
234.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
381.0ms
(-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (*.f64 a 2)) (/.f64 b (*.f64 a 2)))
471.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
07521086
17521086
092102
192102
07521086
17521086
092102
192102
0211103
1211103
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273
0589810
1589810
07175
17175
0589810
1589810
07175
17175
018298
118298

simplify44.0ms

Counts
88 → 88
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
08392431
18392431

prune127.0ms

Filtered
72 candidates to 88 candidates (-22.2%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New81788
Fresh61016
Picked101
Done000
Total8817105

Merged error: 26.2b

Counts
105 → 17

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (/.f64 1 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) 2))
1.1b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
1.6b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
56×add-sqr-sqrt_binary64
34×times-frac_binary64
32×*-un-lft-identity_binary64
26×add-exp-log_binary64
22×associate-*r*_binary64 add-cube-cbrt_binary64
16×add-cbrt-cube_binary64
13×associate-*l*_binary64
8×add-log-exp_binary64 prod-exp_binary64 difference-of-squares_binary64 div-exp_binary64
7×pow1_binary64 sqrt-prod_binary64
6×unswap-sqr_binary64
4×cbrt-unprod_binary64 cbrt-undiv_binary64 distribute-lft-out--_binary64 insert-posit16
3×flip3--_binary64 flip--_binary64
2×sub-neg_binary64 diff-log_binary64 1-exp_binary64 rec-exp_binary64 div-inv_binary64 sqrt-div_binary64
1×pow-prod-down_binary64 pow1/2_binary64 associate-*r/_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 109
Calls
4 calls:
23.0ms
(*.f64 (/.f64 1 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) 2))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.8s

Counts
4 → 12
Calls
4 calls:
629.0ms
(*.f64 (/.f64 1 a) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) 2))
443.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
237.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
478.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273
0457510
1457510
04338
14338
0457510
1457510
04338
14338
0513933
06761107
16761107
0359
1359
06761107
16761107
0359
1359
0557239

simplify144.0ms

Counts
121 → 121
Iterations

Useful iterations: 0 (106.0ms)

IterNodesCost
059282964

prune129.0ms

Filtered
87 candidates to 121 candidates (-39.1%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New1165121
Fresh51116
Picked011
Done000
Total12117138

Merged error: 20.9b

Counts
138 → 17

localize16.0ms

Local error

Found 4 expressions with local error:

1.6b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
3.7b
(*.f64 (/.f64 1 a) (/.f64 (/.f64 (*.f64 (*.f64 a c) -4) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) 2))
11.9b
(/.f64 (*.f64 (*.f64 a c) -4) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
24.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
98×add-exp-log_binary64
62×times-frac_binary64
58×add-cbrt-cube_binary64
49×add-sqr-sqrt_binary64
43×*-un-lft-identity_binary64
41×div-exp_binary64
35×prod-exp_binary64
34×associate-*r*_binary64
31×add-cube-cbrt_binary64
22×cbrt-undiv_binary64
19×cbrt-unprod_binary64
13×associate-*l*_binary64
8×associate-/r/_binary64
7×pow1_binary64
6×add-log-exp_binary64 unswap-sqr_binary64 div-inv_binary64
5×distribute-lft-out_binary64 1-exp_binary64 rec-exp_binary64
4×flip3-+_binary64 associate-/r*_binary64 insert-posit16 flip-+_binary64
3×sqrt-prod_binary64
2×flip3--_binary64 flip--_binary64 sqrt-div_binary64
1×pow-prod-down_binary64 sub-neg_binary64 pow1/2_binary64 diff-log_binary64 associate-*r/_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 152
Calls
4 calls:
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
34.0ms
(*.f64 (/.f64 1 a) (/.f64 (/.f64 (*.f64 (*.f64 a c) -4) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) 2))
17.0ms
(/.f64 (*.f64 (*.f64 a c) -4) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.7s

Counts
4 → 12
Calls
4 calls:
239.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
720.0ms
(*.f64 (/.f64 1 a) (/.f64 (/.f64 (*.f64 (*.f64 a c) -4) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) 2))
306.0ms
(/.f64 (*.f64 (*.f64 a c) -4) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
478.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
06711241
16711241
070471
170471
06711241
16711241
070471
170471
013
113
09141614
19141614
01631213
11631213
09141614
19141614
01631213
11631213
0497337
1497337
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273

simplify222.0ms

Counts
164 → 164
Iterations

Useful iterations: 0 (169.0ms)

IterNodesCost
049234507
149234507

prune182.0ms

Filtered
108 candidates to 164 candidates (-51.9%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New1586164
Fresh6915
Picked101
Done011
Total16516181

Merged error: 17.9b

Counts
181 → 16

regimes169.0ms

Accuracy

89.4% (1.3b remaining)

Error of 18.6b against oracle of 17.3b and baseline of 29.5b

bsearch40.0ms

Steps
ItersRangePoint
1
-2.051507763066636e-255
-1.9527411620435853e-255
-2.0268161128108735e-255
11
-1.0339422111774095e+170
-6.803585392419627e+136
-1.329384622164809e+154

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
09081
19081

end0.0ms

sample1.3s

Algorithm
intervals
Results
314.0ms1058×body2560valid
273.0ms5135×body80valid
222.0ms911×body1280valid
85.0ms449×body640valid
40.0ms113×body5120valid
34.0ms648×body80nan
34.0ms206×body320valid
21.0ms403×body80invalid
12.0ms128×body160valid

Profiling

Loading profile data...