1538293515.933 * [misc]progress:  [Phase 1 of 3] Setting up.
1538293515.933 * * * [misc]progress:  [1/2] Preparing points
1538293515.933 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538293515.937 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1538293515.939 * * * * [misc]points:  Setting MPFR precision to 64
1538293515.941 * * * * [misc]points:  Setting MPFR precision to 320
1538293515.942 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1538293515.944 * * * * [misc]points:  Setting MPFR precision to 64
1538293515.945 * * * * [misc]points:  Setting MPFR precision to 320
1538293515.947 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1538293515.948 * * * * [misc]points:  Setting MPFR precision to 64
1538293515.951 * * * * [misc]points:  Setting MPFR precision to 320
1538293515.954 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1538293515.955 * * * * [misc]points:  Setting MPFR precision to 64
1538293515.959 * * * * [misc]points:  Setting MPFR precision to 320
1538293515.964 * * * * [misc]points:  Computing exacts for 256 points
1538293515.965 * * * * [misc]points:  Setting MPFR precision to 64
1538293515.977 * * * * [misc]points:  Setting MPFR precision to 320
1538293515.991 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293515.991 * * * * [misc]points:  Sampling 63 additional inputs, on iter 1 have 193 / 256
1538293515.992 * * * * [misc]points:  Computing exacts on every 3 of 63 points to ramp up precision
1538293515.993 * * * * [misc]points:  Setting MPFR precision to 64
1538293515.994 * * * * [misc]points:  Setting MPFR precision to 320
1538293515.995 * * * * [misc]points:  Computing exacts for 63 points
1538293515.996 * * * * [misc]points:  Setting MPFR precision to 64
1538293515.999 * * * * [misc]points:  Setting MPFR precision to 320
1538293516.003 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293516.003 * * * * [misc]points:  Sampling 17 additional inputs, on iter 2 have 239 / 256
1538293516.003 * * * * [misc]points:  Computing exacts for 17 points
1538293516.005 * * * * [misc]points:  Setting MPFR precision to 64
1538293516.006 * * * * [misc]points:  Setting MPFR precision to 320
1538293516.007 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293516.007 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 254 / 256
1538293516.007 * * * * [misc]points:  Computing exacts for 4 points
1538293516.008 * * * * [misc]points:  Setting MPFR precision to 64
1538293516.008 * * * * [misc]points:  Setting MPFR precision to 320
1538293516.009 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293516.009 * * * * [exit]points:  Sampled 256 points with exact outputs
1538293516.009 * * * [misc]progress:  [2/2] Setting up program.
1538293516.015 * [misc]progress:  [Phase 2 of 3] Improving.
1538293516.015 * [enter]simplify:  Simplifying (* (exp re) (sin im))
1538293516.016 * * [misc]simplify:  iters left: 3 (5 enodes)
1538293516.018 * * [misc]simplify:  iters left: 2 (6 enodes)
1538293516.020 * [exit]simplify:  Simplified to (* (sin im) (exp re))
1538293516.034 * * [misc]progress:  iteration 1 / 4
1538293516.034 * * * [misc]progress:  picking best candidate
1538293516.040 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (exp re) (sin im)))>
1538293516.040 * * * [misc]progress:  localizing error
1538293516.059 * * * [misc]progress:  generating rewritten candidates
1538293516.059 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538293516.092 * * * [misc]progress:  generating series expansions
1538293516.093 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538293516.093 * [misc]backup-simplify:  Simplify (* (exp re) (sin im)) into (* (sin im) (exp re))
1538293516.093 * [misc]approximate:  Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0
1538293516.093 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in im
1538293516.093 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1538293516.093 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.093 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.093 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.093 * [misc]taylor:  Taking taylor expansion of (exp re) in im
1538293516.093 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.093 * [misc]backup-simplify:  Simplify re into re
1538293516.093 * [misc]backup-simplify:  Simplify (exp re) into (exp re)
1538293516.093 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in re
1538293516.093 * [misc]taylor:  Taking taylor expansion of (sin im) in re
1538293516.093 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.093 * [misc]backup-simplify:  Simplify im into im
1538293516.093 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1538293516.093 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1538293516.093 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1538293516.093 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.093 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.093 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.093 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538293516.093 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in re
1538293516.093 * [misc]taylor:  Taking taylor expansion of (sin im) in re
1538293516.093 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.093 * [misc]backup-simplify:  Simplify im into im
1538293516.094 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1538293516.094 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1538293516.094 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1538293516.094 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.094 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.094 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.094 * [misc]backup-simplify:  Simplify (exp 0) into 1
1538293516.094 * [misc]backup-simplify:  Simplify (* (sin im) 1) into (sin im)
1538293516.094 * [misc]backup-simplify:  Simplify (* (cos im) 0) into 0
1538293516.095 * [misc]backup-simplify:  Simplify (+ (sin im) 0) into (sin im)
1538293516.095 * [misc]backup-simplify:  Simplify (* (sin im) 1) into (sin im)
1538293516.095 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1538293516.095 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.095 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.095 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.095 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.096 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1538293516.096 * [misc]backup-simplify:  Simplify (+ 0) into 0
1538293516.096 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (* 0 1)) into 0
1538293516.097 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1538293516.098 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (* 0 0)) into 0
1538293516.098 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.098 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im)
1538293516.098 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1538293516.098 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.098 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.098 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.098 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.099 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1538293516.099 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.100 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1538293516.101 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1538293516.101 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.102 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1538293516.102 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0
1538293516.102 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.102 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im))
1538293516.102 * [misc]taylor:  Taking taylor expansion of (* 1/2 (sin im)) in im
1538293516.102 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.102 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.102 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1538293516.102 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.102 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.102 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.102 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1538293516.102 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.103 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1538293516.103 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.104 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1538293516.104 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.106 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1538293516.107 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1538293516.108 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.109 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1538293516.109 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1538293516.109 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.109 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im))
1538293516.109 * [misc]taylor:  Taking taylor expansion of (* 1/6 (sin im)) in im
1538293516.109 * [misc]taylor:  Taking taylor expansion of 1/6 in im
1538293516.109 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1538293516.109 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1538293516.109 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.109 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.109 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.110 * [misc]backup-simplify:  Simplify (* 1/6 0) into 0
1538293516.110 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.110 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1538293516.110 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1538293516.110 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.111 * [misc]backup-simplify:  Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293516.111 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (sin (/ 1 im))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1538293516.111 * [misc]approximate:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
1538293516.111 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
1538293516.111 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in im
1538293516.111 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.111 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.111 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.111 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.111 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.111 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1538293516.111 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1538293516.111 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1538293516.111 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.111 * [misc]backup-simplify:  Simplify re into re
1538293516.111 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1538293516.111 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1538293516.111 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
1538293516.111 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in re
1538293516.111 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.111 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.111 * [misc]backup-simplify:  Simplify im into im
1538293516.111 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.111 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1538293516.112 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1538293516.112 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1538293516.112 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1538293516.112 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.112 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.112 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.112 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.112 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1538293516.112 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
1538293516.112 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in re
1538293516.112 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.112 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.112 * [misc]backup-simplify:  Simplify im into im
1538293516.112 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.112 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1538293516.112 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1538293516.112 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1538293516.112 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1538293516.112 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.112 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.112 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.112 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.112 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1538293516.112 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
1538293516.112 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) 0) into 0
1538293516.112 * [misc]backup-simplify:  Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
1538293516.113 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1538293516.113 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
1538293516.113 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in im
1538293516.113 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.113 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.113 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.113 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.113 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.113 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1538293516.113 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1538293516.113 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1538293516.113 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.113 * [misc]backup-simplify:  Simplify re into re
1538293516.113 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1538293516.113 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1538293516.113 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1538293516.113 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1538293516.113 * [misc]backup-simplify:  Simplify (+ 0) into 0
1538293516.113 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0
1538293516.114 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.114 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1538293516.114 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0
1538293516.115 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.115 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1538293516.115 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.115 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.115 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.115 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1538293516.116 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1538293516.116 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1538293516.116 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.117 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1538293516.117 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.117 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.117 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1538293516.118 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1538293516.118 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.118 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1538293516.118 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.118 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.118 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.118 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.118 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1538293516.119 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1538293516.120 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1538293516.120 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.121 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1538293516.121 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.121 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.122 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1538293516.122 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1538293516.123 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.123 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
1538293516.123 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.123 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.123 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.123 * [misc]backup-simplify:  Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re))
1538293516.123 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (- re))) (sin (/ 1 (- im)))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1538293516.123 * [misc]approximate:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0
1538293516.123 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
1538293516.123 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1538293516.123 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1538293516.123 * [misc]taylor:  Taking taylor expansion of -1 in im
1538293516.123 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.123 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.123 * [misc]backup-simplify:  Simplify re into re
1538293516.123 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1538293516.123 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1538293516.123 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in im
1538293516.123 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1538293516.123 * [misc]taylor:  Taking taylor expansion of -1 in im
1538293516.123 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.123 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.123 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.123 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.124 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538293516.124 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1538293516.124 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of -1 in re
1538293516.124 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.124 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.124 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.124 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.124 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538293516.124 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1538293516.124 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of -1 in re
1538293516.124 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.124 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.124 * [misc]backup-simplify:  Simplify im into im
1538293516.124 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1538293516.124 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1538293516.124 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1538293516.124 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of -1 in re
1538293516.124 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.124 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.124 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.124 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.124 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538293516.124 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1538293516.124 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1538293516.124 * [misc]taylor:  Taking taylor expansion of -1 in re
1538293516.124 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.124 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.124 * [misc]backup-simplify:  Simplify im into im
1538293516.125 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1538293516.125 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1538293516.125 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1538293516.125 * [misc]backup-simplify:  Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
1538293516.125 * [misc]backup-simplify:  Simplify (* (cos (/ -1 im)) 0) into 0
1538293516.125 * [misc]backup-simplify:  Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
1538293516.125 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1538293516.125 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
1538293516.125 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1538293516.125 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1538293516.125 * [misc]taylor:  Taking taylor expansion of -1 in im
1538293516.125 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.125 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.125 * [misc]backup-simplify:  Simplify re into re
1538293516.125 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1538293516.125 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1538293516.125 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in im
1538293516.125 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1538293516.125 * [misc]taylor:  Taking taylor expansion of -1 in im
1538293516.125 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.125 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.125 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.125 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.125 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538293516.125 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1538293516.125 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1538293516.126 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1538293516.126 * [misc]backup-simplify:  Simplify (+ 0) into 0
1538293516.126 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0
1538293516.126 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1538293516.127 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1538293516.127 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0
1538293516.127 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.127 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
1538293516.127 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.127 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.127 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.127 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1538293516.128 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1538293516.128 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
1538293516.128 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.129 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1538293516.129 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.129 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.130 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1538293516.130 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1538293516.130 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.130 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
1538293516.130 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.130 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.130 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.130 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.131 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1538293516.132 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1538293516.132 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
1538293516.132 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.133 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1538293516.133 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.134 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.135 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1538293516.135 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1538293516.135 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.135 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0
1538293516.135 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.135 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.135 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.135 * [misc]backup-simplify:  Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re))
1538293516.135 * * * [misc]progress:  simplifying candidates
1538293516.136 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (re im) (pow (* (exp re) (sin im)) 1))>
1538293516.136 * [enter]simplify:  Simplifying (* (exp re) (sin im))
1538293516.136 * * [misc]simplify:  iters left: 3 (5 enodes)
1538293516.137 * * [misc]simplify:  iters left: 2 (6 enodes)
1538293516.138 * [exit]simplify:  Simplified to (* (sin im) (exp re))
1538293516.138 * [misc]simplify:  Simplified (2 1) to (λ (re im) (pow (* (sin im) (exp re)) 1))
1538293516.138 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (re im) (pow (* (exp re) (sin im)) 1))>
1538293516.138 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (re im) (exp (+ re (log (sin im)))))>
1538293516.138 * [enter]simplify:  Simplifying (+ re (log (sin im)))
1538293516.139 * * [misc]simplify:  iters left: 4 (5 enodes)
1538293516.140 * * [misc]simplify:  iters left: 3 (6 enodes)
1538293516.141 * [exit]simplify:  Simplified to (+ (log (sin im)) re)
1538293516.141 * [misc]simplify:  Simplified (2 1) to (λ (re im) (exp (+ (log (sin im)) re)))
1538293516.141 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (re im) (exp (log (* (exp re) (sin im)))))>
1538293516.141 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (re im) (log (exp (* (exp re) (sin im)))))>
1538293516.141 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))))>
1538293516.141 * [enter]simplify:  Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))
1538293516.142 * * [misc]simplify:  iters left: 6 (9 enodes)
1538293516.144 * * [misc]simplify:  iters left: 5 (18 enodes)
1538293516.150 * * [misc]simplify:  iters left: 4 (47 enodes)
1538293516.162 * * [misc]simplify:  iters left: 3 (80 enodes)
1538293516.180 * * [misc]simplify:  iters left: 2 (100 enodes)
1538293516.193 * * [misc]simplify:  iters left: 1 (101 enodes)
1538293516.205 * [exit]simplify:  Simplified to (pow (* (sin im) (exp re)) 3)
1538293516.205 * [misc]simplify:  Simplified (2 1) to (λ (re im) (cbrt (pow (* (sin im) (exp re)) 3)))
1538293516.205 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im)))) (cbrt (* (exp re) (sin im)))))>
1538293516.205 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im)))))>
1538293516.205 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* (exp re) (sin im))) (sqrt (* (exp re) (sin im)))))>
1538293516.205 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (exp re) (sin im))))>
1538293516.205 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im))))>
1538293516.205 * [enter]simplify:  Simplifying (cbrt (sin im))
1538293516.205 * * [misc]simplify:  iters left: 2 (3 enodes)
1538293516.206 * [exit]simplify:  Simplified to (cbrt (sin im))
1538293516.206 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im))))
1538293516.206 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (sin im))) (sqrt (sin im))))>
1538293516.206 * [enter]simplify:  Simplifying (sqrt (sin im))
1538293516.206 * * [misc]simplify:  iters left: 2 (3 enodes)
1538293516.207 * [exit]simplify:  Simplified to (sqrt (sin im))
1538293516.207 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (sin im))) (sqrt (sin im))))
1538293516.207 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) 1) (sin im)))>
1538293516.207 * [enter]simplify:  Simplifying (sin im)
1538293516.207 * * [misc]simplify:  iters left: 1 (2 enodes)
1538293516.208 * [exit]simplify:  Simplified to (sin im)
1538293516.208 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) 1) (sin im)))
1538293516.208 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sin im))))>
1538293516.208 * [enter]simplify:  Simplifying (* (cbrt (exp re)) (cbrt (exp re)))
1538293516.208 * * [misc]simplify:  iters left: 4 (4 enodes)
1538293516.209 * [exit]simplify:  Simplified to (* (cbrt (exp re)) (cbrt (exp re)))
1538293516.209 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sin im))))
1538293516.209 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))>
1538293516.209 * [enter]simplify:  Simplifying (sqrt (exp re))
1538293516.209 * * [misc]simplify:  iters left: 2 (3 enodes)
1538293516.210 * [exit]simplify:  Simplified to (sqrt (exp re))
1538293516.210 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
1538293516.210 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (exp re) (sin im))))>
1538293516.210 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sin im) (exp re)))>
1538293516.210 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293516.210 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293516.211 * * [misc]simplify:  iters left: 6 (10 enodes)
1538293516.214 * * [misc]simplify:  iters left: 5 (23 enodes)
1538293516.220 * * [misc]simplify:  iters left: 4 (49 enodes)
1538293516.232 * * [misc]simplify:  iters left: 3 (85 enodes)
1538293516.266 * * [misc]simplify:  iters left: 2 (126 enodes)
1538293516.291 * * [misc]simplify:  iters left: 1 (155 enodes)
1538293516.341 * [exit]simplify:  Simplified to (+ (+ (* re im) im) (* (* 1/2 re) (* re im)))
1538293516.341 * [misc]simplify:  Simplified (2) to (λ (re im) (+ (+ (* re im) im) (* (* 1/2 re) (* re im))))
1538293516.341 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sin im) (exp re)))>
1538293516.341 * [enter]simplify:  Simplifying (* (sin im) (exp re))
1538293516.342 * * [misc]simplify:  iters left: 3 (5 enodes)
1538293516.343 * * [misc]simplify:  iters left: 2 (6 enodes)
1538293516.344 * [exit]simplify:  Simplified to (* (exp re) (sin im))
1538293516.344 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (sin im)))
1538293516.344 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sin im) (exp re)))>
1538293516.344 * [enter]simplify:  Simplifying (* (sin im) (exp re))
1538293516.344 * * [misc]simplify:  iters left: 3 (5 enodes)
1538293516.345 * * [misc]simplify:  iters left: 2 (6 enodes)
1538293516.346 * [exit]simplify:  Simplified to (* (exp re) (sin im))
1538293516.346 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (sin im)))
1538293516.346 * * * [misc]progress:  adding candidates to table
1538293516.600 * * [misc]progress:  iteration 2 / 4
1538293516.600 * * * [misc]progress:  picking best candidate
1538293516.609 * * * * [misc]pick:  Picked  #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293516.609 * * * [misc]progress:  localizing error
1538293516.633 * * * [misc]progress:  generating rewritten candidates
1538293516.633 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1538293516.649 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1538293516.720 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1538293516.731 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1538293516.764 * * * [misc]progress:  generating series expansions
1538293516.764 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1538293516.764 * [misc]backup-simplify:  Simplify (* (pow re 2) im) into (* (pow re 2) im)
1538293516.764 * [misc]approximate:  Taking taylor expansion of (* (pow re 2) im) in (re im) around 0
1538293516.764 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.764 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.764 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.764 * [misc]backup-simplify:  Simplify re into re
1538293516.764 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.764 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.764 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.764 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.764 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.764 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.764 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.764 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.764 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.764 * [misc]backup-simplify:  Simplify im into im
1538293516.764 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.764 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.764 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.764 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.764 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.764 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.764 * [misc]backup-simplify:  Simplify im into im
1538293516.765 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.765 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.765 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.765 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.765 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.765 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.765 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.765 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.765 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.765 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.765 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.765 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.765 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.766 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.766 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.766 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.766 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.766 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.766 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.766 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.766 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.766 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.766 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.766 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.766 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.766 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.766 * [misc]backup-simplify:  Simplify (* 1 (* im (pow re 2))) into (* (pow re 2) im)
1538293516.767 * [misc]backup-simplify:  Simplify (* (pow (/ 1 re) 2) (/ 1 im)) into (/ 1 (* (pow re 2) im))
1538293516.767 * [misc]approximate:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in (re im) around 0
1538293516.767 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im
1538293516.767 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.767 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.767 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.767 * [misc]backup-simplify:  Simplify re into re
1538293516.767 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.767 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.767 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.767 * [misc]backup-simplify:  Simplify (* re re) into (pow re 2)
1538293516.767 * [misc]backup-simplify:  Simplify (* (pow re 2) 0) into 0
1538293516.767 * [misc]backup-simplify:  Simplify (+ (* re 0) (* 0 re)) into 0
1538293516.767 * [misc]backup-simplify:  Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2)
1538293516.767 * [misc]backup-simplify:  Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
1538293516.767 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re
1538293516.767 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.767 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.767 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.767 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.767 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.767 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.767 * [misc]backup-simplify:  Simplify im into im
1538293516.767 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.767 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.768 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.768 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re
1538293516.768 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.768 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.768 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.768 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.768 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.768 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.768 * [misc]backup-simplify:  Simplify im into im
1538293516.768 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.768 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.768 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.768 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.768 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.768 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.768 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.768 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.768 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.768 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.768 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.768 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.768 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.768 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.769 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538293516.769 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.769 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.769 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.769 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.769 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.769 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.769 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.769 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.769 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.770 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.770 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.770 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.770 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.770 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.770 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.770 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.770 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.770 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.771 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 im)) (pow (/ 1 re) -2))) into (* (pow re 2) im)
1538293516.771 * [misc]backup-simplify:  Simplify (* (pow (/ 1 (- re)) 2) (/ 1 (- im))) into (/ -1 (* (pow re 2) im))
1538293516.771 * [misc]approximate:  Taking taylor expansion of (/ -1 (* (pow re 2) im)) in (re im) around 0
1538293516.771 * [misc]taylor:  Taking taylor expansion of (/ -1 (* (pow re 2) im)) in im
1538293516.771 * [misc]taylor:  Taking taylor expansion of -1 in im
1538293516.771 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.771 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.771 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.771 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.771 * [misc]backup-simplify:  Simplify re into re
1538293516.771 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.771 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.771 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.771 * [misc]backup-simplify:  Simplify (* re re) into (pow re 2)
1538293516.771 * [misc]backup-simplify:  Simplify (* (pow re 2) 0) into 0
1538293516.771 * [misc]backup-simplify:  Simplify (+ (* re 0) (* 0 re)) into 0
1538293516.771 * [misc]backup-simplify:  Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2)
1538293516.771 * [misc]backup-simplify:  Simplify (/ -1 (pow re 2)) into (/ -1 (pow re 2))
1538293516.771 * [misc]taylor:  Taking taylor expansion of (/ -1 (* (pow re 2) im)) in re
1538293516.772 * [misc]taylor:  Taking taylor expansion of -1 in re
1538293516.772 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.772 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.772 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.772 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.772 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.772 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.772 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.772 * [misc]backup-simplify:  Simplify im into im
1538293516.772 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.772 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.772 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1538293516.772 * [misc]taylor:  Taking taylor expansion of (/ -1 (* (pow re 2) im)) in re
1538293516.772 * [misc]taylor:  Taking taylor expansion of -1 in re
1538293516.772 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.772 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.772 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.772 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.772 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.772 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.772 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.772 * [misc]backup-simplify:  Simplify im into im
1538293516.772 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.772 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.772 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1538293516.772 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1538293516.772 * [misc]taylor:  Taking taylor expansion of -1 in im
1538293516.772 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.772 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.772 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.772 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.772 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538293516.772 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.773 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1538293516.773 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.773 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.773 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538293516.773 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.774 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.774 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.774 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.774 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.774 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.774 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.774 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.774 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.775 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.775 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.775 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.775 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.775 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.775 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.775 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.775 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- im))) (pow (/ 1 (- re)) -2))) into (* (pow re 2) im)
1538293516.775 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1538293516.776 * [misc]backup-simplify:  Simplify (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293516.776 * [misc]approximate:  Taking taylor expansion of (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) in (re im) around 0
1538293516.776 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) in im
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in im
1538293516.776 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.776 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.776 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.776 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.776 * [misc]backup-simplify:  Simplify re into re
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.776 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.776 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.776 * [misc]taylor:  Taking taylor expansion of (+ (* re im) im) in im
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1538293516.776 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.776 * [misc]backup-simplify:  Simplify re into re
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.776 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.776 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.776 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.776 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.776 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.776 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.776 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.776 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.776 * [misc]backup-simplify:  Simplify im into im
1538293516.776 * [misc]taylor:  Taking taylor expansion of (+ (* re im) im) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.776 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.776 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.776 * [misc]backup-simplify:  Simplify im into im
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.776 * [misc]backup-simplify:  Simplify im into im
1538293516.776 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.776 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.776 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.776 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.776 * [misc]backup-simplify:  Simplify im into im
1538293516.776 * [misc]taylor:  Taking taylor expansion of (+ (* re im) im) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.776 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.776 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.776 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.776 * [misc]backup-simplify:  Simplify im into im
1538293516.776 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.776 * [misc]backup-simplify:  Simplify im into im
1538293516.777 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.777 * [misc]backup-simplify:  Simplify (+ 0 im) into im
1538293516.777 * [misc]backup-simplify:  Simplify (+ 0 im) into im
1538293516.777 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.777 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.777 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.777 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.777 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.777 * [misc]backup-simplify:  Simplify (+ im 0) into im
1538293516.777 * [misc]backup-simplify:  Simplify (+ 0 im) into im
1538293516.777 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.777 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.777 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.777 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.777 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.777 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.777 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.777 * [misc]backup-simplify:  Simplify (* 1/2 im) into (* 1/2 im)
1538293516.777 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1538293516.778 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.778 * [misc]backup-simplify:  Simplify (+ (* 1/2 im) 0) into (* 1/2 im)
1538293516.778 * [misc]taylor:  Taking taylor expansion of (* 1/2 im) in im
1538293516.778 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.778 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.778 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.778 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.778 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.778 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1538293516.778 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.778 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.778 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.778 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.778 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.778 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 im)) into 0
1538293516.779 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.779 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.779 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.779 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.779 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.779 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.779 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1538293516.779 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.779 * [misc]backup-simplify:  Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293516.780 * [misc]backup-simplify:  Simplify (+ (* 1/2 (* (pow (/ 1 re) 2) (/ 1 im))) (+ (* (/ 1 re) (/ 1 im)) (/ 1 im))) into (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)))
1538293516.780 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in (re im) around 0
1538293516.780 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in im
1538293516.780 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1538293516.780 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1538293516.780 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.780 * [misc]backup-simplify:  Simplify re into re
1538293516.780 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.780 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.780 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.780 * [misc]backup-simplify:  Simplify (* re 0) into 0
1538293516.780 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1538293516.780 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1538293516.780 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in im
1538293516.780 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in im
1538293516.780 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.780 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.780 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im
1538293516.780 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.780 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.780 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.780 * [misc]backup-simplify:  Simplify re into re
1538293516.780 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.780 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.780 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.780 * [misc]backup-simplify:  Simplify (* re re) into (pow re 2)
1538293516.780 * [misc]backup-simplify:  Simplify (* (pow re 2) 0) into 0
1538293516.780 * [misc]backup-simplify:  Simplify (+ (* re 0) (* 0 re)) into 0
1538293516.781 * [misc]backup-simplify:  Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2)
1538293516.781 * [misc]backup-simplify:  Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
1538293516.781 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.781 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.781 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.781 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.781 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.781 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in re
1538293516.781 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1538293516.781 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.781 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.781 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.781 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.781 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.781 * [misc]backup-simplify:  Simplify im into im
1538293516.781 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.781 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.781 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.781 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in re
1538293516.781 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in re
1538293516.781 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.781 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.781 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re
1538293516.781 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.781 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.781 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.781 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.781 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.781 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.781 * [misc]backup-simplify:  Simplify im into im
1538293516.781 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.782 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.782 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.782 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.782 * [misc]backup-simplify:  Simplify im into im
1538293516.782 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.782 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.782 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.782 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.782 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.782 * [misc]backup-simplify:  Simplify im into im
1538293516.782 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.782 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.782 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.782 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.782 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.782 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.782 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.782 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.782 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.782 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.782 * [misc]backup-simplify:  Simplify im into im
1538293516.783 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.783 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.783 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.783 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.783 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.783 * [misc]backup-simplify:  Simplify im into im
1538293516.783 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.783 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 im)) into (/ 1/2 im)
1538293516.783 * [misc]backup-simplify:  Simplify (+ (/ 1/2 im) 0) into (* 1/2 (/ 1 im))
1538293516.783 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 im))) into (* 1/2 (/ 1 im))
1538293516.783 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 im)) in im
1538293516.783 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.783 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.783 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.783 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.783 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.783 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.783 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.783 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1538293516.783 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.784 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.784 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.784 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.784 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 (/ 1 im))) into 0
1538293516.784 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.784 * [misc]backup-simplify:  Simplify (+ (/ 1 im) 0) into (/ 1 im)
1538293516.784 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.784 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.784 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.784 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.784 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.784 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.784 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538293516.785 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1538293516.785 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.785 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1538293516.785 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.785 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.785 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.785 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.786 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 im)))) into 0
1538293516.786 * [misc]backup-simplify:  Simplify (+ 0 (/ 1 im)) into (/ 1 im)
1538293516.786 * [misc]backup-simplify:  Simplify (+ 0 (/ 1 im)) into (/ 1 im)
1538293516.786 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.786 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.786 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.786 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.786 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.786 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.786 * [misc]backup-simplify:  Simplify (+ (* 1 (* (/ 1 (/ 1 im)) 1)) (+ (* 1 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) (* 1/2 (* (/ 1 (/ 1 im)) (pow (/ 1 re) -2))))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293516.787 * [misc]backup-simplify:  Simplify (+ (* 1/2 (* (pow (/ 1 (- re)) 2) (/ 1 (- im)))) (+ (* (/ 1 (- re)) (/ 1 (- im))) (/ 1 (- im)))) into (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)))
1538293516.787 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in (re im) around 0
1538293516.787 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in im
1538293516.787 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1538293516.787 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1538293516.787 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.787 * [misc]backup-simplify:  Simplify re into re
1538293516.787 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.787 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.787 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.787 * [misc]backup-simplify:  Simplify (* re 0) into 0
1538293516.787 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1538293516.787 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1538293516.787 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in im
1538293516.787 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in im
1538293516.787 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.787 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.787 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im
1538293516.787 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.787 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.787 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.787 * [misc]backup-simplify:  Simplify re into re
1538293516.787 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.787 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.787 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.787 * [misc]backup-simplify:  Simplify (* re re) into (pow re 2)
1538293516.788 * [misc]backup-simplify:  Simplify (* (pow re 2) 0) into 0
1538293516.788 * [misc]backup-simplify:  Simplify (+ (* re 0) (* 0 re)) into 0
1538293516.788 * [misc]backup-simplify:  Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2)
1538293516.788 * [misc]backup-simplify:  Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
1538293516.788 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.788 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.788 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.788 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.788 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.788 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in re
1538293516.788 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1538293516.788 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.788 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.788 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.788 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.788 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.788 * [misc]backup-simplify:  Simplify im into im
1538293516.788 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.788 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.788 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.788 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in re
1538293516.788 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in re
1538293516.788 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.788 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.788 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re
1538293516.788 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.788 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.789 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.789 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.789 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.789 * [misc]backup-simplify:  Simplify im into im
1538293516.789 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.789 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.789 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.789 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.789 * [misc]backup-simplify:  Simplify im into im
1538293516.789 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.789 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.789 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.789 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.789 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.789 * [misc]backup-simplify:  Simplify im into im
1538293516.789 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.789 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.789 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.789 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.789 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.789 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.789 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.789 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.789 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.789 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.789 * [misc]backup-simplify:  Simplify im into im
1538293516.789 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.790 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.790 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.790 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.790 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.790 * [misc]backup-simplify:  Simplify im into im
1538293516.790 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.790 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 im)) into (/ 1/2 im)
1538293516.790 * [misc]backup-simplify:  Simplify (+ (/ 1/2 im) 0) into (* 1/2 (/ 1 im))
1538293516.790 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 im))) into (- (* 1/2 (/ 1 im)))
1538293516.790 * [misc]backup-simplify:  Simplify (+ 0 (- (* 1/2 (/ 1 im)))) into (- (* 1/2 (/ 1 im)))
1538293516.790 * [misc]taylor:  Taking taylor expansion of (- (* 1/2 (/ 1 im))) in im
1538293516.790 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 im)) in im
1538293516.790 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.790 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.790 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.790 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.790 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.790 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.790 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.790 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1538293516.790 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538293516.790 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538293516.791 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.791 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.791 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.791 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 (/ 1 im))) into 0
1538293516.791 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.791 * [misc]backup-simplify:  Simplify (- 0) into 0
1538293516.791 * [misc]backup-simplify:  Simplify (+ (/ 1 im) 0) into (/ 1 im)
1538293516.791 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.791 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.791 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.791 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.791 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.791 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.792 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538293516.792 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1538293516.792 * [misc]backup-simplify:  Simplify (- 0) into 0
1538293516.792 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.792 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1538293516.792 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.792 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.793 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.793 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.793 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 im)))) into 0
1538293516.793 * [misc]backup-simplify:  Simplify (+ 0 (/ 1 im)) into (/ 1 im)
1538293516.793 * [misc]backup-simplify:  Simplify (- (/ 1 im)) into (- (/ 1 im))
1538293516.793 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im))
1538293516.793 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1538293516.793 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.793 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.793 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.793 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.793 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.793 * [misc]backup-simplify:  Simplify (- 1) into -1
1538293516.793 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.794 * [misc]backup-simplify:  Simplify (+ (* -1 (* (/ 1 (/ 1 (- im))) 1)) (+ (* 1 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) (* -1/2 (* (/ 1 (/ 1 (- im))) (pow (/ 1 (- re)) -2))))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293516.794 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1538293516.794 * [misc]backup-simplify:  Simplify (+ (* re im) im) into (+ (* re im) im)
1538293516.794 * [misc]approximate:  Taking taylor expansion of (+ (* re im) im) in (re im) around 0
1538293516.794 * [misc]taylor:  Taking taylor expansion of (+ (* re im) im) in im
1538293516.794 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1538293516.794 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.794 * [misc]backup-simplify:  Simplify re into re
1538293516.794 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.794 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.794 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.794 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.794 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.794 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.794 * [misc]taylor:  Taking taylor expansion of (+ (* re im) im) in re
1538293516.794 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.794 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.794 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.794 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.794 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.794 * [misc]backup-simplify:  Simplify im into im
1538293516.794 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.794 * [misc]backup-simplify:  Simplify im into im
1538293516.794 * [misc]taylor:  Taking taylor expansion of (+ (* re im) im) in re
1538293516.795 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.795 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.795 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.795 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.795 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.795 * [misc]backup-simplify:  Simplify im into im
1538293516.795 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.795 * [misc]backup-simplify:  Simplify im into im
1538293516.795 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.795 * [misc]backup-simplify:  Simplify (+ 0 im) into im
1538293516.795 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.795 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.795 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.795 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.795 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.795 * [misc]backup-simplify:  Simplify (+ im 0) into im
1538293516.795 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.795 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.795 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.795 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.795 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.795 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1538293516.795 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.795 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.795 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.795 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.796 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.796 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.796 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.796 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.796 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.796 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.796 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.796 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.796 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.796 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.797 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1538293516.797 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.797 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.797 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.797 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.797 * [misc]backup-simplify:  Simplify (+ (* 1 (* im re)) (* 1 (* im 1))) into (+ (* re im) im)
1538293516.797 * [misc]backup-simplify:  Simplify (+ (* (/ 1 re) (/ 1 im)) (/ 1 im)) into (+ (/ 1 (* re im)) (/ 1 im))
1538293516.797 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (* re im)) (/ 1 im)) in (re im) around 0
1538293516.797 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* re im)) (/ 1 im)) in im
1538293516.797 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1538293516.797 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1538293516.797 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.797 * [misc]backup-simplify:  Simplify re into re
1538293516.797 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.797 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.797 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.797 * [misc]backup-simplify:  Simplify (* re 0) into 0
1538293516.797 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1538293516.797 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1538293516.797 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.797 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.797 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.797 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.798 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.798 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* re im)) (/ 1 im)) in re
1538293516.798 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1538293516.798 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.798 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.798 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.798 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.798 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.798 * [misc]backup-simplify:  Simplify im into im
1538293516.798 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.798 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.798 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.798 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.798 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.798 * [misc]backup-simplify:  Simplify im into im
1538293516.798 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.798 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* re im)) (/ 1 im)) in re
1538293516.798 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1538293516.798 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.798 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.798 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.798 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.798 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.798 * [misc]backup-simplify:  Simplify im into im
1538293516.798 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.798 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.798 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.798 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.798 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.798 * [misc]backup-simplify:  Simplify im into im
1538293516.798 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.798 * [misc]backup-simplify:  Simplify (+ (/ 1 im) 0) into (/ 1 im)
1538293516.798 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.798 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.798 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.799 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.799 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.799 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.799 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1538293516.799 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.799 * [misc]backup-simplify:  Simplify (+ 0 (/ 1 im)) into (/ 1 im)
1538293516.799 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.799 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.799 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.799 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.799 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.799 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.799 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538293516.799 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.800 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.800 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.800 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.800 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.800 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.800 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.800 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538293516.800 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.800 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.800 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.801 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1538293516.801 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.801 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.801 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.801 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.801 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.801 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.801 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.801 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.802 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.802 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.802 * [misc]backup-simplify:  Simplify (+ (* 1 (* (/ 1 (/ 1 im)) 1)) (* 1 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re))))) into (+ (* re im) im)
1538293516.802 * [misc]backup-simplify:  Simplify (+ (* (/ 1 (- re)) (/ 1 (- im))) (/ 1 (- im))) into (- (/ 1 (* re im)) (/ 1 im))
1538293516.802 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (* re im)) (/ 1 im)) in (re im) around 0
1538293516.802 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (* re im)) (/ 1 im)) in im
1538293516.802 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1538293516.802 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1538293516.802 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.802 * [misc]backup-simplify:  Simplify re into re
1538293516.802 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.802 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.802 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.802 * [misc]backup-simplify:  Simplify (* re 0) into 0
1538293516.802 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1538293516.802 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1538293516.802 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.802 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.802 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.802 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.803 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.803 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (* re im)) (/ 1 im)) in re
1538293516.803 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1538293516.803 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.803 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.803 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.803 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.803 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.803 * [misc]backup-simplify:  Simplify im into im
1538293516.803 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.803 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.803 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.803 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.803 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.803 * [misc]backup-simplify:  Simplify im into im
1538293516.803 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.803 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (* re im)) (/ 1 im)) in re
1538293516.803 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1538293516.803 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1538293516.803 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.803 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.803 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.803 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.803 * [misc]backup-simplify:  Simplify im into im
1538293516.803 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1538293516.803 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1538293516.803 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.803 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1538293516.803 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.803 * [misc]backup-simplify:  Simplify im into im
1538293516.803 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1538293516.804 * [misc]backup-simplify:  Simplify (+ (/ 1 im) 0) into (/ 1 im)
1538293516.804 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.804 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.804 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.804 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.804 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.804 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.804 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1538293516.804 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.804 * [misc]backup-simplify:  Simplify (- (/ 1 im)) into (- (/ 1 im))
1538293516.804 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im))
1538293516.804 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1538293516.804 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1538293516.804 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.804 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.804 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.804 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538293516.804 * [misc]backup-simplify:  Simplify (- 1) into -1
1538293516.804 * [misc]backup-simplify:  Simplify -1 into -1
1538293516.805 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538293516.805 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.805 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.805 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.805 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1538293516.805 * [misc]backup-simplify:  Simplify (- 0) into 0
1538293516.805 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.805 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.805 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.806 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538293516.806 * [misc]backup-simplify:  Simplify (- 0) into 0
1538293516.806 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.806 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.806 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.806 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1538293516.806 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.807 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.807 * [misc]backup-simplify:  Simplify (- 0) into 0
1538293516.807 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538293516.807 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.807 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.807 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.807 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.807 * [misc]backup-simplify:  Simplify (- 0) into 0
1538293516.807 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.807 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.808 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.808 * [misc]backup-simplify:  Simplify (+ (* -1 (* (/ 1 (/ 1 (- im))) 1)) (* 1 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re)))))) into (+ (* re im) im)
1538293516.808 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1538293516.808 * [misc]backup-simplify:  Simplify (* 1/2 (* (pow re 2) im)) into (* 1/2 (* (pow re 2) im))
1538293516.808 * [misc]approximate:  Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in (re im) around 0
1538293516.808 * [misc]taylor:  Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in im
1538293516.808 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.808 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.808 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.809 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.809 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.809 * [misc]backup-simplify:  Simplify re into re
1538293516.809 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.809 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.809 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.809 * [misc]taylor:  Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in re
1538293516.809 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.809 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.809 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.809 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.809 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.809 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.809 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.809 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.809 * [misc]backup-simplify:  Simplify im into im
1538293516.809 * [misc]taylor:  Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in re
1538293516.809 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.809 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.809 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.809 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.809 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.809 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.809 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.809 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.809 * [misc]backup-simplify:  Simplify im into im
1538293516.810 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.810 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.810 * [misc]backup-simplify:  Simplify (* 1/2 im) into (* 1/2 im)
1538293516.810 * [misc]taylor:  Taking taylor expansion of (* 1/2 im) in im
1538293516.810 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.810 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.810 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.810 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.810 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.810 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1538293516.810 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.810 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.811 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.811 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 im)) into 0
1538293516.811 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.811 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.811 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.811 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1538293516.811 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.812 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.812 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.812 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.812 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.812 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.812 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.812 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.813 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1538293516.813 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.813 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.814 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.814 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.814 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.814 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.814 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.814 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.814 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.815 * [misc]backup-simplify:  Simplify (* 1/2 (* im (pow re 2))) into (* 1/2 (* (pow re 2) im))
1538293516.819 * [misc]backup-simplify:  Simplify (* 1/2 (* (pow (/ 1 re) 2) (/ 1 im))) into (/ 1/2 (* (pow re 2) im))
1538293516.819 * [misc]approximate:  Taking taylor expansion of (/ 1/2 (* (pow re 2) im)) in (re im) around 0
1538293516.819 * [misc]taylor:  Taking taylor expansion of (/ 1/2 (* (pow re 2) im)) in im
1538293516.819 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.819 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.819 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.819 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.819 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.819 * [misc]backup-simplify:  Simplify re into re
1538293516.819 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.819 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.819 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.819 * [misc]backup-simplify:  Simplify (* re re) into (pow re 2)
1538293516.819 * [misc]backup-simplify:  Simplify (* (pow re 2) 0) into 0
1538293516.819 * [misc]backup-simplify:  Simplify (+ (* re 0) (* 0 re)) into 0
1538293516.820 * [misc]backup-simplify:  Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2)
1538293516.820 * [misc]backup-simplify:  Simplify (/ 1/2 (pow re 2)) into (/ 1/2 (pow re 2))
1538293516.820 * [misc]taylor:  Taking taylor expansion of (/ 1/2 (* (pow re 2) im)) in re
1538293516.820 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.820 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.820 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.820 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.820 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.820 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.820 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.820 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.820 * [misc]backup-simplify:  Simplify im into im
1538293516.821 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.821 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.821 * [misc]backup-simplify:  Simplify (/ 1/2 im) into (/ 1/2 im)
1538293516.821 * [misc]taylor:  Taking taylor expansion of (/ 1/2 (* (pow re 2) im)) in re
1538293516.821 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1538293516.821 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.821 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.821 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.821 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.821 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.821 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.821 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.821 * [misc]backup-simplify:  Simplify im into im
1538293516.821 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.821 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.821 * [misc]backup-simplify:  Simplify (/ 1/2 im) into (/ 1/2 im)
1538293516.821 * [misc]taylor:  Taking taylor expansion of (/ 1/2 im) in im
1538293516.821 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1538293516.822 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.822 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.822 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.822 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.822 * [misc]backup-simplify:  Simplify (/ 1/2 1) into 1/2
1538293516.822 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538293516.822 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.822 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.823 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 1/2 im) (/ 0 im)))) into 0
1538293516.823 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.823 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.823 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
1538293516.823 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.823 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.824 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.824 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 1/2 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.824 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.824 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.824 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.824 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.824 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.825 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.825 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.826 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 1/2 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.826 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.826 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.826 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.826 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.826 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.826 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.827 * [misc]backup-simplify:  Simplify (* 1/2 (* (/ 1 (/ 1 im)) (pow (/ 1 re) -2))) into (* 1/2 (* (pow re 2) im))
1538293516.827 * [misc]backup-simplify:  Simplify (* 1/2 (* (pow (/ 1 (- re)) 2) (/ 1 (- im)))) into (/ -1/2 (* (pow re 2) im))
1538293516.827 * [misc]approximate:  Taking taylor expansion of (/ -1/2 (* (pow re 2) im)) in (re im) around 0
1538293516.827 * [misc]taylor:  Taking taylor expansion of (/ -1/2 (* (pow re 2) im)) in im
1538293516.827 * [misc]taylor:  Taking taylor expansion of -1/2 in im
1538293516.827 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538293516.827 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in im
1538293516.827 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1538293516.827 * [misc]taylor:  Taking taylor expansion of re in im
1538293516.827 * [misc]backup-simplify:  Simplify re into re
1538293516.827 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.827 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.827 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.828 * [misc]backup-simplify:  Simplify (* re re) into (pow re 2)
1538293516.828 * [misc]backup-simplify:  Simplify (* (pow re 2) 0) into 0
1538293516.828 * [misc]backup-simplify:  Simplify (+ (* re 0) (* 0 re)) into 0
1538293516.828 * [misc]backup-simplify:  Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2)
1538293516.828 * [misc]backup-simplify:  Simplify (/ -1/2 (pow re 2)) into (/ -1/2 (pow re 2))
1538293516.828 * [misc]taylor:  Taking taylor expansion of (/ -1/2 (* (pow re 2) im)) in re
1538293516.828 * [misc]taylor:  Taking taylor expansion of -1/2 in re
1538293516.828 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538293516.828 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.828 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.828 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.828 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.828 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.828 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.828 * [misc]backup-simplify:  Simplify im into im
1538293516.829 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.829 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.829 * [misc]backup-simplify:  Simplify (/ -1/2 im) into (/ -1/2 im)
1538293516.829 * [misc]taylor:  Taking taylor expansion of (/ -1/2 (* (pow re 2) im)) in re
1538293516.829 * [misc]taylor:  Taking taylor expansion of -1/2 in re
1538293516.829 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538293516.829 * [misc]taylor:  Taking taylor expansion of (* (pow re 2) im) in re
1538293516.829 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1538293516.829 * [misc]taylor:  Taking taylor expansion of re in re
1538293516.829 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.829 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.829 * [misc]taylor:  Taking taylor expansion of im in re
1538293516.829 * [misc]backup-simplify:  Simplify im into im
1538293516.829 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538293516.829 * [misc]backup-simplify:  Simplify (* 1 im) into im
1538293516.829 * [misc]backup-simplify:  Simplify (/ -1/2 im) into (/ -1/2 im)
1538293516.829 * [misc]taylor:  Taking taylor expansion of (/ -1/2 im) in im
1538293516.830 * [misc]taylor:  Taking taylor expansion of -1/2 in im
1538293516.830 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538293516.830 * [misc]taylor:  Taking taylor expansion of im in im
1538293516.830 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.830 * [misc]backup-simplify:  Simplify 1 into 1
1538293516.830 * [misc]backup-simplify:  Simplify (/ -1/2 1) into -1/2
1538293516.830 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538293516.830 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538293516.830 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 im)) into 0
1538293516.830 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1/2 im) (/ 0 im)))) into 0
1538293516.831 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.831 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.831 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
1538293516.831 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.831 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538293516.832 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 im))) into 0
1538293516.832 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1/2 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.832 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.832 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.832 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.832 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.832 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.833 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538293516.833 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
1538293516.833 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1/2 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1538293516.834 * [misc]taylor:  Taking taylor expansion of 0 in im
1538293516.834 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.834 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.834 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.834 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538293516.834 * [misc]backup-simplify:  Simplify 0 into 0
1538293516.835 * [misc]backup-simplify:  Simplify (* -1/2 (* (/ 1 (/ 1 (- im))) (pow (/ 1 (- re)) -2))) into (* 1/2 (* (pow re 2) im))
1538293516.835 * * * [misc]progress:  simplifying candidates
1538293516.835 * * * * [misc]progress:  [ 1 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (pow (* (pow re 2) im) 1)) (+ (* re im) im)))>
1538293516.835 * * * * [misc]progress:  [ 2 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (exp (log (* (pow re 2) im)))) (+ (* re im) im)))>
1538293516.835 * * * * [misc]progress:  [ 3 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (log (exp (* (pow re 2) im)))) (+ (* re im) im)))>
1538293516.835 * * * * [misc]progress:  [ 4 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (* (cbrt (* (pow re 2) im)) (cbrt (* (pow re 2) im))) (cbrt (* (pow re 2) im)))) (+ (* re im) im)))>
1538293516.835 * * * * [misc]progress:  [ 5 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (cbrt (* (* (* (pow re 2) im) (* (pow re 2) im)) (* (pow re 2) im)))) (+ (* re im) im)))>
1538293516.836 * * * * [misc]progress:  [ 6 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (sqrt (* (pow re 2) im)) (sqrt (* (pow re 2) im)))) (+ (* re im) im)))>
1538293516.836 * * * * [misc]progress:  [ 7 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* 1 (* (pow re 2) im))) (+ (* re im) im)))>
1538293516.836 * * * * [misc]progress:  [ 8 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* re (* re im))) (+ (* re im) im)))>
1538293516.836 * * * * [misc]progress:  [ 9 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (* (cbrt (pow re 2)) (cbrt (pow re 2))) (* (cbrt (pow re 2)) im))) (+ (* re im) im)))>
1538293516.836 * [enter]simplify:  Simplifying (* (cbrt (pow re 2)) (cbrt (pow re 2)))
1538293516.837 * * [misc]simplify:  iters left: 4 (5 enodes)
1538293516.838 * * [misc]simplify:  iters left: 3 (6 enodes)
1538293516.841 * [exit]simplify:  Simplified to (* (cbrt (* re re)) (cbrt (* re re)))
1538293516.841 * [misc]simplify:  Simplified (2 1 2 1) to (λ (re im) (+ (* 1/2 (* (* (cbrt (* re re)) (cbrt (* re re))) (* (cbrt (pow re 2)) im))) (+ (* re im) im)))
1538293516.841 * * * * [misc]progress:  [ 10 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (sqrt (pow re 2)) (* (sqrt (pow re 2)) im))) (+ (* re im) im)))>
1538293516.841 * [enter]simplify:  Simplifying (sqrt (pow re 2))
1538293516.841 * * [misc]simplify:  iters left: 2 (4 enodes)
1538293516.843 * * [misc]simplify:  iters left: 1 (5 enodes)
1538293516.845 * [exit]simplify:  Simplified to (fabs re)
1538293516.845 * [misc]simplify:  Simplified (2 1 2 1) to (λ (re im) (+ (* 1/2 (* (fabs re) (* (sqrt (pow re 2)) im))) (+ (* re im) im)))
1538293516.845 * * * * [misc]progress:  [ 11 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* 1 (* (pow re 2) im))) (+ (* re im) im)))>
1538293516.845 * * * * [misc]progress:  [ 12 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* im (pow re 2))) (+ (* re im) im)))>
1538293516.845 * * * * [misc]progress:  [ 13 / 56 ] simplifiying candidate #<alt (λ (re im) (log (* (exp (* 1/2 (* (pow re 2) im))) (exp (+ (* re im) im)))))>
1538293516.845 * [enter]simplify:  Simplifying (* (exp (* 1/2 (* (pow re 2) im))) (exp (+ (* re im) im)))
1538293516.846 * * [misc]simplify:  iters left: 6 (12 enodes)
1538293516.854 * * [misc]simplify:  iters left: 5 (30 enodes)
1538293516.870 * * [misc]simplify:  iters left: 4 (62 enodes)
1538293516.900 * * [misc]simplify:  iters left: 3 (107 enodes)
1538293516.937 * * [misc]simplify:  iters left: 2 (159 enodes)
1538293516.974 * * [misc]simplify:  iters left: 1 (206 enodes)
1538293517.018 * [exit]simplify:  Simplified to (exp (+ (* (* im 1/2) (* re re)) (+ im (* re im))))
1538293517.018 * [misc]simplify:  Simplified (2 1) to (λ (re im) (log (exp (+ (* (* im 1/2) (* re re)) (+ im (* re im))))))
1538293517.018 * * * * [misc]progress:  [ 14 / 56 ] simplifiying candidate #<alt (λ (re im) (pow (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1))>
1538293517.018 * * * * [misc]progress:  [ 15 / 56 ] simplifiying candidate #<alt (λ (re im) (exp (log (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))))>
1538293517.018 * * * * [misc]progress:  [ 16 / 56 ] simplifiying candidate #<alt (λ (re im) (log (exp (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))))>
1538293517.018 * * * * [misc]progress:  [ 17 / 56 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))) (cbrt (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))) (cbrt (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))))>
1538293517.018 * * * * [misc]progress:  [ 18 / 56 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))))>
1538293517.018 * * * * [misc]progress:  [ 19 / 56 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))) (sqrt (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))))>
1538293517.018 * * * * [misc]progress:  [ 20 / 56 ] simplifiying candidate #<alt (λ (re im) (/ (+ (pow (* 1/2 (* (pow re 2) im)) 3) (pow (+ (* re im) im) 3)) (+ (* (* 1/2 (* (pow re 2) im)) (* 1/2 (* (pow re 2) im))) (- (* (+ (* re im) im) (+ (* re im) im)) (* (* 1/2 (* (pow re 2) im)) (+ (* re im) im))))))>
1538293517.018 * * * * [misc]progress:  [ 21 / 56 ] simplifiying candidate #<alt (λ (re im) (* 1 (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))))>
1538293517.019 * * * * [misc]progress:  [ 22 / 56 ] simplifiying candidate #<alt (λ (re im) (/ (- (* (* 1/2 (* (pow re 2) im)) (* 1/2 (* (pow re 2) im))) (* (+ (* re im) im) (+ (* re im) im))) (- (* 1/2 (* (pow re 2) im)) (+ (* re im) im))))>
1538293517.019 * * * * [misc]progress:  [ 23 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (+ (* 1/2 (* (pow re 2) im)) (* re im)) im))>
1538293517.019 * * * * [misc]progress:  [ 24 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (+ (* re im) im) (* 1/2 (* (pow re 2) im))))>
1538293517.019 * * * * [misc]progress:  [ 25 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (pow (+ (* re im) im) 1)))>
1538293517.019 * * * * [misc]progress:  [ 26 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (exp (log (+ (* re im) im)))))>
1538293517.019 * * * * [misc]progress:  [ 27 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (log (exp (+ (* re im) im)))))>
1538293517.019 * * * * [misc]progress:  [ 28 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (* (* (cbrt (+ (* re im) im)) (cbrt (+ (* re im) im))) (cbrt (+ (* re im) im)))))>
1538293517.019 * * * * [misc]progress:  [ 29 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (cbrt (* (* (+ (* re im) im) (+ (* re im) im)) (+ (* re im) im)))))>
1538293517.019 * * * * [misc]progress:  [ 30 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (* (sqrt (+ (* re im) im)) (sqrt (+ (* re im) im)))))>
1538293517.019 * * * * [misc]progress:  [ 31 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (/ (+ (pow (* re im) 3) (pow im 3)) (+ (* (* re im) (* re im)) (- (* im im) (* (* re im) im))))))>
1538293517.019 * * * * [misc]progress:  [ 32 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (* 1 (+ (* re im) im))))>
1538293517.019 * * * * [misc]progress:  [ 33 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (/ (- (* (* re im) (* re im)) (* im im)) (- (* re im) im))))>
1538293517.019 * * * * [misc]progress:  [ 34 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (* (+ re 1) im)))>
1538293517.020 * [enter]simplify:  Simplifying (+ re 1)
1538293517.020 * * [misc]simplify:  iters left: 2 (3 enodes)
1538293517.021 * * [misc]simplify:  iters left: 1 (6 enodes)
1538293517.023 * [exit]simplify:  Simplified to (+ 1 re)
1538293517.023 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (* (+ 1 re) im)))
1538293517.023 * * * * [misc]progress:  [ 35 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ im (* re im))))>
1538293517.023 * * * * [misc]progress:  [ 36 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (pow (* 1/2 (* (pow re 2) im)) 1) (+ (* re im) im)))>
1538293517.023 * * * * [misc]progress:  [ 37 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (exp (log (* 1/2 (* (pow re 2) im)))) (+ (* re im) im)))>
1538293517.023 * * * * [misc]progress:  [ 38 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (log (exp (* 1/2 (* (pow re 2) im)))) (+ (* re im) im)))>
1538293517.023 * * * * [misc]progress:  [ 39 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* (* (cbrt (* 1/2 (* (pow re 2) im))) (cbrt (* 1/2 (* (pow re 2) im)))) (cbrt (* 1/2 (* (pow re 2) im)))) (+ (* re im) im)))>
1538293517.023 * * * * [misc]progress:  [ 40 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (cbrt (* (* (* 1/2 (* (pow re 2) im)) (* 1/2 (* (pow re 2) im))) (* 1/2 (* (pow re 2) im)))) (+ (* re im) im)))>
1538293517.024 * * * * [misc]progress:  [ 41 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* (sqrt (* 1/2 (* (pow re 2) im))) (sqrt (* 1/2 (* (pow re 2) im)))) (+ (* re im) im)))>
1538293517.024 * * * * [misc]progress:  [ 42 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1 (* 1/2 (* (pow re 2) im))) (+ (* re im) im)))>
1538293517.024 * * * * [misc]progress:  [ 43 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* (* 1/2 (pow re 2)) im) (+ (* re im) im)))>
1538293517.024 * * * * [misc]progress:  [ 44 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* (* (pow re 2) im) 1/2) (+ (* re im) im)))>
1538293517.024 * * * * [misc]progress:  [ 45 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.024 * [enter]simplify:  Simplifying (* (pow re 2) im)
1538293517.024 * * [misc]simplify:  iters left: 3 (5 enodes)
1538293517.029 * * [misc]simplify:  iters left: 2 (7 enodes)
1538293517.032 * * [misc]simplify:  iters left: 1 (11 enodes)
1538293517.036 * [exit]simplify:  Simplified to (* (* re re) im)
1538293517.036 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (+ (* 1/2 (* (* re re) im)) (+ (* re im) im)))
1538293517.036 * * * * [misc]progress:  [ 46 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.037 * [enter]simplify:  Simplifying (* (pow re 2) im)
1538293517.037 * * [misc]simplify:  iters left: 3 (5 enodes)
1538293517.039 * * [misc]simplify:  iters left: 2 (7 enodes)
1538293517.041 * * [misc]simplify:  iters left: 1 (11 enodes)
1538293517.043 * [exit]simplify:  Simplified to (* (* re re) im)
1538293517.043 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (+ (* 1/2 (* (* re re) im)) (+ (* re im) im)))
1538293517.043 * * * * [misc]progress:  [ 47 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.043 * [enter]simplify:  Simplifying (* (pow re 2) im)
1538293517.043 * * [misc]simplify:  iters left: 3 (5 enodes)
1538293517.045 * * [misc]simplify:  iters left: 2 (7 enodes)
1538293517.048 * * [misc]simplify:  iters left: 1 (11 enodes)
1538293517.053 * [exit]simplify:  Simplified to (* (* re re) im)
1538293517.053 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (+ (* 1/2 (* (* re re) im)) (+ (* re im) im)))
1538293517.053 * * * * [misc]progress:  [ 48 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.053 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293517.054 * * [misc]simplify:  iters left: 6 (10 enodes)
1538293517.059 * * [misc]simplify:  iters left: 5 (23 enodes)
1538293517.071 * * [misc]simplify:  iters left: 4 (49 enodes)
1538293517.084 * * [misc]simplify:  iters left: 3 (85 enodes)
1538293517.110 * * [misc]simplify:  iters left: 2 (126 enodes)
1538293517.134 * * [misc]simplify:  iters left: 1 (155 enodes)
1538293517.186 * [exit]simplify:  Simplified to (+ (+ (* re im) im) (* (* 1/2 re) (* re im)))
1538293517.186 * [misc]simplify:  Simplified (2) to (λ (re im) (+ (+ (* re im) im) (* (* 1/2 re) (* re im))))
1538293517.186 * * * * [misc]progress:  [ 49 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.186 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293517.187 * * [misc]simplify:  iters left: 6 (10 enodes)
1538293517.190 * * [misc]simplify:  iters left: 5 (23 enodes)
1538293517.201 * * [misc]simplify:  iters left: 4 (49 enodes)
1538293517.219 * * [misc]simplify:  iters left: 3 (85 enodes)
1538293517.247 * * [misc]simplify:  iters left: 2 (126 enodes)
1538293517.269 * * [misc]simplify:  iters left: 1 (155 enodes)
1538293517.331 * [exit]simplify:  Simplified to (+ (+ (* re im) im) (* (* 1/2 re) (* re im)))
1538293517.331 * [misc]simplify:  Simplified (2) to (λ (re im) (+ (+ (* re im) im) (* (* 1/2 re) (* re im))))
1538293517.331 * * * * [misc]progress:  [ 50 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.332 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1538293517.333 * * [misc]simplify:  iters left: 6 (10 enodes)
1538293517.337 * * [misc]simplify:  iters left: 5 (23 enodes)
1538293517.343 * * [misc]simplify:  iters left: 4 (49 enodes)
1538293517.356 * * [misc]simplify:  iters left: 3 (85 enodes)
1538293517.398 * * [misc]simplify:  iters left: 2 (126 enodes)
1538293517.421 * * [misc]simplify:  iters left: 1 (155 enodes)
1538293517.494 * [exit]simplify:  Simplified to (+ (+ (* re im) im) (* (* 1/2 re) (* re im)))
1538293517.494 * [misc]simplify:  Simplified (2) to (λ (re im) (+ (+ (* re im) im) (* (* 1/2 re) (* re im))))
1538293517.494 * * * * [misc]progress:  [ 51 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.494 * [enter]simplify:  Simplifying (+ (* re im) im)
1538293517.495 * * [misc]simplify:  iters left: 4 (4 enodes)
1538293517.497 * * [misc]simplify:  iters left: 3 (9 enodes)
1538293517.501 * * [misc]simplify:  iters left: 2 (13 enodes)
1538293517.506 * * [misc]simplify:  iters left: 1 (19 enodes)
1538293517.512 * [exit]simplify:  Simplified to (+ im (* re im))
1538293517.512 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ im (* re im))))
1538293517.512 * * * * [misc]progress:  [ 52 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.513 * [enter]simplify:  Simplifying (+ (* re im) im)
1538293517.513 * * [misc]simplify:  iters left: 4 (4 enodes)
1538293517.515 * * [misc]simplify:  iters left: 3 (9 enodes)
1538293517.517 * * [misc]simplify:  iters left: 2 (13 enodes)
1538293517.519 * * [misc]simplify:  iters left: 1 (19 enodes)
1538293517.523 * [exit]simplify:  Simplified to (+ im (* re im))
1538293517.523 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ im (* re im))))
1538293517.523 * * * * [misc]progress:  [ 53 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.523 * [enter]simplify:  Simplifying (+ (* re im) im)
1538293517.523 * * [misc]simplify:  iters left: 4 (4 enodes)
1538293517.524 * * [misc]simplify:  iters left: 3 (9 enodes)
1538293517.526 * * [misc]simplify:  iters left: 2 (13 enodes)
1538293517.529 * * [misc]simplify:  iters left: 1 (19 enodes)
1538293517.532 * [exit]simplify:  Simplified to (+ im (* re im))
1538293517.532 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ im (* re im))))
1538293517.532 * * * * [misc]progress:  [ 54 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.532 * [enter]simplify:  Simplifying (* 1/2 (* (pow re 2) im))
1538293517.532 * * [misc]simplify:  iters left: 5 (7 enodes)
1538293517.534 * * [misc]simplify:  iters left: 4 (12 enodes)
1538293517.537 * * [misc]simplify:  iters left: 3 (24 enodes)
1538293517.542 * * [misc]simplify:  iters left: 2 (36 enodes)
1538293517.553 * * [misc]simplify:  iters left: 1 (43 enodes)
1538293517.566 * [exit]simplify:  Simplified to (* (* re im) (* 1/2 re))
1538293517.566 * [misc]simplify:  Simplified (2 1) to (λ (re im) (+ (* (* re im) (* 1/2 re)) (+ (* re im) im)))
1538293517.566 * * * * [misc]progress:  [ 55 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.566 * [enter]simplify:  Simplifying (* 1/2 (* (pow re 2) im))
1538293517.567 * * [misc]simplify:  iters left: 5 (7 enodes)
1538293517.570 * * [misc]simplify:  iters left: 4 (12 enodes)
1538293517.576 * * [misc]simplify:  iters left: 3 (24 enodes)
1538293517.585 * * [misc]simplify:  iters left: 2 (36 enodes)
1538293517.597 * * [misc]simplify:  iters left: 1 (43 enodes)
1538293517.612 * [exit]simplify:  Simplified to (* (* re im) (* 1/2 re))
1538293517.613 * [misc]simplify:  Simplified (2 1) to (λ (re im) (+ (* (* re im) (* 1/2 re)) (+ (* re im) im)))
1538293517.613 * * * * [misc]progress:  [ 56 / 56 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1538293517.613 * [enter]simplify:  Simplifying (* 1/2 (* (pow re 2) im))
1538293517.614 * * [misc]simplify:  iters left: 5 (7 enodes)
1538293517.617 * * [misc]simplify:  iters left: 4 (12 enodes)
1538293517.622 * * [misc]simplify:  iters left: 3 (24 enodes)
1538293517.628 * * [misc]simplify:  iters left: 2 (36 enodes)
1538293517.635 * * [misc]simplify:  iters left: 1 (43 enodes)
1538293517.641 * [exit]simplify:  Simplified to (* (* re im) (* 1/2 re))
1538293517.641 * [misc]simplify:  Simplified (2 1) to (λ (re im) (+ (* (* re im) (* 1/2 re)) (+ (* re im) im)))
1538293517.641 * * * [misc]progress:  adding candidates to table
1538293518.566 * [misc]progress:  [Phase 3 of 3] Extracting.
1538293518.566 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>)
1538293518.567 * * * [misc]regime-changes:  Trying 5 branch expressions: (im (sin im) re (exp re) (* (exp re) (sin im)))
1538293518.567 * * * * [misc]regimes:  Trying to branch on im from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>)
1538293518.598 * * * * [misc]regimes:  Trying to branch on (sin im) from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>)
1538293518.645 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>)
1538293518.676 * * * * [misc]regimes:  Trying to branch on (exp re) from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>)
1538293518.728 * * * * [misc]regimes:  Trying to branch on (* (exp re) (sin im)) from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>)
1538293518.807 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1538293518.808 * [enter]simplify:  Simplifying (* (exp re) (sin im))
1538293518.809 * * [misc]simplify:  iters left: 3 (5 enodes)
1538293518.809 * * [misc]simplify:  iters left: 2 (6 enodes)
1538293518.810 * [exit]simplify:  Simplified to (* (sin im) (exp re))
1538293518.810 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538293518.875 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1538293518.877 * * * * [misc]points:  Setting MPFR precision to 64
1538293518.877 * * * * [misc]points:  Setting MPFR precision to 320
1538293518.878 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1538293518.879 * * * * [misc]points:  Setting MPFR precision to 64
1538293518.879 * * * * [misc]points:  Setting MPFR precision to 320
1538293518.880 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1538293518.881 * * * * [misc]points:  Setting MPFR precision to 64
1538293518.883 * * * * [misc]points:  Setting MPFR precision to 320
1538293518.885 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1538293518.886 * * * * [misc]points:  Setting MPFR precision to 64
1538293518.890 * * * * [misc]points:  Setting MPFR precision to 320
1538293518.897 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1538293518.898 * * * * [misc]points:  Setting MPFR precision to 64
1538293518.910 * * * * [misc]points:  Setting MPFR precision to 320
1538293518.918 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1538293518.919 * * * * [misc]points:  Setting MPFR precision to 64
1538293518.932 * * * * [misc]points:  Setting MPFR precision to 320
1538293518.947 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1538293518.948 * * * * [misc]points:  Setting MPFR precision to 64
1538293518.996 * * * * [misc]points:  Setting MPFR precision to 320
1538293519.098 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1538293519.100 * * * * [misc]points:  Setting MPFR precision to 64
1538293519.167 * * * * [misc]points:  Setting MPFR precision to 320
1538293519.282 * * * * [misc]points:  Computing exacts for 8000 points
1538293519.283 * * * * [misc]points:  Setting MPFR precision to 64
1538293519.723 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.275 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293520.278 * * * * [misc]points:  Sampling 1986 additional inputs, on iter 1 have 6014 / 8000
1538293520.296 * * * * [misc]points:  Computing exacts on every 124 of 1986 points to ramp up precision
1538293520.297 * * * * [misc]points:  Setting MPFR precision to 64
1538293520.298 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.299 * * * * [misc]points:  Computing exacts on every 62 of 1986 points to ramp up precision
1538293520.301 * * * * [misc]points:  Setting MPFR precision to 64
1538293520.302 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.304 * * * * [misc]points:  Computing exacts on every 31 of 1986 points to ramp up precision
1538293520.305 * * * * [misc]points:  Setting MPFR precision to 64
1538293520.309 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.312 * * * * [misc]points:  Computing exacts on every 15 of 1986 points to ramp up precision
1538293520.314 * * * * [misc]points:  Setting MPFR precision to 64
1538293520.320 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.327 * * * * [misc]points:  Computing exacts on every 7 of 1986 points to ramp up precision
1538293520.329 * * * * [misc]points:  Setting MPFR precision to 64
1538293520.341 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.355 * * * * [misc]points:  Computing exacts on every 3 of 1986 points to ramp up precision
1538293520.357 * * * * [misc]points:  Setting MPFR precision to 64
1538293520.381 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.409 * * * * [misc]points:  Computing exacts for 1986 points
1538293520.410 * * * * [misc]points:  Setting MPFR precision to 64
1538293520.517 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.573 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.703 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293520.704 * * * * [misc]points:  Sampling 476 additional inputs, on iter 2 have 7524 / 8000
1538293520.708 * * * * [misc]points:  Computing exacts on every 29 of 476 points to ramp up precision
1538293520.709 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.710 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.711 * * * * [misc]points:  Computing exacts on every 14 of 476 points to ramp up precision
1538293520.713 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.714 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.716 * * * * [misc]points:  Computing exacts on every 7 of 476 points to ramp up precision
1538293520.717 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.720 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.724 * * * * [misc]points:  Computing exacts on every 3 of 476 points to ramp up precision
1538293520.725 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.731 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.737 * * * * [misc]points:  Computing exacts for 476 points
1538293520.738 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.752 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.771 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293520.772 * * * * [misc]points:  Sampling 113 additional inputs, on iter 3 have 7887 / 8000
1538293520.773 * * * * [misc]points:  Computing exacts on every 7 of 113 points to ramp up precision
1538293520.774 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.775 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.776 * * * * [misc]points:  Computing exacts on every 3 of 113 points to ramp up precision
1538293520.778 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.779 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.781 * * * * [misc]points:  Computing exacts for 113 points
1538293520.782 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.789 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.796 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293520.797 * * * * [misc]points:  Sampling 31 additional inputs, on iter 4 have 7969 / 8000
1538293520.797 * * * * [misc]points:  Computing exacts for 31 points
1538293520.799 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.800 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.803 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293520.803 * * * * [misc]points:  Sampling 7 additional inputs, on iter 5 have 7993 / 8000
1538293520.803 * * * * [misc]points:  Computing exacts for 7 points
1538293520.804 * * * * [misc]points:  Setting MPFR precision to 320
1538293520.805 * * * * [misc]points:  Setting MPFR precision to 576
1538293520.806 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538293520.806 * * * * [exit]points:  Sampled 8000 points with exact outputs