Details

Time bar (total: 2.3s)

sample25.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify3.0ms

Counts
1 → 1
Iterations
IterNodes
done7
17
06

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.4b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite10.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:
10.0ms
(sqrt (+ (* re re) (* im im)))

series61.0ms

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

simplify927.0ms

Counts
19 → 19
Iterations
IterNodes
done2019
52019
4995
3435
2196
192
039

prune121.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 8.2b

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

prune5.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 8.2b

localize4.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: 8.2b

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

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 8.2b

regimes306.0ms

Accuracy

60.1% (8.9b remaining)

Error of 16.6b against oracle of 7.7b and baseline of 29.9b

bsearch100.0ms

Steps
ItersRangePoint
6
3.85174498682547e+139
1.6089905917531248e+140
1.4702178548627831e+140
5
3.6388443431761803e-190
1.3275723076839322e-189
5.785268620035206e-190
9
1.639497003581936e-240
1.0895154035376558e-232
5.284608256973942e-233
8
-4.336983712965787e+155
-4.782944500713902e+152
-6.1114247610392124e+153

simplify3.0ms

Iterations
IterNodes
done20
120
019

end0.0ms

sample703.0ms

Algorithm
intervals
Results
526.0ms8000×body80valid