Details

Time bar (total: 2.0s)

sample25.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done7
17
06

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.5b

localize14.0ms

Local error

Found 1 expressions with local error:

31.5b
(sqrt (+ (* re re) (* im im)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt sqrt-prod
pow1 *-un-lft-identity sqrt-div add-cube-cbrt
rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ insert-posit16 add-log-exp
Counts
1 → 16
Calls
1 calls:
8.0ms
(sqrt (+ (* re re) (* im im)))

series58.0ms

Counts
1 → 3
Calls
1 calls:
58.0ms
(sqrt (+ (* re re) (* im im)))

simplify647.0ms

Counts
19 → 19
Iterations
IterNodes
done2002
4995
3435
2196
192
039

prune74.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 7.4b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune6.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 7.4b

localize3.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune3.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 7.4b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune1.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 7.4b

regimes282.0ms

Accuracy

55.2% (10.0b remaining)

Error of 17.4b against oracle of 7.4b and baseline of 29.7b

bsearch128.0ms

Steps
ItersRangePoint
8
3.7562700047761008e+115
7.909144391300071e+119
2.882396363471933e+117
8
6.350681973941393e-229
2.0635078534189125e-226
1.590629195950438e-228
6
-6.493281180427814e-218
-1.272279862751547e-218
-3.6726164932126896e-218
9
-3.85879787232912e+159
-2.0214746804973124e+152
-1.3377295553932065e+154

simplify4.0ms

Iterations
IterNodes
done20
120
019

end0.0ms

sample732.0ms

Algorithm
intervals
Results
563.0ms8000×body80valid