21.294 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (/ (atan2 im re) (log 10.0)) 0.022 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.023 * * [simplify]: iteration done : 6 enodes (cost 6 ) 0.023 * [simplify]: Simplified to: (/ (atan2 im re) (log 10.0)) 0.023 * * [progress]: iteration 1 / 4 0.023 * * * [progress]: picking best candidate 0.026 * * * * [pick]: Picked # 0.026 * * * [progress]: localizing error 0.032 * * * [progress]: generating rewritten candidates 0.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.036 * * * [progress]: generating series expansions 0.036 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.036 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0 0.036 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 0.036 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.036 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.036 * [taylor]: Taking taylor expansion of 10.0 in re 0.036 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 0.036 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.036 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.036 * [taylor]: Taking taylor expansion of 10.0 in im 0.037 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 0.037 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.037 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.037 * [taylor]: Taking taylor expansion of 10.0 in im 0.037 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 0.037 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.037 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.037 * [taylor]: Taking taylor expansion of 10.0 in re 0.037 * [taylor]: Taking taylor expansion of 0 in re 0.038 * [taylor]: Taking taylor expansion of 0 in re 0.045 * [taylor]: Taking taylor expansion of 0 in re 0.045 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0 0.045 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 0.045 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.045 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.045 * [taylor]: Taking taylor expansion of 10.0 in re 0.045 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 0.045 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.045 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.045 * [taylor]: Taking taylor expansion of 10.0 in im 0.045 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 0.045 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.045 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.046 * [taylor]: Taking taylor expansion of 10.0 in im 0.046 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 0.046 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.046 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.046 * [taylor]: Taking taylor expansion of 10.0 in re 0.046 * [taylor]: Taking taylor expansion of 0 in re 0.047 * [taylor]: Taking taylor expansion of 0 in re 0.048 * [taylor]: Taking taylor expansion of 0 in re 0.048 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0 0.048 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 0.048 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.048 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.048 * [taylor]: Taking taylor expansion of 10.0 in re 0.048 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 0.048 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.048 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.048 * [taylor]: Taking taylor expansion of 10.0 in im 0.048 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 0.048 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.048 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.048 * [taylor]: Taking taylor expansion of 10.0 in im 0.048 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 0.048 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.049 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.049 * [taylor]: Taking taylor expansion of 10.0 in re 0.049 * [taylor]: Taking taylor expansion of 0 in re 0.050 * [taylor]: Taking taylor expansion of 0 in re 0.050 * [taylor]: Taking taylor expansion of 0 in re 0.051 * * * [progress]: simplifying candidates 0.051 * [simplify]: Simplifying using # : (- (log (atan2 im re)) (log (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (exp (/ (atan2 im re) (log 10.0))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (log 10.0) (log 10.0)) (log 10.0))) (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))) (* (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0))) (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (neg (atan2 im re)) (neg (log 10.0)) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1) (/ (cbrt (atan2 im re)) (log 10.0)) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (cbrt (atan2 im re)) (cbrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1) (/ (cbrt (atan2 im re)) (log 10.0)) (/ (sqrt (atan2 im re)) 1) (/ (sqrt (atan2 im re)) (log 10.0)) (/ (sqrt (atan2 im re)) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) 1) (/ (sqrt (atan2 im re)) (log 10.0)) (/ 1 1) (/ (atan2 im re) (log 10.0)) (/ 1 (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (atan2 im re) (cbrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 1) (/ (atan2 im re) (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (atan2 im re)) (/ (atan2 im re) 1) (/ (atan2 im re) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) 1) (/ (log 10.0) (cbrt (atan2 im re))) (/ (log 10.0) (sqrt (atan2 im re))) (/ (log 10.0) (atan2 im re)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) 0.053 * * [simplify]: iteration 0 : 52 enodes (cost 371 ) 0.059 * * [simplify]: iteration 1 : 87 enodes (cost 355 ) 0.070 * * [simplify]: iteration 2 : 207 enodes (cost 333 ) 0.106 * * [simplify]: iteration 3 : 449 enodes (cost 330 ) 0.170 * * [simplify]: iteration 4 : 889 enodes (cost 330 ) 0.290 * * [simplify]: iteration 5 : 1332 enodes (cost 330 ) 0.542 * * [simplify]: iteration 6 : 2911 enodes (cost 330 ) 1.011 * * [simplify]: iteration done : 5000 enodes (cost 330 ) 1.011 * [simplify]: Simplified to: (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (exp (/ (atan2 im re) (log 10.0))) (pow (/ (atan2 im re) (log 10.0)) 3) (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))) (pow (/ (atan2 im re) (log 10.0)) 3) (sqrt (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (neg (atan2 im re)) (neg (log 10.0)) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (log 10.0)) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (cbrt (atan2 im re)) (cbrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (log 10.0)) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (log 10.0)) (/ (sqrt (atan2 im re)) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (log 10.0)) 1 (/ (atan2 im re) (log 10.0)) (/ (/ 1 (cbrt (log 10.0))) (cbrt (log 10.0))) (/ (atan2 im re) (cbrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) 1 (/ (atan2 im re) (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (atan2 im re)) (atan2 im re) (/ (atan2 im re) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))) (atan2 im re) (/ (log 10.0) (cbrt (atan2 im re))) (/ (log 10.0) (sqrt (atan2 im re))) (/ (log 10.0) (atan2 im re)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) 1.012 * * * [progress]: adding candidates to table 1.064 * * [progress]: iteration 2 / 4 1.064 * * * [progress]: picking best candidate 1.092 * * * * [pick]: Picked # 1.093 * * * [progress]: localizing error 1.103 * * * [progress]: generating rewritten candidates 1.103 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.128 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.139 * * * [progress]: generating series expansions 1.139 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.140 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0 1.140 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 1.140 * [taylor]: Taking taylor expansion of (atan2 im re) in re 1.140 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.140 * [taylor]: Taking taylor expansion of 10.0 in re 1.140 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 1.140 * [taylor]: Taking taylor expansion of (atan2 im re) in im 1.140 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.140 * [taylor]: Taking taylor expansion of 10.0 in im 1.140 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 1.140 * [taylor]: Taking taylor expansion of (atan2 im re) in im 1.140 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.140 * [taylor]: Taking taylor expansion of 10.0 in im 1.140 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 1.140 * [taylor]: Taking taylor expansion of (atan2 im re) in re 1.140 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.140 * [taylor]: Taking taylor expansion of 10.0 in re 1.141 * [taylor]: Taking taylor expansion of 0 in re 1.141 * [taylor]: Taking taylor expansion of 0 in re 1.142 * [taylor]: Taking taylor expansion of 0 in re 1.142 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0 1.143 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 1.143 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.143 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.143 * [taylor]: Taking taylor expansion of 10.0 in re 1.143 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 1.143 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.143 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.143 * [taylor]: Taking taylor expansion of 10.0 in im 1.143 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 1.143 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.143 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.143 * [taylor]: Taking taylor expansion of 10.0 in im 1.143 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 1.143 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.143 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.143 * [taylor]: Taking taylor expansion of 10.0 in re 1.144 * [taylor]: Taking taylor expansion of 0 in re 1.144 * [taylor]: Taking taylor expansion of 0 in re 1.145 * [taylor]: Taking taylor expansion of 0 in re 1.145 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0 1.145 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 1.145 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.145 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.146 * [taylor]: Taking taylor expansion of 10.0 in re 1.146 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 1.146 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.146 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.146 * [taylor]: Taking taylor expansion of 10.0 in im 1.146 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 1.146 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.146 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.146 * [taylor]: Taking taylor expansion of 10.0 in im 1.146 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 1.146 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.146 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.146 * [taylor]: Taking taylor expansion of 10.0 in re 1.147 * [taylor]: Taking taylor expansion of 0 in re 1.147 * [taylor]: Taking taylor expansion of 0 in re 1.148 * [taylor]: Taking taylor expansion of 0 in re 1.148 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.148 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in (im re) around 0 1.148 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in re 1.148 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 1.148 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 1.148 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.148 * [taylor]: Taking taylor expansion of 10.0 in re 1.149 * [taylor]: Taking taylor expansion of (atan2 im re) in re 1.149 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in im 1.149 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 1.149 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 1.149 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.149 * [taylor]: Taking taylor expansion of 10.0 in im 1.149 * [taylor]: Taking taylor expansion of (atan2 im re) in im 1.149 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in im 1.149 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 1.149 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 1.149 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.149 * [taylor]: Taking taylor expansion of 10.0 in im 1.149 * [taylor]: Taking taylor expansion of (atan2 im re) in im 1.150 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in re 1.150 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 1.150 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 1.150 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.150 * [taylor]: Taking taylor expansion of 10.0 in re 1.150 * [taylor]: Taking taylor expansion of (atan2 im re) in re 1.150 * [taylor]: Taking taylor expansion of 0 in re 1.151 * [taylor]: Taking taylor expansion of 0 in re 1.152 * [taylor]: Taking taylor expansion of 0 in re 1.152 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in (im re) around 0 1.152 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re 1.152 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 1.152 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 1.152 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.152 * [taylor]: Taking taylor expansion of 10.0 in re 1.153 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.153 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im 1.153 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 1.153 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 1.153 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.153 * [taylor]: Taking taylor expansion of 10.0 in im 1.153 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.153 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im 1.153 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 1.153 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 1.153 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.153 * [taylor]: Taking taylor expansion of 10.0 in im 1.154 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.154 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re 1.154 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 1.154 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 1.154 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.154 * [taylor]: Taking taylor expansion of 10.0 in re 1.154 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.154 * [taylor]: Taking taylor expansion of 0 in re 1.155 * [taylor]: Taking taylor expansion of 0 in re 1.156 * [taylor]: Taking taylor expansion of 0 in re 1.156 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in (im re) around 0 1.156 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re 1.157 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 1.157 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 1.157 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.157 * [taylor]: Taking taylor expansion of 10.0 in re 1.157 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.157 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im 1.157 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 1.157 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 1.157 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.157 * [taylor]: Taking taylor expansion of 10.0 in im 1.157 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.157 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im 1.157 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 1.157 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 1.157 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.157 * [taylor]: Taking taylor expansion of 10.0 in im 1.158 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.158 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re 1.158 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 1.158 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 1.158 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.158 * [taylor]: Taking taylor expansion of 10.0 in re 1.158 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.159 * [taylor]: Taking taylor expansion of 0 in re 1.159 * [taylor]: Taking taylor expansion of 0 in re 1.160 * [taylor]: Taking taylor expansion of 0 in re 1.161 * * * [progress]: simplifying candidates 1.163 * [simplify]: Simplifying using # : (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (+ (neg (log (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0))))) (+ (neg (log (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0))))) (+ (- 0 (log (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0))))) (+ (- 0 (log (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0))))) (+ (log (/ 1 (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0))))) (+ (log (/ 1 (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0))))) (log (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (exp (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0))))) (* (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (cbrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (cbrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))))) (cbrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (sqrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (sqrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* 1 (atan2 im re)) (* (sqrt (log 10.0)) (sqrt (log 10.0))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (cbrt (/ (atan2 im re) (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1)) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) 1)) (* (/ 1 (sqrt (log 10.0))) (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ 1 1)) (* (/ 1 (sqrt (log 10.0))) 1) (* (/ 1 (sqrt (log 10.0))) (atan2 im re)) (* (cbrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (cbrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (cbrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (cbrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (atan2 im re)) (* 1 (/ (atan2 im re) (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (exp (/ (atan2 im re) (sqrt (log 10.0)))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (cbrt (/ (atan2 im re) (sqrt (log 10.0))))) (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (neg (atan2 im re)) (neg (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt 1)) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (cbrt (atan2 im re)) (sqrt (cbrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (sqrt (log 10.0)))) (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt 1)) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (sqrt (log 10.0)))) (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt 1)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (sqrt (atan2 im re)) (sqrt (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt 1)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) 1) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (sqrt 1)) (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (atan2 im re) (sqrt (cbrt (log 10.0)))) (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (/ 1 (sqrt 1)) (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (/ 1 1) (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (atan2 im re)) (/ (atan2 im re) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (sqrt 1)) (/ (atan2 im re) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt 1)) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) 1) (/ (sqrt (log 10.0)) (cbrt (atan2 im re))) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))) (/ (sqrt (log 10.0)) (atan2 im re)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 1.168 * * [simplify]: iteration 0 : 157 enodes (cost 2334 ) 1.195 * * [simplify]: iteration 1 : 413 enodes (cost 2140 ) 1.285 * * [simplify]: iteration 2 : 1657 enodes (cost 1759 ) 2.290 * * [simplify]: iteration done : 5000 enodes (cost 1696 ) 2.291 * [simplify]: Simplified to: (/ (atan2 im re) (log 10.0)) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (exp (/ (atan2 im re) (log 10.0))) (pow (/ (atan2 im re) (log 10.0)) 3) (pow (/ (atan2 im re) (log 10.0)) 3) (pow (/ (atan2 im re) (log 10.0)) 3) (pow (/ (atan2 im re) (log 10.0)) 3) (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))) (pow (/ (atan2 im re) (log 10.0)) 3) (sqrt (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (atan2 im re) (log 10.0) (* (sqrt (/ 1 (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (cbrt (/ (atan2 im re) (sqrt (log 10.0))))) (sqrt (log 10.0))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (/ (cbrt (atan2 im re)) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (sqrt (log 10.0)) (cbrt (atan2 im re)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (/ (cbrt (atan2 im re)) (/ (fabs (cbrt (log 10.0))) (cbrt (atan2 im re)))) (sqrt (log 10.0))) (/ (/ (cbrt (atan2 im re)) (/ (sqrt (sqrt (log 10.0))) (cbrt (atan2 im re)))) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (/ (cbrt (atan2 im re)) (/ (sqrt (sqrt (log 10.0))) (cbrt (atan2 im re)))) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (* (fabs (cbrt (log 10.0))) (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (* (sqrt (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (* (sqrt (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (/ 1 (sqrt (log 10.0))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ 1 (sqrt (log 10.0))) (/ (/ 1 (fabs (cbrt (log 10.0)))) (sqrt (log 10.0))) (/ (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (* (cbrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (exp (/ (atan2 im re) (sqrt (log 10.0)))) (pow (/ (atan2 im re) (sqrt (log 10.0))) 3) (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (cbrt (/ (atan2 im re) (sqrt (log 10.0))))) (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (pow (/ (atan2 im re) (sqrt (log 10.0))) 3) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (neg (atan2 im re)) (neg (sqrt (log 10.0))) (/ (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (cbrt (sqrt (log 10.0))) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (cbrt (atan2 im re)) (/ (fabs (cbrt (log 10.0))) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (sqrt (cbrt (log 10.0)))) (/ (cbrt (atan2 im re)) (/ (sqrt (sqrt (log 10.0))) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (cbrt (atan2 im re)) (/ (sqrt (sqrt (log 10.0))) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (fabs (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) 1 (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (fabs (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (cbrt (log 10.0)))) (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) 1 (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) 1 (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (atan2 im re)) (/ (atan2 im re) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (atan2 im re) (/ (atan2 im re) (fabs (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (sqrt (log 10.0)) (cbrt (atan2 im re))) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))) (/ (sqrt (log 10.0)) (atan2 im re)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 2.292 * * * [progress]: adding candidates to table 2.509 * * [progress]: iteration 3 / 4 2.509 * * * [progress]: picking best candidate 2.562 * * * * [pick]: Picked # 2.562 * * * [progress]: localizing error 2.578 * * * [progress]: generating rewritten candidates 2.578 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 2.579 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 2.581 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.582 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 2.595 * * * [progress]: generating series expansions 2.595 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 2.595 * [approximate]: Taking taylor expansion of (pow (atan2 im re) 1/3) in (im re) around 0 2.595 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 2.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 2.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 2.595 * [taylor]: Taking taylor expansion of 1/3 in re 2.595 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 2.595 * [taylor]: Taking taylor expansion of (atan2 im re) in re 2.595 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 2.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 2.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 2.595 * [taylor]: Taking taylor expansion of 1/3 in im 2.595 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 2.595 * [taylor]: Taking taylor expansion of (atan2 im re) in im 2.596 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 2.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 2.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 2.596 * [taylor]: Taking taylor expansion of 1/3 in im 2.596 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 2.596 * [taylor]: Taking taylor expansion of (atan2 im re) in im 2.596 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 2.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 2.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 2.596 * [taylor]: Taking taylor expansion of 1/3 in re 2.596 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 2.596 * [taylor]: Taking taylor expansion of (atan2 im re) in re 2.597 * [taylor]: Taking taylor expansion of 0 in re 2.597 * [taylor]: Taking taylor expansion of 0 in re 2.599 * [taylor]: Taking taylor expansion of 0 in re 2.599 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in (im re) around 0 2.599 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 2.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 2.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 2.599 * [taylor]: Taking taylor expansion of 1/3 in re 2.599 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 2.599 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 2.599 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 2.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 2.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 2.599 * [taylor]: Taking taylor expansion of 1/3 in im 2.599 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 2.599 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 2.599 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 2.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 2.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 2.600 * [taylor]: Taking taylor expansion of 1/3 in im 2.600 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 2.600 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 2.600 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 2.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 2.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 2.600 * [taylor]: Taking taylor expansion of 1/3 in re 2.600 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 2.600 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 2.601 * [taylor]: Taking taylor expansion of 0 in re 2.601 * [taylor]: Taking taylor expansion of 0 in re 2.603 * [taylor]: Taking taylor expansion of 0 in re 2.603 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in (im re) around 0 2.603 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 2.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 2.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 2.603 * [taylor]: Taking taylor expansion of 1/3 in re 2.603 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 2.603 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 2.603 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 2.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 2.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 2.603 * [taylor]: Taking taylor expansion of 1/3 in im 2.603 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 2.603 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 2.604 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 2.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 2.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 2.604 * [taylor]: Taking taylor expansion of 1/3 in im 2.604 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 2.604 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 2.604 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 2.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 2.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 2.604 * [taylor]: Taking taylor expansion of 1/3 in re 2.604 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 2.604 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 2.605 * [taylor]: Taking taylor expansion of 0 in re 2.606 * [taylor]: Taking taylor expansion of 0 in re 2.607 * [taylor]: Taking taylor expansion of 0 in re 2.607 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 2.607 * [approximate]: Taking taylor expansion of (pow (atan2 im re) 1/3) in (im re) around 0 2.607 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 2.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 2.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 2.607 * [taylor]: Taking taylor expansion of 1/3 in re 2.607 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 2.607 * [taylor]: Taking taylor expansion of (atan2 im re) in re 2.607 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 2.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 2.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 2.607 * [taylor]: Taking taylor expansion of 1/3 in im 2.607 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 2.607 * [taylor]: Taking taylor expansion of (atan2 im re) in im 2.608 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 2.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 2.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 2.608 * [taylor]: Taking taylor expansion of 1/3 in im 2.608 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 2.608 * [taylor]: Taking taylor expansion of (atan2 im re) in im 2.608 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 2.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 2.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 2.608 * [taylor]: Taking taylor expansion of 1/3 in re 2.608 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 2.608 * [taylor]: Taking taylor expansion of (atan2 im re) in re 2.608 * [taylor]: Taking taylor expansion of 0 in re 2.609 * [taylor]: Taking taylor expansion of 0 in re 2.610 * [taylor]: Taking taylor expansion of 0 in re 2.610 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in (im re) around 0 2.610 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 2.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 2.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 2.610 * [taylor]: Taking taylor expansion of 1/3 in re 2.610 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 2.610 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 2.611 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 2.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 2.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 2.611 * [taylor]: Taking taylor expansion of 1/3 in im 2.611 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 2.611 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 2.611 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 2.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 2.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 2.611 * [taylor]: Taking taylor expansion of 1/3 in im 2.611 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 2.611 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 2.611 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 2.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 2.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 2.611 * [taylor]: Taking taylor expansion of 1/3 in re 2.611 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 2.611 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 2.612 * [taylor]: Taking taylor expansion of 0 in re 2.613 * [taylor]: Taking taylor expansion of 0 in re 2.617 * [taylor]: Taking taylor expansion of 0 in re 2.618 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in (im re) around 0 2.618 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 2.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 2.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 2.618 * [taylor]: Taking taylor expansion of 1/3 in re 2.618 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 2.618 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 2.618 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 2.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 2.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 2.618 * [taylor]: Taking taylor expansion of 1/3 in im 2.618 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 2.618 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 2.618 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 2.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 2.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 2.618 * [taylor]: Taking taylor expansion of 1/3 in im 2.618 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 2.618 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 2.619 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 2.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 2.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 2.619 * [taylor]: Taking taylor expansion of 1/3 in re 2.619 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 2.619 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 2.619 * [taylor]: Taking taylor expansion of 0 in re 2.620 * [taylor]: Taking taylor expansion of 0 in re 2.622 * [taylor]: Taking taylor expansion of 0 in re 2.622 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.622 * [approximate]: Taking taylor expansion of (pow (atan2 im re) 1/3) in (im re) around 0 2.622 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 2.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 2.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 2.622 * [taylor]: Taking taylor expansion of 1/3 in re 2.622 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 2.622 * [taylor]: Taking taylor expansion of (atan2 im re) in re 2.622 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 2.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 2.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 2.622 * [taylor]: Taking taylor expansion of 1/3 in im 2.622 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 2.622 * [taylor]: Taking taylor expansion of (atan2 im re) in im 2.623 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 2.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 2.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 2.623 * [taylor]: Taking taylor expansion of 1/3 in im 2.623 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 2.623 * [taylor]: Taking taylor expansion of (atan2 im re) in im 2.623 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 2.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 2.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 2.623 * [taylor]: Taking taylor expansion of 1/3 in re 2.623 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 2.623 * [taylor]: Taking taylor expansion of (atan2 im re) in re 2.623 * [taylor]: Taking taylor expansion of 0 in re 2.624 * [taylor]: Taking taylor expansion of 0 in re 2.625 * [taylor]: Taking taylor expansion of 0 in re 2.625 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in (im re) around 0 2.625 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 2.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 2.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 2.625 * [taylor]: Taking taylor expansion of 1/3 in re 2.625 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 2.625 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 2.626 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 2.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 2.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 2.626 * [taylor]: Taking taylor expansion of 1/3 in im 2.626 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 2.626 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 2.626 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 2.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 2.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 2.626 * [taylor]: Taking taylor expansion of 1/3 in im 2.626 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 2.626 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 2.626 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 2.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 2.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 2.626 * [taylor]: Taking taylor expansion of 1/3 in re 2.626 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 2.626 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 2.627 * [taylor]: Taking taylor expansion of 0 in re 2.628 * [taylor]: Taking taylor expansion of 0 in re 2.629 * [taylor]: Taking taylor expansion of 0 in re 2.629 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in (im re) around 0 2.629 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 2.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 2.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 2.630 * [taylor]: Taking taylor expansion of 1/3 in re 2.630 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 2.630 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 2.630 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 2.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 2.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 2.630 * [taylor]: Taking taylor expansion of 1/3 in im 2.630 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 2.630 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 2.630 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 2.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 2.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 2.630 * [taylor]: Taking taylor expansion of 1/3 in im 2.630 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 2.630 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 2.630 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 2.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 2.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 2.630 * [taylor]: Taking taylor expansion of 1/3 in re 2.630 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 2.630 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 2.631 * [taylor]: Taking taylor expansion of 0 in re 2.632 * [taylor]: Taking taylor expansion of 0 in re 2.633 * [taylor]: Taking taylor expansion of 0 in re 2.633 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 2.634 * * * [progress]: simplifying candidates 2.635 * [simplify]: Simplifying using # : (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (* (cbrt (atan2 im re)) (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt 1) (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (* (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (* (cbrt (atan2 im re)) (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt 1) (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (* (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (* (cbrt (atan2 im re)) (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt 1) (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (* (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (+ 1/3 1/3) (+ 1 1) (* (sqrt (log 10.0)) (sqrt (log 10.0))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (+ 1 1) (+ (log (cbrt (sqrt (log 10.0)))) (log (cbrt (sqrt (log 10.0))))) (log (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (exp (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (* (sqrt (log 10.0)) (sqrt (log 10.0))) (* (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (* (* (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (* (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (cbrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0)))))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (* (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* 1 1) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (sqrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (sqrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (sqrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (sqrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* 2 1/3) (* 2 1) (* (cbrt (sqrt (log 10.0))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt 1))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt 1))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (log 10.0))) (cbrt 1)) (* (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0)))))) (* (cbrt (sqrt (log 10.0))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (log 10.0))) 1) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (* (sqrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (* (/ (/ (cbrt (atan2 im re)) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (sqrt (log 10.0)) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0))))) 2.638 * * [simplify]: iteration 0 : 78 enodes (cost 1164 ) 2.647 * * [simplify]: iteration 1 : 126 enodes (cost 1061 ) 2.666 * * [simplify]: iteration 2 : 448 enodes (cost 970 ) 2.791 * * [simplify]: iteration 3 : 1917 enodes (cost 893 ) 3.262 * * [simplify]: iteration done : 5000 enodes (cost 866 ) 3.263 * [simplify]: Simplified to: (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (pow (atan2 im re) 2/3)) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) 1 (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (atan2 im re) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (pow (atan2 im re) 2/3)) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) 1 (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (atan2 im re) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (pow (atan2 im re) 2/3)) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) 1 (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (atan2 im re) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) 2/3 2 (log 10.0) (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) 2 (* (log (cbrt (sqrt (log 10.0)))) 2) (* (log (cbrt (sqrt (log 10.0)))) 2) (exp (pow (sqrt (cbrt (sqrt (log 10.0)))) 4)) (log 10.0) (* (cbrt (pow (sqrt (cbrt (sqrt (log 10.0)))) 4)) (cbrt (pow (sqrt (cbrt (sqrt (log 10.0)))) 4))) (cbrt (pow (sqrt (cbrt (sqrt (log 10.0)))) 4)) (log 10.0) (fabs (cbrt (sqrt (log 10.0)))) (fabs (cbrt (sqrt (log 10.0)))) (* (cbrt (pow (sqrt (cbrt (sqrt (log 10.0)))) 4)) (cbrt (pow (sqrt (cbrt (sqrt (log 10.0)))) 4))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) 1 (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) 1 (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) (* (cbrt (fabs (cbrt (log 10.0)))) (cbrt (fabs (cbrt (log 10.0))))) (* (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (cbrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) 1 (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) 1 (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) 1 (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) (pow (cbrt (cbrt (sqrt (log 10.0)))) 4) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))) 1 (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (sqrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0))))) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))) 2/3 2 (* (cbrt (sqrt (log 10.0))) (cbrt (pow (sqrt (cbrt (sqrt (log 10.0)))) 4))) (cbrt (sqrt (log 10.0))) (* (cbrt (fabs (cbrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (pow (cbrt (cbrt (sqrt (log 10.0)))) 4)) (pow (sqrt (cbrt (sqrt (log 10.0)))) 3) (cbrt (sqrt (log 10.0))) (pow (cbrt (cbrt (sqrt (log 10.0)))) 4) (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) (* (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) (pow (cbrt (cbrt (sqrt (log 10.0)))) 4) (pow (sqrt (cbrt (sqrt (log 10.0)))) 3) (pow (sqrt (cbrt (sqrt (log 10.0)))) 4) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (/ (atan2 im re) (log 10.0)) 3.264 * * * [progress]: adding candidates to table 3.538 * * [progress]: iteration 4 / 4 3.538 * * * [progress]: picking best candidate 3.592 * * * * [pick]: Picked # 3.592 * * * [progress]: localizing error 3.609 * * * [progress]: generating rewritten candidates 3.609 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 3.611 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 3.612 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 3.613 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 3.616 * * * [progress]: generating series expansions 3.616 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 3.617 * [approximate]: Taking taylor expansion of (pow (atan2 im re) 1/3) in (im re) around 0 3.617 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 3.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 3.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 3.617 * [taylor]: Taking taylor expansion of 1/3 in re 3.617 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 3.617 * [taylor]: Taking taylor expansion of (atan2 im re) in re 3.617 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 3.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 3.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 3.617 * [taylor]: Taking taylor expansion of 1/3 in im 3.617 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 3.617 * [taylor]: Taking taylor expansion of (atan2 im re) in im 3.617 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 3.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 3.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 3.617 * [taylor]: Taking taylor expansion of 1/3 in im 3.617 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 3.617 * [taylor]: Taking taylor expansion of (atan2 im re) in im 3.617 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 3.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 3.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 3.617 * [taylor]: Taking taylor expansion of 1/3 in re 3.617 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 3.617 * [taylor]: Taking taylor expansion of (atan2 im re) in re 3.618 * [taylor]: Taking taylor expansion of 0 in re 3.619 * [taylor]: Taking taylor expansion of 0 in re 3.620 * [taylor]: Taking taylor expansion of 0 in re 3.620 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in (im re) around 0 3.620 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 3.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 3.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 3.620 * [taylor]: Taking taylor expansion of 1/3 in re 3.620 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 3.620 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 3.621 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 3.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 3.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 3.621 * [taylor]: Taking taylor expansion of 1/3 in im 3.621 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 3.621 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 3.621 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 3.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 3.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 3.621 * [taylor]: Taking taylor expansion of 1/3 in im 3.621 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 3.621 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 3.621 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 3.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 3.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 3.621 * [taylor]: Taking taylor expansion of 1/3 in re 3.621 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 3.621 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 3.622 * [taylor]: Taking taylor expansion of 0 in re 3.623 * [taylor]: Taking taylor expansion of 0 in re 3.624 * [taylor]: Taking taylor expansion of 0 in re 3.624 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in (im re) around 0 3.624 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 3.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 3.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 3.624 * [taylor]: Taking taylor expansion of 1/3 in re 3.624 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 3.625 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 3.625 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 3.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 3.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 3.625 * [taylor]: Taking taylor expansion of 1/3 in im 3.625 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 3.625 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 3.625 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 3.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 3.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 3.625 * [taylor]: Taking taylor expansion of 1/3 in im 3.625 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 3.625 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 3.625 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 3.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 3.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 3.625 * [taylor]: Taking taylor expansion of 1/3 in re 3.625 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 3.625 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 3.626 * [taylor]: Taking taylor expansion of 0 in re 3.627 * [taylor]: Taking taylor expansion of 0 in re 3.628 * [taylor]: Taking taylor expansion of 0 in re 3.628 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 3.629 * [approximate]: Taking taylor expansion of (pow (atan2 im re) 1/3) in (im re) around 0 3.629 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 3.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 3.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 3.629 * [taylor]: Taking taylor expansion of 1/3 in re 3.629 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 3.629 * [taylor]: Taking taylor expansion of (atan2 im re) in re 3.629 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 3.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 3.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 3.629 * [taylor]: Taking taylor expansion of 1/3 in im 3.629 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 3.629 * [taylor]: Taking taylor expansion of (atan2 im re) in im 3.629 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 3.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 3.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 3.629 * [taylor]: Taking taylor expansion of 1/3 in im 3.629 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 3.629 * [taylor]: Taking taylor expansion of (atan2 im re) in im 3.629 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 3.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 3.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 3.629 * [taylor]: Taking taylor expansion of 1/3 in re 3.629 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 3.629 * [taylor]: Taking taylor expansion of (atan2 im re) in re 3.630 * [taylor]: Taking taylor expansion of 0 in re 3.631 * [taylor]: Taking taylor expansion of 0 in re 3.632 * [taylor]: Taking taylor expansion of 0 in re 3.632 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in (im re) around 0 3.632 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 3.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 3.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 3.632 * [taylor]: Taking taylor expansion of 1/3 in re 3.632 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 3.632 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 3.632 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 3.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 3.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 3.632 * [taylor]: Taking taylor expansion of 1/3 in im 3.632 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 3.632 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 3.633 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 3.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 3.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 3.633 * [taylor]: Taking taylor expansion of 1/3 in im 3.633 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 3.633 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 3.633 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 3.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 3.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 3.633 * [taylor]: Taking taylor expansion of 1/3 in re 3.633 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 3.633 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 3.634 * [taylor]: Taking taylor expansion of 0 in re 3.635 * [taylor]: Taking taylor expansion of 0 in re 3.636 * [taylor]: Taking taylor expansion of 0 in re 3.636 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in (im re) around 0 3.636 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 3.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 3.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 3.636 * [taylor]: Taking taylor expansion of 1/3 in re 3.636 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 3.636 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 3.636 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 3.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 3.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 3.636 * [taylor]: Taking taylor expansion of 1/3 in im 3.637 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 3.637 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 3.637 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 3.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 3.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 3.637 * [taylor]: Taking taylor expansion of 1/3 in im 3.637 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 3.637 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 3.637 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 3.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 3.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 3.637 * [taylor]: Taking taylor expansion of 1/3 in re 3.637 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 3.637 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 3.638 * [taylor]: Taking taylor expansion of 0 in re 3.639 * [taylor]: Taking taylor expansion of 0 in re 3.640 * [taylor]: Taking taylor expansion of 0 in re 3.640 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 3.640 * [approximate]: Taking taylor expansion of (pow (atan2 im re) 1/3) in (im re) around 0 3.640 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 3.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 3.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 3.640 * [taylor]: Taking taylor expansion of 1/3 in re 3.640 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 3.640 * [taylor]: Taking taylor expansion of (atan2 im re) in re 3.640 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 3.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 3.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 3.640 * [taylor]: Taking taylor expansion of 1/3 in im 3.641 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 3.641 * [taylor]: Taking taylor expansion of (atan2 im re) in im 3.641 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in im 3.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in im 3.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in im 3.641 * [taylor]: Taking taylor expansion of 1/3 in im 3.641 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in im 3.641 * [taylor]: Taking taylor expansion of (atan2 im re) in im 3.641 * [taylor]: Taking taylor expansion of (pow (atan2 im re) 1/3) in re 3.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 im re)))) in re 3.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 im re))) in re 3.641 * [taylor]: Taking taylor expansion of 1/3 in re 3.641 * [taylor]: Taking taylor expansion of (log (atan2 im re)) in re 3.641 * [taylor]: Taking taylor expansion of (atan2 im re) in re 3.641 * [taylor]: Taking taylor expansion of 0 in re 3.642 * [taylor]: Taking taylor expansion of 0 in re 3.643 * [taylor]: Taking taylor expansion of 0 in re 3.643 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in (im re) around 0 3.643 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 3.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 3.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 3.644 * [taylor]: Taking taylor expansion of 1/3 in re 3.644 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 3.644 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 3.644 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 3.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 3.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 3.644 * [taylor]: Taking taylor expansion of 1/3 in im 3.644 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 3.644 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 3.644 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in im 3.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in im 3.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in im 3.644 * [taylor]: Taking taylor expansion of 1/3 in im 3.644 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in im 3.644 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 3.644 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 im) (/ 1 re)) 1/3) in re 3.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ 1 im) (/ 1 re))))) in re 3.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ 1 im) (/ 1 re)))) in re 3.644 * [taylor]: Taking taylor expansion of 1/3 in re 3.644 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 im) (/ 1 re))) in re 3.644 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 3.645 * [taylor]: Taking taylor expansion of 0 in re 3.646 * [taylor]: Taking taylor expansion of 0 in re 3.647 * [taylor]: Taking taylor expansion of 0 in re 3.647 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in (im re) around 0 3.648 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 3.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 3.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 3.648 * [taylor]: Taking taylor expansion of 1/3 in re 3.648 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 3.648 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 3.648 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 3.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 3.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 3.648 * [taylor]: Taking taylor expansion of 1/3 in im 3.648 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 3.648 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 3.648 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in im 3.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in im 3.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in im 3.648 * [taylor]: Taking taylor expansion of 1/3 in im 3.648 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in im 3.648 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 3.648 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 im) (/ -1 re)) 1/3) in re 3.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (/ -1 im) (/ -1 re))))) in re 3.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (/ -1 im) (/ -1 re)))) in re 3.649 * [taylor]: Taking taylor expansion of 1/3 in re 3.649 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 im) (/ -1 re))) in re 3.649 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 3.649 * [taylor]: Taking taylor expansion of 0 in re 3.650 * [taylor]: Taking taylor expansion of 0 in re 3.651 * [taylor]: Taking taylor expansion of 0 in re 3.652 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 3.652 * * * [progress]: simplifying candidates 3.652 * [simplify]: Simplifying using # : (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (* (cbrt (atan2 im re)) (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt 1) (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (* (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (* (cbrt (atan2 im re)) (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt 1) (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (* (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (* (cbrt (atan2 im re)) (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt 1) (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (* (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (sqrt (log 10.0)))) (exp (cbrt (sqrt (log 10.0)))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt 1)) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt 1)) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt 1) (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (* (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (pow (atan2 im re) 1/3) (* (/ 1 (sqrt (log 10.0))) (* (/ (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (cbrt (sqrt (log 10.0))) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))))) 3.654 * * [simplify]: iteration 0 : 46 enodes (cost 442 ) 3.659 * * [simplify]: iteration 1 : 70 enodes (cost 423 ) 3.670 * * [simplify]: iteration 2 : 182 enodes (cost 371 ) 3.707 * * [simplify]: iteration 3 : 779 enodes (cost 345 ) 4.338 * * [simplify]: iteration done : 5001 enodes (cost 341 ) 4.338 * [simplify]: Simplified to: (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (pow (atan2 im re) 2/3)) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) 1 (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (atan2 im re) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (pow (atan2 im re) 2/3)) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) 1 (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (atan2 im re) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (atan2 im re))) (exp (cbrt (atan2 im re))) (cbrt (pow (atan2 im re) 2/3)) (cbrt (cbrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) (cbrt (sqrt (atan2 im re))) 1 (cbrt (atan2 im re)) (* (cbrt (cbrt (atan2 im re))) (cbrt (cbrt (atan2 im re)))) (cbrt (cbrt (atan2 im re))) (atan2 im re) (sqrt (cbrt (atan2 im re))) (sqrt (cbrt (atan2 im re))) (log (cbrt (sqrt (log 10.0)))) (exp (cbrt (sqrt (log 10.0)))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (cbrt (fabs (cbrt (log 10.0)))) (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0)) (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (cbrt (atan2 im re)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) 4.338 * * * [progress]: adding candidates to table 4.511 * [progress]: [Phase 3 of 3] Extracting. 4.511 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 4.514 * * * [regime-changes]: Trying 4 branch expressions: ((atan2 im re) (/ (atan2 im re) (log 10.0)) im re) 4.514 * * * * [regimes]: Trying to branch on (atan2 im re) from (# # # # # # # # # # # # #) 4.607 * * * * [regimes]: Trying to branch on (/ (atan2 im re) (log 10.0)) from (# # # # # # # # # # # # #) 4.706 * * * * [regimes]: Trying to branch on (/ (atan2 im re) (log 10.0)) from (# # #) 4.759 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # # # # #) 4.853 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # # # # #) 4.947 * * * [regime]: Found split indices: #