60.565 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.064 * * * [progress]: [2/2] Setting up program.
0.070 * [progress]: [Phase 2 of 3] Improving.
0.071 * [simplify]: Simplifying:
  (* (exp re) (sin im))
0.071 * * [simplify]: iteration 0: 5 enodes
0.072 * * [simplify]: iteration 1: 6 enodes
0.074 * * [simplify]: iteration complete: 6 enodes
0.074 * * [simplify]: Extracting #0: cost 1 inf + 0
0.074 * * [simplify]: Extracting #1: cost 3 inf + 0
0.074 * * [simplify]: Extracting #2: cost 5 inf + 0
0.074 * * [simplify]: Extracting #3: cost 2 inf + 63
0.074 * * [simplify]: Extracting #4: cost 0 inf + 306
0.074 * [simplify]: Simplified to:
  (* (sin im) (exp re))
0.075 * * [progress]: iteration 1 / 4
0.076 * * * [progress]: picking best candidate
0.082 * * * * [pick]: Picked  #<alt (λ (re im) (* (exp re) (sin im)))>
0.082 * * * [progress]: localizing error
0.091 * * * [progress]: generating rewritten candidates
0.091 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.121 * * * [progress]: generating series expansions
0.121 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.122 * [backup-simplify]: Simplify (* (exp re) (sin im)) into (* (sin im) (exp re))
0.122 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0
0.122 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im
0.122 * [taylor]: Taking taylor expansion of (sin im) in im
0.122 * [taylor]: Taking taylor expansion of im in im
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify 1 into 1
0.122 * [taylor]: Taking taylor expansion of (exp re) in im
0.122 * [taylor]: Taking taylor expansion of re in im
0.122 * [backup-simplify]: Simplify re into re
0.122 * [backup-simplify]: Simplify (exp re) into (exp re)
0.122 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re
0.122 * [taylor]: Taking taylor expansion of (sin im) in re
0.122 * [taylor]: Taking taylor expansion of im in re
0.122 * [backup-simplify]: Simplify im into im
0.122 * [backup-simplify]: Simplify (sin im) into (sin im)
0.122 * [backup-simplify]: Simplify (cos im) into (cos im)
0.122 * [taylor]: Taking taylor expansion of (exp re) in re
0.122 * [taylor]: Taking taylor expansion of re in re
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify 1 into 1
0.122 * [backup-simplify]: Simplify (exp 0) into 1
0.122 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re
0.122 * [taylor]: Taking taylor expansion of (sin im) in re
0.123 * [taylor]: Taking taylor expansion of im in re
0.123 * [backup-simplify]: Simplify im into im
0.123 * [backup-simplify]: Simplify (sin im) into (sin im)
0.123 * [backup-simplify]: Simplify (cos im) into (cos im)
0.123 * [taylor]: Taking taylor expansion of (exp re) in re
0.123 * [taylor]: Taking taylor expansion of re in re
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 1 into 1
0.123 * [backup-simplify]: Simplify (exp 0) into 1
0.123 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im)
0.123 * [backup-simplify]: Simplify (* (cos im) 0) into 0
0.123 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im)
0.123 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im)
0.123 * [taylor]: Taking taylor expansion of (sin im) in im
0.123 * [taylor]: Taking taylor expansion of im in im
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 1 into 1
0.123 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.126 * [backup-simplify]: Simplify (+ 0) into 0
0.126 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0
0.127 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.127 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0
0.128 * [backup-simplify]: Simplify (+ 0 0) into 0
0.128 * [backup-simplify]: Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im)
0.128 * [taylor]: Taking taylor expansion of (sin im) in im
0.128 * [taylor]: Taking taylor expansion of im in im
0.128 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify 1 into 1
0.129 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
0.132 * [backup-simplify]: Simplify 1 into 1
0.133 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.134 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.135 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0
0.136 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.136 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0
0.137 * [backup-simplify]: Simplify (+ 0 0) into 0
0.137 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im))
0.138 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im
0.138 * [taylor]: Taking taylor expansion of 1/2 in im
0.138 * [backup-simplify]: Simplify 1/2 into 1/2
0.138 * [taylor]: Taking taylor expansion of (sin im) in im
0.138 * [taylor]: Taking taylor expansion of im in im
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 1 into 1
0.138 * [backup-simplify]: Simplify (* 1/2 0) into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
0.139 * [backup-simplify]: Simplify 1 into 1
0.140 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.143 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.144 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.146 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.147 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.147 * [backup-simplify]: Simplify (+ 0 0) into 0
0.148 * [backup-simplify]: Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im))
0.148 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im
0.148 * [taylor]: Taking taylor expansion of 1/6 in im
0.148 * [backup-simplify]: Simplify 1/6 into 1/6
0.148 * [taylor]: Taking taylor expansion of (sin im) in im
0.148 * [taylor]: Taking taylor expansion of im in im
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.149 * [backup-simplify]: Simplify (* 1/6 0) into 0
0.149 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
0.150 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
0.150 * [backup-simplify]: Simplify 1/2 into 1/2
0.151 * [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))
0.151 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (sin (/ 1 im))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
0.151 * [approximate]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
0.151 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
0.151 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
0.151 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.151 * [taylor]: Taking taylor expansion of im in im
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify 1 into 1
0.152 * [backup-simplify]: Simplify (/ 1 1) into 1
0.152 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
0.152 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.152 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.152 * [taylor]: Taking taylor expansion of re in im
0.152 * [backup-simplify]: Simplify re into re
0.152 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.152 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
0.152 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
0.152 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re
0.152 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.152 * [taylor]: Taking taylor expansion of im in re
0.152 * [backup-simplify]: Simplify im into im
0.152 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.153 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
0.153 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
0.153 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.153 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.153 * [taylor]: Taking taylor expansion of re in re
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 1 into 1
0.153 * [backup-simplify]: Simplify (/ 1 1) into 1
0.153 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
0.153 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
0.153 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re
0.153 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.153 * [taylor]: Taking taylor expansion of im in re
0.153 * [backup-simplify]: Simplify im into im
0.153 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.154 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
0.154 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
0.154 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.154 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.154 * [taylor]: Taking taylor expansion of re in re
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 1 into 1
0.154 * [backup-simplify]: Simplify (/ 1 1) into 1
0.154 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
0.154 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
0.155 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0
0.155 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
0.155 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
0.155 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
0.155 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
0.155 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.155 * [taylor]: Taking taylor expansion of im in im
0.155 * [backup-simplify]: Simplify 0 into 0
0.155 * [backup-simplify]: Simplify 1 into 1
0.155 * [backup-simplify]: Simplify (/ 1 1) into 1
0.156 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
0.156 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.156 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.156 * [taylor]: Taking taylor expansion of re in im
0.156 * [backup-simplify]: Simplify re into re
0.156 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.156 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
0.156 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
0.156 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
0.157 * [backup-simplify]: Simplify (+ 0) into 0
0.157 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0
0.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.158 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.159 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0
0.159 * [backup-simplify]: Simplify (+ 0 0) into 0
0.159 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
0.159 * [taylor]: Taking taylor expansion of 0 in im
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
0.160 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
0.161 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
0.161 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.162 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
0.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.163 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.164 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
0.164 * [backup-simplify]: Simplify (+ 0 0) into 0
0.165 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
0.165 * [taylor]: Taking taylor expansion of 0 in im
0.165 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.167 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.168 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
0.168 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.170 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.170 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.172 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.173 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.173 * [backup-simplify]: Simplify (+ 0 0) into 0
0.174 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
0.174 * [taylor]: Taking taylor expansion of 0 in im
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re))
0.175 * [backup-simplify]: Simplify (* (exp (/ 1 (- re))) (sin (/ 1 (- im)))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
0.175 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0
0.175 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
0.175 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.175 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.175 * [taylor]: Taking taylor expansion of -1 in im
0.175 * [backup-simplify]: Simplify -1 into -1
0.175 * [taylor]: Taking taylor expansion of re in im
0.175 * [backup-simplify]: Simplify re into re
0.175 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.175 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
0.175 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
0.175 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.175 * [taylor]: Taking taylor expansion of -1 in im
0.175 * [backup-simplify]: Simplify -1 into -1
0.175 * [taylor]: Taking taylor expansion of im in im
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (/ -1 1) into -1
0.176 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
0.176 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
0.176 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.176 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.176 * [taylor]: Taking taylor expansion of -1 in re
0.176 * [backup-simplify]: Simplify -1 into -1
0.176 * [taylor]: Taking taylor expansion of re in re
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify 1 into 1
0.177 * [backup-simplify]: Simplify (/ -1 1) into -1
0.177 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
0.177 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re
0.177 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.177 * [taylor]: Taking taylor expansion of -1 in re
0.177 * [backup-simplify]: Simplify -1 into -1
0.177 * [taylor]: Taking taylor expansion of im in re
0.177 * [backup-simplify]: Simplify im into im
0.177 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.177 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
0.177 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
0.177 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
0.177 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.177 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.177 * [taylor]: Taking taylor expansion of -1 in re
0.177 * [backup-simplify]: Simplify -1 into -1
0.177 * [taylor]: Taking taylor expansion of re in re
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (/ -1 1) into -1
0.178 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
0.178 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re
0.178 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.178 * [taylor]: Taking taylor expansion of -1 in re
0.178 * [backup-simplify]: Simplify -1 into -1
0.178 * [taylor]: Taking taylor expansion of im in re
0.178 * [backup-simplify]: Simplify im into im
0.178 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.178 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
0.178 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
0.178 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
0.179 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0
0.179 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
0.179 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
0.179 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
0.179 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.179 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.179 * [taylor]: Taking taylor expansion of -1 in im
0.179 * [backup-simplify]: Simplify -1 into -1
0.179 * [taylor]: Taking taylor expansion of re in im
0.179 * [backup-simplify]: Simplify re into re
0.179 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.179 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
0.179 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
0.179 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.179 * [taylor]: Taking taylor expansion of -1 in im
0.179 * [backup-simplify]: Simplify -1 into -1
0.179 * [taylor]: Taking taylor expansion of im in im
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 1 into 1
0.180 * [backup-simplify]: Simplify (/ -1 1) into -1
0.180 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
0.180 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
0.180 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
0.181 * [backup-simplify]: Simplify (+ 0) into 0
0.181 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0
0.181 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
0.182 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.183 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0
0.183 * [backup-simplify]: Simplify (+ 0 0) into 0
0.183 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
0.183 * [taylor]: Taking taylor expansion of 0 in im
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
0.185 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
0.185 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
0.185 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.186 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
0.187 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.188 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.188 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
0.188 * [backup-simplify]: Simplify (+ 0 0) into 0
0.189 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
0.189 * [taylor]: Taking taylor expansion of 0 in im
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.191 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.191 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.193 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.194 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.195 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.196 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.196 * [backup-simplify]: Simplify (+ 0 0) into 0
0.197 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0
0.197 * [taylor]: Taking taylor expansion of 0 in im
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re))
0.198 * * * [progress]: simplifying candidates
0.198 * [simplify]: Simplifying:
  (expm1 (* (exp re) (sin im)))
  (log1p (* (exp re) (sin im)))
  (* (exp re) (sin im))
  (+ re (log (sin im)))
  (log (* (exp re) (sin im)))
  (exp (* (exp re) (sin im)))
  (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))
  (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im))))
  (cbrt (* (exp re) (sin im)))
  (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im)))
  (sqrt (* (exp re) (sin im)))
  (sqrt (* (exp re) (sin im)))
  (* (sqrt (exp re)) (sqrt (sin im)))
  (* (sqrt (exp re)) (sqrt (sin im)))
  (* (exp re) (* (cbrt (sin im)) (cbrt (sin im))))
  (* (exp re) (sqrt (sin im)))
  (* (exp re) 1)
  (* (cbrt (exp re)) (sin im))
  (* (sqrt (exp re)) (sin im))
  (* (exp re) (sin im))
  (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
  (* (sin im) (exp re))
  (* (sin im) (exp re))
0.199 * * [simplify]: iteration 0: 42 enodes
0.216 * * [simplify]: iteration 1: 97 enodes
0.262 * * [simplify]: iteration 2: 240 enodes
0.378 * * [simplify]: iteration 3: 760 enodes
1.361 * * [simplify]: iteration 4: 2073 enodes
2.593 * * [simplify]: iteration complete: 5001 enodes
2.593 * * [simplify]: Extracting #0: cost 16 inf + 0
2.594 * * [simplify]: Extracting #1: cost 204 inf + 0
2.598 * * [simplify]: Extracting #2: cost 896 inf + 1927
2.607 * * [simplify]: Extracting #3: cost 745 inf + 45179
2.634 * * [simplify]: Extracting #4: cost 155 inf + 168576
2.685 * * [simplify]: Extracting #5: cost 9 inf + 206912
2.741 * * [simplify]: Extracting #6: cost 0 inf + 209443
2.794 * [simplify]: Simplified to:
  (expm1 (* (exp re) (sin im)))
  (log1p (* (exp re) (sin im)))
  (* (exp re) (sin im))
  (+ (log (sin im)) re)
  (+ (log (sin im)) re)
  (exp (* (exp re) (sin im)))
  (* (exp re) (* (* (* (exp re) (sin im)) (sin im)) (* (exp re) (sin im))))
  (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im))))
  (cbrt (* (exp re) (sin im)))
  (* (exp re) (* (* (* (exp re) (sin im)) (sin im)) (* (exp re) (sin im))))
  (sqrt (* (exp re) (sin im)))
  (sqrt (* (exp re) (sin im)))
  (* (sqrt (exp re)) (sqrt (sin im)))
  (* (sqrt (exp re)) (sqrt (sin im)))
  (* (exp re) (* (cbrt (sin im)) (cbrt (sin im))))
  (* (sqrt (sin im)) (exp re))
  (exp re)
  (* (sin im) (cbrt (exp re)))
  (* (sqrt (exp re)) (sin im))
  (* (exp re) (sin im))
  (fma im (fma (* 1/2 re) re re) im)
  (* (exp re) (sin im))
  (* (exp re) (sin im))
2.795 * * * [progress]: adding candidates to table
2.888 * * [progress]: iteration 2 / 4
2.888 * * * [progress]: picking best candidate
2.905 * * * * [pick]: Picked  #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))>
2.905 * * * [progress]: localizing error
2.927 * * * [progress]: generating rewritten candidates
2.927 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.995 * * * [progress]: generating series expansions
2.996 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.996 * [backup-simplify]: Simplify (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) into (* (sin im) (exp re))
2.996 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0
2.996 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im
2.996 * [taylor]: Taking taylor expansion of (sin im) in im
2.996 * [taylor]: Taking taylor expansion of im in im
2.996 * [backup-simplify]: Simplify 0 into 0
2.996 * [backup-simplify]: Simplify 1 into 1
2.996 * [taylor]: Taking taylor expansion of (exp re) in im
2.996 * [taylor]: Taking taylor expansion of re in im
2.996 * [backup-simplify]: Simplify re into re
2.996 * [backup-simplify]: Simplify (exp re) into (exp re)
2.996 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re
2.996 * [taylor]: Taking taylor expansion of (sin im) in re
2.996 * [taylor]: Taking taylor expansion of im in re
2.996 * [backup-simplify]: Simplify im into im
2.996 * [backup-simplify]: Simplify (sin im) into (sin im)
2.996 * [backup-simplify]: Simplify (cos im) into (cos im)
2.996 * [taylor]: Taking taylor expansion of (exp re) in re
2.996 * [taylor]: Taking taylor expansion of re in re
2.996 * [backup-simplify]: Simplify 0 into 0
2.996 * [backup-simplify]: Simplify 1 into 1
2.996 * [backup-simplify]: Simplify (exp 0) into 1
2.996 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re
2.996 * [taylor]: Taking taylor expansion of (sin im) in re
2.996 * [taylor]: Taking taylor expansion of im in re
2.996 * [backup-simplify]: Simplify im into im
2.996 * [backup-simplify]: Simplify (sin im) into (sin im)
2.996 * [backup-simplify]: Simplify (cos im) into (cos im)
2.996 * [taylor]: Taking taylor expansion of (exp re) in re
2.996 * [taylor]: Taking taylor expansion of re in re
2.996 * [backup-simplify]: Simplify 0 into 0
2.996 * [backup-simplify]: Simplify 1 into 1
2.996 * [backup-simplify]: Simplify (exp 0) into 1
2.997 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im)
2.997 * [backup-simplify]: Simplify (* (cos im) 0) into 0
2.997 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im)
2.997 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im)
2.997 * [taylor]: Taking taylor expansion of (sin im) in im
2.997 * [taylor]: Taking taylor expansion of im in im
2.997 * [backup-simplify]: Simplify 0 into 0
2.997 * [backup-simplify]: Simplify 1 into 1
2.997 * [backup-simplify]: Simplify 0 into 0
2.998 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.998 * [backup-simplify]: Simplify (+ 0) into 0
2.998 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0
2.999 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.999 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0
2.999 * [backup-simplify]: Simplify (+ 0 0) into 0
2.999 * [backup-simplify]: Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im)
3.000 * [taylor]: Taking taylor expansion of (sin im) in im
3.000 * [taylor]: Taking taylor expansion of im in im
3.000 * [backup-simplify]: Simplify 0 into 0
3.000 * [backup-simplify]: Simplify 1 into 1
3.000 * [backup-simplify]: Simplify 0 into 0
3.000 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.000 * [backup-simplify]: Simplify 1 into 1
3.001 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.001 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.002 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0
3.002 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.003 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0
3.003 * [backup-simplify]: Simplify (+ 0 0) into 0
3.003 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im))
3.003 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im
3.003 * [taylor]: Taking taylor expansion of 1/2 in im
3.003 * [backup-simplify]: Simplify 1/2 into 1/2
3.003 * [taylor]: Taking taylor expansion of (sin im) in im
3.003 * [taylor]: Taking taylor expansion of im in im
3.003 * [backup-simplify]: Simplify 0 into 0
3.003 * [backup-simplify]: Simplify 1 into 1
3.004 * [backup-simplify]: Simplify (* 1/2 0) into 0
3.004 * [backup-simplify]: Simplify 0 into 0
3.004 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.004 * [backup-simplify]: Simplify 1 into 1
3.005 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.005 * [backup-simplify]: Simplify 0 into 0
3.006 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.007 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.007 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.008 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.009 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.009 * [backup-simplify]: Simplify (+ 0 0) into 0
3.010 * [backup-simplify]: Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im))
3.010 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im
3.010 * [taylor]: Taking taylor expansion of 1/6 in im
3.010 * [backup-simplify]: Simplify 1/6 into 1/6
3.010 * [taylor]: Taking taylor expansion of (sin im) in im
3.010 * [taylor]: Taking taylor expansion of im in im
3.010 * [backup-simplify]: Simplify 0 into 0
3.010 * [backup-simplify]: Simplify 1 into 1
3.010 * [backup-simplify]: Simplify (* 1/6 0) into 0
3.010 * [backup-simplify]: Simplify 0 into 0
3.011 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
3.011 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
3.011 * [backup-simplify]: Simplify 1/2 into 1/2
3.012 * [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))
3.012 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 re))) (* (sqrt (exp (/ 1 re))) (sin (/ 1 im)))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
3.012 * [approximate]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
3.012 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
3.012 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
3.012 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.012 * [taylor]: Taking taylor expansion of im in im
3.012 * [backup-simplify]: Simplify 0 into 0
3.012 * [backup-simplify]: Simplify 1 into 1
3.012 * [backup-simplify]: Simplify (/ 1 1) into 1
3.012 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
3.012 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
3.012 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.012 * [taylor]: Taking taylor expansion of re in im
3.012 * [backup-simplify]: Simplify re into re
3.012 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
3.013 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
3.013 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
3.013 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re
3.013 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.013 * [taylor]: Taking taylor expansion of im in re
3.013 * [backup-simplify]: Simplify im into im
3.013 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.013 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
3.013 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
3.013 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
3.013 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.013 * [taylor]: Taking taylor expansion of re in re
3.013 * [backup-simplify]: Simplify 0 into 0
3.013 * [backup-simplify]: Simplify 1 into 1
3.013 * [backup-simplify]: Simplify (/ 1 1) into 1
3.013 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
3.013 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
3.013 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re
3.013 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.013 * [taylor]: Taking taylor expansion of im in re
3.013 * [backup-simplify]: Simplify im into im
3.013 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.013 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
3.013 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
3.013 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
3.013 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.013 * [taylor]: Taking taylor expansion of re in re
3.013 * [backup-simplify]: Simplify 0 into 0
3.013 * [backup-simplify]: Simplify 1 into 1
3.014 * [backup-simplify]: Simplify (/ 1 1) into 1
3.014 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
3.014 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
3.014 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0
3.014 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
3.014 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
3.014 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
3.014 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
3.014 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.014 * [taylor]: Taking taylor expansion of im in im
3.014 * [backup-simplify]: Simplify 0 into 0
3.014 * [backup-simplify]: Simplify 1 into 1
3.014 * [backup-simplify]: Simplify (/ 1 1) into 1
3.015 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
3.015 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
3.015 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.015 * [taylor]: Taking taylor expansion of re in im
3.015 * [backup-simplify]: Simplify re into re
3.015 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
3.015 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
3.015 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
3.015 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
3.015 * [backup-simplify]: Simplify (+ 0) into 0
3.016 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0
3.016 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
3.016 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.016 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0
3.017 * [backup-simplify]: Simplify (+ 0 0) into 0
3.017 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
3.017 * [taylor]: Taking taylor expansion of 0 in im
3.017 * [backup-simplify]: Simplify 0 into 0
3.017 * [backup-simplify]: Simplify 0 into 0
3.017 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
3.017 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
3.018 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
3.018 * [backup-simplify]: Simplify 0 into 0
3.018 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.019 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
3.019 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.019 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.020 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
3.020 * [backup-simplify]: Simplify (+ 0 0) into 0
3.020 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
3.020 * [taylor]: Taking taylor expansion of 0 in im
3.020 * [backup-simplify]: Simplify 0 into 0
3.020 * [backup-simplify]: Simplify 0 into 0
3.020 * [backup-simplify]: Simplify 0 into 0
3.020 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.021 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.022 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
3.022 * [backup-simplify]: Simplify 0 into 0
3.022 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.026 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.026 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.027 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.028 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.028 * [backup-simplify]: Simplify (+ 0 0) into 0
3.029 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
3.029 * [taylor]: Taking taylor expansion of 0 in im
3.029 * [backup-simplify]: Simplify 0 into 0
3.029 * [backup-simplify]: Simplify 0 into 0
3.029 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re))
3.029 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 (- re)))) (* (sqrt (exp (/ 1 (- re)))) (sin (/ 1 (- im))))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
3.029 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0
3.029 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
3.029 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
3.029 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.029 * [taylor]: Taking taylor expansion of -1 in im
3.029 * [backup-simplify]: Simplify -1 into -1
3.029 * [taylor]: Taking taylor expansion of re in im
3.029 * [backup-simplify]: Simplify re into re
3.029 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
3.029 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
3.029 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
3.029 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.029 * [taylor]: Taking taylor expansion of -1 in im
3.029 * [backup-simplify]: Simplify -1 into -1
3.029 * [taylor]: Taking taylor expansion of im in im
3.029 * [backup-simplify]: Simplify 0 into 0
3.029 * [backup-simplify]: Simplify 1 into 1
3.030 * [backup-simplify]: Simplify (/ -1 1) into -1
3.030 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
3.030 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
3.030 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
3.030 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.030 * [taylor]: Taking taylor expansion of -1 in re
3.030 * [backup-simplify]: Simplify -1 into -1
3.030 * [taylor]: Taking taylor expansion of re in re
3.030 * [backup-simplify]: Simplify 0 into 0
3.030 * [backup-simplify]: Simplify 1 into 1
3.030 * [backup-simplify]: Simplify (/ -1 1) into -1
3.030 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
3.030 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re
3.030 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.030 * [taylor]: Taking taylor expansion of -1 in re
3.030 * [backup-simplify]: Simplify -1 into -1
3.030 * [taylor]: Taking taylor expansion of im in re
3.030 * [backup-simplify]: Simplify im into im
3.030 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
3.030 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
3.030 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
3.030 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
3.030 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
3.030 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.031 * [taylor]: Taking taylor expansion of -1 in re
3.031 * [backup-simplify]: Simplify -1 into -1
3.031 * [taylor]: Taking taylor expansion of re in re
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 1 into 1
3.031 * [backup-simplify]: Simplify (/ -1 1) into -1
3.031 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
3.031 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re
3.031 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.031 * [taylor]: Taking taylor expansion of -1 in re
3.031 * [backup-simplify]: Simplify -1 into -1
3.031 * [taylor]: Taking taylor expansion of im in re
3.031 * [backup-simplify]: Simplify im into im
3.031 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
3.031 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
3.031 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
3.031 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
3.031 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0
3.031 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
3.032 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
3.032 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
3.032 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
3.032 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.032 * [taylor]: Taking taylor expansion of -1 in im
3.032 * [backup-simplify]: Simplify -1 into -1
3.032 * [taylor]: Taking taylor expansion of re in im
3.032 * [backup-simplify]: Simplify re into re
3.032 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
3.032 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
3.032 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
3.032 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.032 * [taylor]: Taking taylor expansion of -1 in im
3.032 * [backup-simplify]: Simplify -1 into -1
3.032 * [taylor]: Taking taylor expansion of im in im
3.032 * [backup-simplify]: Simplify 0 into 0
3.032 * [backup-simplify]: Simplify 1 into 1
3.032 * [backup-simplify]: Simplify (/ -1 1) into -1
3.033 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
3.033 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
3.033 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
3.033 * [backup-simplify]: Simplify (+ 0) into 0
3.033 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0
3.034 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
3.034 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.035 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0
3.035 * [backup-simplify]: Simplify (+ 0 0) into 0
3.035 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
3.035 * [taylor]: Taking taylor expansion of 0 in im
3.035 * [backup-simplify]: Simplify 0 into 0
3.035 * [backup-simplify]: Simplify 0 into 0
3.036 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
3.037 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
3.037 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
3.037 * [backup-simplify]: Simplify 0 into 0
3.038 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.039 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
3.040 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.041 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.041 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
3.042 * [backup-simplify]: Simplify (+ 0 0) into 0
3.043 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
3.043 * [taylor]: Taking taylor expansion of 0 in im
3.043 * [backup-simplify]: Simplify 0 into 0
3.043 * [backup-simplify]: Simplify 0 into 0
3.043 * [backup-simplify]: Simplify 0 into 0
3.043 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.044 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.045 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
3.045 * [backup-simplify]: Simplify 0 into 0
3.046 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.047 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.047 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.049 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.049 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.050 * [backup-simplify]: Simplify (+ 0 0) into 0
3.051 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0
3.051 * [taylor]: Taking taylor expansion of 0 in im
3.051 * [backup-simplify]: Simplify 0 into 0
3.051 * [backup-simplify]: Simplify 0 into 0
3.051 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re))
3.051 * * * [progress]: simplifying candidates
3.052 * [simplify]: Simplifying:
  (expm1 (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
  (log1p (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
  (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
  (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
  (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im))))
  (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im))))
  (log (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
  (exp (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
  (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im))))
  (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im))))
  (* (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))))
  (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
  (* (* (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
  (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
  (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
  (* (sqrt (exp re)) (sqrt (exp re)))
  (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))
  (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (sin im)))
  (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))
  (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
  (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))
  (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
  (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
  (* (sin im) (exp re))
  (* (sin im) (exp re))
3.053 * * [simplify]: iteration 0: 47 enodes
3.066 * * [simplify]: iteration 1: 116 enodes
3.094 * * [simplify]: iteration 2: 312 enodes
3.293 * * [simplify]: iteration 3: 691 enodes
3.732 * * [simplify]: iteration 4: 1349 enodes
5.157 * * [simplify]: iteration 5: 3093 enodes
7.131 * * [simplify]: iteration complete: 5006 enodes
7.132 * * [simplify]: Extracting #0: cost 14 inf + 0
7.132 * * [simplify]: Extracting #1: cost 214 inf + 0
7.135 * * [simplify]: Extracting #2: cost 645 inf + 175
7.142 * * [simplify]: Extracting #3: cost 635 inf + 17490
7.161 * * [simplify]: Extracting #4: cost 363 inf + 104595
7.203 * * [simplify]: Extracting #5: cost 55 inf + 255850
7.256 * * [simplify]: Extracting #6: cost 0 inf + 289650
7.307 * * [simplify]: Extracting #7: cost 0 inf + 289037
7.361 * [simplify]: Simplified to:
  (expm1 (* (sin im) (exp re)))
  (log1p (* (sin im) (exp re)))
  (* (sin im) (exp re))
  (* (sin im) (exp re))
  (+ (log (sin im)) re)
  (+ (log (sin im)) re)
  (+ (log (sin im)) re)
  (exp (* (sin im) (exp re)))
  (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re)))
  (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re)))
  (* (cbrt (* (sin im) (exp re))) (cbrt (* (sin im) (exp re))))
  (cbrt (* (sin im) (exp re)))
  (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re)))
  (sqrt (* (sin im) (exp re)))
  (sqrt (* (sin im) (exp re)))
  (exp re)
  (* (* (sin im) (cbrt (sqrt (exp re)))) (sqrt (exp re)))
  (* (sqrt (cbrt (exp re))) (* (sin im) (sqrt (exp re))))
  (* (sqrt (sqrt (exp re))) (* (sin im) (sqrt (exp re))))
  (* (sin im) (exp re))
  (* (sqrt (sqrt (exp re))) (* (sin im) (sqrt (exp re))))
  (* (sin im) (exp re))
  (fma im (fma (* re re) 1/2 re) im)
  (* (sin im) (exp re))
  (* (sin im) (exp re))
7.363 * * * [progress]: adding candidates to table
7.456 * * [progress]: iteration 3 / 4
7.456 * * * [progress]: picking best candidate
7.459 * * * * [pick]: Picked  #<alt (λ (re im) (exp (+ re (log (sin im)))))>
7.460 * * * [progress]: localizing error
7.472 * * * [progress]: generating rewritten candidates
7.472 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
7.495 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
7.499 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
7.514 * * * [progress]: generating series expansions
7.514 * * * * [progress]: [ 1 / 3 ] generating series at (2)
7.514 * [backup-simplify]: Simplify (exp (+ re (log (sin im)))) into (exp (+ re (log (sin im))))
7.514 * [approximate]: Taking taylor expansion of (exp (+ re (log (sin im)))) in (re im) around 0
7.514 * [taylor]: Taking taylor expansion of (exp (+ re (log (sin im)))) in im
7.514 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in im
7.514 * [taylor]: Taking taylor expansion of re in im
7.514 * [backup-simplify]: Simplify re into re
7.514 * [taylor]: Taking taylor expansion of (log (sin im)) in im
7.514 * [taylor]: Taking taylor expansion of (sin im) in im
7.514 * [taylor]: Taking taylor expansion of im in im
7.514 * [backup-simplify]: Simplify 0 into 0
7.514 * [backup-simplify]: Simplify 1 into 1
7.515 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.516 * [backup-simplify]: Simplify (log 1) into 0
7.516 * [backup-simplify]: Simplify (+ (* (- -1) (log im)) 0) into (log im)
7.516 * [backup-simplify]: Simplify (+ re (log im)) into (+ re (log im))
7.516 * [backup-simplify]: Simplify (exp (+ re (log im))) into (exp (+ re (log im)))
7.516 * [taylor]: Taking taylor expansion of (exp (+ re (log (sin im)))) in re
7.516 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in re
7.516 * [taylor]: Taking taylor expansion of re in re
7.516 * [backup-simplify]: Simplify 0 into 0
7.516 * [backup-simplify]: Simplify 1 into 1
7.516 * [taylor]: Taking taylor expansion of (log (sin im)) in re
7.516 * [taylor]: Taking taylor expansion of (sin im) in re
7.517 * [taylor]: Taking taylor expansion of im in re
7.517 * [backup-simplify]: Simplify im into im
7.517 * [backup-simplify]: Simplify (sin im) into (sin im)
7.517 * [backup-simplify]: Simplify (cos im) into (cos im)
7.517 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im)
7.517 * [backup-simplify]: Simplify (* (cos im) 0) into 0
7.517 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im)
7.517 * [backup-simplify]: Simplify (log (sin im)) into (log (sin im))
7.517 * [backup-simplify]: Simplify (+ 0 (log (sin im))) into (log (sin im))
7.517 * [backup-simplify]: Simplify (exp (log (sin im))) into (sin im)
7.517 * [taylor]: Taking taylor expansion of (exp (+ re (log (sin im)))) in re
7.517 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in re
7.517 * [taylor]: Taking taylor expansion of re in re
7.517 * [backup-simplify]: Simplify 0 into 0
7.517 * [backup-simplify]: Simplify 1 into 1
7.517 * [taylor]: Taking taylor expansion of (log (sin im)) in re
7.517 * [taylor]: Taking taylor expansion of (sin im) in re
7.517 * [taylor]: Taking taylor expansion of im in re
7.517 * [backup-simplify]: Simplify im into im
7.518 * [backup-simplify]: Simplify (sin im) into (sin im)
7.518 * [backup-simplify]: Simplify (cos im) into (cos im)
7.518 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im)
7.518 * [backup-simplify]: Simplify (* (cos im) 0) into 0
7.518 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im)
7.518 * [backup-simplify]: Simplify (log (sin im)) into (log (sin im))
7.518 * [backup-simplify]: Simplify (+ 0 (log (sin im))) into (log (sin im))
7.518 * [backup-simplify]: Simplify (exp (log (sin im))) into (sin im)
7.518 * [taylor]: Taking taylor expansion of (sin im) in im
7.518 * [taylor]: Taking taylor expansion of im in im
7.518 * [backup-simplify]: Simplify 0 into 0
7.518 * [backup-simplify]: Simplify 1 into 1
7.518 * [backup-simplify]: Simplify 0 into 0
7.519 * [backup-simplify]: Simplify (+ 0) into 0
7.519 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0
7.520 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
7.521 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0
7.521 * [backup-simplify]: Simplify (+ 0 0) into 0
7.522 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin im) 1)))) 1) into 0
7.522 * [backup-simplify]: Simplify (+ 1 0) into 1
7.523 * [backup-simplify]: Simplify (* (exp (log (sin im))) (+ (* (/ (pow 1 1) 1)))) into (sin im)
7.523 * [taylor]: Taking taylor expansion of (sin im) in im
7.523 * [taylor]: Taking taylor expansion of im in im
7.523 * [backup-simplify]: Simplify 0 into 0
7.523 * [backup-simplify]: Simplify 1 into 1
7.523 * [backup-simplify]: Simplify 0 into 0
7.524 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.524 * [backup-simplify]: Simplify 1 into 1
7.525 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
7.525 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0
7.526 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.526 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0
7.527 * [backup-simplify]: Simplify (+ 0 0) into 0
7.528 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sin im) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sin im) 1)))) 2) into 0
7.529 * [backup-simplify]: Simplify (+ 0 0) into 0
7.530 * [backup-simplify]: Simplify (* (exp (log (sin im))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (sin im))
7.530 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im
7.530 * [taylor]: Taking taylor expansion of 1/2 in im
7.530 * [backup-simplify]: Simplify 1/2 into 1/2
7.530 * [taylor]: Taking taylor expansion of (sin im) in im
7.530 * [taylor]: Taking taylor expansion of im in im
7.530 * [backup-simplify]: Simplify 0 into 0
7.530 * [backup-simplify]: Simplify 1 into 1
7.531 * [backup-simplify]: Simplify (* 1/2 0) into 0
7.531 * [backup-simplify]: Simplify 0 into 0
7.532 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.532 * [backup-simplify]: Simplify 1 into 1
7.532 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.532 * [backup-simplify]: Simplify 0 into 0
7.533 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
7.534 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.535 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
7.536 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
7.536 * [backup-simplify]: Simplify (+ 0 0) into 0
7.539 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sin im) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sin im) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sin im) 1)))) 6) into 0
7.540 * [backup-simplify]: Simplify (+ 0 0) into 0
7.542 * [backup-simplify]: Simplify (* (exp (log (sin im))) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (sin im))
7.542 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im
7.542 * [taylor]: Taking taylor expansion of 1/6 in im
7.542 * [backup-simplify]: Simplify 1/6 into 1/6
7.542 * [taylor]: Taking taylor expansion of (sin im) in im
7.542 * [taylor]: Taking taylor expansion of im in im
7.542 * [backup-simplify]: Simplify 0 into 0
7.542 * [backup-simplify]: Simplify 1 into 1
7.542 * [backup-simplify]: Simplify (* 1/6 0) into 0
7.542 * [backup-simplify]: Simplify 0 into 0
7.543 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.544 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
7.544 * [backup-simplify]: Simplify 1/2 into 1/2
7.544 * [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))
7.544 * [backup-simplify]: Simplify (exp (+ (/ 1 re) (log (sin (/ 1 im))))) into (exp (+ (/ 1 re) (log (sin (/ 1 im)))))
7.544 * [approximate]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in (re im) around 0
7.544 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in im
7.544 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in im
7.545 * [taylor]: Taking taylor expansion of (/ 1 re) in im
7.545 * [taylor]: Taking taylor expansion of re in im
7.545 * [backup-simplify]: Simplify re into re
7.545 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
7.545 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im
7.545 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
7.545 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.545 * [taylor]: Taking taylor expansion of im in im
7.545 * [backup-simplify]: Simplify 0 into 0
7.545 * [backup-simplify]: Simplify 1 into 1
7.545 * [backup-simplify]: Simplify (/ 1 1) into 1
7.545 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.545 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.545 * [backup-simplify]: Simplify (+ (/ 1 re) (log (sin (/ 1 im)))) into (+ (/ 1 re) (log (sin (/ 1 im))))
7.546 * [backup-simplify]: Simplify (exp (+ (/ 1 re) (log (sin (/ 1 im))))) into (exp (+ (/ 1 re) (log (sin (/ 1 im)))))
7.546 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in re
7.546 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in re
7.546 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.546 * [taylor]: Taking taylor expansion of re in re
7.546 * [backup-simplify]: Simplify 0 into 0
7.546 * [backup-simplify]: Simplify 1 into 1
7.546 * [backup-simplify]: Simplify (/ 1 1) into 1
7.546 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in re
7.546 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re
7.546 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.546 * [taylor]: Taking taylor expansion of im in re
7.546 * [backup-simplify]: Simplify im into im
7.546 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.546 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.547 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
7.547 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
7.547 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0
7.547 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
7.547 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.547 * [backup-simplify]: Simplify (+ 1 0) into 1
7.548 * [backup-simplify]: Simplify (exp (+ (/ 1 re) (log (sin (/ 1 im))))) into (exp (+ (/ 1 re) (log (sin (/ 1 im)))))
7.548 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in re
7.548 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in re
7.548 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.548 * [taylor]: Taking taylor expansion of re in re
7.548 * [backup-simplify]: Simplify 0 into 0
7.548 * [backup-simplify]: Simplify 1 into 1
7.548 * [backup-simplify]: Simplify (/ 1 1) into 1
7.548 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in re
7.548 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re
7.548 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.548 * [taylor]: Taking taylor expansion of im in re
7.548 * [backup-simplify]: Simplify im into im
7.548 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.548 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.548 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
7.549 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
7.549 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0
7.549 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
7.549 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.549 * [backup-simplify]: Simplify (+ 1 0) into 1
7.550 * [backup-simplify]: Simplify (exp (+ (/ 1 re) (log (sin (/ 1 im))))) into (exp (+ (/ 1 re) (log (sin (/ 1 im)))))
7.550 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in im
7.550 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in im
7.550 * [taylor]: Taking taylor expansion of (/ 1 re) in im
7.550 * [taylor]: Taking taylor expansion of re in im
7.550 * [backup-simplify]: Simplify re into re
7.550 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
7.550 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im
7.550 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
7.550 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.550 * [taylor]: Taking taylor expansion of im in im
7.550 * [backup-simplify]: Simplify 0 into 0
7.550 * [backup-simplify]: Simplify 1 into 1
7.550 * [backup-simplify]: Simplify (/ 1 1) into 1
7.550 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.551 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.551 * [backup-simplify]: Simplify (+ (/ 1 re) (log (sin (/ 1 im)))) into (+ (/ 1 re) (log (sin (/ 1 im))))
7.551 * [backup-simplify]: Simplify (exp (+ (/ 1 re) (log (sin (/ 1 im))))) into (exp (+ (/ 1 re) (log (sin (/ 1 im)))))
7.551 * [backup-simplify]: Simplify (exp (+ (/ 1 re) (log (sin (/ 1 im))))) into (exp (+ (/ 1 re) (log (sin (/ 1 im)))))
7.551 * [taylor]: Taking taylor expansion of 0 in im
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
7.552 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin (/ 1 im)) 1)))) 1) into 0
7.553 * [backup-simplify]: Simplify (+ 0 0) into 0
7.554 * [backup-simplify]: Simplify (* (exp (+ (/ 1 re) (log (sin (/ 1 im))))) (+ (* (/ (pow 0 1) 1)))) into 0
7.554 * [backup-simplify]: Simplify 0 into 0
7.554 * [taylor]: Taking taylor expansion of 0 in im
7.554 * [backup-simplify]: Simplify 0 into 0
7.554 * [backup-simplify]: Simplify 0 into 0
7.554 * [backup-simplify]: Simplify 0 into 0
7.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
7.556 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sin (/ 1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sin (/ 1 im)) 1)))) 2) into 0
7.556 * [backup-simplify]: Simplify (+ 0 0) into 0
7.557 * [backup-simplify]: Simplify (* (exp (+ (/ 1 re) (log (sin (/ 1 im))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.558 * [backup-simplify]: Simplify 0 into 0
7.558 * [taylor]: Taking taylor expansion of 0 in im
7.558 * [backup-simplify]: Simplify 0 into 0
7.558 * [backup-simplify]: Simplify 0 into 0
7.558 * [backup-simplify]: Simplify (exp (+ (/ 1 (/ 1 re)) (log (sin (/ 1 (/ 1 im)))))) into (exp (+ re (log (sin im))))
7.558 * [backup-simplify]: Simplify (exp (+ (/ 1 (- re)) (log (sin (/ 1 (- im)))))) into (exp (- (log (sin (/ -1 im))) (/ 1 re)))
7.558 * [approximate]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in (re im) around 0
7.558 * [taylor]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in im
7.558 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in im
7.558 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im
7.558 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
7.558 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.558 * [taylor]: Taking taylor expansion of -1 in im
7.558 * [backup-simplify]: Simplify -1 into -1
7.558 * [taylor]: Taking taylor expansion of im in im
7.558 * [backup-simplify]: Simplify 0 into 0
7.558 * [backup-simplify]: Simplify 1 into 1
7.559 * [backup-simplify]: Simplify (/ -1 1) into -1
7.559 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.559 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.559 * [taylor]: Taking taylor expansion of (/ 1 re) in im
7.559 * [taylor]: Taking taylor expansion of re in im
7.559 * [backup-simplify]: Simplify re into re
7.559 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
7.559 * [backup-simplify]: Simplify (- (/ 1 re)) into (- (/ 1 re))
7.559 * [backup-simplify]: Simplify (+ (log (sin (/ -1 im))) (- (/ 1 re))) into (- (log (sin (/ -1 im))) (/ 1 re))
7.560 * [backup-simplify]: Simplify (exp (- (log (sin (/ -1 im))) (/ 1 re))) into (exp (- (log (sin (/ -1 im))) (/ 1 re)))
7.560 * [taylor]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in re
7.560 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in re
7.560 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in re
7.560 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re
7.560 * [taylor]: Taking taylor expansion of (/ -1 im) in re
7.560 * [taylor]: Taking taylor expansion of -1 in re
7.560 * [backup-simplify]: Simplify -1 into -1
7.560 * [taylor]: Taking taylor expansion of im in re
7.560 * [backup-simplify]: Simplify im into im
7.560 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
7.560 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.560 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
7.560 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
7.560 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0
7.560 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
7.561 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.561 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.561 * [taylor]: Taking taylor expansion of re in re
7.561 * [backup-simplify]: Simplify 0 into 0
7.561 * [backup-simplify]: Simplify 1 into 1
7.561 * [backup-simplify]: Simplify (/ 1 1) into 1
7.561 * [backup-simplify]: Simplify (- 1) into -1
7.566 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.566 * [backup-simplify]: Simplify (exp (- (log (sin (/ -1 im))) (/ 1 re))) into (exp (- (log (sin (/ -1 im))) (/ 1 re)))
7.567 * [taylor]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in re
7.567 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in re
7.567 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in re
7.567 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re
7.567 * [taylor]: Taking taylor expansion of (/ -1 im) in re
7.567 * [taylor]: Taking taylor expansion of -1 in re
7.567 * [backup-simplify]: Simplify -1 into -1
7.567 * [taylor]: Taking taylor expansion of im in re
7.567 * [backup-simplify]: Simplify im into im
7.567 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
7.567 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.567 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
7.567 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
7.567 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0
7.567 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
7.567 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.567 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.567 * [taylor]: Taking taylor expansion of re in re
7.567 * [backup-simplify]: Simplify 0 into 0
7.567 * [backup-simplify]: Simplify 1 into 1
7.568 * [backup-simplify]: Simplify (/ 1 1) into 1
7.569 * [backup-simplify]: Simplify (- 1) into -1
7.569 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.569 * [backup-simplify]: Simplify (exp (- (log (sin (/ -1 im))) (/ 1 re))) into (exp (- (log (sin (/ -1 im))) (/ 1 re)))
7.570 * [taylor]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in im
7.570 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in im
7.570 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im
7.570 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
7.570 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.570 * [taylor]: Taking taylor expansion of -1 in im
7.570 * [backup-simplify]: Simplify -1 into -1
7.570 * [taylor]: Taking taylor expansion of im in im
7.570 * [backup-simplify]: Simplify 0 into 0
7.570 * [backup-simplify]: Simplify 1 into 1
7.570 * [backup-simplify]: Simplify (/ -1 1) into -1
7.570 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.570 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.571 * [taylor]: Taking taylor expansion of (/ 1 re) in im
7.571 * [taylor]: Taking taylor expansion of re in im
7.571 * [backup-simplify]: Simplify re into re
7.571 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
7.571 * [backup-simplify]: Simplify (- (/ 1 re)) into (- (/ 1 re))
7.571 * [backup-simplify]: Simplify (+ (log (sin (/ -1 im))) (- (/ 1 re))) into (- (log (sin (/ -1 im))) (/ 1 re))
7.571 * [backup-simplify]: Simplify (exp (- (log (sin (/ -1 im))) (/ 1 re))) into (exp (- (log (sin (/ -1 im))) (/ 1 re)))
7.571 * [backup-simplify]: Simplify (exp (- (log (sin (/ -1 im))) (/ 1 re))) into (exp (- (log (sin (/ -1 im))) (/ 1 re)))
7.571 * [taylor]: Taking taylor expansion of 0 in im
7.571 * [backup-simplify]: Simplify 0 into 0
7.571 * [backup-simplify]: Simplify 0 into 0
7.572 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin (/ -1 im)) 1)))) 1) into 0
7.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
7.573 * [backup-simplify]: Simplify (- 0) into 0
7.573 * [backup-simplify]: Simplify (+ 0 0) into 0
7.574 * [backup-simplify]: Simplify (* (exp (- (log (sin (/ -1 im))) (/ 1 re))) (+ (* (/ (pow 0 1) 1)))) into 0
7.574 * [backup-simplify]: Simplify 0 into 0
7.574 * [taylor]: Taking taylor expansion of 0 in im
7.574 * [backup-simplify]: Simplify 0 into 0
7.574 * [backup-simplify]: Simplify 0 into 0
7.574 * [backup-simplify]: Simplify 0 into 0
7.576 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sin (/ -1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sin (/ -1 im)) 1)))) 2) into 0
7.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
7.577 * [backup-simplify]: Simplify (- 0) into 0
7.577 * [backup-simplify]: Simplify (+ 0 0) into 0
7.578 * [backup-simplify]: Simplify (* (exp (- (log (sin (/ -1 im))) (/ 1 re))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.578 * [backup-simplify]: Simplify 0 into 0
7.579 * [taylor]: Taking taylor expansion of 0 in im
7.579 * [backup-simplify]: Simplify 0 into 0
7.579 * [backup-simplify]: Simplify 0 into 0
7.579 * [backup-simplify]: Simplify (exp (- (log (sin (/ -1 (/ 1 (- im))))) (/ 1 (/ 1 (- re))))) into (exp (+ re (log (sin im))))
7.579 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
7.579 * [backup-simplify]: Simplify (log (sin im)) into (log (sin im))
7.579 * [approximate]: Taking taylor expansion of (log (sin im)) in (im) around 0
7.579 * [taylor]: Taking taylor expansion of (log (sin im)) in im
7.579 * [taylor]: Taking taylor expansion of (sin im) in im
7.580 * [taylor]: Taking taylor expansion of im in im
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 1 into 1
7.580 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.581 * [backup-simplify]: Simplify (log 1) into 0
7.581 * [taylor]: Taking taylor expansion of (log (sin im)) in im
7.581 * [taylor]: Taking taylor expansion of (sin im) in im
7.581 * [taylor]: Taking taylor expansion of im in im
7.581 * [backup-simplify]: Simplify 0 into 0
7.581 * [backup-simplify]: Simplify 1 into 1
7.581 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.582 * [backup-simplify]: Simplify (log 1) into 0
7.582 * [backup-simplify]: Simplify (+ (* (- -1) (log im)) 0) into (log im)
7.582 * [backup-simplify]: Simplify (log im) into (log im)
7.583 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.584 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
7.584 * [backup-simplify]: Simplify 0 into 0
7.586 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
7.588 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/6) 1)) (pow 1 1)))) 2) into -1/6
7.588 * [backup-simplify]: Simplify -1/6 into -1/6
7.590 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
7.595 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
7.595 * [backup-simplify]: Simplify 0 into 0
7.598 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
7.604 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/6) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 -1/6) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/120) 1)) (pow 1 1)))) 24) into -1/180
7.604 * [backup-simplify]: Simplify -1/180 into -1/180
7.605 * [backup-simplify]: Simplify (+ (* -1/180 (pow im 4)) (+ (* -1/6 (pow im 2)) (log im))) into (- (log im) (+ (* 1/180 (pow im 4)) (* 1/6 (pow im 2))))
7.605 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.605 * [approximate]: Taking taylor expansion of (log (sin (/ 1 im))) in (im) around 0
7.605 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im
7.605 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
7.605 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.605 * [taylor]: Taking taylor expansion of im in im
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 1 into 1
7.605 * [backup-simplify]: Simplify (/ 1 1) into 1
7.605 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.605 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.605 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im
7.605 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
7.605 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.605 * [taylor]: Taking taylor expansion of im in im
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify 1 into 1
7.606 * [backup-simplify]: Simplify (/ 1 1) into 1
7.606 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.606 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.606 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.607 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin (/ 1 im)) 1)))) 1) into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.608 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sin (/ 1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sin (/ 1 im)) 1)))) 2) into 0
7.608 * [backup-simplify]: Simplify 0 into 0
7.610 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sin (/ 1 im)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sin (/ 1 im)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sin (/ 1 im)) 1)))) 6) into 0
7.610 * [backup-simplify]: Simplify 0 into 0
7.613 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sin (/ 1 im)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sin (/ 1 im)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sin (/ 1 im)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sin (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sin (/ 1 im)) 1)))) 24) into 0
7.613 * [backup-simplify]: Simplify 0 into 0
7.620 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sin (/ 1 im)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sin (/ 1 im)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sin (/ 1 im)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sin (/ 1 im)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sin (/ 1 im)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sin (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sin (/ 1 im)) 1)))) 120) into 0
7.620 * [backup-simplify]: Simplify 0 into 0
7.633 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sin (/ 1 im)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sin (/ 1 im)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sin (/ 1 im)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sin (/ 1 im)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sin (/ 1 im)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sin (/ 1 im)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sin (/ 1 im)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sin (/ 1 im)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sin (/ 1 im)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sin (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sin (/ 1 im)) 1)))) 720) into 0
7.633 * [backup-simplify]: Simplify 0 into 0
7.633 * [backup-simplify]: Simplify (log (sin (/ 1 (/ 1 im)))) into (log (sin im))
7.633 * [backup-simplify]: Simplify (log (sin (/ 1 (- im)))) into (log (sin (/ -1 im)))
7.633 * [approximate]: Taking taylor expansion of (log (sin (/ -1 im))) in (im) around 0
7.633 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im
7.633 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
7.633 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.633 * [taylor]: Taking taylor expansion of -1 in im
7.633 * [backup-simplify]: Simplify -1 into -1
7.633 * [taylor]: Taking taylor expansion of im in im
7.633 * [backup-simplify]: Simplify 0 into 0
7.633 * [backup-simplify]: Simplify 1 into 1
7.634 * [backup-simplify]: Simplify (/ -1 1) into -1
7.634 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.634 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.634 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im
7.634 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
7.634 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.634 * [taylor]: Taking taylor expansion of -1 in im
7.634 * [backup-simplify]: Simplify -1 into -1
7.634 * [taylor]: Taking taylor expansion of im in im
7.634 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify 1 into 1
7.634 * [backup-simplify]: Simplify (/ -1 1) into -1
7.634 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.635 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.635 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.636 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin (/ -1 im)) 1)))) 1) into 0
7.636 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sin (/ -1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sin (/ -1 im)) 1)))) 2) into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.641 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sin (/ -1 im)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sin (/ -1 im)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sin (/ -1 im)) 1)))) 6) into 0
7.641 * [backup-simplify]: Simplify 0 into 0
7.645 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sin (/ -1 im)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sin (/ -1 im)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sin (/ -1 im)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sin (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sin (/ -1 im)) 1)))) 24) into 0
7.646 * [backup-simplify]: Simplify 0 into 0
7.653 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sin (/ -1 im)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sin (/ -1 im)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sin (/ -1 im)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sin (/ -1 im)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sin (/ -1 im)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sin (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sin (/ -1 im)) 1)))) 120) into 0
7.653 * [backup-simplify]: Simplify 0 into 0
7.664 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sin (/ -1 im)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sin (/ -1 im)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sin (/ -1 im)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sin (/ -1 im)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sin (/ -1 im)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sin (/ -1 im)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sin (/ -1 im)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sin (/ -1 im)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sin (/ -1 im)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sin (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sin (/ -1 im)) 1)))) 720) into 0
7.665 * [backup-simplify]: Simplify 0 into 0
7.665 * [backup-simplify]: Simplify (log (sin (/ -1 (/ 1 (- im))))) into (log (sin im))
7.665 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
7.665 * [backup-simplify]: Simplify (+ re (log (sin im))) into (+ re (log (sin im)))
7.665 * [approximate]: Taking taylor expansion of (+ re (log (sin im))) in (re im) around 0
7.665 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in im
7.665 * [taylor]: Taking taylor expansion of re in im
7.665 * [backup-simplify]: Simplify re into re
7.665 * [taylor]: Taking taylor expansion of (log (sin im)) in im
7.665 * [taylor]: Taking taylor expansion of (sin im) in im
7.665 * [taylor]: Taking taylor expansion of im in im
7.665 * [backup-simplify]: Simplify 0 into 0
7.665 * [backup-simplify]: Simplify 1 into 1
7.666 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.666 * [backup-simplify]: Simplify (log 1) into 0
7.666 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in re
7.666 * [taylor]: Taking taylor expansion of re in re
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify 1 into 1
7.666 * [taylor]: Taking taylor expansion of (log (sin im)) in re
7.666 * [taylor]: Taking taylor expansion of (sin im) in re
7.666 * [taylor]: Taking taylor expansion of im in re
7.666 * [backup-simplify]: Simplify im into im
7.666 * [backup-simplify]: Simplify (sin im) into (sin im)
7.666 * [backup-simplify]: Simplify (cos im) into (cos im)
7.666 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im)
7.667 * [backup-simplify]: Simplify (* (cos im) 0) into 0
7.667 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im)
7.667 * [backup-simplify]: Simplify (log (sin im)) into (log (sin im))
7.667 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in re
7.667 * [taylor]: Taking taylor expansion of re in re
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 1 into 1
7.667 * [taylor]: Taking taylor expansion of (log (sin im)) in re
7.667 * [taylor]: Taking taylor expansion of (sin im) in re
7.667 * [taylor]: Taking taylor expansion of im in re
7.667 * [backup-simplify]: Simplify im into im
7.667 * [backup-simplify]: Simplify (sin im) into (sin im)
7.667 * [backup-simplify]: Simplify (cos im) into (cos im)
7.667 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im)
7.667 * [backup-simplify]: Simplify (* (cos im) 0) into 0
7.667 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im)
7.667 * [backup-simplify]: Simplify (log (sin im)) into (log (sin im))
7.667 * [backup-simplify]: Simplify (+ 0 (log (sin im))) into (log (sin im))
7.667 * [taylor]: Taking taylor expansion of (log (sin im)) in im
7.668 * [taylor]: Taking taylor expansion of (sin im) in im
7.668 * [taylor]: Taking taylor expansion of im in im
7.668 * [backup-simplify]: Simplify 0 into 0
7.668 * [backup-simplify]: Simplify 1 into 1
7.668 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.669 * [backup-simplify]: Simplify (log 1) into 0
7.669 * [backup-simplify]: Simplify (+ (* (- -1) (log im)) 0) into (log im)
7.669 * [backup-simplify]: Simplify (log im) into (log im)
7.670 * [backup-simplify]: Simplify (+ 0) into 0
7.670 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0
7.671 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
7.672 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0
7.672 * [backup-simplify]: Simplify (+ 0 0) into 0
7.673 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin im) 1)))) 1) into 0
7.673 * [backup-simplify]: Simplify (+ 1 0) into 1
7.674 * [taylor]: Taking taylor expansion of 1 in im
7.674 * [backup-simplify]: Simplify 1 into 1
7.674 * [backup-simplify]: Simplify 1 into 1
7.674 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.676 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
7.676 * [backup-simplify]: Simplify 0 into 0
7.677 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
7.678 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0
7.678 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.679 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0
7.679 * [backup-simplify]: Simplify (+ 0 0) into 0
7.681 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sin im) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sin im) 1)))) 2) into 0
7.682 * [backup-simplify]: Simplify (+ 0 0) into 0
7.682 * [taylor]: Taking taylor expansion of 0 in im
7.682 * [backup-simplify]: Simplify 0 into 0
7.682 * [backup-simplify]: Simplify 0 into 0
7.682 * [backup-simplify]: Simplify 0 into 0
7.684 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
7.687 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/6) 1)) (pow 1 1)))) 2) into -1/6
7.687 * [backup-simplify]: Simplify -1/6 into -1/6
7.688 * [backup-simplify]: Simplify (+ (* -1/6 (pow (* im 1) 2)) (+ (* 1 (* 1 re)) (log im))) into (- (+ (log im) re) (* 1/6 (pow im 2)))
7.688 * [backup-simplify]: Simplify (+ (/ 1 re) (log (sin (/ 1 im)))) into (+ (/ 1 re) (log (sin (/ 1 im))))
7.688 * [approximate]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in (re im) around 0
7.688 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in im
7.688 * [taylor]: Taking taylor expansion of (/ 1 re) in im
7.688 * [taylor]: Taking taylor expansion of re in im
7.688 * [backup-simplify]: Simplify re into re
7.688 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
7.688 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im
7.688 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
7.688 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.688 * [taylor]: Taking taylor expansion of im in im
7.688 * [backup-simplify]: Simplify 0 into 0
7.688 * [backup-simplify]: Simplify 1 into 1
7.689 * [backup-simplify]: Simplify (/ 1 1) into 1
7.689 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.689 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.689 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in re
7.689 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.689 * [taylor]: Taking taylor expansion of re in re
7.689 * [backup-simplify]: Simplify 0 into 0
7.689 * [backup-simplify]: Simplify 1 into 1
7.690 * [backup-simplify]: Simplify (/ 1 1) into 1
7.690 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in re
7.690 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re
7.690 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.690 * [taylor]: Taking taylor expansion of im in re
7.690 * [backup-simplify]: Simplify im into im
7.690 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.690 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.690 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
7.690 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
7.690 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0
7.690 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
7.691 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.691 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in re
7.691 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.691 * [taylor]: Taking taylor expansion of re in re
7.691 * [backup-simplify]: Simplify 0 into 0
7.691 * [backup-simplify]: Simplify 1 into 1
7.691 * [backup-simplify]: Simplify (/ 1 1) into 1
7.691 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in re
7.691 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re
7.691 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.691 * [taylor]: Taking taylor expansion of im in re
7.691 * [backup-simplify]: Simplify im into im
7.691 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.691 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.692 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
7.692 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
7.692 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0
7.692 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
7.692 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.693 * [backup-simplify]: Simplify (+ 1 0) into 1
7.693 * [taylor]: Taking taylor expansion of 1 in im
7.693 * [backup-simplify]: Simplify 1 into 1
7.693 * [backup-simplify]: Simplify 1 into 1
7.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.694 * [backup-simplify]: Simplify (+ 0 (log (sin (/ 1 im)))) into (log (sin (/ 1 im)))
7.694 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im
7.694 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im
7.694 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.694 * [taylor]: Taking taylor expansion of im in im
7.694 * [backup-simplify]: Simplify 0 into 0
7.694 * [backup-simplify]: Simplify 1 into 1
7.694 * [backup-simplify]: Simplify (/ 1 1) into 1
7.694 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
7.695 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.695 * [backup-simplify]: Simplify (log (sin (/ 1 im))) into (log (sin (/ 1 im)))
7.695 * [backup-simplify]: Simplify 0 into 0
7.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.696 * [backup-simplify]: Simplify (+ 0) into 0
7.697 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0
7.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
7.698 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
7.698 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0
7.699 * [backup-simplify]: Simplify (+ 0 0) into 0
7.700 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin (/ 1 im)) 1)))) 1) into 0
7.700 * [backup-simplify]: Simplify (+ 0 0) into 0
7.701 * [taylor]: Taking taylor expansion of 0 in im
7.701 * [backup-simplify]: Simplify 0 into 0
7.701 * [backup-simplify]: Simplify 0 into 0
7.702 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin (/ 1 im)) 1)))) 1) into 0
7.702 * [backup-simplify]: Simplify 0 into 0
7.702 * [backup-simplify]: Simplify 0 into 0
7.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.707 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
7.708 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
7.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.709 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.710 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
7.710 * [backup-simplify]: Simplify (+ 0 0) into 0
7.712 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sin (/ 1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sin (/ 1 im)) 1)))) 2) into 0
7.712 * [backup-simplify]: Simplify (+ 0 0) into 0
7.712 * [taylor]: Taking taylor expansion of 0 in im
7.712 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify (+ (log (sin (/ 1 (/ 1 im)))) (* 1 (* 1 (/ 1 (/ 1 re))))) into (+ re (log (sin im)))
7.713 * [backup-simplify]: Simplify (+ (/ 1 (- re)) (log (sin (/ 1 (- im))))) into (- (log (sin (/ -1 im))) (/ 1 re))
7.713 * [approximate]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in (re im) around 0
7.713 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in im
7.713 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im
7.713 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
7.713 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.713 * [taylor]: Taking taylor expansion of -1 in im
7.713 * [backup-simplify]: Simplify -1 into -1
7.713 * [taylor]: Taking taylor expansion of im in im
7.713 * [backup-simplify]: Simplify 0 into 0
7.713 * [backup-simplify]: Simplify 1 into 1
7.713 * [backup-simplify]: Simplify (/ -1 1) into -1
7.713 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.713 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.713 * [taylor]: Taking taylor expansion of (/ 1 re) in im
7.713 * [taylor]: Taking taylor expansion of re in im
7.713 * [backup-simplify]: Simplify re into re
7.713 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
7.713 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in re
7.713 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in re
7.713 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re
7.713 * [taylor]: Taking taylor expansion of (/ -1 im) in re
7.713 * [taylor]: Taking taylor expansion of -1 in re
7.713 * [backup-simplify]: Simplify -1 into -1
7.713 * [taylor]: Taking taylor expansion of im in re
7.713 * [backup-simplify]: Simplify im into im
7.713 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
7.713 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.714 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
7.714 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
7.714 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0
7.714 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
7.714 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.714 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.714 * [taylor]: Taking taylor expansion of re in re
7.714 * [backup-simplify]: Simplify 0 into 0
7.714 * [backup-simplify]: Simplify 1 into 1
7.714 * [backup-simplify]: Simplify (/ 1 1) into 1
7.714 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in re
7.714 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in re
7.714 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re
7.714 * [taylor]: Taking taylor expansion of (/ -1 im) in re
7.714 * [taylor]: Taking taylor expansion of -1 in re
7.714 * [backup-simplify]: Simplify -1 into -1
7.714 * [taylor]: Taking taylor expansion of im in re
7.714 * [backup-simplify]: Simplify im into im
7.714 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
7.714 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.714 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
7.714 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
7.715 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0
7.715 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
7.715 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.715 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.715 * [taylor]: Taking taylor expansion of re in re
7.715 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify 1 into 1
7.715 * [backup-simplify]: Simplify (/ 1 1) into 1
7.715 * [backup-simplify]: Simplify (- 1) into -1
7.716 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.716 * [taylor]: Taking taylor expansion of -1 in im
7.716 * [backup-simplify]: Simplify -1 into -1
7.716 * [backup-simplify]: Simplify -1 into -1
7.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.716 * [backup-simplify]: Simplify (- 0) into 0
7.716 * [backup-simplify]: Simplify (+ (log (sin (/ -1 im))) 0) into (log (sin (/ -1 im)))
7.716 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im
7.716 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im
7.716 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.717 * [taylor]: Taking taylor expansion of -1 in im
7.717 * [backup-simplify]: Simplify -1 into -1
7.717 * [taylor]: Taking taylor expansion of im in im
7.717 * [backup-simplify]: Simplify 0 into 0
7.717 * [backup-simplify]: Simplify 1 into 1
7.717 * [backup-simplify]: Simplify (/ -1 1) into -1
7.717 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
7.717 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.717 * [backup-simplify]: Simplify (log (sin (/ -1 im))) into (log (sin (/ -1 im)))
7.717 * [backup-simplify]: Simplify 0 into 0
7.717 * [backup-simplify]: Simplify (+ 0) into 0
7.718 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0
7.718 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
7.718 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
7.719 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0
7.719 * [backup-simplify]: Simplify (+ 0 0) into 0
7.719 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin (/ -1 im)) 1)))) 1) into 0
7.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.720 * [backup-simplify]: Simplify (- 0) into 0
7.721 * [backup-simplify]: Simplify (+ 0 0) into 0
7.721 * [taylor]: Taking taylor expansion of 0 in im
7.721 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sin (/ -1 im)) 1)))) 1) into 0
7.721 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify 0 into 0
7.722 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
7.722 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
7.722 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.723 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.723 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
7.723 * [backup-simplify]: Simplify (+ 0 0) into 0
7.725 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sin (/ -1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sin (/ -1 im)) 1)))) 2) into 0
7.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.725 * [backup-simplify]: Simplify (- 0) into 0
7.726 * [backup-simplify]: Simplify (+ 0 0) into 0
7.726 * [taylor]: Taking taylor expansion of 0 in im
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify (+ (log (sin (/ -1 (/ 1 (- im))))) (* -1 (* 1 (/ 1 (/ 1 (- re)))))) into (+ re (log (sin im)))
7.726 * * * [progress]: simplifying candidates
7.727 * [simplify]: Simplifying:
  (expm1 (exp (+ re (log (sin im)))))
  (log1p (exp (+ re (log (sin im)))))
  (exp (* (cbrt (+ re (log (sin im)))) (cbrt (+ re (log (sin im))))))
  (exp (sqrt (+ re (log (sin im)))))
  (exp 1)
  (exp 1)
  (exp 1)
  (exp re)
  (exp (log (sin im)))
  (log (exp (+ re (log (sin im)))))
  (exp (exp (+ re (log (sin im)))))
  (* (cbrt (exp (+ re (log (sin im))))) (cbrt (exp (+ re (log (sin im))))))
  (cbrt (exp (+ re (log (sin im)))))
  (* (* (exp (+ re (log (sin im)))) (exp (+ re (log (sin im))))) (exp (+ re (log (sin im)))))
  (sqrt (exp (+ re (log (sin im)))))
  (sqrt (exp (+ re (log (sin im)))))
  (expm1 (log (sin im)))
  (log1p (log (sin im)))
  (log (* (cbrt (sin im)) (cbrt (sin im))))
  (log (cbrt (sin im)))
  (log (sqrt (sin im)))
  (log (sqrt (sin im)))
  (log 1)
  (log (sin im))
  (log (sin im))
  (log (log (sin im)))
  (exp (log (sin im)))
  (* (cbrt (log (sin im))) (cbrt (log (sin im))))
  (cbrt (log (sin im)))
  (* (* (log (sin im)) (log (sin im))) (log (sin im)))
  (sqrt (log (sin im)))
  (sqrt (log (sin im)))
  (expm1 (+ re (log (sin im))))
  (log1p (+ re (log (sin im))))
  (* (exp re) (sin im))
  (log (+ re (log (sin im))))
  (exp (+ re (log (sin im))))
  (* (cbrt (+ re (log (sin im)))) (cbrt (+ re (log (sin im)))))
  (cbrt (+ re (log (sin im))))
  (* (* (+ re (log (sin im))) (+ re (log (sin im)))) (+ re (log (sin im))))
  (sqrt (+ re (log (sin im))))
  (sqrt (+ re (log (sin im))))
  (+ (pow re 3) (pow (log (sin im)) 3))
  (+ (* re re) (- (* (log (sin im)) (log (sin im))) (* re (log (sin im)))))
  (- (* re re) (* (log (sin im)) (log (sin im))))
  (- re (log (sin im)))
  (+ re (log (sin im)))
  (+ re (log (sin im)))
  (+ re (log (* (cbrt (sin im)) (cbrt (sin im)))))
  (+ re (log (sqrt (sin im))))
  (+ re (log 1))
  (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
  (exp (+ re (log (sin im))))
  (exp (+ re (log (sin im))))
  (- (log im) (+ (* 1/180 (pow im 4)) (* 1/6 (pow im 2))))
  (log (sin im))
  (log (sin im))
  (- (+ (log im) re) (* 1/6 (pow im 2)))
  (+ re (log (sin im)))
  (+ re (log (sin im)))
7.727 * * [simplify]: iteration 0: 78 enodes
7.745 * * [simplify]: iteration 1: 170 enodes
7.826 * * [simplify]: iteration 2: 507 enodes
8.122 * * [simplify]: iteration 3: 2097 enodes
9.593 * * [simplify]: iteration complete: 5012 enodes
9.593 * * [simplify]: Extracting #0: cost 43 inf + 0
9.596 * * [simplify]: Extracting #1: cost 375 inf + 74
9.606 * * [simplify]: Extracting #2: cost 1197 inf + 7799
9.638 * * [simplify]: Extracting #3: cost 988 inf + 102465
9.694 * * [simplify]: Extracting #4: cost 143 inf + 286172
9.774 * * [simplify]: Extracting #5: cost 8 inf + 318529
9.857 * * [simplify]: Extracting #6: cost 0 inf + 321213
9.931 * [simplify]: Simplified to:
  (expm1 (* (exp re) (sin im)))
  (log1p (* (exp re) (sin im)))
  (exp (* (cbrt (+ (log (sin im)) re)) (cbrt (+ (log (sin im)) re))))
  (exp (sqrt (+ (log (sin im)) re)))
  E
  E
  E
  (exp re)
  (sin im)
  (+ (log (sin im)) re)
  (exp (* (exp re) (sin im)))
  (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im))))
  (cbrt (* (exp re) (sin im)))
  (* (* (exp re) (sin im)) (* (* (exp re) (sin im)) (* (exp re) (sin im))))
  (sqrt (* (exp re) (sin im)))
  (sqrt (* (exp re) (sin im)))
  (expm1 (log (sin im)))
  (log1p (log (sin im)))
  (+ (log (cbrt (sin im))) (log (cbrt (sin im))))
  (log (cbrt (sin im)))
  (log (sqrt (sin im)))
  (log (sqrt (sin im)))
  0
  (log (sin im))
  (log (sin im))
  (log (log (sin im)))
  (sin im)
  (* (cbrt (log (sin im))) (cbrt (log (sin im))))
  (cbrt (log (sin im)))
  (* (* (log (sin im)) (log (sin im))) (log (sin im)))
  (sqrt (log (sin im)))
  (sqrt (log (sin im)))
  (expm1 (+ (log (sin im)) re))
  (log1p (+ (log (sin im)) re))
  (* (exp re) (sin im))
  (log (+ (log (sin im)) re))
  (* (exp re) (sin im))
  (* (cbrt (+ (log (sin im)) re)) (cbrt (+ (log (sin im)) re)))
  (cbrt (+ (log (sin im)) re))
  (* (* (+ re (log (sin im))) (+ re (log (sin im)))) (+ re (log (sin im))))
  (sqrt (+ (log (sin im)) re))
  (sqrt (+ (log (sin im)) re))
  (fma (log (sin im)) (* (log (sin im)) (log (sin im))) (* re (* re re)))
  (fma (log (sin im)) (- (log (sin im)) re) (* re re))
  (* (- re (log (sin im))) (+ (log (sin im)) re))
  (- re (log (sin im)))
  (+ (log (sin im)) re)
  (+ (log (sin im)) re)
  (fma (log (cbrt (sin im))) 2 re)
  (+ (log (sqrt (sin im))) re)
  re
  (fma (fma (* re 1/2) re re) im im)
  (* (exp re) (sin im))
  (* (exp re) (sin im))
  (fma (* (* im im) (* im im)) -1/180 (fma -1/6 (* im im) (log im)))
  (log (sin im))
  (log (sin im))
  (fma (* im im) -1/6 (+ re (log im)))
  (+ (log (sin im)) re)
  (+ (log (sin im)) re)
9.933 * * * [progress]: adding candidates to table
10.228 * [progress]: [Phase 3 of 3] Extracting.
10.228 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (exp (+ re (log (sin im)))))>)
10.228 * * * [regime-changes]: Trying 5 branch expressions: ((sin im) (exp re) (* (exp re) (sin im)) im re)
10.228 * * * * [regimes]: Trying to branch on (sin im) from (#<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (exp (+ re (log (sin im)))))>)
10.274 * * * * [regimes]: Trying to branch on (exp re) from (#<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (exp (+ re (log (sin im)))))>)
10.307 * * * * [regimes]: Trying to branch on (* (exp re) (sin im)) from (#<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (exp (+ re (log (sin im)))))>)
10.385 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (exp (+ re (log (sin im)))))>)
10.422 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (exp (+ re (log (sin im)))))>)
10.492 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
10.492 * [simplify]: Simplifying:
  (* (exp re) (sin im))
10.493 * * [simplify]: iteration 0: 5 enodes
10.493 * * [simplify]: iteration 1: 6 enodes
10.493 * * [simplify]: iteration complete: 6 enodes
10.493 * * [simplify]: Extracting #0: cost 1 inf + 0
10.494 * * [simplify]: Extracting #1: cost 3 inf + 0
10.494 * * [simplify]: Extracting #2: cost 5 inf + 0
10.494 * * [simplify]: Extracting #3: cost 2 inf + 63
10.494 * * [simplify]: Extracting #4: cost 0 inf + 306
10.494 * [simplify]: Simplified to:
  (* (sin im) (exp re))
13.571 * [regime-testing]: Baseline error score: 0.021325786035844625
13.588 * [regime-testing]: Oracle error score: 0.015751968996124514
13.623 * [regime-testing]: End program error score: 0.021325786035844625