Details

Time bar (total: 10.8s)

sample36.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify7.0ms

Counts
1 → 1
Iterations
IterNodes
done8
18
07

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.5b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite30.0ms

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

series184.0ms

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

simplify7.3s

Counts
18 → 18
Iterations
IterNodes
done5001
53338
41001
3418
2195
191
038

prune159.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 8.5b

localize7.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune15.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 8.5b

localize12.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune8.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 8.5b

localize11.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: 8.5b

regimes895.0ms

Accuracy

61% (9.6b remaining)

Error of 16.8b against oracle of 7.2b and baseline of 31.8b

bsearch292.0ms

Steps
ItersRangePoint
9
8.232280728626634e+118
1.616260079881983e+124
1.6691187520946887e+123
7
2.0138989610737437e-223
3.513292998456653e-221
2.7153963243983816e-222
6
-5.820797299615256e-262
-4.929572255277891e-263
-3.240034389533804e-262
7
-1.071997153553084e+105
-8.197004423392504e+102
-6.3511436857219e+103

simplify14.0ms

Iterations
IterNodes
done24
124
023

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.5s8000×body80valid