Details

sample7.3s

Algorithm

intervals

Results

7.0s	1587×	body	10240	exit
108.0ms	256×	body	80	valid

simplify3.3s

Counts: 1 → 1

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.4b

localize89.0ms

Local error

Found 4 expressions with local error:

36.2b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
26.9b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
26.9b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
0.3b	(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)

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

23.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
13.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
12.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
10.0ms	(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)

series452.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

219.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
133.0ms	(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)
52.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
48.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify1.0s

Counts: 75 → 75

prune1.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 9.5b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
10×	`pow1`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`add-cbrt-cube` `add-exp-log`
7×	`associate-l`
6×	`associate-r`
4×	`insert-posit16` `add-log-exp`
3×	`sqrt-prod`
2×	`sqrt-div` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `sin-sum` `log-pow` `flip-+`

Counts

4 → 64

Calls

4 calls:

Slowest

19.0ms	(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
14.0ms	(* (log (- x.re)) y.im)
12.0ms	(* (atan2 x.im x.re) y.im)
12.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))

series410.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

216.0ms	(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
104.0ms	(* (log (- x.re)) y.im)
58.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
32.0ms	(* (atan2 x.im x.re) y.im)

simplify2.4s

Counts: 76 → 76

prune2.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.0b

localize93.0ms

Local error

Found 4 expressions with local error:

36.1b	(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
0.3b	(* (log (- x.re)) y.im)
0.3b	(* (atan2 x.im x.re) y.im)
0.2b	(* (atan2 x.im x.re) y.re)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
11×	`pow1`
10×	`-un-lft-identity` `add-cbrt-cube` `associate-l*` `add-exp-log` `add-cube-cbrt`
9×	`associate-r`
4×	`insert-posit16` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sin-sum` `log-pow`

Counts

4 → 67

Calls

4 calls:

Slowest

20.0ms	(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
10.0ms	(* (atan2 x.im x.re) y.im)
9.0ms	(* (atan2 x.im x.re) y.re)
7.0ms	(* (log (- x.re)) y.im)

series361.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

212.0ms	(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
90.0ms	(* (log (- x.re)) y.im)
31.0ms	(* (atan2 x.im x.re) y.re)
28.0ms	(* (atan2 x.im x.re) y.im)

simplify1.1s

Counts: 79 → 79

prune1.6s

Pruning

15 alts after pruning (12 fresh and 3 done)

Merged error: 4.9b

localize97.0ms

Local error

Found 4 expressions with local error:

36.0b	(sin (+ (* (* (cbrt (* (log (- x.re)) y.im)) (cbrt (* (log (- x.re)) y.im))) (cbrt (* (log (- x.re)) y.im))) (* (atan2 x.im x.re) y.re)))
0.6b	(cbrt (* (log (- x.re)) y.im))
0.6b	(cbrt (* (log (- x.re)) y.im))
0.6b	(cbrt (* (log (- x.re)) y.im))

rewrite138.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`
3×	`cbrt-prod` `pow1/3`
1×	`sin-sum`

Counts

4 → 39

Calls

4 calls:

Slowest

128.0ms	(sin (+ (* (* (cbrt (* (log (- x.re)) y.im)) (cbrt (* (log (- x.re)) y.im))) (cbrt (* (log (- x.re)) y.im))) (* (atan2 x.im x.re) y.re)))
3.0ms	(cbrt (* (log (- x.re)) y.im))
3.0ms	(cbrt (* (log (- x.re)) y.im))
3.0ms	(cbrt (* (log (- x.re)) y.im))

series879.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

248.0ms	(sin (+ (* (* (cbrt (* (log (- x.re)) y.im)) (cbrt (* (log (- x.re)) y.im))) (cbrt (* (log (- x.re)) y.im))) (* (atan2 x.im x.re) y.re)))
213.0ms	(cbrt (* (log (- x.re)) y.im))
212.0ms	(cbrt (* (log (- x.re)) y.im))
207.0ms	(cbrt (* (log (- x.re)) y.im))

simplify1.4s

Counts: 51 → 51

prune1.4s

Pruning

17 alts after pruning (14 fresh and 3 done)

Merged error: 4.9b

regimes1.5s

Accuracy

49.4% (5.4b remaining)

Error of 10.4b against oracle of 4.9b and baseline of 15.6b

bsearch14.0ms

end0.0ms

sample3.4m

Algorithm

intervals

Results

3.3m	47270×	body	10240	exit
3.0s	8000×	body	80	valid