Details

Time bar (total: 31.4s)

sample572.0ms

Algorithm
intervals
Results
236.0ms60×body1280valid
82.0ms254×body80valid
54.0ms40×body640valid
16.0ms15×body320valid
10.0ms12×body160valid

simplify3.0s

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.1b

localize45.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)))

rewrite68.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:
12.0ms
(* (atan2 x.im x.re) y.re)
12.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
13.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
28.0ms
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series351.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (atan2 x.im x.re) y.re)
62.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
63.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
192.0ms
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify2.2s

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

prune610.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 20.5b

localize38.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)))

rewrite54.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:
32.0ms
(exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)))
10.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
6.0ms
(* (atan2 x.im x.re) y.im)
6.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

series359.0ms

Counts
4 → 12
Calls
4 calls:
160.0ms
(exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)))
132.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
18.0ms
(* (atan2 x.im x.re) y.im)
49.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify3.1s

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

prune567.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 3.1b

localize102.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)))

rewrite65.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))
13.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
13.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
20.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

series323.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))
58.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
66.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
54.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify3.1s

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

prune775.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 3.1b

localize119.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)))

rewrite33.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)))
6.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
10.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

series322.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))
59.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
45.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
67.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify2.8s

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

prune1.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 3.1b

regimes507.0ms

Accuracy

69.4% (5.0b remaining)

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

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

simplify8.0ms

Iterations
IterNodes
done46
146
036

end0.0ms

sample10.6s

Algorithm
intervals
Results
4.1s2062×body1280valid
2.8s7998×body80valid
2.1s1438×body640valid
788.0ms682×body320valid
199.0ms316×body160valid