Details

Time bar (total: 29.4s)

sample349.0ms

Algorithm
intervals
Results
112.0ms60×body1280valid
53.0ms254×body80valid
34.0ms40×body640valid
9.0ms15×body320valid
5.0ms12×body160valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5001
5808
4197
382
253
131
019

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.1b

localize84.0ms

Local error

Found 4 expressions with local error:

0.9b
(* (atan2 x.im x.re) y.re)
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
30.9b
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log sqrt-prod
4×sqrt-div insert-posit16 add-log-exp
3×associate-*r* associate-*l*
2×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
1×cos-sum pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 60
Calls
4 calls:
11.0ms
(* (atan2 x.im x.re) y.re)
12.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
12.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
35.0ms
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series295.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* (atan2 x.im x.re) y.re)
47.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
54.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
176.0ms
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify2.3s

Counts
72 → 72
Iterations
IterNodes
done5001
42094
3870
2412
1198
097

prune692.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 20.5b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)))
0.3b
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
0.6b
(* (atan2 x.im x.re) y.im)
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
11×pow1
10×*-un-lft-identity add-cube-cbrt
9×associate-*l*
8×add-cbrt-cube add-exp-log
7×add-log-exp
6×associate-*r*
4×insert-posit16
3×exp-prod log-pow sqrt-prod
2×sqrt-pow1 pow1/2 sqrt-div exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr rem-exp-log
1×rem-sqrt-square sub-neg flip3-+ exp-diff diff-log flip-+
Counts
4 → 73
Calls
4 calls:
35.0ms
(exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)))
22.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
11.0ms
(* (atan2 x.im x.re) y.im)
13.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

series288.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)))
113.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
18.0ms
(* (atan2 x.im x.re) y.im)
41.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify3.6s

Counts
85 → 85
Iterations
IterNodes
done5000
44812
31753
2685
1297
0137

prune610.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 3.1b

localize106.0ms

Local error

Found 4 expressions with local error:

24.4b
(cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
7×pow1 *-un-lft-identity add-cube-cbrt
6×sqrt-div
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 56
Calls
4 calls:
10.0ms
(cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))
6.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
7.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
7.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

series316.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))
46.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
54.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
49.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify3.0s

Counts
68 → 68
Iterations
IterNodes
done5001
53766
41209
3551
2265
1130
060

prune856.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 3.1b

localize137.0ms

Local error

Found 4 expressions with local error:

24.4b
(cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
7×pow1 *-un-lft-identity add-cube-cbrt
6×sqrt-div
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 56
Calls
4 calls:
18.0ms
(cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))
20.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
12.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
12.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

series324.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))
60.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
48.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
51.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify3.0s

Counts
68 → 68
Iterations
IterNodes
done5001
53766
41209
3551
2265
1130
060

prune836.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 3.1b

regimes587.0ms

Accuracy

69.4% (5.0b remaining)

Error of 8.6b against oracle of 3.6b and baseline of 20.1b

bsearch302.0ms

Steps
ItersRangePoint
8
-2.439564962497264e-306
1.2873264571255324e-307
-4.2640896224449e-310
3
-3.6539480182871386e-164
-2.7629713230024924e-164
-2.9130712528480477e-164
5
-4.535964318370555e-06
-1.254342544040049e-06
-1.8407009899098441e-06

simplify17.0ms

Iterations
IterNodes
done46
146
037

end0.0ms

sample8.4s

Algorithm
intervals
Results
3.2s2062×body1280valid
2.2s7998×body80valid
2.0s1438×body640valid
449.0ms682×body320valid
150.0ms316×body160valid