68.772 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.064 * * * [progress]: [2/2] Setting up program.
0.067 * [progress]: [Phase 2 of 3] Improving.
0.067 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im) (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)))>
0.067 * [simplify]: Simplifying:
  (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
0.067 * * [simplify]: iteration 0: 11 enodes
0.072 * * [simplify]: iteration 1: 20 enodes
0.076 * * [simplify]: iteration 2: 51 enodes
0.088 * * [simplify]: iteration 3: 121 enodes
0.128 * * [simplify]: iteration 4: 245 enodes
0.236 * * [simplify]: iteration 5: 597 enodes
0.468 * * [simplify]: iteration 6: 1214 enodes
0.923 * * [simplify]: iteration complete: 2001 enodes
0.923 * * [simplify]: Extracting #0: cost 1 inf + 0
0.923 * * [simplify]: Extracting #1: cost 76 inf + 0
0.924 * * [simplify]: Extracting #2: cost 326 inf + 1
0.927 * * [simplify]: Extracting #3: cost 324 inf + 10580
0.953 * * [simplify]: Extracting #4: cost 84 inf + 59451
0.972 * * [simplify]: Extracting #5: cost 1 inf + 75906
1.004 * * [simplify]: Extracting #6: cost 0 inf + 75521
1.043 * [simplify]: Simplified to:
  (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))
1.051 * * [progress]: iteration 1 / 4
1.051 * * * [progress]: picking best candidate
1.059 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))>
1.059 * * * [progress]: localizing error
1.087 * * * [progress]: generating rewritten candidates
1.087 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.147 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
1.160 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.186 * * * [progress]: generating series expansions
1.186 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.186 * [backup-simplify]: Simplify (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))) into (* x.im (- (* 3 (pow x.re 2)) (pow x.im 2)))
1.186 * [approximate]: Taking taylor expansion of (* x.im (- (* 3 (pow x.re 2)) (pow x.im 2))) in (x.im x.re) around 0
1.186 * [taylor]: Taking taylor expansion of (* x.im (- (* 3 (pow x.re 2)) (pow x.im 2))) in x.re
1.186 * [taylor]: Taking taylor expansion of x.im in x.re
1.186 * [backup-simplify]: Simplify x.im into x.im
1.186 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.re 2)) (pow x.im 2)) in x.re
1.186 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re
1.186 * [taylor]: Taking taylor expansion of 3 in x.re
1.186 * [backup-simplify]: Simplify 3 into 3
1.186 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.186 * [taylor]: Taking taylor expansion of x.re in x.re
1.186 * [backup-simplify]: Simplify 0 into 0
1.186 * [backup-simplify]: Simplify 1 into 1
1.186 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.186 * [taylor]: Taking taylor expansion of x.im in x.re
1.187 * [backup-simplify]: Simplify x.im into x.im
1.187 * [taylor]: Taking taylor expansion of (* x.im (- (* 3 (pow x.re 2)) (pow x.im 2))) in x.im
1.187 * [taylor]: Taking taylor expansion of x.im in x.im
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.187 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.re 2)) (pow x.im 2)) in x.im
1.187 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.im
1.187 * [taylor]: Taking taylor expansion of 3 in x.im
1.187 * [backup-simplify]: Simplify 3 into 3
1.187 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.187 * [taylor]: Taking taylor expansion of x.re in x.im
1.187 * [backup-simplify]: Simplify x.re into x.re
1.187 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.187 * [taylor]: Taking taylor expansion of x.im in x.im
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.187 * [taylor]: Taking taylor expansion of (* x.im (- (* 3 (pow x.re 2)) (pow x.im 2))) in x.im
1.187 * [taylor]: Taking taylor expansion of x.im in x.im
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.187 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.re 2)) (pow x.im 2)) in x.im
1.187 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.im
1.187 * [taylor]: Taking taylor expansion of 3 in x.im
1.187 * [backup-simplify]: Simplify 3 into 3
1.187 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.187 * [taylor]: Taking taylor expansion of x.re in x.im
1.187 * [backup-simplify]: Simplify x.re into x.re
1.187 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.187 * [taylor]: Taking taylor expansion of x.im in x.im
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.187 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
1.187 * [backup-simplify]: Simplify (* 3 (pow x.re 2)) into (* 3 (pow x.re 2))
1.188 * [backup-simplify]: Simplify (+ (* 3 (pow x.re 2)) 0) into (* 3 (pow x.re 2))
1.188 * [backup-simplify]: Simplify (* 0 (* 3 (pow x.re 2))) into 0
1.188 * [taylor]: Taking taylor expansion of 0 in x.re
1.188 * [backup-simplify]: Simplify 0 into 0
1.188 * [backup-simplify]: Simplify 0 into 0
1.188 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
1.189 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow x.re 2))) into 0
1.189 * [backup-simplify]: Simplify (+ 0 0) into 0
1.190 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* 3 (pow x.re 2)))) into (* 3 (pow x.re 2))
1.190 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re
1.190 * [taylor]: Taking taylor expansion of 3 in x.re
1.190 * [backup-simplify]: Simplify 3 into 3
1.190 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.190 * [taylor]: Taking taylor expansion of x.re in x.re
1.190 * [backup-simplify]: Simplify 0 into 0
1.190 * [backup-simplify]: Simplify 1 into 1
1.190 * [backup-simplify]: Simplify 0 into 0
1.190 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (* 0 x.re))) into 0
1.191 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow x.re 2)))) into 0
1.191 * [backup-simplify]: Simplify (* 1 1) into 1
1.192 * [backup-simplify]: Simplify (- 1) into -1
1.192 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.193 * [backup-simplify]: Simplify (+ (* 0 -1) (+ (* 1 0) (* 0 (* 3 (pow x.re 2))))) into 0
1.193 * [taylor]: Taking taylor expansion of 0 in x.re
1.193 * [backup-simplify]: Simplify 0 into 0
1.193 * [backup-simplify]: Simplify 0 into 0
1.193 * [backup-simplify]: Simplify 0 into 0
1.194 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.195 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x.re 2))))) into 0
1.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.196 * [backup-simplify]: Simplify (- 0) into 0
1.196 * [backup-simplify]: Simplify (+ 0 0) into 0
1.198 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 -1) (+ (* 0 0) (* 0 (* 3 (pow x.re 2)))))) into (- 1)
1.198 * [taylor]: Taking taylor expansion of (- 1) in x.re
1.198 * [taylor]: Taking taylor expansion of 1 in x.re
1.198 * [backup-simplify]: Simplify 1 into 1
1.198 * [backup-simplify]: Simplify (- 1) into -1
1.198 * [backup-simplify]: Simplify -1 into -1
1.198 * [backup-simplify]: Simplify 0 into 0
1.199 * [backup-simplify]: Simplify (* 1 1) into 1
1.199 * [backup-simplify]: Simplify (* 3 1) into 3
1.199 * [backup-simplify]: Simplify 3 into 3
1.199 * [backup-simplify]: Simplify 0 into 0
1.201 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0
1.203 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x.re 2)))))) into 0
1.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.204 * [backup-simplify]: Simplify (- 0) into 0
1.204 * [backup-simplify]: Simplify (+ 0 0) into 0
1.206 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 -1) (+ (* 0 0) (* 0 (* 3 (pow x.re 2))))))) into 0
1.206 * [taylor]: Taking taylor expansion of 0 in x.re
1.206 * [backup-simplify]: Simplify 0 into 0
1.206 * [backup-simplify]: Simplify 0 into 0
1.206 * [backup-simplify]: Simplify (- 0) into 0
1.206 * [backup-simplify]: Simplify 0 into 0
1.206 * [backup-simplify]: Simplify 0 into 0
1.207 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.208 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.208 * [backup-simplify]: Simplify 0 into 0
1.208 * [backup-simplify]: Simplify 0 into 0
1.208 * [backup-simplify]: Simplify (+ (* 3 (* (pow x.re 2) x.im)) (* -1 (pow (* 1 x.im) 3))) into (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3))
1.208 * [backup-simplify]: Simplify (* (/ 1 x.im) (- (* (* 3 (/ 1 x.re)) (/ 1 x.re)) (* (/ 1 x.im) (/ 1 x.im)))) into (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im)
1.208 * [approximate]: Taking taylor expansion of (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im) in (x.im x.re) around 0
1.208 * [taylor]: Taking taylor expansion of (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im) in x.re
1.208 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.re
1.208 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re
1.208 * [taylor]: Taking taylor expansion of 3 in x.re
1.208 * [backup-simplify]: Simplify 3 into 3
1.208 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re
1.208 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.208 * [taylor]: Taking taylor expansion of x.re in x.re
1.209 * [backup-simplify]: Simplify 0 into 0
1.209 * [backup-simplify]: Simplify 1 into 1
1.209 * [backup-simplify]: Simplify (* 1 1) into 1
1.209 * [backup-simplify]: Simplify (/ 1 1) into 1
1.209 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re
1.209 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.209 * [taylor]: Taking taylor expansion of x.im in x.re
1.209 * [backup-simplify]: Simplify x.im into x.im
1.209 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.210 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2))
1.210 * [taylor]: Taking taylor expansion of x.im in x.re
1.210 * [backup-simplify]: Simplify x.im into x.im
1.210 * [backup-simplify]: Simplify (* 3 1) into 3
1.210 * [backup-simplify]: Simplify (+ 3 0) into 3
1.210 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
1.211 * [taylor]: Taking taylor expansion of (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im) in x.im
1.211 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.im
1.211 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.im
1.211 * [taylor]: Taking taylor expansion of 3 in x.im
1.211 * [backup-simplify]: Simplify 3 into 3
1.211 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im
1.211 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.211 * [taylor]: Taking taylor expansion of x.re in x.im
1.211 * [backup-simplify]: Simplify x.re into x.re
1.211 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
1.211 * [backup-simplify]: Simplify (/ 1 (pow x.re 2)) into (/ 1 (pow x.re 2))
1.211 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
1.211 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.211 * [taylor]: Taking taylor expansion of x.im in x.im
1.211 * [backup-simplify]: Simplify 0 into 0
1.211 * [backup-simplify]: Simplify 1 into 1
1.211 * [backup-simplify]: Simplify (* 1 1) into 1
1.212 * [backup-simplify]: Simplify (/ 1 1) into 1
1.212 * [taylor]: Taking taylor expansion of x.im in x.im
1.212 * [backup-simplify]: Simplify 0 into 0
1.212 * [backup-simplify]: Simplify 1 into 1
1.212 * [backup-simplify]: Simplify (- 1) into -1
1.213 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.213 * [backup-simplify]: Simplify (/ -1 1) into -1
1.213 * [taylor]: Taking taylor expansion of (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im) in x.im
1.213 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.im
1.213 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.im
1.213 * [taylor]: Taking taylor expansion of 3 in x.im
1.213 * [backup-simplify]: Simplify 3 into 3
1.213 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im
1.213 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.213 * [taylor]: Taking taylor expansion of x.re in x.im
1.213 * [backup-simplify]: Simplify x.re into x.re
1.213 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
1.213 * [backup-simplify]: Simplify (/ 1 (pow x.re 2)) into (/ 1 (pow x.re 2))
1.213 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
1.214 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.214 * [taylor]: Taking taylor expansion of x.im in x.im
1.214 * [backup-simplify]: Simplify 0 into 0
1.214 * [backup-simplify]: Simplify 1 into 1
1.214 * [backup-simplify]: Simplify (* 1 1) into 1
1.214 * [backup-simplify]: Simplify (/ 1 1) into 1
1.214 * [taylor]: Taking taylor expansion of x.im in x.im
1.214 * [backup-simplify]: Simplify 0 into 0
1.214 * [backup-simplify]: Simplify 1 into 1
1.215 * [backup-simplify]: Simplify (- 1) into -1
1.215 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.216 * [backup-simplify]: Simplify (/ -1 1) into -1
1.216 * [taylor]: Taking taylor expansion of -1 in x.re
1.216 * [backup-simplify]: Simplify -1 into -1
1.216 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.217 * [backup-simplify]: Simplify (- 0) into 0
1.218 * [backup-simplify]: Simplify (+ 0 0) into 0
1.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.219 * [taylor]: Taking taylor expansion of 0 in x.re
1.219 * [backup-simplify]: Simplify 0 into 0
1.219 * [backup-simplify]: Simplify (* 3 (/ 1 (pow x.re 2))) into (/ 3 (pow x.re 2))
1.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.569 * [backup-simplify]: Simplify (- 0) into 0
1.569 * [backup-simplify]: Simplify (+ (/ 3 (pow x.re 2)) 0) into (* 3 (/ 1 (pow x.re 2)))
1.570 * [backup-simplify]: Simplify (- (/ (* 3 (/ 1 (pow x.re 2))) 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into (* 3 (/ 1 (pow x.re 2)))
1.570 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re
1.570 * [taylor]: Taking taylor expansion of 3 in x.re
1.570 * [backup-simplify]: Simplify 3 into 3
1.570 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re
1.570 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.570 * [taylor]: Taking taylor expansion of x.re in x.re
1.570 * [backup-simplify]: Simplify 0 into 0
1.570 * [backup-simplify]: Simplify 1 into 1
1.570 * [backup-simplify]: Simplify (* 1 1) into 1
1.570 * [backup-simplify]: Simplify (/ 1 1) into 1
1.571 * [backup-simplify]: Simplify (* 3 1) into 3
1.571 * [backup-simplify]: Simplify 3 into 3
1.571 * [backup-simplify]: Simplify -1 into -1
1.571 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
1.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x.re 2)) (/ 0 (pow x.re 2))))) into 0
1.571 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow x.re 2)))) into 0
1.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.573 * [backup-simplify]: Simplify (- 0) into 0
1.573 * [backup-simplify]: Simplify (+ 0 0) into 0
1.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* (* 3 (/ 1 (pow x.re 2))) (/ 0 1)))) into 0
1.574 * [taylor]: Taking taylor expansion of 0 in x.re
1.574 * [backup-simplify]: Simplify 0 into 0
1.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.575 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.575 * [backup-simplify]: Simplify 0 into 0
1.575 * [backup-simplify]: Simplify 0 into 0
1.575 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (* 0 x.re))) into 0
1.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x.re 2)) (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))))) into 0
1.576 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow x.re 2))))) into 0
1.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.578 * [backup-simplify]: Simplify (- 0) into 0
1.578 * [backup-simplify]: Simplify (+ 0 0) into 0
1.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* (* 3 (/ 1 (pow x.re 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.580 * [taylor]: Taking taylor expansion of 0 in x.re
1.580 * [backup-simplify]: Simplify 0 into 0
1.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.581 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1.582 * [backup-simplify]: Simplify 0 into 0
1.582 * [backup-simplify]: Simplify 0 into 0
1.582 * [backup-simplify]: Simplify 0 into 0
1.582 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (/ 1 (/ 1 x.im))) 3)) (* 3 (* (pow (/ 1 x.re) -2) (/ 1 (/ 1 x.im))))) into (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3))
1.582 * [backup-simplify]: Simplify (* (/ 1 (- x.im)) (- (* (* 3 (/ 1 (- x.re))) (/ 1 (- x.re))) (* (/ 1 (- x.im)) (/ 1 (- x.im))))) into (* -1 (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im))
1.582 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im)) in (x.im x.re) around 0
1.582 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im)) in x.re
1.582 * [taylor]: Taking taylor expansion of -1 in x.re
1.582 * [backup-simplify]: Simplify -1 into -1
1.582 * [taylor]: Taking taylor expansion of (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im) in x.re
1.582 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.re
1.582 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re
1.582 * [taylor]: Taking taylor expansion of 3 in x.re
1.582 * [backup-simplify]: Simplify 3 into 3
1.582 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re
1.582 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.582 * [taylor]: Taking taylor expansion of x.re in x.re
1.582 * [backup-simplify]: Simplify 0 into 0
1.582 * [backup-simplify]: Simplify 1 into 1
1.583 * [backup-simplify]: Simplify (* 1 1) into 1
1.583 * [backup-simplify]: Simplify (/ 1 1) into 1
1.583 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re
1.583 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.583 * [taylor]: Taking taylor expansion of x.im in x.re
1.583 * [backup-simplify]: Simplify x.im into x.im
1.583 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.583 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2))
1.583 * [taylor]: Taking taylor expansion of x.im in x.re
1.583 * [backup-simplify]: Simplify x.im into x.im
1.583 * [backup-simplify]: Simplify (* 3 1) into 3
1.583 * [backup-simplify]: Simplify (+ 3 0) into 3
1.584 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
1.584 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im)) in x.im
1.584 * [taylor]: Taking taylor expansion of -1 in x.im
1.584 * [backup-simplify]: Simplify -1 into -1
1.584 * [taylor]: Taking taylor expansion of (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im) in x.im
1.584 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.im
1.584 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.im
1.584 * [taylor]: Taking taylor expansion of 3 in x.im
1.584 * [backup-simplify]: Simplify 3 into 3
1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im
1.584 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.584 * [taylor]: Taking taylor expansion of x.re in x.im
1.584 * [backup-simplify]: Simplify x.re into x.re
1.584 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
1.584 * [backup-simplify]: Simplify (/ 1 (pow x.re 2)) into (/ 1 (pow x.re 2))
1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
1.584 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.584 * [taylor]: Taking taylor expansion of x.im in x.im
1.584 * [backup-simplify]: Simplify 0 into 0
1.584 * [backup-simplify]: Simplify 1 into 1
1.584 * [backup-simplify]: Simplify (* 1 1) into 1
1.584 * [backup-simplify]: Simplify (/ 1 1) into 1
1.584 * [taylor]: Taking taylor expansion of x.im in x.im
1.584 * [backup-simplify]: Simplify 0 into 0
1.584 * [backup-simplify]: Simplify 1 into 1
1.585 * [backup-simplify]: Simplify (- 1) into -1
1.585 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.585 * [backup-simplify]: Simplify (/ -1 1) into -1
1.585 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im)) in x.im
1.585 * [taylor]: Taking taylor expansion of -1 in x.im
1.585 * [backup-simplify]: Simplify -1 into -1
1.585 * [taylor]: Taking taylor expansion of (/ (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) x.im) in x.im
1.585 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.im
1.585 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.im
1.585 * [taylor]: Taking taylor expansion of 3 in x.im
1.585 * [backup-simplify]: Simplify 3 into 3
1.585 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im
1.585 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.585 * [taylor]: Taking taylor expansion of x.re in x.im
1.585 * [backup-simplify]: Simplify x.re into x.re
1.585 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
1.585 * [backup-simplify]: Simplify (/ 1 (pow x.re 2)) into (/ 1 (pow x.re 2))
1.585 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
1.586 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.586 * [taylor]: Taking taylor expansion of x.im in x.im
1.586 * [backup-simplify]: Simplify 0 into 0
1.586 * [backup-simplify]: Simplify 1 into 1
1.586 * [backup-simplify]: Simplify (* 1 1) into 1
1.586 * [backup-simplify]: Simplify (/ 1 1) into 1
1.586 * [taylor]: Taking taylor expansion of x.im in x.im
1.586 * [backup-simplify]: Simplify 0 into 0
1.586 * [backup-simplify]: Simplify 1 into 1
1.586 * [backup-simplify]: Simplify (- 1) into -1
1.587 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.587 * [backup-simplify]: Simplify (/ -1 1) into -1
1.587 * [backup-simplify]: Simplify (* -1 -1) into 1
1.587 * [taylor]: Taking taylor expansion of 1 in x.re
1.587 * [backup-simplify]: Simplify 1 into 1
1.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.588 * [backup-simplify]: Simplify (- 0) into 0
1.588 * [backup-simplify]: Simplify (+ 0 0) into 0
1.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.589 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
1.589 * [taylor]: Taking taylor expansion of 0 in x.re
1.589 * [backup-simplify]: Simplify 0 into 0
1.589 * [backup-simplify]: Simplify (* 3 (/ 1 (pow x.re 2))) into (/ 3 (pow x.re 2))
1.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.591 * [backup-simplify]: Simplify (- 0) into 0
1.591 * [backup-simplify]: Simplify (+ (/ 3 (pow x.re 2)) 0) into (* 3 (/ 1 (pow x.re 2)))
1.591 * [backup-simplify]: Simplify (- (/ (* 3 (/ 1 (pow x.re 2))) 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into (* 3 (/ 1 (pow x.re 2)))
1.592 * [backup-simplify]: Simplify (+ (* -1 (* 3 (/ 1 (pow x.re 2)))) (+ (* 0 0) (* 0 -1))) into (- (* 3 (/ 1 (pow x.re 2))))
1.592 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2)))) in x.re
1.592 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re
1.592 * [taylor]: Taking taylor expansion of 3 in x.re
1.592 * [backup-simplify]: Simplify 3 into 3
1.592 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re
1.592 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.592 * [taylor]: Taking taylor expansion of x.re in x.re
1.592 * [backup-simplify]: Simplify 0 into 0
1.592 * [backup-simplify]: Simplify 1 into 1
1.592 * [backup-simplify]: Simplify (* 1 1) into 1
1.593 * [backup-simplify]: Simplify (/ 1 1) into 1
1.593 * [backup-simplify]: Simplify (* 3 1) into 3
1.593 * [backup-simplify]: Simplify (- 3) into -3
1.593 * [backup-simplify]: Simplify -3 into -3
1.593 * [backup-simplify]: Simplify 1 into 1
1.593 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
1.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x.re 2)) (/ 0 (pow x.re 2))))) into 0
1.594 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow x.re 2)))) into 0
1.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.595 * [backup-simplify]: Simplify (- 0) into 0
1.595 * [backup-simplify]: Simplify (+ 0 0) into 0
1.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* (* 3 (/ 1 (pow x.re 2))) (/ 0 1)))) into 0
1.597 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 3 (/ 1 (pow x.re 2)))) (+ (* 0 0) (* 0 -1)))) into 0
1.597 * [taylor]: Taking taylor expansion of 0 in x.re
1.597 * [backup-simplify]: Simplify 0 into 0
1.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.598 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.599 * [backup-simplify]: Simplify (- 0) into 0
1.599 * [backup-simplify]: Simplify 0 into 0
1.599 * [backup-simplify]: Simplify 0 into 0
1.599 * [backup-simplify]: Simplify 0 into 0
1.599 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (* 0 x.re))) into 0
1.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x.re 2)) (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))))) into 0
1.600 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow x.re 2))))) into 0
1.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.601 * [backup-simplify]: Simplify (- 0) into 0
1.602 * [backup-simplify]: Simplify (+ 0 0) into 0
1.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* (* 3 (/ 1 (pow x.re 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.606 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 3 (/ 1 (pow x.re 2)))) (+ (* 0 0) (* 0 -1))))) into 0
1.606 * [taylor]: Taking taylor expansion of 0 in x.re
1.606 * [backup-simplify]: Simplify 0 into 0
1.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.609 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1.609 * [backup-simplify]: Simplify (- 0) into 0
1.609 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x.im)))) 3)) (* -3 (* (pow (/ 1 (- x.re)) -2) (/ 1 (/ 1 (- x.im)))))) into (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3))
1.610 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
1.610 * [backup-simplify]: Simplify (* (* 3 x.re) x.re) into (* 3 (pow x.re 2))
1.610 * [approximate]: Taking taylor expansion of (* 3 (pow x.re 2)) in (x.re) around 0
1.610 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re
1.610 * [taylor]: Taking taylor expansion of 3 in x.re
1.610 * [backup-simplify]: Simplify 3 into 3
1.610 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.610 * [taylor]: Taking taylor expansion of x.re in x.re
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify 1 into 1
1.611 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re
1.611 * [taylor]: Taking taylor expansion of 3 in x.re
1.611 * [backup-simplify]: Simplify 3 into 3
1.611 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.611 * [taylor]: Taking taylor expansion of x.re in x.re
1.611 * [backup-simplify]: Simplify 0 into 0
1.611 * [backup-simplify]: Simplify 1 into 1
1.611 * [backup-simplify]: Simplify (* 1 1) into 1
1.612 * [backup-simplify]: Simplify (* 3 1) into 3
1.612 * [backup-simplify]: Simplify 3 into 3
1.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.613 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.613 * [backup-simplify]: Simplify 0 into 0
1.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.615 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1.615 * [backup-simplify]: Simplify 0 into 0
1.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.617 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.617 * [backup-simplify]: Simplify 0 into 0
1.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.620 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.620 * [backup-simplify]: Simplify 0 into 0
1.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.623 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.623 * [backup-simplify]: Simplify 0 into 0
1.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.627 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.627 * [backup-simplify]: Simplify 0 into 0
1.627 * [backup-simplify]: Simplify (* 3 (pow x.re 2)) into (* 3 (pow x.re 2))
1.627 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.re)) (/ 1 x.re)) into (/ 3 (pow x.re 2))
1.627 * [approximate]: Taking taylor expansion of (/ 3 (pow x.re 2)) in (x.re) around 0
1.627 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re
1.627 * [taylor]: Taking taylor expansion of 3 in x.re
1.627 * [backup-simplify]: Simplify 3 into 3
1.627 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.627 * [taylor]: Taking taylor expansion of x.re in x.re
1.627 * [backup-simplify]: Simplify 0 into 0
1.627 * [backup-simplify]: Simplify 1 into 1
1.628 * [backup-simplify]: Simplify (* 1 1) into 1
1.628 * [backup-simplify]: Simplify (/ 3 1) into 3
1.628 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re
1.628 * [taylor]: Taking taylor expansion of 3 in x.re
1.628 * [backup-simplify]: Simplify 3 into 3
1.628 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.628 * [taylor]: Taking taylor expansion of x.re in x.re
1.628 * [backup-simplify]: Simplify 0 into 0
1.628 * [backup-simplify]: Simplify 1 into 1
1.629 * [backup-simplify]: Simplify (* 1 1) into 1
1.629 * [backup-simplify]: Simplify (/ 3 1) into 3
1.629 * [backup-simplify]: Simplify 3 into 3
1.630 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1.630 * [backup-simplify]: Simplify 0 into 0
1.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.632 * [backup-simplify]: Simplify 0 into 0
1.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.633 * [backup-simplify]: Simplify 0 into 0
1.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.635 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.636 * [backup-simplify]: Simplify 0 into 0
1.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.637 * [backup-simplify]: Simplify 0 into 0
1.638 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 x.re)) 2)) into (* 3 (pow x.re 2))
1.638 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.re))) (/ 1 (- x.re))) into (/ 3 (pow x.re 2))
1.638 * [approximate]: Taking taylor expansion of (/ 3 (pow x.re 2)) in (x.re) around 0
1.638 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re
1.638 * [taylor]: Taking taylor expansion of 3 in x.re
1.638 * [backup-simplify]: Simplify 3 into 3
1.638 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.638 * [taylor]: Taking taylor expansion of x.re in x.re
1.638 * [backup-simplify]: Simplify 0 into 0
1.638 * [backup-simplify]: Simplify 1 into 1
1.638 * [backup-simplify]: Simplify (* 1 1) into 1
1.638 * [backup-simplify]: Simplify (/ 3 1) into 3
1.638 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re
1.638 * [taylor]: Taking taylor expansion of 3 in x.re
1.638 * [backup-simplify]: Simplify 3 into 3
1.638 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.638 * [taylor]: Taking taylor expansion of x.re in x.re
1.638 * [backup-simplify]: Simplify 0 into 0
1.638 * [backup-simplify]: Simplify 1 into 1
1.639 * [backup-simplify]: Simplify (* 1 1) into 1
1.639 * [backup-simplify]: Simplify (/ 3 1) into 3
1.639 * [backup-simplify]: Simplify 3 into 3
1.639 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.641 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.644 * [backup-simplify]: Simplify 0 into 0
1.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.645 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.647 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- x.re))) 2)) into (* 3 (pow x.re 2))
1.647 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.647 * [backup-simplify]: Simplify (- (* (* 3 x.re) x.re) (* x.im x.im)) into (- (* 3 (pow x.re 2)) (pow x.im 2))
1.647 * [approximate]: Taking taylor expansion of (- (* 3 (pow x.re 2)) (pow x.im 2)) in (x.re x.im) around 0
1.647 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.re 2)) (pow x.im 2)) in x.im
1.647 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.im
1.647 * [taylor]: Taking taylor expansion of 3 in x.im
1.647 * [backup-simplify]: Simplify 3 into 3
1.647 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.647 * [taylor]: Taking taylor expansion of x.re in x.im
1.647 * [backup-simplify]: Simplify x.re into x.re
1.647 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.647 * [taylor]: Taking taylor expansion of x.im in x.im
1.647 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify 1 into 1
1.647 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.re 2)) (pow x.im 2)) in x.re
1.647 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re
1.647 * [taylor]: Taking taylor expansion of 3 in x.re
1.647 * [backup-simplify]: Simplify 3 into 3
1.647 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.647 * [taylor]: Taking taylor expansion of x.re in x.re
1.647 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify 1 into 1
1.647 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.648 * [taylor]: Taking taylor expansion of x.im in x.re
1.648 * [backup-simplify]: Simplify x.im into x.im
1.648 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.re 2)) (pow x.im 2)) in x.re
1.648 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re
1.648 * [taylor]: Taking taylor expansion of 3 in x.re
1.648 * [backup-simplify]: Simplify 3 into 3
1.648 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.648 * [taylor]: Taking taylor expansion of x.re in x.re
1.648 * [backup-simplify]: Simplify 0 into 0
1.648 * [backup-simplify]: Simplify 1 into 1
1.648 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.648 * [taylor]: Taking taylor expansion of x.im in x.re
1.648 * [backup-simplify]: Simplify x.im into x.im
1.648 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.648 * [backup-simplify]: Simplify (- (pow x.im 2)) into (- (pow x.im 2))
1.648 * [backup-simplify]: Simplify (+ 0 (- (pow x.im 2))) into (- (pow x.im 2))
1.648 * [taylor]: Taking taylor expansion of (- (pow x.im 2)) in x.im
1.648 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.648 * [taylor]: Taking taylor expansion of x.im in x.im
1.648 * [backup-simplify]: Simplify 0 into 0
1.648 * [backup-simplify]: Simplify 1 into 1
1.648 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.648 * [backup-simplify]: Simplify (- 0) into 0
1.649 * [backup-simplify]: Simplify (+ 0 0) into 0
1.649 * [taylor]: Taking taylor expansion of 0 in x.im
1.649 * [backup-simplify]: Simplify 0 into 0
1.649 * [backup-simplify]: Simplify 0 into 0
1.649 * [backup-simplify]: Simplify (* 1 1) into 1
1.649 * [backup-simplify]: Simplify (* 3 1) into 3
1.650 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 x.im))) into 0
1.650 * [backup-simplify]: Simplify (- 0) into 0
1.650 * [backup-simplify]: Simplify (+ 3 0) into 3
1.650 * [taylor]: Taking taylor expansion of 3 in x.im
1.650 * [backup-simplify]: Simplify 3 into 3
1.650 * [backup-simplify]: Simplify 3 into 3
1.650 * [backup-simplify]: Simplify 0 into 0
1.651 * [backup-simplify]: Simplify (* 1 1) into 1
1.651 * [backup-simplify]: Simplify (- 1) into -1
1.651 * [backup-simplify]: Simplify -1 into -1
1.651 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.652 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.652 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.im)))) into 0
1.653 * [backup-simplify]: Simplify (- 0) into 0
1.653 * [backup-simplify]: Simplify (+ 0 0) into 0
1.653 * [taylor]: Taking taylor expansion of 0 in x.im
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.654 * [backup-simplify]: Simplify (- 0) into 0
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.655 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1.655 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.im))))) into 0
1.656 * [backup-simplify]: Simplify (- 0) into 0
1.656 * [backup-simplify]: Simplify (+ 0 0) into 0
1.656 * [taylor]: Taking taylor expansion of 0 in x.im
1.656 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify (+ (* -1 (pow (* x.im 1) 2)) (* 3 (pow (* 1 x.re) 2))) into (- (* 3 (pow x.re 2)) (pow x.im 2))
1.656 * [backup-simplify]: Simplify (- (* (* 3 (/ 1 x.re)) (/ 1 x.re)) (* (/ 1 x.im) (/ 1 x.im))) into (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2)))
1.656 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in (x.re x.im) around 0
1.656 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.im
1.656 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.im
1.656 * [taylor]: Taking taylor expansion of 3 in x.im
1.656 * [backup-simplify]: Simplify 3 into 3
1.656 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im
1.657 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.657 * [taylor]: Taking taylor expansion of x.re in x.im
1.657 * [backup-simplify]: Simplify x.re into x.re
1.657 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
1.657 * [backup-simplify]: Simplify (/ 1 (pow x.re 2)) into (/ 1 (pow x.re 2))
1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
1.657 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.657 * [taylor]: Taking taylor expansion of x.im in x.im
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify 1 into 1
1.657 * [backup-simplify]: Simplify (* 1 1) into 1
1.657 * [backup-simplify]: Simplify (/ 1 1) into 1
1.657 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.re
1.657 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re
1.657 * [taylor]: Taking taylor expansion of 3 in x.re
1.657 * [backup-simplify]: Simplify 3 into 3
1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re
1.657 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.657 * [taylor]: Taking taylor expansion of x.re in x.re
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify 1 into 1
1.658 * [backup-simplify]: Simplify (* 1 1) into 1
1.658 * [backup-simplify]: Simplify (/ 1 1) into 1
1.658 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re
1.658 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.658 * [taylor]: Taking taylor expansion of x.im in x.re
1.658 * [backup-simplify]: Simplify x.im into x.im
1.658 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.658 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2))
1.658 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.re
1.658 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re
1.658 * [taylor]: Taking taylor expansion of 3 in x.re
1.658 * [backup-simplify]: Simplify 3 into 3
1.658 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re
1.658 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.658 * [taylor]: Taking taylor expansion of x.re in x.re
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 1 into 1
1.658 * [backup-simplify]: Simplify (* 1 1) into 1
1.659 * [backup-simplify]: Simplify (/ 1 1) into 1
1.659 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re
1.659 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.659 * [taylor]: Taking taylor expansion of x.im in x.re
1.659 * [backup-simplify]: Simplify x.im into x.im
1.659 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.659 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2))
1.659 * [backup-simplify]: Simplify (* 3 1) into 3
1.659 * [backup-simplify]: Simplify (+ 3 0) into 3
1.659 * [taylor]: Taking taylor expansion of 3 in x.im
1.660 * [backup-simplify]: Simplify 3 into 3
1.660 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.661 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.661 * [backup-simplify]: Simplify (+ 0 0) into 0
1.661 * [taylor]: Taking taylor expansion of 0 in x.im
1.661 * [backup-simplify]: Simplify 0 into 0
1.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.663 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1.663 * [backup-simplify]: Simplify (- (/ 1 (pow x.im 2))) into (- (/ 1 (pow x.im 2)))
1.663 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x.im 2)))) into (- (/ 1 (pow x.im 2)))
1.663 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 2))) in x.im
1.663 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
1.663 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.663 * [taylor]: Taking taylor expansion of x.im in x.im
1.663 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify 1 into 1
1.663 * [backup-simplify]: Simplify (* 1 1) into 1
1.663 * [backup-simplify]: Simplify (/ 1 1) into 1
1.664 * [backup-simplify]: Simplify (- 1) into -1
1.664 * [backup-simplify]: Simplify -1 into -1
1.664 * [backup-simplify]: Simplify 3 into 3
1.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.666 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.666 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x.im 2)) (/ 0 (pow x.im 2))))) into 0
1.667 * [backup-simplify]: Simplify (- 0) into 0
1.668 * [backup-simplify]: Simplify (+ 0 0) into 0
1.668 * [taylor]: Taking taylor expansion of 0 in x.im
1.668 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.673 * [backup-simplify]: Simplify (- 0) into 0
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 0 into 0
1.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.676 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.677 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 x.im))) into 0
1.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x.im 2)) (/ 0 (pow x.im 2))) (* 0 (/ 0 (pow x.im 2))))) into 0
1.677 * [backup-simplify]: Simplify (- 0) into 0
1.678 * [backup-simplify]: Simplify (+ 0 0) into 0
1.678 * [taylor]: Taking taylor expansion of 0 in x.im
1.678 * [backup-simplify]: Simplify 0 into 0
1.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.680 * [backup-simplify]: Simplify (- 0) into 0
1.680 * [backup-simplify]: Simplify 0 into 0
1.680 * [backup-simplify]: Simplify 0 into 0
1.680 * [backup-simplify]: Simplify 0 into 0
1.681 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (/ 1 (/ 1 x.re))) 2)) (* -1 (pow (* (/ 1 (/ 1 x.im)) 1) 2))) into (- (* 3 (pow x.re 2)) (pow x.im 2))
1.681 * [backup-simplify]: Simplify (- (* (* 3 (/ 1 (- x.re))) (/ 1 (- x.re))) (* (/ 1 (- x.im)) (/ 1 (- x.im)))) into (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2)))
1.681 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in (x.re x.im) around 0
1.681 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.im
1.681 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.im
1.681 * [taylor]: Taking taylor expansion of 3 in x.im
1.681 * [backup-simplify]: Simplify 3 into 3
1.681 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im
1.681 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.681 * [taylor]: Taking taylor expansion of x.re in x.im
1.681 * [backup-simplify]: Simplify x.re into x.re
1.681 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
1.681 * [backup-simplify]: Simplify (/ 1 (pow x.re 2)) into (/ 1 (pow x.re 2))
1.681 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
1.681 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.681 * [taylor]: Taking taylor expansion of x.im in x.im
1.681 * [backup-simplify]: Simplify 0 into 0
1.681 * [backup-simplify]: Simplify 1 into 1
1.682 * [backup-simplify]: Simplify (* 1 1) into 1
1.682 * [backup-simplify]: Simplify (/ 1 1) into 1
1.682 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.re
1.682 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re
1.682 * [taylor]: Taking taylor expansion of 3 in x.re
1.682 * [backup-simplify]: Simplify 3 into 3
1.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re
1.682 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.682 * [taylor]: Taking taylor expansion of x.re in x.re
1.682 * [backup-simplify]: Simplify 0 into 0
1.682 * [backup-simplify]: Simplify 1 into 1
1.683 * [backup-simplify]: Simplify (* 1 1) into 1
1.683 * [backup-simplify]: Simplify (/ 1 1) into 1
1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re
1.683 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.683 * [taylor]: Taking taylor expansion of x.im in x.re
1.683 * [backup-simplify]: Simplify x.im into x.im
1.683 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.683 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2))
1.683 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2))) (/ 1 (pow x.im 2))) in x.re
1.683 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re
1.683 * [taylor]: Taking taylor expansion of 3 in x.re
1.683 * [backup-simplify]: Simplify 3 into 3
1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re
1.683 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.683 * [taylor]: Taking taylor expansion of x.re in x.re
1.683 * [backup-simplify]: Simplify 0 into 0
1.683 * [backup-simplify]: Simplify 1 into 1
1.684 * [backup-simplify]: Simplify (* 1 1) into 1
1.684 * [backup-simplify]: Simplify (/ 1 1) into 1
1.684 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re
1.684 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.684 * [taylor]: Taking taylor expansion of x.im in x.re
1.684 * [backup-simplify]: Simplify x.im into x.im
1.684 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.684 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2))
1.685 * [backup-simplify]: Simplify (* 3 1) into 3
1.685 * [backup-simplify]: Simplify (+ 3 0) into 3
1.685 * [taylor]: Taking taylor expansion of 3 in x.im
1.685 * [backup-simplify]: Simplify 3 into 3
1.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.687 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.688 * [backup-simplify]: Simplify (+ 0 0) into 0
1.688 * [taylor]: Taking taylor expansion of 0 in x.im
1.688 * [backup-simplify]: Simplify 0 into 0
1.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.691 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1.691 * [backup-simplify]: Simplify (- (/ 1 (pow x.im 2))) into (- (/ 1 (pow x.im 2)))
1.691 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x.im 2)))) into (- (/ 1 (pow x.im 2)))
1.691 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 2))) in x.im
1.691 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
1.691 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.691 * [taylor]: Taking taylor expansion of x.im in x.im
1.691 * [backup-simplify]: Simplify 0 into 0
1.691 * [backup-simplify]: Simplify 1 into 1
1.691 * [backup-simplify]: Simplify (* 1 1) into 1
1.692 * [backup-simplify]: Simplify (/ 1 1) into 1
1.692 * [backup-simplify]: Simplify (- 1) into -1
1.692 * [backup-simplify]: Simplify -1 into -1
1.692 * [backup-simplify]: Simplify 3 into 3
1.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.695 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.696 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x.im 2)) (/ 0 (pow x.im 2))))) into 0
1.696 * [backup-simplify]: Simplify (- 0) into 0
1.696 * [backup-simplify]: Simplify (+ 0 0) into 0
1.696 * [taylor]: Taking taylor expansion of 0 in x.im
1.696 * [backup-simplify]: Simplify 0 into 0
1.697 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.698 * [backup-simplify]: Simplify (- 0) into 0
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.700 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.700 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 x.im))) into 0
1.700 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x.im 2)) (/ 0 (pow x.im 2))) (* 0 (/ 0 (pow x.im 2))))) into 0
1.701 * [backup-simplify]: Simplify (- 0) into 0
1.701 * [backup-simplify]: Simplify (+ 0 0) into 0
1.701 * [taylor]: Taking taylor expansion of 0 in x.im
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.702 * [backup-simplify]: Simplify (- 0) into 0
1.702 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (/ 1 (/ 1 (- x.re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- x.im))) 1) 2))) into (- (* 3 (pow x.re 2)) (pow x.im 2))
1.702 * * * [progress]: simplifying candidates
1.703 * * * * [progress]: [ 1 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (pow (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))) 1))>
1.703 * * * * [progress]: [ 2 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (pow (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))) 1))>
1.703 * * * * [progress]: [ 3 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (exp (+ (log x.im) (log (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 4 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (exp (log (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 5 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (log (exp (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 6 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (cbrt (* (* (* x.im x.im) x.im) (* (* (- (* (* 3 x.re) x.re) (* x.im x.im)) (- (* (* 3 x.re) x.re) (* x.im x.im))) (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 7 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (* (cbrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))) (cbrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))) (cbrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 8 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (cbrt (* (* (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))) (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))) (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 9 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (sqrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))) (sqrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 10 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* 1 (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))))>
1.703 * * * * [progress]: [ 11 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (* (sqrt x.im) (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im)))) (* (sqrt x.im) (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 12 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (+ (* x.im (* (* 3 x.re) x.re)) (* x.im (- (* x.im x.im)))))>
1.703 * * * * [progress]: [ 13 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (+ (* x.im (* (* 3 x.re) x.re)) (* x.im (- (* x.im x.im)))))>
1.703 * * * * [progress]: [ 14 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (+ (* (* (* 3 x.re) x.re) x.im) (* (- (* x.im x.im)) x.im)))>
1.703 * * * * [progress]: [ 15 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (+ (* (* (* 3 x.re) x.re) x.im) (* (- (* x.im x.im)) x.im)))>
1.703 * * * * [progress]: [ 16 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (* x.im (* (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im))) (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im))))) (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im)))))>
1.703 * * * * [progress]: [ 17 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (* x.im (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im)))) (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im)))))>
1.703 * * * * [progress]: [ 18 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (* x.im 1) (- (* (* 3 x.re) x.re) (* x.im x.im))))>
1.703 * * * * [progress]: [ 19 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (* (cbrt x.im) (cbrt x.im)) (* (cbrt x.im) (- (* (* 3 x.re) x.re) (* x.im x.im)))))>
1.703 * * * * [progress]: [ 20 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (sqrt x.im) (* (sqrt x.im) (- (* (* 3 x.re) x.re) (* x.im x.im)))))>
1.703 * * * * [progress]: [ 21 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* 1 (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))))>
1.703 * * * * [progress]: [ 22 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (/ (* x.im (- (pow (* (* 3 x.re) x.re) 3) (pow (* x.im x.im) 3))) (+ (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 23 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (/ (* x.im (- (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (* (* x.im x.im) (* x.im x.im)))) (+ (* (* 3 x.re) x.re) (* x.im x.im))))>
1.703 * * * * [progress]: [ 24 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (posit16->real (real->posit16 (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.703 * * * * [progress]: [ 25 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* (- (* (* 3 x.re) x.re) (* x.im x.im)) x.im))>
1.703 * * * * [progress]: [ 26 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (pow (* (* 3 x.re) x.re) 1) (* x.im x.im))))>
1.704 * * * * [progress]: [ 27 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (pow (* (* 3 x.re) x.re) 1) (* x.im x.im))))>
1.704 * * * * [progress]: [ 28 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (pow (* (* 3 x.re) x.re) 1) (* x.im x.im))))>
1.704 * * * * [progress]: [ 29 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (exp (+ (+ (log 3) (log x.re)) (log x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 30 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (exp (+ (log (* 3 x.re)) (log x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 31 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (exp (log (* (* 3 x.re) x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 32 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (log (exp (* (* 3 x.re) x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 33 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (cbrt (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.re x.re) x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 34 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (cbrt (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.re x.re) x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 35 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* (* (cbrt (* (* 3 x.re) x.re)) (cbrt (* (* 3 x.re) x.re))) (cbrt (* (* 3 x.re) x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 36 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (cbrt (* (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (* (* 3 x.re) x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 37 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* (sqrt (* (* 3 x.re) x.re)) (sqrt (* (* 3 x.re) x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 38 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* 1 (* (* 3 x.re) x.re)) (* x.im x.im))))>
1.704 * * * * [progress]: [ 39 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* (* (* 3 x.re) (* (cbrt x.re) (cbrt x.re))) (cbrt x.re)) (* x.im x.im))))>
1.704 * * * * [progress]: [ 40 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* (* (* 3 x.re) (sqrt x.re)) (sqrt x.re)) (* x.im x.im))))>
1.704 * * * * [progress]: [ 41 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* (* (* 3 x.re) 1) x.re) (* x.im x.im))))>
1.704 * * * * [progress]: [ 42 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))>
1.704 * * * * [progress]: [ 43 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (posit16->real (real->posit16 (* (* 3 x.re) x.re))) (* x.im x.im))))>
1.704 * * * * [progress]: [ 44 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* x.re (* 3 x.re)) (* x.im x.im))))>
1.704 * * * * [progress]: [ 45 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (log (/ (exp (* (* 3 x.re) x.re)) (exp (* x.im x.im))))))>
1.704 * * * * [progress]: [ 46 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (pow (- (* (* 3 x.re) x.re) (* x.im x.im)) 1)))>
1.704 * * * * [progress]: [ 47 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (exp (log (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.704 * * * * [progress]: [ 48 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (log (exp (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.704 * * * * [progress]: [ 49 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (* (* (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im))) (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im)))) (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.704 * * * * [progress]: [ 50 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (cbrt (* (* (- (* (* 3 x.re) x.re) (* x.im x.im)) (- (* (* 3 x.re) x.re) (* x.im x.im))) (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.704 * * * * [progress]: [ 51 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (* (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im))) (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.704 * * * * [progress]: [ 52 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (/ (- (pow (* (* 3 x.re) x.re) 3) (pow (* x.im x.im) 3)) (+ (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* (* 3 x.re) x.re) (* x.im x.im)))))))>
1.704 * * * * [progress]: [ 53 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (+ (* (* 3 x.re) x.re) (- (* x.im x.im)))))>
1.704 * * * * [progress]: [ 54 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (* 1 (- (* (* 3 x.re) x.re) (* x.im x.im)))))>
1.705 * * * * [progress]: [ 55 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (/ (- (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (* (* x.im x.im) (* x.im x.im))) (+ (* (* 3 x.re) x.re) (* x.im x.im)))))>
1.705 * * * * [progress]: [ 56 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (+ (* (* 3 x.re) x.re) (- (* x.im x.im)))))>
1.705 * * * * [progress]: [ 57 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (posit16->real (real->posit16 (- (* (* 3 x.re) x.re) (* x.im x.im))))))>
1.705 * * * * [progress]: [ 58 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
1.705 * * * * [progress]: [ 59 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
1.705 * * * * [progress]: [ 60 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
1.705 * * * * [progress]: [ 61 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* 3 (pow x.re 2)) (* x.im x.im))))>
1.705 * * * * [progress]: [ 62 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* 3 (pow x.re 2)) (* x.im x.im))))>
1.705 * * * * [progress]: [ 63 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* 3 (pow x.re 2)) (* x.im x.im))))>
1.705 * * * * [progress]: [ 64 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* 3 (pow x.re 2)) (pow x.im 2))))>
1.705 * * * * [progress]: [ 65 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* 3 (pow x.re 2)) (pow x.im 2))))>
1.705 * * * * [progress]: [ 66 / 66 ] simplifiying candidate #<alt (λ (x.re x.im) (* x.im (- (* 3 (pow x.re 2)) (pow x.im 2))))>
1.705 * [simplify]: Simplifying:
  (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (+ (log x.im) (log (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (log (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (exp (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (* (* (* x.im x.im) x.im) (* (* (- (* (* 3 x.re) x.re) (* x.im x.im)) (- (* (* 3 x.re) x.re) (* x.im x.im))) (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (* (cbrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))) (cbrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))))
  (cbrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (* (* (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))) (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))) (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (sqrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (sqrt (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (* (sqrt x.im) (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (* (sqrt x.im) (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (* x.im (* (* 3 x.re) x.re))
  (* x.im (- (* x.im x.im)))
  (* x.im (* (* 3 x.re) x.re))
  (* x.im (- (* x.im x.im)))
  (* (* (* 3 x.re) x.re) x.im)
  (* (- (* x.im x.im)) x.im)
  (* (* (* 3 x.re) x.re) x.im)
  (* (- (* x.im x.im)) x.im)
  (* x.im (* (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im))) (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im)))))
  (* x.im (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (* x.im 1)
  (* (cbrt x.im) (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (* (sqrt x.im) (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (* x.im (- (pow (* (* 3 x.re) x.re) 3) (pow (* x.im x.im) 3)))
  (* x.im (- (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (* (* x.im x.im) (* x.im x.im))))
  (real->posit16 (* x.im (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (* (* 3 x.re) x.re)
  (* (* 3 x.re) x.re)
  (+ (+ (log 3) (log x.re)) (log x.re))
  (+ (log (* 3 x.re)) (log x.re))
  (log (* (* 3 x.re) x.re))
  (exp (* (* 3 x.re) x.re))
  (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.re x.re) x.re))
  (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.re x.re) x.re))
  (* (cbrt (* (* 3 x.re) x.re)) (cbrt (* (* 3 x.re) x.re)))
  (cbrt (* (* 3 x.re) x.re))
  (* (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (* (* 3 x.re) x.re))
  (sqrt (* (* 3 x.re) x.re))
  (sqrt (* (* 3 x.re) x.re))
  (* (* 3 x.re) (* (cbrt x.re) (cbrt x.re)))
  (* (* 3 x.re) (sqrt x.re))
  (* (* 3 x.re) 1)
  (* x.re x.re)
  (real->posit16 (* (* 3 x.re) x.re))
  (/ (exp (* (* 3 x.re) x.re)) (exp (* x.im x.im)))
  (log (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (exp (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (* (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im))) (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im))))
  (cbrt (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (* (* (- (* (* 3 x.re) x.re) (* x.im x.im)) (- (* (* 3 x.re) x.re) (* x.im x.im))) (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (sqrt (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (- (pow (* (* 3 x.re) x.re) 3) (pow (* x.im x.im) 3))
  (+ (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* (* 3 x.re) x.re) (* x.im x.im))))
  (- (* x.im x.im))
  (- (* (* (* 3 x.re) x.re) (* (* 3 x.re) x.re)) (* (* x.im x.im) (* x.im x.im)))
  (+ (* (* 3 x.re) x.re) (* x.im x.im))
  (- (* x.im x.im))
  (real->posit16 (- (* (* 3 x.re) x.re) (* x.im x.im)))
  (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3))
  (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3))
  (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3))
  (* 3 (pow x.re 2))
  (* 3 (pow x.re 2))
  (* 3 (pow x.re 2))
  (- (* 3 (pow x.re 2)) (pow x.im 2))
  (- (* 3 (pow x.re 2)) (pow x.im 2))
  (- (* 3 (pow x.re 2)) (pow x.im 2))
1.706 * * [simplify]: iteration 0: 93 enodes
1.728 * * [simplify]: iteration 1: 270 enodes
1.903 * * [simplify]: iteration 2: 902 enodes
2.136 * * [simplify]: iteration complete: 2004 enodes
2.136 * * [simplify]: Extracting #0: cost 46 inf + 0
2.137 * * [simplify]: Extracting #1: cost 338 inf + 1
2.142 * * [simplify]: Extracting #2: cost 645 inf + 7637
2.164 * * [simplify]: Extracting #3: cost 439 inf + 49859
2.198 * * [simplify]: Extracting #4: cost 127 inf + 119911
2.243 * * [simplify]: Extracting #5: cost 24 inf + 150711
2.275 * * [simplify]: Extracting #6: cost 4 inf + 154553
2.307 * * [simplify]: Extracting #7: cost 0 inf + 155725
2.335 * [simplify]: Simplified to:
  (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (log (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (log (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (exp (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (* (* (* x.im x.im) x.im) (* (* (- (* 3 (* x.re x.re)) (* x.im x.im)) (- (* 3 (* x.re x.re)) (* x.im x.im))) (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (* (cbrt (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im)))) (cbrt (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im)))))
  (cbrt (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (* (* (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))) (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im)))) (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (sqrt (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (sqrt (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (* (sqrt (- (* 3 (* x.re x.re)) (* x.im x.im))) (sqrt x.im))
  (* (sqrt (- (* 3 (* x.re x.re)) (* x.im x.im))) (sqrt x.im))
  (* (* 3 x.re) (* x.im x.re))
  (* x.im (* x.im (- x.im)))
  (* (* 3 x.re) (* x.im x.re))
  (* x.im (* x.im (- x.im)))
  (* (* 3 x.re) (* x.im x.re))
  (* x.im (* x.im (- x.im)))
  (* (* 3 x.re) (* x.im x.re))
  (* x.im (* x.im (- x.im)))
  (* (* (cbrt (- (* 3 (* x.re x.re)) (* x.im x.im))) (cbrt (- (* 3 (* x.re x.re)) (* x.im x.im)))) x.im)
  (* (sqrt (- (* 3 (* x.re x.re)) (* x.im x.im))) x.im)
  x.im
  (* (- (* 3 (* x.re x.re)) (* x.im x.im)) (cbrt x.im))
  (* (- (* 3 (* x.re x.re)) (* x.im x.im)) (sqrt x.im))
  (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (* x.im (- (* (* (* x.re (* x.re x.re)) (* x.re (* x.re x.re))) 27) (* (* (* x.im x.im) x.im) (* (* x.im x.im) x.im))))
  (* x.im (* (+ (* x.im x.im) (* 3 (* x.re x.re))) (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (real->posit16 (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (* 3 (* x.re x.re))
  (* 3 (* x.re x.re))
  (log (* 3 (* x.re x.re)))
  (log (* 3 (* x.re x.re)))
  (log (* 3 (* x.re x.re)))
  (exp (* 3 (* x.re x.re)))
  (* (* (* x.re (* x.re x.re)) (* x.re (* x.re x.re))) 27)
  (* (* (* x.re (* x.re x.re)) (* x.re (* x.re x.re))) 27)
  (* (cbrt (* 3 (* x.re x.re))) (cbrt (* 3 (* x.re x.re))))
  (cbrt (* 3 (* x.re x.re)))
  (* (* (* x.re (* x.re x.re)) (* x.re (* x.re x.re))) 27)
  (sqrt (* 3 (* x.re x.re)))
  (sqrt (* 3 (* x.re x.re)))
  (* (cbrt x.re) (* (cbrt x.re) (* 3 x.re)))
  (* (* 3 x.re) (sqrt x.re))
  (* 3 x.re)
  (* x.re x.re)
  (real->posit16 (* 3 (* x.re x.re)))
  (exp (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (log (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (exp (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (* (cbrt (- (* 3 (* x.re x.re)) (* x.im x.im))) (cbrt (- (* 3 (* x.re x.re)) (* x.im x.im))))
  (cbrt (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (* (* (- (* 3 (* x.re x.re)) (* x.im x.im)) (- (* 3 (* x.re x.re)) (* x.im x.im))) (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (sqrt (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (sqrt (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (- (* (* (* x.re (* x.re x.re)) (* x.re (* x.re x.re))) 27) (* (* (* x.im x.im) x.im) (* (* x.im x.im) x.im)))
  (+ (* (* 3 (* x.re x.re)) (+ (* x.im x.im) (* 3 (* x.re x.re)))) (* (* x.im x.im) (* x.im x.im)))
  (* x.im (- x.im))
  (* (+ (* x.im x.im) (* 3 (* x.re x.re))) (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (+ (* 3 (* x.re x.re)) (* x.im x.im))
  (* x.im (- x.im))
  (real->posit16 (- (* 3 (* x.re x.re)) (* x.im x.im)))
  (- (* (* 3 x.re) (* x.im x.re)) (* (* x.im x.im) x.im))
  (- (* (* 3 x.re) (* x.im x.re)) (* (* x.im x.im) x.im))
  (- (* (* 3 x.re) (* x.im x.re)) (* (* x.im x.im) x.im))
  (* 3 (* x.re x.re))
  (* 3 (* x.re x.re))
  (* 3 (* x.re x.re))
  (- (* 3 (* x.re x.re)) (* x.im x.im))
  (- (* 3 (* x.re x.re)) (* x.im x.im))
  (- (* 3 (* x.re x.re)) (* x.im x.im))
2.338 * * * [progress]: adding candidates to table
2.566 * * [progress]: iteration 2 / 4
2.566 * * * [progress]: picking best candidate
2.608 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* (* x.im x.im) x.im)))>
2.608 * * * [progress]: localizing error
2.633 * * * [progress]: generating rewritten candidates
2.633 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.654 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.686 * * * [progress]: generating series expansions
2.686 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.686 * [backup-simplify]: Simplify (* (* 3 x.re) (* x.im x.re)) into (* 3 (* x.im (pow x.re 2)))
2.686 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
2.687 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im
2.687 * [taylor]: Taking taylor expansion of 3 in x.im
2.687 * [backup-simplify]: Simplify 3 into 3
2.687 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
2.687 * [taylor]: Taking taylor expansion of x.im in x.im
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 1 into 1
2.687 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
2.687 * [taylor]: Taking taylor expansion of x.re in x.im
2.687 * [backup-simplify]: Simplify x.re into x.re
2.687 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
2.687 * [taylor]: Taking taylor expansion of 3 in x.re
2.687 * [backup-simplify]: Simplify 3 into 3
2.687 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
2.687 * [taylor]: Taking taylor expansion of x.im in x.re
2.687 * [backup-simplify]: Simplify x.im into x.im
2.687 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
2.687 * [taylor]: Taking taylor expansion of x.re in x.re
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 1 into 1
2.687 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
2.687 * [taylor]: Taking taylor expansion of 3 in x.re
2.687 * [backup-simplify]: Simplify 3 into 3
2.687 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
2.687 * [taylor]: Taking taylor expansion of x.im in x.re
2.687 * [backup-simplify]: Simplify x.im into x.im
2.687 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
2.687 * [taylor]: Taking taylor expansion of x.re in x.re
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 1 into 1
2.688 * [backup-simplify]: Simplify (* 1 1) into 1
2.688 * [backup-simplify]: Simplify (* x.im 1) into x.im
2.688 * [backup-simplify]: Simplify (* 3 x.im) into (* 3 x.im)
2.688 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im
2.688 * [taylor]: Taking taylor expansion of 3 in x.im
2.688 * [backup-simplify]: Simplify 3 into 3
2.689 * [taylor]: Taking taylor expansion of x.im in x.im
2.689 * [backup-simplify]: Simplify 0 into 0
2.689 * [backup-simplify]: Simplify 1 into 1
2.689 * [backup-simplify]: Simplify (* 3 0) into 0
2.689 * [backup-simplify]: Simplify 0 into 0
2.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.690 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
2.691 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.im)) into 0
2.691 * [taylor]: Taking taylor expansion of 0 in x.im
2.691 * [backup-simplify]: Simplify 0 into 0
2.691 * [backup-simplify]: Simplify 0 into 0
2.692 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
2.692 * [backup-simplify]: Simplify 3 into 3
2.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.693 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
2.694 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.im))) into 0
2.694 * [taylor]: Taking taylor expansion of 0 in x.im
2.694 * [backup-simplify]: Simplify 0 into 0
2.694 * [backup-simplify]: Simplify 0 into 0
2.694 * [backup-simplify]: Simplify 0 into 0
2.696 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
2.696 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.697 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.699 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.im)))) into 0
2.699 * [taylor]: Taking taylor expansion of 0 in x.im
2.699 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify (* 3 (* x.im (pow x.re 2))) into (* 3 (* x.im (pow x.re 2)))
2.699 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.re)) (* (/ 1 x.im) (/ 1 x.re))) into (/ 3 (* x.im (pow x.re 2)))
2.699 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
2.699 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im
2.699 * [taylor]: Taking taylor expansion of 3 in x.im
2.699 * [backup-simplify]: Simplify 3 into 3
2.699 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
2.699 * [taylor]: Taking taylor expansion of x.im in x.im
2.699 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify 1 into 1
2.699 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
2.699 * [taylor]: Taking taylor expansion of x.re in x.im
2.699 * [backup-simplify]: Simplify x.re into x.re
2.700 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
2.700 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0
2.700 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
2.700 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2)
2.700 * [backup-simplify]: Simplify (/ 3 (pow x.re 2)) into (/ 3 (pow x.re 2))
2.700 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
2.700 * [taylor]: Taking taylor expansion of 3 in x.re
2.700 * [backup-simplify]: Simplify 3 into 3
2.700 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
2.700 * [taylor]: Taking taylor expansion of x.im in x.re
2.700 * [backup-simplify]: Simplify x.im into x.im
2.700 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
2.700 * [taylor]: Taking taylor expansion of x.re in x.re
2.701 * [backup-simplify]: Simplify 0 into 0
2.701 * [backup-simplify]: Simplify 1 into 1
2.701 * [backup-simplify]: Simplify (* 1 1) into 1
2.701 * [backup-simplify]: Simplify (* x.im 1) into x.im
2.701 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
2.701 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
2.701 * [taylor]: Taking taylor expansion of 3 in x.re
2.701 * [backup-simplify]: Simplify 3 into 3
2.701 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
2.701 * [taylor]: Taking taylor expansion of x.im in x.re
2.701 * [backup-simplify]: Simplify x.im into x.im
2.701 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
2.701 * [taylor]: Taking taylor expansion of x.re in x.re
2.701 * [backup-simplify]: Simplify 0 into 0
2.701 * [backup-simplify]: Simplify 1 into 1
2.702 * [backup-simplify]: Simplify (* 1 1) into 1
2.702 * [backup-simplify]: Simplify (* x.im 1) into x.im
2.702 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
2.702 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
2.702 * [taylor]: Taking taylor expansion of 3 in x.im
2.702 * [backup-simplify]: Simplify 3 into 3
2.702 * [taylor]: Taking taylor expansion of x.im in x.im
2.702 * [backup-simplify]: Simplify 0 into 0
2.702 * [backup-simplify]: Simplify 1 into 1
2.703 * [backup-simplify]: Simplify (/ 3 1) into 3
2.703 * [backup-simplify]: Simplify 3 into 3
2.703 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.704 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
2.704 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0
2.704 * [taylor]: Taking taylor expansion of 0 in x.im
2.704 * [backup-simplify]: Simplify 0 into 0
2.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
2.705 * [backup-simplify]: Simplify 0 into 0
2.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.707 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
2.707 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
2.707 * [taylor]: Taking taylor expansion of 0 in x.im
2.707 * [backup-simplify]: Simplify 0 into 0
2.707 * [backup-simplify]: Simplify 0 into 0
2.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.708 * [backup-simplify]: Simplify 0 into 0
2.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.710 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.710 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
2.710 * [taylor]: Taking taylor expansion of 0 in x.im
2.710 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify 0 into 0
2.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.711 * [backup-simplify]: Simplify 0 into 0
2.711 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.im)) (pow (/ 1 x.re) -2))) into (* 3 (* x.im (pow x.re 2)))
2.712 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.re))) (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ -3 (* x.im (pow x.re 2)))
2.712 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
2.712 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im
2.712 * [taylor]: Taking taylor expansion of -3 in x.im
2.712 * [backup-simplify]: Simplify -3 into -3
2.712 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
2.712 * [taylor]: Taking taylor expansion of x.im in x.im
2.712 * [backup-simplify]: Simplify 0 into 0
2.712 * [backup-simplify]: Simplify 1 into 1
2.712 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
2.712 * [taylor]: Taking taylor expansion of x.re in x.im
2.712 * [backup-simplify]: Simplify x.re into x.re
2.712 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
2.712 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0
2.712 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
2.713 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2)
2.713 * [backup-simplify]: Simplify (/ -3 (pow x.re 2)) into (/ -3 (pow x.re 2))
2.713 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
2.713 * [taylor]: Taking taylor expansion of -3 in x.re
2.713 * [backup-simplify]: Simplify -3 into -3
2.713 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
2.713 * [taylor]: Taking taylor expansion of x.im in x.re
2.713 * [backup-simplify]: Simplify x.im into x.im
2.713 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
2.713 * [taylor]: Taking taylor expansion of x.re in x.re
2.713 * [backup-simplify]: Simplify 0 into 0
2.713 * [backup-simplify]: Simplify 1 into 1
2.713 * [backup-simplify]: Simplify (* 1 1) into 1
2.714 * [backup-simplify]: Simplify (* x.im 1) into x.im
2.714 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im)
2.714 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
2.714 * [taylor]: Taking taylor expansion of -3 in x.re
2.714 * [backup-simplify]: Simplify -3 into -3
2.714 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
2.714 * [taylor]: Taking taylor expansion of x.im in x.re
2.714 * [backup-simplify]: Simplify x.im into x.im
2.714 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
2.714 * [taylor]: Taking taylor expansion of x.re in x.re
2.714 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify 1 into 1
2.714 * [backup-simplify]: Simplify (* 1 1) into 1
2.714 * [backup-simplify]: Simplify (* x.im 1) into x.im
2.714 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im)
2.714 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im
2.714 * [taylor]: Taking taylor expansion of -3 in x.im
2.714 * [backup-simplify]: Simplify -3 into -3
2.715 * [taylor]: Taking taylor expansion of x.im in x.im
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify 1 into 1
2.715 * [backup-simplify]: Simplify (/ -3 1) into -3
2.715 * [backup-simplify]: Simplify -3 into -3
2.716 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.716 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
2.716 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)))) into 0
2.716 * [taylor]: Taking taylor expansion of 0 in x.im
2.716 * [backup-simplify]: Simplify 0 into 0
2.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
2.717 * [backup-simplify]: Simplify 0 into 0
2.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.719 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
2.719 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
2.719 * [taylor]: Taking taylor expansion of 0 in x.im
2.719 * [backup-simplify]: Simplify 0 into 0
2.719 * [backup-simplify]: Simplify 0 into 0
2.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.720 * [backup-simplify]: Simplify 0 into 0
2.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.722 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.722 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
2.722 * [taylor]: Taking taylor expansion of 0 in x.im
2.723 * [backup-simplify]: Simplify 0 into 0
2.723 * [backup-simplify]: Simplify 0 into 0
2.723 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.724 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.im))) (pow (/ 1 (- x.re)) -2))) into (* 3 (* x.im (pow x.re 2)))
2.724 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.724 * [backup-simplify]: Simplify (* (* x.im x.im) x.im) into (pow x.im 3)
2.724 * [approximate]: Taking taylor expansion of (pow x.im 3) in (x.im) around 0
2.724 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im
2.724 * [taylor]: Taking taylor expansion of x.im in x.im
2.724 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify 1 into 1
2.724 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im
2.724 * [taylor]: Taking taylor expansion of x.im in x.im
2.724 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify 1 into 1
2.729 * [backup-simplify]: Simplify (* 1 1) into 1
2.729 * [backup-simplify]: Simplify (* 1 1) into 1
2.729 * [backup-simplify]: Simplify 1 into 1
2.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.730 * [backup-simplify]: Simplify 0 into 0
2.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.732 * [backup-simplify]: Simplify 0 into 0
2.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.735 * [backup-simplify]: Simplify 0 into 0
2.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.737 * [backup-simplify]: Simplify 0 into 0
2.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.740 * [backup-simplify]: Simplify 0 into 0
2.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.743 * [backup-simplify]: Simplify 0 into 0
2.744 * [backup-simplify]: Simplify (* 1 (pow x.im 3)) into (pow x.im 3)
2.744 * [backup-simplify]: Simplify (* (* (/ 1 x.im) (/ 1 x.im)) (/ 1 x.im)) into (/ 1 (pow x.im 3))
2.744 * [approximate]: Taking taylor expansion of (/ 1 (pow x.im 3)) in (x.im) around 0
2.744 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im
2.744 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im
2.744 * [taylor]: Taking taylor expansion of x.im in x.im
2.744 * [backup-simplify]: Simplify 0 into 0
2.744 * [backup-simplify]: Simplify 1 into 1
2.744 * [backup-simplify]: Simplify (* 1 1) into 1
2.745 * [backup-simplify]: Simplify (* 1 1) into 1
2.745 * [backup-simplify]: Simplify (/ 1 1) into 1
2.745 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im
2.745 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im
2.745 * [taylor]: Taking taylor expansion of x.im in x.im
2.745 * [backup-simplify]: Simplify 0 into 0
2.745 * [backup-simplify]: Simplify 1 into 1
2.746 * [backup-simplify]: Simplify (* 1 1) into 1
2.746 * [backup-simplify]: Simplify (* 1 1) into 1
2.746 * [backup-simplify]: Simplify (/ 1 1) into 1
2.746 * [backup-simplify]: Simplify 1 into 1
2.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.749 * [backup-simplify]: Simplify 0 into 0
2.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.751 * [backup-simplify]: Simplify 0 into 0
2.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.755 * [backup-simplify]: Simplify 0 into 0
2.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.758 * [backup-simplify]: Simplify 0 into 0
2.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.762 * [backup-simplify]: Simplify 0 into 0
2.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.766 * [backup-simplify]: Simplify 0 into 0
2.766 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 x.im)) 3)) into (pow x.im 3)
2.766 * [backup-simplify]: Simplify (* (* (/ 1 (- x.im)) (/ 1 (- x.im))) (/ 1 (- x.im))) into (/ -1 (pow x.im 3))
2.766 * [approximate]: Taking taylor expansion of (/ -1 (pow x.im 3)) in (x.im) around 0
2.766 * [taylor]: Taking taylor expansion of (/ -1 (pow x.im 3)) in x.im
2.766 * [taylor]: Taking taylor expansion of -1 in x.im
2.766 * [backup-simplify]: Simplify -1 into -1
2.766 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im
2.766 * [taylor]: Taking taylor expansion of x.im in x.im
2.766 * [backup-simplify]: Simplify 0 into 0
2.766 * [backup-simplify]: Simplify 1 into 1
2.767 * [backup-simplify]: Simplify (* 1 1) into 1
2.767 * [backup-simplify]: Simplify (* 1 1) into 1
2.768 * [backup-simplify]: Simplify (/ -1 1) into -1
2.768 * [taylor]: Taking taylor expansion of (/ -1 (pow x.im 3)) in x.im
2.768 * [taylor]: Taking taylor expansion of -1 in x.im
2.768 * [backup-simplify]: Simplify -1 into -1
2.768 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im
2.768 * [taylor]: Taking taylor expansion of x.im in x.im
2.768 * [backup-simplify]: Simplify 0 into 0
2.768 * [backup-simplify]: Simplify 1 into 1
2.768 * [backup-simplify]: Simplify (* 1 1) into 1
2.769 * [backup-simplify]: Simplify (* 1 1) into 1
2.769 * [backup-simplify]: Simplify (/ -1 1) into -1
2.769 * [backup-simplify]: Simplify -1 into -1
2.770 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.770 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.771 * [backup-simplify]: Simplify 0 into 0
2.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.774 * [backup-simplify]: Simplify 0 into 0
2.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.777 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.777 * [backup-simplify]: Simplify 0 into 0
2.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.781 * [backup-simplify]: Simplify 0 into 0
2.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.785 * [backup-simplify]: Simplify 0 into 0
2.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- x.im))) 3)) into (pow x.im 3)
2.789 * * * [progress]: simplifying candidates
2.789 * * * * [progress]: [ 1 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 2 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 3 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 4 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 5 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 6 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (+ (log 3) (log x.re)) (+ (log x.im) (log x.re)))) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 7 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (+ (log 3) (log x.re)) (log (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 8 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (log (* 3 x.re)) (+ (log x.im) (log x.re)))) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 9 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (log (* 3 x.re)) (log (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.789 * * * * [progress]: [ 10 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (log (* (* 3 x.re) (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 11 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (log (exp (* (* 3 x.re) (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 12 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 13 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 14 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 15 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 16 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 17 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 18 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 19 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 1 (* (* 3 x.re) (* x.im x.re))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 20 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* 3 x.re) x.im) x.re) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 21 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.re (* x.im x.re))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 22 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (posit16->real (real->posit16 (* (* 3 x.re) (* x.im x.re)))) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 23 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* x.im x.re) (* 3 x.re)) (* (* x.im x.im) x.im)))>
2.790 * * * * [progress]: [ 24 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im (+ (+ 1 1) 1))))>
2.790 * * * * [progress]: [ 25 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im (+ 2 1))))>
2.790 * * * * [progress]: [ 26 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im (+ (+ 1 1) 1))))>
2.790 * * * * [progress]: [ 27 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im (+ (* 2 1) 1))))>
2.790 * * * * [progress]: [ 28 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow (* (* x.im x.im) x.im) 1)))>
2.791 * * * * [progress]: [ 29 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow (* (* x.im x.im) x.im) 1)))>
2.791 * * * * [progress]: [ 30 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))>
2.791 * * * * [progress]: [ 31 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im (+ (+ 1 1) 1))))>
2.791 * * * * [progress]: [ 32 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im (+ 2 1))))>
2.791 * * * * [progress]: [ 33 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im (+ (+ 1 1) 1))))>
2.791 * * * * [progress]: [ 34 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im (+ (* 2 1) 1))))>
2.791 * * * * [progress]: [ 35 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow (* (* x.im x.im) x.im) 1)))>
2.791 * * * * [progress]: [ 36 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (exp (+ (+ (log x.im) (log x.im)) (log x.im)))))>
2.791 * * * * [progress]: [ 37 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (exp (+ (log (* x.im x.im)) (log x.im)))))>
2.791 * * * * [progress]: [ 38 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (exp (log (* (* x.im x.im) x.im)))))>
2.791 * * * * [progress]: [ 39 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (log (exp (* (* x.im x.im) x.im)))))>
2.791 * * * * [progress]: [ 40 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (cbrt (* (* (* (* x.im x.im) x.im) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)))))>
2.791 * * * * [progress]: [ 41 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (cbrt (* (* (* (* x.im x.im) (* x.im x.im)) (* x.im x.im)) (* (* x.im x.im) x.im)))))>
2.791 * * * * [progress]: [ 42 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* (* (cbrt (* (* x.im x.im) x.im)) (cbrt (* (* x.im x.im) x.im))) (cbrt (* (* x.im x.im) x.im)))))>
2.791 * * * * [progress]: [ 43 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (cbrt (* (* (* (* x.im x.im) x.im) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)))))>
2.791 * * * * [progress]: [ 44 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* (sqrt (* (* x.im x.im) x.im)) (sqrt (* (* x.im x.im) x.im)))))>
2.791 * * * * [progress]: [ 45 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* 1 (* (* x.im x.im) x.im))))>
2.791 * * * * [progress]: [ 46 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* (* x.im (sqrt x.im)) (* x.im (sqrt x.im)))))>
2.792 * * * * [progress]: [ 47 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* (* (* x.im x.im) (* (cbrt x.im) (cbrt x.im))) (cbrt x.im))))>
2.792 * * * * [progress]: [ 48 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* (* (* x.im x.im) (sqrt x.im)) (sqrt x.im))))>
2.792 * * * * [progress]: [ 49 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* (* (* x.im x.im) 1) x.im)))>
2.792 * * * * [progress]: [ 50 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* x.im (* x.im x.im))))>
2.792 * * * * [progress]: [ 51 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (posit16->real (real->posit16 (* (* x.im x.im) x.im)))))>
2.792 * * * * [progress]: [ 52 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (* x.im (* x.im x.im))))>
2.792 * * * * [progress]: [ 53 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (* (* x.im x.im) x.im)))>
2.792 * * * * [progress]: [ 54 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (* (* x.im x.im) x.im)))>
2.792 * * * * [progress]: [ 55 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (* (* x.im x.im) x.im)))>
2.792 * * * * [progress]: [ 56 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))>
2.792 * * * * [progress]: [ 57 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))>
2.792 * * * * [progress]: [ 58 / 58 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))>
2.793 * [simplify]: Simplifying:
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (+ (+ (log 3) (log x.re)) (+ (log x.im) (log x.re)))
  (+ (+ (log 3) (log x.re)) (log (* x.im x.re)))
  (+ (log (* 3 x.re)) (+ (log x.im) (log x.re)))
  (+ (log (* 3 x.re)) (log (* x.im x.re)))
  (log (* (* 3 x.re) (* x.im x.re)))
  (exp (* (* 3 x.re) (* x.im x.re)))
  (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))
  (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))
  (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))
  (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))
  (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re))))
  (cbrt (* (* 3 x.re) (* x.im x.re)))
  (* (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re)))
  (sqrt (* (* 3 x.re) (* x.im x.re)))
  (sqrt (* (* 3 x.re) (* x.im x.re)))
  (* (* 3 x.re) x.im)
  (* x.re (* x.im x.re))
  (real->posit16 (* (* 3 x.re) (* x.im x.re)))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (* (* x.im x.im) x.im)
  (* (* x.im x.im) x.im)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log x.im) (log x.im)) (log x.im))
  (+ (log (* x.im x.im)) (log x.im))
  (log (* (* x.im x.im) x.im))
  (exp (* (* x.im x.im) x.im))
  (* (* (* (* x.im x.im) x.im) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im))
  (* (* (* (* x.im x.im) (* x.im x.im)) (* x.im x.im)) (* (* x.im x.im) x.im))
  (* (cbrt (* (* x.im x.im) x.im)) (cbrt (* (* x.im x.im) x.im)))
  (cbrt (* (* x.im x.im) x.im))
  (* (* (* (* x.im x.im) x.im) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im))
  (sqrt (* (* x.im x.im) x.im))
  (sqrt (* (* x.im x.im) x.im))
  (* x.im (sqrt x.im))
  (* x.im (sqrt x.im))
  (* (* x.im x.im) (* (cbrt x.im) (cbrt x.im)))
  (* (* x.im x.im) (sqrt x.im))
  (* (* x.im x.im) 1)
  (* x.im x.im)
  (real->posit16 (* (* x.im x.im) x.im))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (pow x.im 3)
  (pow x.im 3)
  (pow x.im 3)
2.794 * * [simplify]: iteration 0: 76 enodes
2.834 * * [simplify]: iteration 1: 213 enodes
2.963 * * [simplify]: iteration 2: 931 enodes
3.245 * * [simplify]: iteration complete: 2002 enodes
3.245 * * [simplify]: Extracting #0: cost 24 inf + 0
3.246 * * [simplify]: Extracting #1: cost 280 inf + 1030
3.250 * * [simplify]: Extracting #2: cost 622 inf + 14456
3.260 * * [simplify]: Extracting #3: cost 307 inf + 68195
3.282 * * [simplify]: Extracting #4: cost 22 inf + 109600
3.302 * * [simplify]: Extracting #5: cost 0 inf + 116497
3.322 * [simplify]: Simplified to:
  (* (* x.im x.re) (* 3 x.re))
  (* (* x.im x.re) (* 3 x.re))
  (* (* x.im x.re) (* 3 x.re))
  (* (* x.im x.re) (* 3 x.re))
  (log (* (* x.im x.re) (* 3 x.re)))
  (log (* (* x.im x.re) (* 3 x.re)))
  (log (* (* x.im x.re) (* 3 x.re)))
  (log (* (* x.im x.re) (* 3 x.re)))
  (log (* (* x.im x.re) (* 3 x.re)))
  (exp (* (* x.im x.re) (* 3 x.re)))
  (* (* 27 (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* x.re (* x.re x.re)))
  (* (* 27 (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* x.re (* x.re x.re)))
  (* (* (* x.im x.re) (* 3 x.re)) (* (* (* x.im x.re) (* 3 x.re)) (* (* x.im x.re) (* 3 x.re))))
  (* (* (* x.im x.re) (* 3 x.re)) (* (* (* x.im x.re) (* 3 x.re)) (* (* x.im x.re) (* 3 x.re))))
  (* (cbrt (* (* x.im x.re) (* 3 x.re))) (cbrt (* (* x.im x.re) (* 3 x.re))))
  (cbrt (* (* x.im x.re) (* 3 x.re)))
  (* (* (* x.im x.re) (* 3 x.re)) (* (* (* x.im x.re) (* 3 x.re)) (* (* x.im x.re) (* 3 x.re))))
  (sqrt (* (* x.im x.re) (* 3 x.re)))
  (sqrt (* (* x.im x.re) (* 3 x.re)))
  (* 3 (* x.im x.re))
  (* x.re (* x.im x.re))
  (real->posit16 (* (* x.im x.re) (* 3 x.re)))
  3
  3
  3
  3
  (* x.im (* x.im x.im))
  (* x.im (* x.im x.im))
  3
  3
  3
  3
  (* 3 (log x.im))
  (* 3 (log x.im))
  (* 3 (log x.im))
  (exp (* x.im (* x.im x.im)))
  (* (* x.im (* x.im x.im)) (* (* x.im (* x.im x.im)) (* x.im (* x.im x.im))))
  (* (* x.im (* x.im x.im)) (* (* x.im (* x.im x.im)) (* x.im (* x.im x.im))))
  (* x.im x.im)
  x.im
  (* (* x.im (* x.im x.im)) (* (* x.im (* x.im x.im)) (* x.im (* x.im x.im))))
  (sqrt (* x.im (* x.im x.im)))
  (sqrt (* x.im (* x.im x.im)))
  (* (sqrt x.im) x.im)
  (* (sqrt x.im) x.im)
  (* (* (cbrt x.im) x.im) (* (cbrt x.im) x.im))
  (* (* x.im x.im) (sqrt x.im))
  (* x.im x.im)
  (* x.im x.im)
  (real->posit16 (* x.im (* x.im x.im)))
  (* 3 (* (* x.re x.re) x.im))
  (* 3 (* (* x.re x.re) x.im))
  (* 3 (* (* x.re x.re) x.im))
  (* x.im (* x.im x.im))
  (* x.im (* x.im x.im))
  (* x.im (* x.im x.im))
3.324 * * * [progress]: adding candidates to table
3.467 * * [progress]: iteration 3 / 4
3.467 * * * [progress]: picking best candidate
3.477 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))>
3.477 * * * [progress]: localizing error
3.494 * * * [progress]: generating rewritten candidates
3.494 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
3.516 * * * [progress]: generating series expansions
3.516 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
3.516 * [backup-simplify]: Simplify (* (* 3 x.re) (* x.im x.re)) into (* 3 (* x.im (pow x.re 2)))
3.516 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
3.516 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im
3.516 * [taylor]: Taking taylor expansion of 3 in x.im
3.516 * [backup-simplify]: Simplify 3 into 3
3.516 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
3.516 * [taylor]: Taking taylor expansion of x.im in x.im
3.516 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify 1 into 1
3.516 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
3.516 * [taylor]: Taking taylor expansion of x.re in x.im
3.516 * [backup-simplify]: Simplify x.re into x.re
3.516 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
3.516 * [taylor]: Taking taylor expansion of 3 in x.re
3.516 * [backup-simplify]: Simplify 3 into 3
3.516 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
3.516 * [taylor]: Taking taylor expansion of x.im in x.re
3.516 * [backup-simplify]: Simplify x.im into x.im
3.516 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
3.516 * [taylor]: Taking taylor expansion of x.re in x.re
3.516 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify 1 into 1
3.516 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
3.516 * [taylor]: Taking taylor expansion of 3 in x.re
3.516 * [backup-simplify]: Simplify 3 into 3
3.516 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
3.517 * [taylor]: Taking taylor expansion of x.im in x.re
3.517 * [backup-simplify]: Simplify x.im into x.im
3.517 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
3.517 * [taylor]: Taking taylor expansion of x.re in x.re
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 1 into 1
3.517 * [backup-simplify]: Simplify (* 1 1) into 1
3.517 * [backup-simplify]: Simplify (* x.im 1) into x.im
3.517 * [backup-simplify]: Simplify (* 3 x.im) into (* 3 x.im)
3.517 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im
3.517 * [taylor]: Taking taylor expansion of 3 in x.im
3.518 * [backup-simplify]: Simplify 3 into 3
3.518 * [taylor]: Taking taylor expansion of x.im in x.im
3.518 * [backup-simplify]: Simplify 0 into 0
3.518 * [backup-simplify]: Simplify 1 into 1
3.518 * [backup-simplify]: Simplify (* 3 0) into 0
3.518 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.519 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
3.520 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.im)) into 0
3.520 * [taylor]: Taking taylor expansion of 0 in x.im
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
3.521 * [backup-simplify]: Simplify 3 into 3
3.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.523 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
3.523 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.im))) into 0
3.523 * [taylor]: Taking taylor expansion of 0 in x.im
3.523 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 0 into 0
3.525 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
3.525 * [backup-simplify]: Simplify 0 into 0
3.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.527 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.528 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.im)))) into 0
3.528 * [taylor]: Taking taylor expansion of 0 in x.im
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify (* 3 (* x.im (pow x.re 2))) into (* 3 (* x.im (pow x.re 2)))
3.528 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.re)) (* (/ 1 x.im) (/ 1 x.re))) into (/ 3 (* x.im (pow x.re 2)))
3.528 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
3.528 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im
3.528 * [taylor]: Taking taylor expansion of 3 in x.im
3.528 * [backup-simplify]: Simplify 3 into 3
3.528 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
3.529 * [taylor]: Taking taylor expansion of x.im in x.im
3.529 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify 1 into 1
3.529 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
3.529 * [taylor]: Taking taylor expansion of x.re in x.im
3.529 * [backup-simplify]: Simplify x.re into x.re
3.529 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
3.529 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0
3.529 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
3.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2)
3.529 * [backup-simplify]: Simplify (/ 3 (pow x.re 2)) into (/ 3 (pow x.re 2))
3.530 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
3.530 * [taylor]: Taking taylor expansion of 3 in x.re
3.530 * [backup-simplify]: Simplify 3 into 3
3.530 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
3.530 * [taylor]: Taking taylor expansion of x.im in x.re
3.530 * [backup-simplify]: Simplify x.im into x.im
3.530 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
3.530 * [taylor]: Taking taylor expansion of x.re in x.re
3.530 * [backup-simplify]: Simplify 0 into 0
3.530 * [backup-simplify]: Simplify 1 into 1
3.530 * [backup-simplify]: Simplify (* 1 1) into 1
3.530 * [backup-simplify]: Simplify (* x.im 1) into x.im
3.530 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
3.530 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
3.530 * [taylor]: Taking taylor expansion of 3 in x.re
3.530 * [backup-simplify]: Simplify 3 into 3
3.530 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
3.530 * [taylor]: Taking taylor expansion of x.im in x.re
3.530 * [backup-simplify]: Simplify x.im into x.im
3.530 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
3.530 * [taylor]: Taking taylor expansion of x.re in x.re
3.531 * [backup-simplify]: Simplify 0 into 0
3.531 * [backup-simplify]: Simplify 1 into 1
3.531 * [backup-simplify]: Simplify (* 1 1) into 1
3.531 * [backup-simplify]: Simplify (* x.im 1) into x.im
3.531 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
3.531 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
3.531 * [taylor]: Taking taylor expansion of 3 in x.im
3.531 * [backup-simplify]: Simplify 3 into 3
3.531 * [taylor]: Taking taylor expansion of x.im in x.im
3.531 * [backup-simplify]: Simplify 0 into 0
3.531 * [backup-simplify]: Simplify 1 into 1
3.532 * [backup-simplify]: Simplify (/ 3 1) into 3
3.532 * [backup-simplify]: Simplify 3 into 3
3.532 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.533 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
3.533 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0
3.533 * [taylor]: Taking taylor expansion of 0 in x.im
3.533 * [backup-simplify]: Simplify 0 into 0
3.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
3.534 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.536 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
3.536 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
3.536 * [taylor]: Taking taylor expansion of 0 in x.im
3.536 * [backup-simplify]: Simplify 0 into 0
3.536 * [backup-simplify]: Simplify 0 into 0
3.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.538 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.540 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.540 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
3.540 * [taylor]: Taking taylor expansion of 0 in x.im
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.541 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.im)) (pow (/ 1 x.re) -2))) into (* 3 (* x.im (pow x.re 2)))
3.542 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.re))) (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ -3 (* x.im (pow x.re 2)))
3.542 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
3.542 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im
3.542 * [taylor]: Taking taylor expansion of -3 in x.im
3.542 * [backup-simplify]: Simplify -3 into -3
3.542 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
3.542 * [taylor]: Taking taylor expansion of x.im in x.im
3.542 * [backup-simplify]: Simplify 0 into 0
3.542 * [backup-simplify]: Simplify 1 into 1
3.542 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
3.542 * [taylor]: Taking taylor expansion of x.re in x.im
3.542 * [backup-simplify]: Simplify x.re into x.re
3.542 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
3.542 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0
3.542 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
3.543 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2)
3.543 * [backup-simplify]: Simplify (/ -3 (pow x.re 2)) into (/ -3 (pow x.re 2))
3.543 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
3.543 * [taylor]: Taking taylor expansion of -3 in x.re
3.543 * [backup-simplify]: Simplify -3 into -3
3.543 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
3.543 * [taylor]: Taking taylor expansion of x.im in x.re
3.543 * [backup-simplify]: Simplify x.im into x.im
3.543 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
3.543 * [taylor]: Taking taylor expansion of x.re in x.re
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify 1 into 1
3.543 * [backup-simplify]: Simplify (* 1 1) into 1
3.544 * [backup-simplify]: Simplify (* x.im 1) into x.im
3.544 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im)
3.544 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
3.544 * [taylor]: Taking taylor expansion of -3 in x.re
3.544 * [backup-simplify]: Simplify -3 into -3
3.544 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
3.544 * [taylor]: Taking taylor expansion of x.im in x.re
3.544 * [backup-simplify]: Simplify x.im into x.im
3.544 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
3.544 * [taylor]: Taking taylor expansion of x.re in x.re
3.544 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify 1 into 1
3.544 * [backup-simplify]: Simplify (* 1 1) into 1
3.544 * [backup-simplify]: Simplify (* x.im 1) into x.im
3.544 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im)
3.544 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im
3.544 * [taylor]: Taking taylor expansion of -3 in x.im
3.545 * [backup-simplify]: Simplify -3 into -3
3.545 * [taylor]: Taking taylor expansion of x.im in x.im
3.545 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify 1 into 1
3.545 * [backup-simplify]: Simplify (/ -3 1) into -3
3.545 * [backup-simplify]: Simplify -3 into -3
3.546 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.546 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
3.546 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)))) into 0
3.546 * [taylor]: Taking taylor expansion of 0 in x.im
3.547 * [backup-simplify]: Simplify 0 into 0
3.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
3.547 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.549 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
3.549 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
3.549 * [taylor]: Taking taylor expansion of 0 in x.im
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.551 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.552 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.553 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
3.553 * [taylor]: Taking taylor expansion of 0 in x.im
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify 0 into 0
3.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.554 * [backup-simplify]: Simplify 0 into 0
3.554 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.im))) (pow (/ 1 (- x.re)) -2))) into (* 3 (* x.im (pow x.re 2)))
3.554 * * * [progress]: simplifying candidates
3.554 * * * * [progress]: [ 1 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (pow x.im 3)))>
3.554 * * * * [progress]: [ 2 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (pow x.im 3)))>
3.554 * * * * [progress]: [ 3 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (pow x.im 3)))>
3.554 * * * * [progress]: [ 4 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (pow x.im 3)))>
3.555 * * * * [progress]: [ 5 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* 3 x.re) (* x.im x.re)) 1) (pow x.im 3)))>
3.555 * * * * [progress]: [ 6 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (+ (log 3) (log x.re)) (+ (log x.im) (log x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 7 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (+ (log 3) (log x.re)) (log (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 8 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (log (* 3 x.re)) (+ (log x.im) (log x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 9 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (log (* 3 x.re)) (log (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 10 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (log (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 11 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (log (exp (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 12 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 13 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 14 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 15 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 16 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 17 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 18 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 19 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 1 (* (* 3 x.re) (* x.im x.re))) (pow x.im 3)))>
3.555 * * * * [progress]: [ 20 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))>
3.556 * * * * [progress]: [ 21 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.re (* x.im x.re))) (pow x.im 3)))>
3.556 * * * * [progress]: [ 22 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (posit16->real (real->posit16 (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))>
3.556 * * * * [progress]: [ 23 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* x.im x.re) (* 3 x.re)) (pow x.im 3)))>
3.556 * * * * [progress]: [ 24 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
3.556 * * * * [progress]: [ 25 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
3.556 * * * * [progress]: [ 26 / 26 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
3.556 * [simplify]: Simplifying:
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (+ (+ (log 3) (log x.re)) (+ (log x.im) (log x.re)))
  (+ (+ (log 3) (log x.re)) (log (* x.im x.re)))
  (+ (log (* 3 x.re)) (+ (log x.im) (log x.re)))
  (+ (log (* 3 x.re)) (log (* x.im x.re)))
  (log (* (* 3 x.re) (* x.im x.re)))
  (exp (* (* 3 x.re) (* x.im x.re)))
  (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))
  (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))
  (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))
  (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))
  (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re))))
  (cbrt (* (* 3 x.re) (* x.im x.re)))
  (* (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re)))
  (sqrt (* (* 3 x.re) (* x.im x.re)))
  (sqrt (* (* 3 x.re) (* x.im x.re)))
  (* (* 3 x.re) x.im)
  (* x.re (* x.im x.re))
  (real->posit16 (* (* 3 x.re) (* x.im x.re)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
3.557 * * [simplify]: iteration 0: 47 enodes
3.577 * * [simplify]: iteration 1: 132 enodes
3.622 * * [simplify]: iteration 2: 540 enodes
3.883 * * [simplify]: iteration complete: 2001 enodes
3.883 * * [simplify]: Extracting #0: cost 11 inf + 0
3.884 * * [simplify]: Extracting #1: cost 323 inf + 0
3.891 * * [simplify]: Extracting #2: cost 596 inf + 10385
3.917 * * [simplify]: Extracting #3: cost 257 inf + 71580
3.940 * * [simplify]: Extracting #4: cost 15 inf + 116079
3.980 * * [simplify]: Extracting #5: cost 0 inf + 117149
4.004 * * [simplify]: Extracting #6: cost 0 inf + 116909
4.047 * * [simplify]: Extracting #7: cost 0 inf + 116869
4.077 * [simplify]: Simplified to:
  (* (* x.im x.re) (* 3 x.re))
  (* (* x.im x.re) (* 3 x.re))
  (* (* x.im x.re) (* 3 x.re))
  (* (* x.im x.re) (* 3 x.re))
  (log (* (* x.im x.re) (* 3 x.re)))
  (log (* (* x.im x.re) (* 3 x.re)))
  (log (* (* x.im x.re) (* 3 x.re)))
  (log (* (* x.im x.re) (* 3 x.re)))
  (log (* (* x.im x.re) (* 3 x.re)))
  (exp (* (* x.im x.re) (* 3 x.re)))
  (* (* (* x.im x.re) 27) (* (* (* (* x.im x.re) x.re) x.re) (* (* x.im x.re) x.re)))
  (* (* (* x.im x.re) 27) (* (* (* (* x.im x.re) x.re) x.re) (* (* x.im x.re) x.re)))
  (* (* (* x.im x.re) (* 3 x.re)) (* (* (* x.im x.re) (* 3 x.re)) (* (* x.im x.re) (* 3 x.re))))
  (* (* (* x.im x.re) (* 3 x.re)) (* (* (* x.im x.re) (* 3 x.re)) (* (* x.im x.re) (* 3 x.re))))
  (* (cbrt (* (* x.im x.re) (* 3 x.re))) (cbrt (* (* x.im x.re) (* 3 x.re))))
  (cbrt (* (* x.im x.re) (* 3 x.re)))
  (* (* (* x.im x.re) (* 3 x.re)) (* (* (* x.im x.re) (* 3 x.re)) (* (* x.im x.re) (* 3 x.re))))
  (sqrt (* (* x.im x.re) (* 3 x.re)))
  (sqrt (* (* x.im x.re) (* 3 x.re)))
  (* (* x.im x.re) 3)
  (* (* x.im x.re) x.re)
  (real->posit16 (* (* x.im x.re) (* 3 x.re)))
  (* (* x.im x.re) (* 3 x.re))
  (* (* x.im x.re) (* 3 x.re))
  (* (* x.im x.re) (* 3 x.re))
4.078 * * * [progress]: adding candidates to table
4.157 * * [progress]: iteration 4 / 4
4.157 * * * [progress]: picking best candidate
4.168 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))>
4.168 * * * [progress]: localizing error
4.182 * * * [progress]: generating rewritten candidates
4.182 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
4.195 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
4.243 * * * [progress]: generating series expansions
4.243 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
4.243 * [backup-simplify]: Simplify (* (* 3 x.re) x.im) into (* 3 (* x.im x.re))
4.243 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0
4.243 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
4.243 * [taylor]: Taking taylor expansion of 3 in x.im
4.243 * [backup-simplify]: Simplify 3 into 3
4.243 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.243 * [taylor]: Taking taylor expansion of x.im in x.im
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 1 into 1
4.243 * [taylor]: Taking taylor expansion of x.re in x.im
4.243 * [backup-simplify]: Simplify x.re into x.re
4.243 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
4.243 * [taylor]: Taking taylor expansion of 3 in x.re
4.243 * [backup-simplify]: Simplify 3 into 3
4.243 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.243 * [taylor]: Taking taylor expansion of x.im in x.re
4.243 * [backup-simplify]: Simplify x.im into x.im
4.243 * [taylor]: Taking taylor expansion of x.re in x.re
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 1 into 1
4.243 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
4.243 * [taylor]: Taking taylor expansion of 3 in x.re
4.243 * [backup-simplify]: Simplify 3 into 3
4.243 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.243 * [taylor]: Taking taylor expansion of x.im in x.re
4.243 * [backup-simplify]: Simplify x.im into x.im
4.243 * [taylor]: Taking taylor expansion of x.re in x.re
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify 1 into 1
4.244 * [backup-simplify]: Simplify (* x.im 0) into 0
4.244 * [backup-simplify]: Simplify (* 3 0) into 0
4.244 * [taylor]: Taking taylor expansion of 0 in x.im
4.244 * [backup-simplify]: Simplify 0 into 0
4.244 * [backup-simplify]: Simplify 0 into 0
4.245 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
4.245 * [backup-simplify]: Simplify (+ (* 3 x.im) (* 0 0)) into (* 3 x.im)
4.245 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im
4.245 * [taylor]: Taking taylor expansion of 3 in x.im
4.245 * [backup-simplify]: Simplify 3 into 3
4.245 * [taylor]: Taking taylor expansion of x.im in x.im
4.245 * [backup-simplify]: Simplify 0 into 0
4.245 * [backup-simplify]: Simplify 1 into 1
4.245 * [backup-simplify]: Simplify (* 3 0) into 0
4.245 * [backup-simplify]: Simplify 0 into 0
4.245 * [backup-simplify]: Simplify 0 into 0
4.246 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 1) (* 0 0))) into 0
4.246 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.im) (* 0 0))) into 0
4.246 * [taylor]: Taking taylor expansion of 0 in x.im
4.246 * [backup-simplify]: Simplify 0 into 0
4.246 * [backup-simplify]: Simplify 0 into 0
4.247 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
4.247 * [backup-simplify]: Simplify 3 into 3
4.247 * [backup-simplify]: Simplify 0 into 0
4.247 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.248 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.im) (* 0 0)))) into 0
4.248 * [taylor]: Taking taylor expansion of 0 in x.im
4.248 * [backup-simplify]: Simplify 0 into 0
4.248 * [backup-simplify]: Simplify 0 into 0
4.248 * [backup-simplify]: Simplify 0 into 0
4.249 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
4.249 * [backup-simplify]: Simplify 0 into 0
4.249 * [backup-simplify]: Simplify 0 into 0
4.250 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.251 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.im) (* 0 0))))) into 0
4.251 * [taylor]: Taking taylor expansion of 0 in x.im
4.251 * [backup-simplify]: Simplify 0 into 0
4.251 * [backup-simplify]: Simplify 0 into 0
4.251 * [backup-simplify]: Simplify (* 3 (* x.im x.re)) into (* 3 (* x.im x.re))
4.251 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.re)) (/ 1 x.im)) into (/ 3 (* x.im x.re))
4.251 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0
4.251 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
4.251 * [taylor]: Taking taylor expansion of 3 in x.im
4.251 * [backup-simplify]: Simplify 3 into 3
4.251 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.251 * [taylor]: Taking taylor expansion of x.im in x.im
4.252 * [backup-simplify]: Simplify 0 into 0
4.252 * [backup-simplify]: Simplify 1 into 1
4.252 * [taylor]: Taking taylor expansion of x.re in x.im
4.252 * [backup-simplify]: Simplify x.re into x.re
4.252 * [backup-simplify]: Simplify (* 0 x.re) into 0
4.252 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
4.252 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
4.252 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
4.252 * [taylor]: Taking taylor expansion of 3 in x.re
4.252 * [backup-simplify]: Simplify 3 into 3
4.252 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.252 * [taylor]: Taking taylor expansion of x.im in x.re
4.252 * [backup-simplify]: Simplify x.im into x.im
4.252 * [taylor]: Taking taylor expansion of x.re in x.re
4.252 * [backup-simplify]: Simplify 0 into 0
4.252 * [backup-simplify]: Simplify 1 into 1
4.252 * [backup-simplify]: Simplify (* x.im 0) into 0
4.253 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
4.253 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
4.253 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
4.253 * [taylor]: Taking taylor expansion of 3 in x.re
4.253 * [backup-simplify]: Simplify 3 into 3
4.253 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.253 * [taylor]: Taking taylor expansion of x.im in x.re
4.253 * [backup-simplify]: Simplify x.im into x.im
4.253 * [taylor]: Taking taylor expansion of x.re in x.re
4.253 * [backup-simplify]: Simplify 0 into 0
4.253 * [backup-simplify]: Simplify 1 into 1
4.253 * [backup-simplify]: Simplify (* x.im 0) into 0
4.254 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
4.254 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
4.254 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
4.254 * [taylor]: Taking taylor expansion of 3 in x.im
4.254 * [backup-simplify]: Simplify 3 into 3
4.254 * [taylor]: Taking taylor expansion of x.im in x.im
4.254 * [backup-simplify]: Simplify 0 into 0
4.254 * [backup-simplify]: Simplify 1 into 1
4.254 * [backup-simplify]: Simplify (/ 3 1) into 3
4.254 * [backup-simplify]: Simplify 3 into 3
4.255 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 1) (* 0 0))) into 0
4.255 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0
4.255 * [taylor]: Taking taylor expansion of 0 in x.im
4.255 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
4.256 * [backup-simplify]: Simplify 0 into 0
4.257 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.257 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
4.257 * [taylor]: Taking taylor expansion of 0 in x.im
4.257 * [backup-simplify]: Simplify 0 into 0
4.257 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.259 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.260 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
4.260 * [taylor]: Taking taylor expansion of 0 in x.im
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.im)) (/ 1 (/ 1 x.re)))) into (* 3 (* x.im x.re))
4.261 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.re))) (/ 1 (- x.im))) into (/ 3 (* x.im x.re))
4.261 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0
4.261 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
4.261 * [taylor]: Taking taylor expansion of 3 in x.im
4.261 * [backup-simplify]: Simplify 3 into 3
4.261 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.261 * [taylor]: Taking taylor expansion of x.im in x.im
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify 1 into 1
4.262 * [taylor]: Taking taylor expansion of x.re in x.im
4.262 * [backup-simplify]: Simplify x.re into x.re
4.262 * [backup-simplify]: Simplify (* 0 x.re) into 0
4.262 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
4.262 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
4.262 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
4.262 * [taylor]: Taking taylor expansion of 3 in x.re
4.262 * [backup-simplify]: Simplify 3 into 3
4.262 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.262 * [taylor]: Taking taylor expansion of x.im in x.re
4.262 * [backup-simplify]: Simplify x.im into x.im
4.262 * [taylor]: Taking taylor expansion of x.re in x.re
4.262 * [backup-simplify]: Simplify 0 into 0
4.262 * [backup-simplify]: Simplify 1 into 1
4.262 * [backup-simplify]: Simplify (* x.im 0) into 0
4.263 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
4.263 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
4.263 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
4.263 * [taylor]: Taking taylor expansion of 3 in x.re
4.263 * [backup-simplify]: Simplify 3 into 3
4.263 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.263 * [taylor]: Taking taylor expansion of x.im in x.re
4.263 * [backup-simplify]: Simplify x.im into x.im
4.263 * [taylor]: Taking taylor expansion of x.re in x.re
4.263 * [backup-simplify]: Simplify 0 into 0
4.263 * [backup-simplify]: Simplify 1 into 1
4.263 * [backup-simplify]: Simplify (* x.im 0) into 0
4.264 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
4.264 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
4.264 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
4.264 * [taylor]: Taking taylor expansion of 3 in x.im
4.264 * [backup-simplify]: Simplify 3 into 3
4.264 * [taylor]: Taking taylor expansion of x.im in x.im
4.264 * [backup-simplify]: Simplify 0 into 0
4.264 * [backup-simplify]: Simplify 1 into 1
4.264 * [backup-simplify]: Simplify (/ 3 1) into 3
4.264 * [backup-simplify]: Simplify 3 into 3
4.265 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 1) (* 0 0))) into 0
4.265 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0
4.265 * [taylor]: Taking taylor expansion of 0 in x.im
4.265 * [backup-simplify]: Simplify 0 into 0
4.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
4.266 * [backup-simplify]: Simplify 0 into 0
4.267 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.267 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
4.267 * [taylor]: Taking taylor expansion of 0 in x.im
4.267 * [backup-simplify]: Simplify 0 into 0
4.267 * [backup-simplify]: Simplify 0 into 0
4.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.269 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.270 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
4.270 * [taylor]: Taking taylor expansion of 0 in x.im
4.270 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.271 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.im))) (/ 1 (/ 1 (- x.re))))) into (* 3 (* x.im x.re))
4.271 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
4.272 * [backup-simplify]: Simplify (* (* (* 3 x.re) x.im) x.re) into (* 3 (* x.im (pow x.re 2)))
4.272 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
4.272 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im
4.272 * [taylor]: Taking taylor expansion of 3 in x.im
4.272 * [backup-simplify]: Simplify 3 into 3
4.272 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
4.272 * [taylor]: Taking taylor expansion of x.im in x.im
4.272 * [backup-simplify]: Simplify 0 into 0
4.272 * [backup-simplify]: Simplify 1 into 1
4.272 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
4.272 * [taylor]: Taking taylor expansion of x.re in x.im
4.272 * [backup-simplify]: Simplify x.re into x.re
4.272 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
4.272 * [taylor]: Taking taylor expansion of 3 in x.re
4.272 * [backup-simplify]: Simplify 3 into 3
4.272 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
4.272 * [taylor]: Taking taylor expansion of x.im in x.re
4.272 * [backup-simplify]: Simplify x.im into x.im
4.272 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
4.272 * [taylor]: Taking taylor expansion of x.re in x.re
4.272 * [backup-simplify]: Simplify 0 into 0
4.272 * [backup-simplify]: Simplify 1 into 1
4.272 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
4.272 * [taylor]: Taking taylor expansion of 3 in x.re
4.272 * [backup-simplify]: Simplify 3 into 3
4.272 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
4.272 * [taylor]: Taking taylor expansion of x.im in x.re
4.272 * [backup-simplify]: Simplify x.im into x.im
4.272 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
4.272 * [taylor]: Taking taylor expansion of x.re in x.re
4.272 * [backup-simplify]: Simplify 0 into 0
4.272 * [backup-simplify]: Simplify 1 into 1
4.273 * [backup-simplify]: Simplify (* 1 1) into 1
4.273 * [backup-simplify]: Simplify (* x.im 1) into x.im
4.273 * [backup-simplify]: Simplify (* 3 x.im) into (* 3 x.im)
4.273 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im
4.273 * [taylor]: Taking taylor expansion of 3 in x.im
4.273 * [backup-simplify]: Simplify 3 into 3
4.273 * [taylor]: Taking taylor expansion of x.im in x.im
4.273 * [backup-simplify]: Simplify 0 into 0
4.273 * [backup-simplify]: Simplify 1 into 1
4.274 * [backup-simplify]: Simplify (* 3 0) into 0
4.274 * [backup-simplify]: Simplify 0 into 0
4.274 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.275 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
4.275 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.im)) into 0
4.275 * [taylor]: Taking taylor expansion of 0 in x.im
4.275 * [backup-simplify]: Simplify 0 into 0
4.275 * [backup-simplify]: Simplify 0 into 0
4.276 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
4.276 * [backup-simplify]: Simplify 3 into 3
4.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.278 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
4.279 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.im))) into 0
4.279 * [taylor]: Taking taylor expansion of 0 in x.im
4.279 * [backup-simplify]: Simplify 0 into 0
4.279 * [backup-simplify]: Simplify 0 into 0
4.279 * [backup-simplify]: Simplify 0 into 0
4.280 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
4.280 * [backup-simplify]: Simplify 0 into 0
4.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.282 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.283 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.im)))) into 0
4.283 * [taylor]: Taking taylor expansion of 0 in x.im
4.283 * [backup-simplify]: Simplify 0 into 0
4.283 * [backup-simplify]: Simplify 0 into 0
4.283 * [backup-simplify]: Simplify 0 into 0
4.283 * [backup-simplify]: Simplify 0 into 0
4.283 * [backup-simplify]: Simplify (* 3 (* x.im (pow x.re 2))) into (* 3 (* x.im (pow x.re 2)))
4.284 * [backup-simplify]: Simplify (* (* (* 3 (/ 1 x.re)) (/ 1 x.im)) (/ 1 x.re)) into (/ 3 (* x.im (pow x.re 2)))
4.284 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
4.284 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im
4.284 * [taylor]: Taking taylor expansion of 3 in x.im
4.284 * [backup-simplify]: Simplify 3 into 3
4.284 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
4.284 * [taylor]: Taking taylor expansion of x.im in x.im
4.284 * [backup-simplify]: Simplify 0 into 0
4.284 * [backup-simplify]: Simplify 1 into 1
4.284 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
4.284 * [taylor]: Taking taylor expansion of x.re in x.im
4.284 * [backup-simplify]: Simplify x.re into x.re
4.284 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
4.284 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0
4.284 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
4.285 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2)
4.285 * [backup-simplify]: Simplify (/ 3 (pow x.re 2)) into (/ 3 (pow x.re 2))
4.285 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
4.285 * [taylor]: Taking taylor expansion of 3 in x.re
4.285 * [backup-simplify]: Simplify 3 into 3
4.285 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
4.285 * [taylor]: Taking taylor expansion of x.im in x.re
4.285 * [backup-simplify]: Simplify x.im into x.im
4.285 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
4.285 * [taylor]: Taking taylor expansion of x.re in x.re
4.285 * [backup-simplify]: Simplify 0 into 0
4.285 * [backup-simplify]: Simplify 1 into 1
4.286 * [backup-simplify]: Simplify (* 1 1) into 1
4.286 * [backup-simplify]: Simplify (* x.im 1) into x.im
4.286 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
4.286 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
4.286 * [taylor]: Taking taylor expansion of 3 in x.re
4.286 * [backup-simplify]: Simplify 3 into 3
4.286 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
4.286 * [taylor]: Taking taylor expansion of x.im in x.re
4.286 * [backup-simplify]: Simplify x.im into x.im
4.286 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
4.286 * [taylor]: Taking taylor expansion of x.re in x.re
4.286 * [backup-simplify]: Simplify 0 into 0
4.286 * [backup-simplify]: Simplify 1 into 1
4.286 * [backup-simplify]: Simplify (* 1 1) into 1
4.286 * [backup-simplify]: Simplify (* x.im 1) into x.im
4.286 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
4.286 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
4.286 * [taylor]: Taking taylor expansion of 3 in x.im
4.287 * [backup-simplify]: Simplify 3 into 3
4.287 * [taylor]: Taking taylor expansion of x.im in x.im
4.287 * [backup-simplify]: Simplify 0 into 0
4.287 * [backup-simplify]: Simplify 1 into 1
4.287 * [backup-simplify]: Simplify (/ 3 1) into 3
4.287 * [backup-simplify]: Simplify 3 into 3
4.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.288 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
4.288 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0
4.288 * [taylor]: Taking taylor expansion of 0 in x.im
4.288 * [backup-simplify]: Simplify 0 into 0
4.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
4.289 * [backup-simplify]: Simplify 0 into 0
4.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.291 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
4.291 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
4.291 * [taylor]: Taking taylor expansion of 0 in x.im
4.291 * [backup-simplify]: Simplify 0 into 0
4.291 * [backup-simplify]: Simplify 0 into 0
4.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.292 * [backup-simplify]: Simplify 0 into 0
4.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.294 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.294 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
4.295 * [taylor]: Taking taylor expansion of 0 in x.im
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.im)) (pow (/ 1 x.re) -2))) into (* 3 (* x.im (pow x.re 2)))
4.296 * [backup-simplify]: Simplify (* (* (* 3 (/ 1 (- x.re))) (/ 1 (- x.im))) (/ 1 (- x.re))) into (/ -3 (* x.im (pow x.re 2)))
4.296 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
4.296 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im
4.296 * [taylor]: Taking taylor expansion of -3 in x.im
4.296 * [backup-simplify]: Simplify -3 into -3
4.297 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
4.297 * [taylor]: Taking taylor expansion of x.im in x.im
4.297 * [backup-simplify]: Simplify 0 into 0
4.297 * [backup-simplify]: Simplify 1 into 1
4.297 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
4.297 * [taylor]: Taking taylor expansion of x.re in x.im
4.297 * [backup-simplify]: Simplify x.re into x.re
4.297 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2)
4.297 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0
4.297 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0
4.297 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2)
4.297 * [backup-simplify]: Simplify (/ -3 (pow x.re 2)) into (/ -3 (pow x.re 2))
4.297 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
4.298 * [taylor]: Taking taylor expansion of -3 in x.re
4.298 * [backup-simplify]: Simplify -3 into -3
4.298 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
4.298 * [taylor]: Taking taylor expansion of x.im in x.re
4.298 * [backup-simplify]: Simplify x.im into x.im
4.298 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
4.298 * [taylor]: Taking taylor expansion of x.re in x.re
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify 1 into 1
4.298 * [backup-simplify]: Simplify (* 1 1) into 1
4.298 * [backup-simplify]: Simplify (* x.im 1) into x.im
4.298 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im)
4.298 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
4.298 * [taylor]: Taking taylor expansion of -3 in x.re
4.298 * [backup-simplify]: Simplify -3 into -3
4.298 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
4.298 * [taylor]: Taking taylor expansion of x.im in x.re
4.298 * [backup-simplify]: Simplify x.im into x.im
4.298 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
4.298 * [taylor]: Taking taylor expansion of x.re in x.re
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify 1 into 1
4.299 * [backup-simplify]: Simplify (* 1 1) into 1
4.299 * [backup-simplify]: Simplify (* x.im 1) into x.im
4.299 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im)
4.299 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im
4.299 * [taylor]: Taking taylor expansion of -3 in x.im
4.299 * [backup-simplify]: Simplify -3 into -3
4.299 * [taylor]: Taking taylor expansion of x.im in x.im
4.299 * [backup-simplify]: Simplify 0 into 0
4.299 * [backup-simplify]: Simplify 1 into 1
4.300 * [backup-simplify]: Simplify (/ -3 1) into -3
4.300 * [backup-simplify]: Simplify -3 into -3
4.300 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.301 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0
4.301 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)))) into 0
4.301 * [taylor]: Taking taylor expansion of 0 in x.im
4.301 * [backup-simplify]: Simplify 0 into 0
4.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
4.302 * [backup-simplify]: Simplify 0 into 0
4.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.303 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0
4.303 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
4.303 * [taylor]: Taking taylor expansion of 0 in x.im
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.303 * [backup-simplify]: Simplify 0 into 0
4.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.304 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.305 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
4.305 * [taylor]: Taking taylor expansion of 0 in x.im
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.im))) (pow (/ 1 (- x.re)) -2))) into (* 3 (* x.im (pow x.re 2)))
4.306 * * * [progress]: simplifying candidates
4.306 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (pow (* (* 3 x.re) x.im) 1) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (pow (* (* 3 x.re) x.im) 1) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (pow (* (* 3 x.re) x.im) 1) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (exp (+ (+ (log 3) (log x.re)) (log x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (exp (+ (log (* 3 x.re)) (log x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (exp (log (* (* 3 x.re) x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (log (exp (* (* 3 x.re) x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (cbrt (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (cbrt (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (cbrt (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (cbrt x.im)) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* (* 3 x.re) (sqrt x.im)) (sqrt x.im)) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* (* 3 x.re) 1) x.im) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (posit16->real (real->posit16 (* (* 3 x.re) x.im))) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* x.im (* 3 x.re)) x.re) (pow x.im 3)))>
4.306 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* (* 3 x.re) x.im) x.re) 1) (pow x.im 3)))>
4.306 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* (* 3 x.re) x.im) x.re) 1) (pow x.im 3)))>
4.306 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* (* 3 x.re) x.im) x.re) 1) (pow x.im 3)))>
4.306 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (pow (* (* (* 3 x.re) x.im) x.re) 1) (pow x.im 3)))>
4.306 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (+ (+ (log 3) (log x.re)) (log x.im)) (log x.re))) (pow x.im 3)))>
4.306 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (+ (log (* 3 x.re)) (log x.im)) (log x.re))) (pow x.im 3)))>
4.306 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (+ (log (* (* 3 x.re) x.im)) (log x.re))) (pow x.im 3)))>
4.306 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (exp (log (* (* (* 3 x.re) x.im) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (log (exp (* (* (* 3 x.re) x.im) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (* (* x.re x.re) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (cbrt (* (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 1 (* (* (* 3 x.re) x.im) x.re)) (pow x.im 3)))>
4.307 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re))) (cbrt x.re)) (pow x.im 3)))>
4.307 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* (* 3 x.re) x.im) (sqrt x.re)) (sqrt x.re)) (pow x.im 3)))>
4.307 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* (* (* 3 x.re) x.im) 1) x.re) (pow x.im 3)))>
4.307 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))>
4.307 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (posit16->real (real->posit16 (* (* (* 3 x.re) x.im) x.re))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* x.re (* (* 3 x.re) x.im)) (pow x.im 3)))>
4.307 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3)))>
4.307 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3)))>
4.307 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3)))>
4.307 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
4.307 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (x.re x.im) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)))>
4.308 * [simplify]: Simplifying:
  (* (* 3 x.re) x.im)
  (* (* 3 x.re) x.im)
  (+ (+ (log 3) (log x.re)) (log x.im))
  (+ (log (* 3 x.re)) (log x.im))
  (log (* (* 3 x.re) x.im))
  (exp (* (* 3 x.re) x.im))
  (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im))
  (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im))
  (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im)))
  (cbrt (* (* 3 x.re) x.im))
  (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im))
  (sqrt (* (* 3 x.re) x.im))
  (sqrt (* (* 3 x.re) x.im))
  (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im)))
  (* (* 3 x.re) (sqrt x.im))
  (* (* 3 x.re) 1)
  (* x.re x.im)
  (real->posit16 (* (* 3 x.re) x.im))
  (* (* (* 3 x.re) x.im) x.re)
  (* (* (* 3 x.re) x.im) x.re)
  (* (* (* 3 x.re) x.im) x.re)
  (+ (+ (+ (log 3) (log x.re)) (log x.im)) (log x.re))
  (+ (+ (log (* 3 x.re)) (log x.im)) (log x.re))
  (+ (log (* (* 3 x.re) x.im)) (log x.re))
  (log (* (* (* 3 x.re) x.im) x.re))
  (exp (* (* (* 3 x.re) x.im) x.re))
  (* (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))
  (* (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))
  (* (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (* (* x.re x.re) x.re))
  (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re)))
  (cbrt (* (* (* 3 x.re) x.im) x.re))
  (* (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) x.re))
  (sqrt (* (* (* 3 x.re) x.im) x.re))
  (sqrt (* (* (* 3 x.re) x.im) x.re))
  (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re)))
  (* (* (* 3 x.re) x.im) (sqrt x.re))
  (* (* (* 3 x.re) x.im) 1)
  (* x.im x.re)
  (real->posit16 (* (* (* 3 x.re) x.im) x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
4.308 * * [simplify]: iteration 0: 66 enodes
4.323 * * [simplify]: iteration 1: 182 enodes
4.411 * * [simplify]: iteration 2: 668 enodes
4.701 * * [simplify]: iteration complete: 2000 enodes
4.701 * * [simplify]: Extracting #0: cost 22 inf + 0
4.702 * * [simplify]: Extracting #1: cost 307 inf + 0
4.708 * * [simplify]: Extracting #2: cost 566 inf + 10201
4.733 * * [simplify]: Extracting #3: cost 141 inf + 70335
4.771 * * [simplify]: Extracting #4: cost 4 inf + 93012
4.795 * * [simplify]: Extracting #5: cost 0 inf + 94106
4.816 * [simplify]: Simplified to:
  (* (* 3 x.im) x.re)
  (* (* 3 x.im) x.re)
  (log (* (* 3 x.im) x.re))
  (log (* (* 3 x.im) x.re))
  (log (* (* 3 x.im) x.re))
  (exp (* (* 3 x.im) x.re))
  (* x.im (* (* (* 3 x.re) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)))
  (* x.im (* (* (* 3 x.re) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)))
  (* (cbrt (* (* 3 x.im) x.re)) (cbrt (* (* 3 x.im) x.re)))
  (cbrt (* (* 3 x.im) x.re))
  (* x.im (* (* (* 3 x.re) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)))
  (sqrt (* (* 3 x.im) x.re))
  (sqrt (* (* 3 x.im) x.re))
  (* (cbrt x.im) (* (* 3 x.re) (cbrt x.im)))
  (* 3 (* x.re (sqrt x.im)))
  (* 3 x.re)
  (* x.im x.re)
  (real->posit16 (* (* 3 x.im) x.re))
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (log (* (* 3 x.re) (* x.im x.re)))
  (log (* (* 3 x.re) (* x.im x.re)))
  (log (* (* 3 x.re) (* x.im x.re)))
  (log (* (* 3 x.re) (* x.im x.re)))
  (exp (* (* 3 x.re) (* x.im x.re)))
  (* (* (* (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re)) x.re) (* (* 3 x.im) x.re))
  (* (* (* (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re)) x.re) (* (* 3 x.im) x.re))
  (* (* (* (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re)) x.re) (* (* 3 x.im) x.re))
  (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re))))
  (cbrt (* (* 3 x.re) (* x.im x.re)))
  (* (* (* (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re)) x.re) (* (* 3 x.im) x.re))
  (sqrt (* (* 3 x.re) (* x.im x.re)))
  (sqrt (* (* 3 x.re) (* x.im x.re)))
  (* 3 (* (* x.im x.re) (* (cbrt x.re) (cbrt x.re))))
  (* (* 3 x.re) (* x.im (sqrt x.re)))
  (* (* 3 x.im) x.re)
  (* x.im x.re)
  (real->posit16 (* (* 3 x.re) (* x.im x.re)))
  (* (* 3 x.im) x.re)
  (* (* 3 x.im) x.re)
  (* (* 3 x.im) x.re)
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
  (* (* 3 x.re) (* x.im x.re))
4.819 * * * [progress]: adding candidates to table
4.965 * [progress]: [Phase 3 of 3] Extracting.
4.965 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))> #<alt (λ (x.re x.im) (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)))>)
4.967 * * * [regime-changes]: Trying 3 branch expressions: ((+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) x.im x.re)
4.967 * * * * [regimes]: Trying to branch on (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) from (#<alt (λ (x.re x.im) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))> #<alt (λ (x.re x.im) (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)))>)
5.018 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))> #<alt (λ (x.re x.im) (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)))>)
5.055 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (* x.im (- (* 3 (* x.re x.re)) (* x.im x.im))))> #<alt (λ (x.re x.im) (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)))>)
5.098 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
5.098 * [simplify]: Simplifying:
  (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))
5.099 * * [simplify]: iteration 0: 8 enodes
5.099 * * [simplify]: iteration 1: 11 enodes
5.100 * * [simplify]: iteration complete: 11 enodes
5.100 * * [simplify]: Extracting #0: cost 1 inf + 0
5.100 * * [simplify]: Extracting #1: cost 3 inf + 0
5.100 * * [simplify]: Extracting #2: cost 7 inf + 0
5.100 * * [simplify]: Extracting #3: cost 5 inf + 3
5.100 * * [simplify]: Extracting #4: cost 0 inf + 836
5.101 * [simplify]: Simplified to:
  (- (* x.re (* (* 3 x.re) x.im)) (pow x.im 3))
8.254 * [regime-testing]: Baseline error score: 0.1657733689347806
8.260 * [regime-testing]: Oracle error score: 0.017377172146518315
8.269 * [regime-testing]: End program error score: 0.1657733689347806
8.313 * [regime-testing]: Target error score: 0.24666072009217493