Details

Time bar (total: 10.7s)

sample128.0ms

Algorithm
intervals
Results
43.0ms18×body2560valid
27.0ms197×body80valid
14.0ms20×body1280valid
11.0ms256×pre80true
9.0msbody5120valid
4.0msbody640valid
1.0msbody320valid
0.0msbody160valid

simplify23.0ms

Counts
1 → 1
Iterations
IterNodes
324
224
122
012

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.7b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* xre xre) (* xim xim))
0.5b
(sqrt (* 2.0 (+ (sqrt (+ (* xre xre) (* xim xim))) xre)))
0.6b
(+ (sqrt (+ (* xre xre) (* xim xim))) xre)
30.3b
(sqrt (+ (* xre xre) (* xim xim)))

rewrite168.0ms

Algorithm
rewrite-expression-head
Rules
pow1 add-log-exp
*-un-lft-identity
add-sqr-sqrt
add-cube-cbrt
flip3-+ add-cbrt-cube sqrt-div add-exp-log sqrt-prod flip-+ insert-posit16
sqrt-pow1
+-commutative sum-log pow1/2 associate-*r/
rem-sqrt-square pow-prod-down distribute-lft-out
Counts
4 → 55
Calls
4 calls:
25.0ms
(+ (* xre xre) (* xim xim))
45.0ms
(sqrt (* 2.0 (+ (sqrt (+ (* xre xre) (* xim xim))) xre)))
81.0ms
(+ (sqrt (+ (* xre xre) (* xim xim))) xre)
16.0ms
(sqrt (+ (* xre xre) (* xim xim)))

series588.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(+ (* xre xre) (* xim xim))
367.0ms
(sqrt (* 2.0 (+ (sqrt (+ (* xre xre) (* xim xim))) xre)))
93.0ms
(+ (sqrt (+ (* xre xre) (* xim xim))) xre)
73.0ms
(sqrt (+ (* xre xre) (* xim xim)))

simplify1.6s

Counts
67 → 67
Iterations
IterNodes
33028
2868
1281
0112

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 11.0b

localize21.0ms

Local error

Found 1 expressions with local error:

0.5b
(sqrt (* 2.0 (+ xre xim)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
pow1
sqrt-pow1 sqrt-div associate-*r/
add-sqr-sqrt *-un-lft-identity flip3-+ add-cbrt-cube pow1/2 pow-prod-down add-exp-log add-cube-cbrt sqrt-prod flip-+ insert-posit16 add-log-exp
Counts
1 → 14
Calls
1 calls:
12.0ms
(sqrt (* 2.0 (+ xre xim)))

series172.0ms

Counts
1 → 3
Calls
1 calls:
172.0ms
(sqrt (* 2.0 (+ xre xim)))

simplify2.7s

Counts
17 → 17
Iterations
IterNodes
44124
31330
2453
1174
068

prune179.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 10.7b

regimes431.0ms

Accuracy

37.1% (12.0b remaining)

Error of 21.7b against oracle of 9.7b and baseline of 28.8b

bsearch212.0ms

Steps
ItersRangePoint
11
3.91010370714433e+73
4.0044935775862875e+107
1.003429067835426e+90
8
5.220499302652714e-125
9.423299488419848e-121
5.350798163973607e-125

simplify15.0ms

Iterations
IterNodes
238
138
029

end0.0ms

sample3.4s

Algorithm
intervals
Results
979.0ms6022×body80valid
736.0ms651×body2560valid
418.0ms496×body1280valid
367.0ms308×body5120valid
353.0ms8000×pre80true
158.0ms297×body640valid
145.0ms151×body320valid
19.0ms75×body160valid