Details

Time bar (total: 18.6s)

sample41.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify15.0ms

Counts
1 → 1
Iterations
IterNodes
done7
17
06

prune31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.3b

localize31.0ms

Local error

Found 1 expressions with local error:

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

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

series492.0ms

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

simplify14.0s

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

prune413.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 9.3b

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

prune14.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 9.3b

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

prune8.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 9.3b

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

prune1.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 9.3b

regimes2.0s

Accuracy

60.8% (9.3b remaining)

Error of 17.1b against oracle of 7.8b and baseline of 31.6b

bsearch214.0ms

Steps
ItersRangePoint
9
8.232280728626634e+118
1.616260079881983e+124
2.6832477134469e+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
-8.039547558546272e+104

simplify6.0ms

Iterations
IterNodes
done20
120
019

end0.0ms

sample1.2s

Algorithm
intervals
Results
916.0ms8000×body80valid