Details

Algorithm

intervals

Results

Counts

1 → 1

Iterations

Useful iterations: 2 (12.0ms)

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.1b

Local error

Found 4 expressions with local error:

0.3b	(/ (* (pow (hypot x.re x.im) y.re) (cos (fma (log (hypot x.re x.im)) y.im (* (atan2 x.im x.re) y.re)))) (exp (* (atan2 x.im x.re) y.im)))
1.1b	(* (atan2 x.im x.re) y.im)
1.2b	(* (atan2 x.im x.re) y.re)
32.1b	(cos (fma (log (hypot x.re x.im)) y.im (* (atan2 x.im x.re) y.re)))

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-sqr-sqrt`
13×	`add-cbrt-cube`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`pow1`
6×	`associate-r` `associate-l`
5×	`prod-exp`
4×	`expm1-log1p-u` `div-exp` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `pow-prod-down` `*-commutative` `unswap-sqr`
1×	`pow-to-exp` `cos-sum` `frac-2neg` `pow-exp` `clear-num` `fma-udef` `div-inv` `associate-/l*`

Counts

4 → 75

Calls

4 calls:

5.0ms	(/ (* (pow (hypot x.re x.im) y.re) (cos (fma (log (hypot x.re x.im)) y.im (* (atan2 x.im x.re) y.re)))) (exp (* (atan2 x.im x.re) y.im)))
3.0ms	(* (atan2 x.im x.re) y.im)
3.0ms	(* (atan2 x.im x.re) y.re)
3.0ms	(cos (fma (log (hypot x.re x.im)) y.im (* (atan2 x.im x.re) y.re)))

Counts

4 → 12

Calls

4 calls:

327.0ms	(/ (* (pow (hypot x.re x.im) y.re) (cos (fma (log (hypot x.re x.im)) y.im (* (atan2 x.im x.re) y.re)))) (exp (* (atan2 x.im x.re) y.im)))
17.0ms	(* (atan2 x.im x.re) y.im)
17.0ms	(* (atan2 x.im x.re) y.re)
168.0ms	(cos (fma (log (hypot x.re x.im)) y.im (* (atan2 x.im x.re) y.re)))

Iterations

Useful iterations: 2 (91.0ms)