Details

sample27.0ms

Algorithm

intervals

Results

17.0ms

325×

body

valid

simplify16.0ms

Calls

1 calls:

Slowest

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

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

13.0ms

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

series80.0ms

Calls

1 calls:

Slowest

80.0ms

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

simplify184.0ms

Calls

4 calls:

Slowest

126.0ms	(/ (exp (* x.re y.re)) (exp (* x.im y.im)))
31.0ms	(- (* y.re x.re) (* y.im x.im))
24.0ms	(- (* y.re x.re) (* y.im x.im))
2.0ms	0

prune190.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize16.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))

rewrite277.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×	`associate-r` `add-log-exp`
5×	`sub-neg`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16`
3×	`pow2` `swap-sqr` `pow-sqr`
2×	`pow3` `*-commutative` `unswap-sqr`
1×	`cbrt-prod` `pow1/3` `diff-log` `rem-cbrt-cube`

Calls

4 calls:

Slowest

150.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)))
69.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))))
40.0ms	(* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))
13.0ms	(- (* x.re y.re) (* x.im y.im))

series395.0ms

Calls

4 calls:

Slowest

217.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)))
88.0ms	(* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im)))
47.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))))
43.0ms	(- (* x.re y.re) (* x.im y.im))

simplify28.3s

Calls

149 calls:

Slowest

646.0ms	(* (* (- (* x.re y.re) (* x.im y.im)) (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.im y.im)))) (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)))
616.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)))))
557.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))))
514.0ms	(* (* (+ (* 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))))) (+ (* (* x.re y.re) (* x.re y.re)) (+ (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.im y.im)))))
512.0ms	(* (- (* x.im y.im)) (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))

prune1.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize32.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.0s

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` `pow1` `*-un-lft-identity` `add-cbrt-cube` `pow1/3` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`

Calls

4 calls:

Slowest

653.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))))
29.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
23.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
17.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))

series629.0ms

Calls

4 calls:

Slowest

200.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
179.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
173.0ms	(cbrt (* (- (* x.re y.re) (* x.im y.im)) (- (* x.re y.re) (* x.im y.im))))
77.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))))