Details

Time bar (total: 9.9s)

analyze439.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%68.6%18.9%6
18.7%62.4%18.9%7
18.7%59.3%22%8
28.1%39%32.9%9
32.8%34.3%32.9%10
32.8%32%35.3%11
38.2%20.7%41.1%12
41%17.9%41.1%13
41%16.6%42.5%14

sample67.0ms

Algorithm
intervals
Results
30.0ms118×body320valid
23.0ms132×body160valid
3.0ms36×body80nan
1.0ms6×body80valid

simplify340.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (324.0ms)

IterNodesCost
0488348
1488348

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

Counts
2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

8.2b
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
9.4b
(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g) (*.f64 2 a)))
27.2b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
27.2b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
11×cbrt-prod_binary64
10×*-un-lft-identity_binary64
9×sqrt-prod_binary64
8×add-cube-cbrt_binary64
6×pow1_binary64 times-frac_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_binary64 insert-posit16 sqrt-div_binary64
2×cbrt-div_binary64 pow1/2_binary64 flip3--_binary64 pow1/3_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 flip--_binary64
1×distribute-lft-out--_binary64 div-inv_binary64 associate-*l/_binary64
Counts
4 → 65
Calls
4 calls:
10.0ms
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
11.0ms
(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g) (*.f64 2 a)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

series1.4s

Counts
4 → 12
Calls
4 calls:
610.0ms
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
178.0ms
(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g) (*.f64 2 a)))
313.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
313.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0303387
1303387
01215
11215
0303387
1303387
01215
11215
0490740
1490740
0303387
1303387
01215
11215
0303387
1303387
01215
11215
0490740
1490740
02011856
12011856
01121688
11121688
02011856
12011856
01121688
11121688
011750
111750
02091859
12091859
045991631
145991631
02091859
12091859
045991631
145991631
011533
111533

simplify140.0ms

Counts
77 → 77
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
052721633

prune152.0ms

Filtered
65 candidates to 77 candidates (-18.5%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New591877
Fresh011
Picked101
Done000
Total601979

Merged error: 29.4b

Counts
79 → 19

localize20.0ms

Local error

Found 4 expressions with local error:

2.6b
(-.f64 (*.f64 g g) (*.f64 h h))
8.2b
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
27.2b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
27.2b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64 sqrt-prod_binary64
6×*-un-lft-identity_binary64 add-log-exp_binary64 pow1_binary64 add-cube-cbrt_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 sqrt-div_binary64
3×flip3--_binary64 difference-of-squares_binary64 flip--_binary64
2×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
1×cbrt-div_binary64 sub-neg_binary64 diff-log_binary64 pow1/3_binary64 cbrt-prod_binary64 associate-*l/_binary64
Counts
4 → 58
Calls
4 calls:
5.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
10.0ms
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

series1.4s

Counts
4 → 12
Calls
4 calls:
174.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
606.0ms
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
316.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
314.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0303387
1303387
01215
11215
0303387
1303387
01215
11215
0490740
1490740
0303387
1303387
01215
11215
0303387
1303387
01215
11215
0490740
1490740
02091859
12091859
045991631
145991631
02091859
12091859
045991631
145991631
011533
111533
0234243
1234243
089
189
0234243
1234243
089
189
013
113

simplify121.0ms

Counts
70 → 70
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049681114
149681114

prune122.0ms

Filtered
58 candidates to 70 candidates (-20.7%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New66470
Fresh11718
Picked101
Done000
Total682189

Merged error: 29.1b

Counts
89 → 21

localize19.0ms

Local error

Found 4 expressions with local error:

2.6b
(-.f64 (*.f64 g g) (*.f64 h h))
2.6b
(-.f64 (*.f64 g g) (*.f64 h h))
27.2b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
27.2b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp_binary64 add-sqr-sqrt_binary64 sqrt-prod_binary64
6×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64
4×flip3--_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_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 → 60
Calls
4 calls:
5.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
6.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

series989.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
175.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
322.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
317.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0303387
1303387
01215
11215
0303387
1303387
01215
11215
0490740
1490740
0303387
1303387
01215
11215
0303387
1303387
01215
11215
0490740
1490740
0234243
1234243
089
189
0234243
1234243
089
189
013
113
0234243
1234243
089
189
0234243
1234243
089
189
013
113

simplify88.0ms

Counts
72 → 72
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
052071006

prune132.0ms

Filtered
58 candidates to 72 candidates (-24.1%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New68472
Fresh02020
Picked101
Done000
Total692493

Merged error: 29.1b

Counts
93 → 24

localize20.0ms

Local error

Found 4 expressions with local error:

2.6b
(-.f64 (*.f64 g g) (*.f64 h h))
8.2b
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
27.2b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
27.2b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64 sqrt-prod_binary64
6×*-un-lft-identity_binary64 add-log-exp_binary64 pow1_binary64 add-cube-cbrt_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 sqrt-div_binary64
3×flip3--_binary64 difference-of-squares_binary64 flip--_binary64
2×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
1×cbrt-div_binary64 sub-neg_binary64 diff-log_binary64 pow1/3_binary64 cbrt-prod_binary64 associate-*l/_binary64
Counts
4 → 58
Calls
4 calls:
5.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
11.0ms
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
6.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

series1.4s

Counts
4 → 12
Calls
4 calls:
177.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
624.0ms
(cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2))
323.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
323.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0303387
1303387
01215
11215
0303387
1303387
01215
11215
0490740
1490740
0303387
1303387
01215
11215
0303387
1303387
01215
11215
0490740
1490740
02091859
12091859
045991631
145991631
02091859
12091859
045991631
145991631
011533
111533
0234243
1234243
089
189
0234243
1234243
089
189
013
113

simplify122.0ms

Counts
70 → 70
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049681114
149681114

prune82.0ms

Filtered
58 candidates to 70 candidates (-20.7%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New67370
Fresh22123
Picked101
Done000
Total702494

Merged error: 29.1b

Counts
94 → 24

regimes545.0ms

Accuracy

79.8% (0.5b remaining)

Error of 31.7b against oracle of 31.2b and baseline of 33.7b

bsearch108.0ms

Steps
ItersRangePoint
10
9.781193538896124e-197
4.5644046806397075e-179
4.4760633336146326e-179

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
078160
178160

end0.0ms

sample2.0s

Algorithm
intervals
Results
953.0ms3716×body320valid
715.0ms4154×body160valid
101.0ms1189×body80nan
11.0ms130×body80valid

Profiling

Loading profile data...