Details

Time bar (total: 3.9m)

sample6.4s

Algorithm
intervals
Results
6.1s1491×body10240exit
68.0ms256×body80valid

simplify474.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
473.0ms
(* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.7b

localize70.0ms

Local error

Found 4 expressions with local error:

35.9b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
28.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
28.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
0.3b
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
10×pow1
8×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube associate-*l* add-exp-log sqrt-prod
4×sqrt-div insert-posit16 add-log-exp
3×sqrt-pow1 pow1/2 associate-*r* log-pow
2×rem-sqrt-square flip3-+ flip-+
1×sin-sum pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 63
Calls
4 calls:
Slowest
20.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
9.0ms
(* (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)))

series454.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
198.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
131.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)
65.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
61.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify2.1s

Counts
37 → 75
Calls
37 calls:
Slowest
397.0ms
(* (* (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (* (* y.im y.im) y.im))
356.0ms
(sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)))
295.0ms
(sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)))
264.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
255.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))

prune1.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 11.0b

localize61.0ms

Local error

Found 4 expressions with local error:

35.9b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
28.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
0.3b
(* (atan2 x.im x.re) y.im)
0.3b
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)

rewrite42.0ms

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

series391.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
194.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
133.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
46.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
18.0ms
(* (atan2 x.im x.re) y.im)

simplify1.8s

Counts
39 → 78
Calls
39 calls:
Slowest
380.0ms
(* (* (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (* (* y.re y.re) y.re))
290.0ms
(* (* (* (atan2 x.im x.re) (atan2 x.im x.re)) (atan2 x.im x.re)) (* (* y.im y.im) y.im))
262.0ms
(sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)))
231.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
111.0ms
(* -1 (* y.re (log (/ -1 x.re))))

prune1.4s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.2b

localize85.0ms

Local error

Found 4 expressions with local error:

35.9b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
35.9b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
35.9b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
28.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))

rewrite88.0ms

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

series572.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
186.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
172.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
161.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
53.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify1.2s

Counts
22 → 55
Calls
22 calls:
Slowest
240.0ms
(sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)))
183.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
132.0ms
(sin (- (+ (* (atan2 x.im x.re) y.re) (* y.im (log -1))) (* y.im (log (/ 1 x.re)))))
109.0ms
(sin (- (+ (* (atan2 x.im x.re) y.re) (* y.im (log -1))) (* y.im (log (/ 1 x.re)))))
106.0ms
(sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re)))))

prune1.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.2b

localize95.0ms

Local error

Found 4 expressions with local error:

35.9b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
35.9b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
35.9b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
28.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))

rewrite68.0ms

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

series621.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
219.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
177.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
166.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
59.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify1.6s

Counts
22 → 55
Calls
22 calls:
Slowest
352.0ms
(sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)))
244.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
151.0ms
(sin (- (+ (* (atan2 x.im x.re) y.re) (* y.im (log -1))) (* y.im (log (/ 1 x.re)))))
123.0ms
(sin (- (+ (* (atan2 x.im x.re) y.re) (* y.im (log -1))) (* y.im (log (/ 1 x.re)))))
121.0ms
(sin (- (+ (* (atan2 x.im x.re) y.re) (* y.im (log -1))) (* y.im (log (/ 1 x.re)))))

prune1.4s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 5.1b

regimes696.0ms

Accuracy

53.3% (6.3b remaining)

Error of 11.2b against oracle of 5.0b and baseline of 18.4b

bsearch5.5s

end0.0ms

sample3.5m

Algorithm
intervals
Results
3.4m47370×body10240exit
3.2s8000×body80valid