Details

sample30.0ms

Algorithm

intervals

Results

20.0ms

325×

body

valid

simplify20.0ms

Calls

1 calls:

Slowest

20.0ms

(- (* x.re y.re) (* x.im y.im))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* x.re y.re) (* x.im y.im))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `sub-neg` `*-un-lft-identity` `flip3--` `add-cbrt-cube` `fma-neg` `diff-log` `prod-diff` `add-exp-log` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `flip--`

Calls

1 calls:

Slowest

8.0ms

(- (* x.re y.re) (* x.im y.im))

series57.0ms

Calls

1 calls:

Slowest

57.0ms

(- (* x.re y.re) (* x.im y.im))

simplify285.0ms

Calls

6 calls:

Slowest

213.0ms	(/ (exp (* x.re y.re)) (exp (* x.im y.im)))
22.0ms	(- (* y.re x.re) (* y.im x.im))
21.0ms	(fma x.re y.re (- (* y.im x.im)))
16.0ms	(- (* y.re x.re) (* y.im x.im))
9.0ms	(fma (- y.im) x.im (* y.im x.im))

prune137.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma x.re y.re (- (* x.im y.im)))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

1 calls:

Slowest

0.0ms

(fma x.re y.re (- (* x.im y.im)))

series64.0ms

Calls

1 calls:

Slowest

64.0ms

(fma x.re y.re (- (* x.im y.im)))

simplify86.0ms

Calls

3 calls:

Slowest

44.0ms	(- (* y.re x.re) (* y.im x.im))
34.0ms	(- (* y.re x.re) (* y.im x.im))
1.0ms	0

prune196.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

34.5b	(cbrt (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))))
0.3b	(* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))
0.1b	(* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im)))
0.0b	(- (* x.re y.re) (* x.im y.im))

rewrite302.0ms

Algorithm

rewrite-expression-head

Rules

61×	`flip3--` `flip--`
60×	`frac-times`
30×	`pow1` `associate-*l/`
26×	`cbrt-div`
18×	`associate-*r/`
12×	`add-sqr-sqrt`
11×	`add-cbrt-cube` `add-exp-log`
9×	`*-un-lft-identity` `add-cube-cbrt`
7×	`pow-plus` `pow-prod-up`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `add-log-exp`
5×	`sub-neg` `prod-diff`
4×	`expm1-log1p-u` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u`
3×	`pow2` `swap-sqr` `pow-sqr`
2×	`pow3` `*-commutative` `unswap-sqr`
1×	`cbrt-prod` `fma-neg` `pow1/3` `diff-log` `rem-cbrt-cube`

Calls

4 calls:

Slowest

113.0ms	(* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im)))
86.0ms	(cbrt (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))))
82.0ms	(* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))
17.0ms	(- (* x.re y.re) (* x.im y.im))

series395.0ms

Calls

4 calls:

Slowest

208.0ms	(* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im)))
77.0ms	(* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))
55.0ms	(- (* x.re y.re) (* x.im y.im))
55.0ms	(cbrt (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))))

simplify31.8s

Calls

155 calls:

Slowest

748.0ms	(* (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))) (* (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))) (- (* x.re y.re) (* x.im y.im))))
653.0ms	(* (* (+ (* (* x.re y.re) (* x.re y.re)) (+ (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.im y.im)))) (+ (* x.re y.re) (* x.im y.im))) (+ (* (* x.re y.re) (* x.re y.re)) (+ (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.im y.im)))))
558.0ms	(* (- (* x.re y.re) (* x.im y.im)) (fma (- y.im) x.im (* y.im x.im)))
556.0ms	(* (fma (- y.im) x.im (* y.im x.im)) (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
553.0ms	(* (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))) (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im))))

prune1.9s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

34.5b	(cbrt (* (* (* (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))) (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))) (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))) (- (* x.re y.re) (* x.im y.im))))
25.7b	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
25.7b	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
25.7b	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

8042×	`cbrt-div`
8032×	`frac-times`
5121×	`flip3--` `flip--`
2648×	`associate-*l/`
1706×	`associate-*r/`
4×	`cbrt-prod` `add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `pow1/3` `add-exp-log` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

897.0ms	(cbrt (* (* (* (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))) (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))) (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))) (- (* x.re y.re) (* x.im y.im))))
38.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
36.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
19.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))

series570.0ms

Calls

4 calls:

Slowest

202.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
154.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
149.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
65.0ms	(cbrt (* (* (* (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))) (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))) (cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))) (- (* x.re y.re) (* x.im y.im))))