Details

Time bar (total: 10.2s)

analyze446.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
25%74.9%0.1%5
25%74.9%0.1%6
25%68.6%6.4%7
31.2%62.4%6.4%8
36.7%54.6%8.7%9
38.2%48.4%13.4%10
42.7%42.3%15%11
47.8%34.1%18.1%12
49.1%30.3%20.5%13
51.9%25.8%22.3%14

sample43.0ms

Algorithm
intervals
Results
13.0ms45×body2560valid
9.0ms163×body80valid
5.0ms19×body1280valid
2.0ms12×body640valid
2.0ms4×body5120valid
1.0ms25×body80nan
1.0ms6×body320valid
1.0ms7×body160valid
0.0ms7×body80invalid

simplify402.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (388.0ms)

IterNodesCost
0170824
1170824

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

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
1.6b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
22.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 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:
15.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))

series1.5s

Counts
4 → 12
Calls
4 calls:
343.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
245.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
456.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
489.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0457510
1457510
04338
14338
0457510
1457510
04338
14338
0513933
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273
0603885
1603885
07178
17178
0603885
1603885
07178
17178
018298
118298

simplify44.0ms

Counts
86 → 86
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
09322256
19322256

prune134.0ms

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

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New701686
Fresh000
Picked101
Done000
Total711687

Merged error: 27.1b

Counts
87 → 16

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 3 a) c)
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
1.6b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
22.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
10×pow1_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
8×*-un-lft-identity_binary64 add-log-exp_binary64
6×add-cube-cbrt_binary64
4×insert-posit16 sqrt-prod_binary64
3×pow-prod-down_binary64 flip3--_binary64 cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64 flip--_binary64
2×sub-neg_binary64 diff-log_binary64 difference-of-squares_binary64 sqrt-div_binary64
1×pow1/2_binary64 associate-*l*_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 distribute-lft-out--_binary64 *-commutative_binary64
Counts
4 → 62
Calls
4 calls:
7.0ms
(*.f64 (*.f64 3 a) c)
6.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
11.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))

series1.5s

Counts
4 → 12
Calls
4 calls:
285.0ms
(*.f64 (*.f64 3 a) c)
243.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
454.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
490.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
0457510
1457510
04338
14338
0457510
1457510
04338
14338
0513933
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273
0238189
1238189
02321
12321
0238189
1238189
02321
12321
057293

simplify132.0ms

Counts
74 → 74
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
048681174
148681174

prune82.0ms

Filtered
54 candidates to 74 candidates (-37.0%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New70474
Fresh51015
Picked101
Done000
Total761490

Merged error: 20.2b

Counts
90 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

1.2b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))
3.9b
(/.f64 (/.f64 (/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) 3) a)
10.6b
(/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
22.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
274×times-frac_binary64
140×*-un-lft-identity_binary64
111×add-sqr-sqrt_binary64
110×add-cube-cbrt_binary64
35×associate-/l*_binary64
33×add-exp-log_binary64 add-cbrt-cube_binary64
26×associate-/r/_binary64
18×div-inv_binary64
15×distribute-lft-out_binary64 cbrt-undiv_binary64 div-exp_binary64
14×flip3-+_binary64 flip-+_binary64
7×associate-/r*_binary64
6×add-log-exp_binary64 cbrt-unprod_binary64 prod-exp_binary64
5×pow1_binary64
4×insert-posit16
3×sqrt-prod_binary64
2×clear-num_binary64 frac-2neg_binary64 sqrt-div_binary64
1×associate-/l/_binary64 pow1/2_binary64 flip3--_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 +-commutative_binary64 flip--_binary64 sum-log_binary64
Counts
4 → 218
Calls
4 calls:
8.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))
28.0ms
(/.f64 (/.f64 (/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) 3) a)
14.0ms
(/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))

series1.7s

Counts
4 → 12
Calls
4 calls:
441.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))
459.0ms
(/.f64 (/.f64 (/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) 3) a)
318.0ms
(/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
486.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
06691234
16691234
072267
172267
06691234
16691234
072267
172267
0183
1183
09321587
19321587
013736
113736
09321587
19321587
013736
113736
05937
15937
0457510
1457510
05268
15268
0457510
1457510
05268
15268
0493615
1493615

simplify143.0ms

Counts
230 → 230
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
051049939

prune431.0ms

Filtered
185 candidates to 230 candidates (-24.3%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New2228230
Fresh21113
Picked101
Done000
Total22519244

Merged error: 16.7b

Counts
244 → 19

localize14.0ms

Local error

Found 4 expressions with local error:

1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
1.2b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))
3.9b
(/.f64 (*.f64 (neg.f64 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))) a) a)
22.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64 add-sqr-sqrt_binary64
7×add-cube-cbrt_binary64
5×pow1_binary64
4×insert-posit16
3×associate-/r*_binary64 times-frac_binary64 sqrt-prod_binary64
2×flip3--_binary64 cbrt-undiv_binary64 div-exp_binary64 flip--_binary64 sqrt-div_binary64
1×flip3-+_binary64 associate-/l/_binary64 sub-neg_binary64 pow1/2_binary64 diff-log_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 distribute-lft-neg-out_binary64 distribute-neg-frac_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 +-commutative_binary64 distribute-frac-neg_binary64 flip-+_binary64 associate-*l/_binary64 sum-log_binary64
Counts
4 → 65
Calls
4 calls:
6.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
8.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))
16.0ms
(/.f64 (*.f64 (neg.f64 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))) a) a)
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))

series1.5s

Counts
4 → 12
Calls
4 calls:
240.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
431.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))
377.0ms
(/.f64 (*.f64 (neg.f64 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))) a) a)
485.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0408465
1408465
04850
14850
0408465
1408465
04850
14850
0490115
1490115
09041531
19041531
0105483
1105483
09041531
19041531
0105483
1105483
013
113
0457510
1457510
05268
15268
0457510
1457510
05268
15268
0493615
1493615
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273

simplify97.0ms

Counts
77 → 77
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049311521
149311521

prune71.0ms

Filtered
60 candidates to 77 candidates (-28.3%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New73477
Fresh51318
Picked101
Done000
Total791796

Merged error: 16.6b

Counts
96 → 17

regimes327.0ms

Accuracy

90.6% (1.1b remaining)

Error of 18.5b against oracle of 17.3b and baseline of 29.4b

bsearch67.0ms

Steps
ItersRangePoint
9
-7.786102678067719e-284
-6.4786026421918365e-289
-2.7798465605045782e-285
11
-3.265437481715004e+162
-9.670461056759846e+142
-1.346889012582839e+154

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
09174
19174

end0.0ms

sample1.3s

Algorithm
intervals
Results
327.0ms1103×body2560valid
267.0ms5096×body80valid
221.0ms897×body1280valid
88.0ms452×body640valid
44.0ms113×body5120valid
32.0ms648×body80nan
31.0ms219×body320valid
25.0ms402×body80invalid
12.0ms120×body160valid

Profiling

Loading profile data...