Details

Time bar (total: 17.2s)

sample305.0ms

Algorithm
intervals
Results
114.0ms69×body1280valid
44.0ms247×body80valid
39.0ms52×body640valid
6.0ms10×body320valid
4.0ms14×body160valid
2.0ms1×body2560valid

simplify29.0ms

Counts
1 → 1

prune47.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 35.0b

localize37.0ms

Local error

Found 4 expressions with local error:

2.6b
(* (atan2 x.im x.re) y.im)
31.3b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
31.3b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite60.0ms

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

series416.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (atan2 x.im x.re) y.im)
54.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
64.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
275.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify81.0ms

Counts
68 → 68

prune532.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 20.0b

localize86.0ms

Local error

Found 4 expressions with local error:

31.3b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
5×pow1 add-cube-cbrt *-un-lft-identity
4×add-exp-log add-cbrt-cube add-log-exp
3×sin-sum sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 39
Calls
4 calls:
16.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
19.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
30.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
19.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series728.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
219.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
208.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
250.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify67.0ms

Counts
51 → 51

prune603.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 20.0b

localize93.0ms

Local error

Found 4 expressions with local error:

34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity sin-sum add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
19.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
22.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
26.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
27.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series856.0ms

Counts
4 → 12
Calls
4 calls:
219.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
213.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
216.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
208.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify52.0ms

Counts
44 → 44

prune560.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 20.0b

localize108.0ms

Local error

Found 4 expressions with local error:

34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
34.4b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity sin-sum add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
32.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
31.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
29.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
33.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series897.0ms

Counts
4 → 12
Calls
4 calls:
227.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
211.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
222.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
236.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify32.0ms

Counts
44 → 44

prune508.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 20.0b

regimes518.0ms

Accuracy

70.3% (4.2b remaining)

Error of 24.0b against oracle of 19.8b and baseline of 34.0b

bsearch540.0ms

Steps
ItersRangePoint
11
2.162083469324273e-279
2.5094730944972556e-258
8.465221730775455e-274
9
-3.892489637040437e-63
-7.1787758491559e-72
-4.533104850875599e-70

simplify625.0ms

end0.0ms

sample9.1s

Algorithm
intervals
Results
3.5s2285×body1280valid
2.7s7964×body80valid
1.4s1432×body640valid
493.0ms532×body320valid
106.0ms47×body2560valid
86.0ms247×body160valid