Details

Time bar (total: 7.3s)

analyze418.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
18.7%76.5%4.8%7
28.1%66.3%5.6%8
35.1%55%9.9%9
36.3%50.9%12.8%10
42.1%42.4%15.5%11
47.5%33.8%18.7%12
48.8%30.7%20.6%13
51.8%25.6%22.5%14

sample44.0ms

Algorithm
intervals
Results
13.0ms40×body2560valid
8.0ms160×body80valid
6.0ms29×body1280valid
2.0ms12×body640valid
1.0ms4×body5120valid
1.0ms24×body80nan
1.0ms6×body320valid
0.0ms5×body160valid
0.0ms5×body80invalid

simplify157.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
031018
131018

prune6.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: 37.0b

Counts
2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) a)
1.3b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)
1.4b
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
26.3b
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))

rewrite241.0ms

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

series970.0ms

Counts
4 → 12
Calls
4 calls:
300.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) a)
246.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)
189.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
235.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0357387
1357387
01315
11315
0357387
1357387
01315
11315
011533
111533
0282243
1282243
099
199
0282243
1282243
099
199
013
113
0406432
1406432
01415
11415
0406432
1406432
01415
11415
011533
111533
0552705
1552705
099
199
0552705
1552705
099
199
013
113

simplify113.0ms

Counts
98 → 98
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
048822130
148822130

prune102.0ms

Filtered
74 candidates to 98 candidates (-32.4%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New841498
Fresh000
Picked011
Done000
Total841599

Merged error: 25.4b

Counts
99 → 15

localize11.0ms

Local error

Found 4 expressions with local error:

1.4b
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
3.9b
(/.f64 (/.f64 (neg.f64 (*.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))) a)
13.5b
(/.f64 (neg.f64 (*.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))
26.3b
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
210×times-frac_binary64
154×*-un-lft-identity_binary64
93×add-sqr-sqrt_binary64
92×add-cube-cbrt_binary64
36×associate-/l*_binary64
31×distribute-lft-out_binary64
21×neg-mul-1_binary64 distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
10×associate-/r/_binary64
7×associate-/r*_binary64
6×add-log-exp_binary64 div-inv_binary64
5×flip3-+_binary64 pow1_binary64 flip-+_binary64
4×cbrt-undiv_binary64 div-exp_binary64 insert-posit16
3×div-sub_binary64 distribute-frac-neg_binary64 sqrt-prod_binary64
2×flip3--_binary64 neg-sub0_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64 sqrt-div_binary64
1×associate-/l/_binary64 sub-neg_binary64 pow1/2_binary64 diff-log_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
Counts
4 → 220
Calls
4 calls:
5.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
17.0ms
(/.f64 (/.f64 (neg.f64 (*.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))) a)
11.0ms
(/.f64 (neg.f64 (*.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))

series1.0s

Counts
4 → 12
Calls
4 calls:
188.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
349.0ms
(/.f64 (/.f64 (neg.f64 (*.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))) a)
284.0ms
(/.f64 (neg.f64 (*.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))
228.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0357387
1357387
01315
11315
0357387
1357387
01315
11315
011533
111533
05851067
15851067
0209
1209
05851067
15851067
0209
1209
013
113
07161344
17161344
076477
176477
07161344
17161344
076477
176477
013
113
0282243
1282243
099
199
0282243
1282243
099
199
013
113

simplify160.0ms

Counts
232 → 232
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
054218042

prune182.0ms

Filtered
175 candidates to 232 candidates (-32.6%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New2266232
Fresh31013
Picked101
Done101
Total23116247

Merged error: 20.4b

Counts
247 → 16

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (neg.f64 c) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))
0.8b
(+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))
1.4b
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
26.3b
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity_binary64
40×times-frac_binary64
32×add-sqr-sqrt_binary64
31×add-cube-cbrt_binary64
15×distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
12×distribute-lft-out_binary64
10×associate-/l*_binary64
8×add-log-exp_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
5×pow1_binary64 neg-mul-1_binary64
4×associate-/r*_binary64 insert-posit16
3×sqrt-prod_binary64
2×flip3-+_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64 flip-+_binary64 sqrt-div_binary64
1×sub-neg_binary64 pow1/2_binary64 diff-log_binary64 neg-sub0_binary64 cbrt-undiv_binary64 sqrt-pow1_binary64 div-sub_binary64 rem-sqrt-square_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 distribute-frac-neg_binary64 sum-log_binary64
Counts
4 → 112
Calls
4 calls:
12.0ms
(/.f64 (neg.f64 c) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))
7.0ms
(+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))
5.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))

series974.0ms

Counts
4 → 12
Calls
4 calls:
309.0ms
(/.f64 (neg.f64 c) (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))
246.0ms
(+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))
189.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
229.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0357387
1357387
01315
11315
0357387
1357387
01315
11315
011533
111533
0282243
1282243
099
199
0282243
1282243
099
199
013
113
0406432
1406432
01415
11415
0406432
1406432
01415
11415
011533
111533
0560959
1560959
0189
1189
0560959
1560959
0189
1189
013
113

simplify124.0ms

Counts
124 → 124
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
048823048
148823048

prune103.0ms

Filtered
91 candidates to 124 candidates (-36.3%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New1213124
Fresh21315
Picked011
Done000
Total12317140

Merged error: 20.0b

Counts
140 → 17

localize15.0ms

Local error

Found 4 expressions with local error:

1.4b
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
1.4b
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
26.3b
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
26.3b
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))

rewrite22.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:
5.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
5.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))

series842.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
189.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
225.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
240.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0357387
1357387
01315
11315
0357387
1357387
01315
11315
011533
111533
0357387
1357387
01315
11315
0357387
1357387
01315
11315
011533
111533
0282243
1282243
099
199
0282243
1282243
099
199
013
113
0282243
1282243
099
199
0282243
1282243
099
199
013
113

simplify203.0ms

Counts
68 → 68
Iterations

Useful iterations: 0 (180.0ms)

IterNodesCost
04887984
14887984

prune63.0ms

Filtered
56 candidates to 68 candidates (-21.4%)
Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New68068
Fresh01515
Picked011
Done011
Total681785

Merged error: 20.0b

Counts
85 → 17

regimes183.0ms

Accuracy

98.1% (0.2b remaining)

Error of 17.6b against oracle of 17.4b and baseline of 29.6b

bsearch99.0ms

Steps
ItersRangePoint
8
6.4070354416359315e+153
1.1502734305277993e+157
1.3298179802620744e+154
9
-3.1793016372910413e-249
-7.073177060659448e-255
-1.222250058320258e-250
10
-6.016914184982428e+158
-4.048112027507178e+144
-1.3358971003603176e+154

simplify9.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
010879
110879

end0.0ms

sample1.1s

Algorithm
intervals
Results
270.0ms1071×body2560valid
232.0ms5062×body80valid
201.0ms962×body1280valid
81.0ms477×body640valid
31.0ms731×body80nan
30.0ms91×body5120valid
27.0ms224×body320valid
11.0ms249×body80invalid
9.0ms113×body160valid

Profiling

Loading profile data...