Details

Time bar (total: 2.5s)

sample28.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify3.0ms

Counts
1 → 1
Iterations
IterNodes
done8
18
07

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.6b

localize19.0ms

Local error

Found 1 expressions with local error:

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

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

series39.0ms

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

simplify1.0s

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

prune182.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 7.7b

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

prune4.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 7.7b

localize5.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

prune2.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 7.7b

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

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 7.7b

regimes322.0ms

Accuracy

58.5% (9.9b remaining)

Error of 17.2b against oracle of 7.3b and baseline of 31.1b

bsearch107.0ms

Steps
ItersRangePoint
6
5.8387500793031636e+110
5.776542735442803e+111
3.884985694072655e+111
5
3.6388443431761803e-190
1.3275723076839322e-189
5.785268620035206e-190
9
1.639497003581936e-240
1.0895154035376558e-232
4.875955891928815e-233
8
-87.25999490770408
-0.09018726350273112
-86.01993975715544

simplify3.0ms

Iterations
IterNodes
done24
124
023

end0.0ms

sample794.0ms

Algorithm
intervals
Results
622.0ms8000×body80valid