Details

Time bar (total: 11.3s)

analyze524.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
12.5%87.4%0.1%6
20.3%73.3%6.4%7
27.3%66.3%6.4%8
38.2%53%8.7%9
46%40.6%13.4%10
49.9%35.1%15%11
54.9%26.9%18.1%12
57.4%22%20.6%13
59.7%18%22.4%14

sample38.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
2.0ms22×body80nan
1.0ms17×body80invalid

simplify230.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
0122554
1122554

prune9.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: 20.1b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

1.4b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
1.4b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp_binary64 add-sqr-sqrt_binary64
6×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 sqrt-prod_binary64
4×flip3--_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip--_binary64 sqrt-div_binary64
2×sub-neg_binary64 pow1/2_binary64 diff-log_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
Counts
4 → 56
Calls
4 calls:
6.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
205.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.5s

Counts
4 → 12
Calls
4 calls:
249.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
251.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
486.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
496.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
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273

simplify123.0ms

Counts
68 → 68
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
049091158
149091158

prune126.0ms

Filtered
52 candidates to 68 candidates (-30.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New59968
Fresh000
Picked101
Done000
Total60969

Merged error: 17.4b

Counts
69 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

9.5b
(-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
9×sqrt-prod_binary64
8×add-log-exp_binary64
7×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64
6×sqrt-div_binary64
4×flip3--_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip--_binary64
3×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
2×diff-log_binary64
1×sub-neg_binary64 associate--l-_binary64 neg-sub0_binary64 neg-log_binary64 difference-of-squares_binary64
Counts
4 → 63
Calls
4 calls:
6.0ms
(-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(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.9s

Counts
4 → 12
Calls
4 calls:
392.0ms
(-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
488.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
484.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
487.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (240.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
06131485
16131485
0133555
1133555
06131485
16131485
0133555
1133555
02215
12215

simplify112.0ms

Counts
75 → 75
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
048991450
148991450

prune153.0ms

Filtered
59 candidates to 75 candidates (-27.1%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New73275
Fresh178
Picked101
Done000
Total75984

Merged error: 17.4b

Counts
84 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

10.0b
(+.f64 (neg.f64 b) (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.9b
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.9b
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp_binary64 add-sqr-sqrt_binary64
7×*-un-lft-identity_binary64 add-cube-cbrt_binary64
6×cbrt-prod_binary64
5×pow1_binary64
4×cbrt-div_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
3×flip3--_binary64 flip--_binary64 sqrt-prod_binary64
2×pow1/3_binary64 sqrt-div_binary64 sum-log_binary64
1×flip3-+_binary64 pow1/2_binary64 neg-sub0_binary64 associate-+l-_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 neg-log_binary64 +-commutative_binary64 flip-+_binary64
Counts
4 → 58
Calls
4 calls:
6.0ms
(+.f64 (neg.f64 b) (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series2.2s

Counts
4 → 12
Calls
4 calls:
238.0ms
(+.f64 (neg.f64 b) (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
489.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
747.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
767.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (242.0ms)

IterNodesCost
01501749
11501749
021181584
121181584
01501749
11501749
021181584
121181584
011533
111533
01501749
11501749
021181584
121181584
01501749
11501749
021181584
121181584
011533
111533
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
04262052
14262052
01611759
11611759
04262052
14262052
01611759
11611759
031962
131962

simplify120.0ms

Counts
70 → 70
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
051051773

prune174.0ms

Filtered
62 candidates to 70 candidates (-12.9%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New66470
Fresh268
Picked011
Done000
Total681179

Merged error: 17.4b

Counts
79 → 11

localize29.0ms

Local error

Found 4 expressions with local error:

22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.9b
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
9×sqrt-prod_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64
7×pow1_binary64
6×sqrt-div_binary64
4×add-log-exp_binary64 flip3--_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip--_binary64
3×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 cbrt-prod_binary64
2×cbrt-div_binary64
1×pow1/3_binary64
Counts
4 → 62
Calls
4 calls:
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series2.2s

Counts
4 → 12
Calls
4 calls:
489.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
484.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
490.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
757.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Iterations

Useful iterations: 0 (238.0ms)

IterNodesCost
01501749
11501749
021181584
121181584
01501749
11501749
021181584
121181584
011533
111533
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115

simplify149.0ms

Counts
74 → 74
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
048111389
148111389

prune179.0ms

Filtered
61 candidates to 74 candidates (-21.3%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New74074
Fresh099
Picked011
Done011
Total741185

Merged error: 17.4b

Counts
85 → 11

regimes128.0ms

Accuracy

51.1% (1.3b remaining)

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

bsearch57.0ms

Steps
ItersRangePoint
11
-2.964369494684328e+166
-1.5082144881600884e+144
-1.3522167633786172e+154

simplify9.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0105127
1105127

end0.0ms

sample997.0ms

Algorithm
intervals
Results
702.0ms8000×body80valid
55.0ms684×body80nan
33.0ms396×body80invalid

Profiling

Loading profile data...