5.921 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (* (exp re) (cos im)) 0.042 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.042 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.043 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.043 * [simplify]: Simplified to: (* (exp re) (cos im)) 0.043 * * [progress]: iteration 1 / 4 0.043 * * * [progress]: picking best candidate 0.045 * * * * [pick]: Picked # 0.045 * * * [progress]: localizing error 0.050 * * * [progress]: generating rewritten candidates 0.050 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.056 * * * [progress]: generating series expansions 0.056 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.056 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0 0.056 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im 0.056 * [taylor]: Taking taylor expansion of (cos im) in im 0.056 * [taylor]: Taking taylor expansion of im in im 0.056 * [taylor]: Taking taylor expansion of (exp re) in im 0.056 * [taylor]: Taking taylor expansion of re in im 0.057 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re 0.057 * [taylor]: Taking taylor expansion of (cos im) in re 0.057 * [taylor]: Taking taylor expansion of im in re 0.057 * [taylor]: Taking taylor expansion of (exp re) in re 0.057 * [taylor]: Taking taylor expansion of re in re 0.057 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re 0.057 * [taylor]: Taking taylor expansion of (cos im) in re 0.057 * [taylor]: Taking taylor expansion of im in re 0.057 * [taylor]: Taking taylor expansion of (exp re) in re 0.057 * [taylor]: Taking taylor expansion of re in re 0.057 * [taylor]: Taking taylor expansion of (cos im) in im 0.057 * [taylor]: Taking taylor expansion of im in im 0.060 * [taylor]: Taking taylor expansion of (cos im) in im 0.060 * [taylor]: Taking taylor expansion of im in im 0.064 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im 0.064 * [taylor]: Taking taylor expansion of 1/2 in im 0.064 * [taylor]: Taking taylor expansion of (cos im) in im 0.064 * [taylor]: Taking taylor expansion of im in im 0.068 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in (re im) around 0 0.068 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im 0.068 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.068 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.068 * [taylor]: Taking taylor expansion of re in im 0.068 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 0.068 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.068 * [taylor]: Taking taylor expansion of im in im 0.069 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re 0.069 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.069 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.069 * [taylor]: Taking taylor expansion of re in re 0.069 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 0.069 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.069 * [taylor]: Taking taylor expansion of im in re 0.069 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re 0.069 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.069 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.069 * [taylor]: Taking taylor expansion of re in re 0.070 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 0.070 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.070 * [taylor]: Taking taylor expansion of im in re 0.070 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im 0.070 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.070 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.070 * [taylor]: Taking taylor expansion of re in im 0.070 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 0.070 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.070 * [taylor]: Taking taylor expansion of im in im 0.073 * [taylor]: Taking taylor expansion of 0 in im 0.076 * [taylor]: Taking taylor expansion of 0 in im 0.080 * [taylor]: Taking taylor expansion of 0 in im 0.080 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0 0.081 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 0.081 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.081 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.081 * [taylor]: Taking taylor expansion of -1 in im 0.081 * [taylor]: Taking taylor expansion of re in im 0.081 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 0.081 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.081 * [taylor]: Taking taylor expansion of -1 in im 0.081 * [taylor]: Taking taylor expansion of im in im 0.081 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 0.081 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.081 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.081 * [taylor]: Taking taylor expansion of -1 in re 0.081 * [taylor]: Taking taylor expansion of re in re 0.081 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 0.081 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.081 * [taylor]: Taking taylor expansion of -1 in re 0.081 * [taylor]: Taking taylor expansion of im in re 0.082 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 0.082 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.082 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.082 * [taylor]: Taking taylor expansion of -1 in re 0.082 * [taylor]: Taking taylor expansion of re in re 0.082 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 0.082 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.082 * [taylor]: Taking taylor expansion of -1 in re 0.082 * [taylor]: Taking taylor expansion of im in re 0.083 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 0.083 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.083 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.083 * [taylor]: Taking taylor expansion of -1 in im 0.083 * [taylor]: Taking taylor expansion of re in im 0.083 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 0.083 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.083 * [taylor]: Taking taylor expansion of -1 in im 0.083 * [taylor]: Taking taylor expansion of im in im 0.085 * [taylor]: Taking taylor expansion of 0 in im 0.088 * [taylor]: Taking taylor expansion of 0 in im 0.093 * [taylor]: Taking taylor expansion of 0 in im 0.093 * * * [progress]: simplifying candidates 0.093 * [simplify]: Simplifying using # : (* (exp re) (cos im)) (+ re (log (cos im))) (log (* (exp re) (cos im))) (exp (* (exp re) (cos im))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im))) (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im)))) (cbrt (* (exp re) (cos im))) (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im))) (sqrt (* (exp re) (cos im))) (sqrt (* (exp re) (cos im))) (* (sqrt (exp re)) (sqrt (cos im))) (* (sqrt (exp re)) (sqrt (cos im))) (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (* (exp re) (sqrt (cos im))) (* (exp re) 1) (* (cbrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im)) (* (exp re) (cos im)) (+ 1 (+ (* 1/2 (pow re 2)) re)) (* (cos im) (exp re)) (* (cos im) (exp re)) 0.095 * * [simplify]: iteration 0 : 38 enodes (cost 157 ) 0.100 * * [simplify]: iteration 1 : 79 enodes (cost 153 ) 0.117 * * [simplify]: iteration 2 : 207 enodes (cost 134 ) 0.306 * * [simplify]: iteration 3 : 378 enodes (cost 134 ) 0.409 * * [simplify]: iteration 4 : 566 enodes (cost 134 ) 0.591 * * [simplify]: iteration 5 : 1113 enodes (cost 134 ) 1.315 * * [simplify]: iteration 6 : 2883 enodes (cost 134 ) 2.112 * * [simplify]: iteration done : 5000 enodes (cost 134 ) 2.112 * [simplify]: Simplified to: (* (cos im) (exp re)) (+ re (log (cos im))) (+ re (log (cos im))) (exp (* (exp re) (cos im))) (pow (* (cos im) (exp re)) 3) (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im)))) (cbrt (* (exp re) (cos im))) (pow (* (cos im) (exp re)) 3) (sqrt (* (exp re) (cos im))) (sqrt (* (exp re) (cos im))) (* (sqrt (exp re)) (sqrt (cos im))) (* (sqrt (exp re)) (sqrt (cos im))) (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (* (exp re) (sqrt (cos im))) (exp re) (* (cbrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im)) (* (cos im) (exp re)) (+ 1 (+ (* 1/2 (pow re 2)) re)) (* (cos im) (exp re)) (* (cos im) (exp re)) 2.112 * * * [progress]: adding candidates to table 2.155 * * [progress]: iteration 2 / 4 2.155 * * * [progress]: picking best candidate 2.157 * * * * [pick]: Picked # 2.157 * * * [progress]: localizing error 2.165 * * * [progress]: generating rewritten candidates 2.165 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.166 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 2.167 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 2.167 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 2.175 * * * [progress]: generating series expansions 2.175 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.176 * [approximate]: Taking taylor expansion of (pow (cos im) 1/3) in (im) around 0 2.176 * [taylor]: Taking taylor expansion of (pow (cos im) 1/3) in im 2.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 2.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos im))) in im 2.176 * [taylor]: Taking taylor expansion of 1/3 in im 2.176 * [taylor]: Taking taylor expansion of (log (cos im)) in im 2.176 * [taylor]: Taking taylor expansion of (cos im) in im 2.176 * [taylor]: Taking taylor expansion of im in im 2.180 * [taylor]: Taking taylor expansion of (pow (cos im) 1/3) in im 2.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 2.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos im))) in im 2.180 * [taylor]: Taking taylor expansion of 1/3 in im 2.180 * [taylor]: Taking taylor expansion of (log (cos im)) in im 2.180 * [taylor]: Taking taylor expansion of (cos im) in im 2.180 * [taylor]: Taking taylor expansion of im in im 2.201 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in (im) around 0 2.201 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 2.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 2.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 2.201 * [taylor]: Taking taylor expansion of 1/3 in im 2.201 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 2.201 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 2.201 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.201 * [taylor]: Taking taylor expansion of im in im 2.202 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 2.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 2.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 2.202 * [taylor]: Taking taylor expansion of 1/3 in im 2.202 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 2.202 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 2.202 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.202 * [taylor]: Taking taylor expansion of im in im 2.237 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in (im) around 0 2.237 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 2.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 2.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 2.237 * [taylor]: Taking taylor expansion of 1/3 in im 2.237 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 2.237 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 2.237 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.237 * [taylor]: Taking taylor expansion of -1 in im 2.237 * [taylor]: Taking taylor expansion of im in im 2.238 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 2.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 2.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 2.238 * [taylor]: Taking taylor expansion of 1/3 in im 2.238 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 2.238 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 2.238 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.238 * [taylor]: Taking taylor expansion of -1 in im 2.238 * [taylor]: Taking taylor expansion of im in im 2.270 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 2.270 * [approximate]: Taking taylor expansion of (pow (cos im) 1/3) in (im) around 0 2.270 * [taylor]: Taking taylor expansion of (pow (cos im) 1/3) in im 2.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 2.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos im))) in im 2.270 * [taylor]: Taking taylor expansion of 1/3 in im 2.270 * [taylor]: Taking taylor expansion of (log (cos im)) in im 2.270 * [taylor]: Taking taylor expansion of (cos im) in im 2.270 * [taylor]: Taking taylor expansion of im in im 2.274 * [taylor]: Taking taylor expansion of (pow (cos im) 1/3) in im 2.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 2.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos im))) in im 2.274 * [taylor]: Taking taylor expansion of 1/3 in im 2.274 * [taylor]: Taking taylor expansion of (log (cos im)) in im 2.274 * [taylor]: Taking taylor expansion of (cos im) in im 2.274 * [taylor]: Taking taylor expansion of im in im 2.297 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in (im) around 0 2.297 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 2.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 2.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 2.297 * [taylor]: Taking taylor expansion of 1/3 in im 2.297 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 2.297 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 2.297 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.298 * [taylor]: Taking taylor expansion of im in im 2.298 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 2.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 2.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 2.298 * [taylor]: Taking taylor expansion of 1/3 in im 2.298 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 2.298 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 2.298 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.298 * [taylor]: Taking taylor expansion of im in im 2.330 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in (im) around 0 2.330 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 2.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 2.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 2.330 * [taylor]: Taking taylor expansion of 1/3 in im 2.330 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 2.330 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 2.330 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.330 * [taylor]: Taking taylor expansion of -1 in im 2.330 * [taylor]: Taking taylor expansion of im in im 2.330 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 2.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 2.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 2.330 * [taylor]: Taking taylor expansion of 1/3 in im 2.330 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 2.330 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 2.330 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.330 * [taylor]: Taking taylor expansion of -1 in im 2.330 * [taylor]: Taking taylor expansion of im in im 2.363 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 2.363 * [approximate]: Taking taylor expansion of (pow (cos im) 1/3) in (im) around 0 2.363 * [taylor]: Taking taylor expansion of (pow (cos im) 1/3) in im 2.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 2.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos im))) in im 2.363 * [taylor]: Taking taylor expansion of 1/3 in im 2.363 * [taylor]: Taking taylor expansion of (log (cos im)) in im 2.363 * [taylor]: Taking taylor expansion of (cos im) in im 2.363 * [taylor]: Taking taylor expansion of im in im 2.370 * [taylor]: Taking taylor expansion of (pow (cos im) 1/3) in im 2.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 2.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos im))) in im 2.370 * [taylor]: Taking taylor expansion of 1/3 in im 2.370 * [taylor]: Taking taylor expansion of (log (cos im)) in im 2.370 * [taylor]: Taking taylor expansion of (cos im) in im 2.370 * [taylor]: Taking taylor expansion of im in im 2.391 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in (im) around 0 2.391 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 2.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 2.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 2.391 * [taylor]: Taking taylor expansion of 1/3 in im 2.391 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 2.391 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 2.391 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.391 * [taylor]: Taking taylor expansion of im in im 2.391 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 2.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 2.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 2.391 * [taylor]: Taking taylor expansion of 1/3 in im 2.391 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 2.391 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 2.391 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.391 * [taylor]: Taking taylor expansion of im in im 2.423 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in (im) around 0 2.423 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 2.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 2.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 2.423 * [taylor]: Taking taylor expansion of 1/3 in im 2.423 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 2.423 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 2.423 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.423 * [taylor]: Taking taylor expansion of -1 in im 2.423 * [taylor]: Taking taylor expansion of im in im 2.423 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 2.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 2.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 2.423 * [taylor]: Taking taylor expansion of 1/3 in im 2.423 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 2.423 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 2.423 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.423 * [taylor]: Taking taylor expansion of -1 in im 2.424 * [taylor]: Taking taylor expansion of im in im 2.458 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 2.458 * [approximate]: Taking taylor expansion of (pow (pow (cos im) 2) 1/3) in (im) around 0 2.458 * [taylor]: Taking taylor expansion of (pow (pow (cos im) 2) 1/3) in im 2.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos im) 2)))) in im 2.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos im) 2))) in im 2.458 * [taylor]: Taking taylor expansion of 1/3 in im 2.458 * [taylor]: Taking taylor expansion of (log (pow (cos im) 2)) in im 2.459 * [taylor]: Taking taylor expansion of (pow (cos im) 2) in im 2.459 * [taylor]: Taking taylor expansion of (cos im) in im 2.459 * [taylor]: Taking taylor expansion of im in im 2.464 * [taylor]: Taking taylor expansion of (pow (pow (cos im) 2) 1/3) in im 2.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos im) 2)))) in im 2.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos im) 2))) in im 2.464 * [taylor]: Taking taylor expansion of 1/3 in im 2.464 * [taylor]: Taking taylor expansion of (log (pow (cos im) 2)) in im 2.464 * [taylor]: Taking taylor expansion of (pow (cos im) 2) in im 2.464 * [taylor]: Taking taylor expansion of (cos im) in im 2.464 * [taylor]: Taking taylor expansion of im in im 2.529 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 im)) 2) 1/3) in (im) around 0 2.530 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 im)) 2) 1/3) in im 2.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) in im 2.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 im)) 2))) in im 2.530 * [taylor]: Taking taylor expansion of 1/3 in im 2.530 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 im)) 2)) in im 2.530 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 2) in im 2.530 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 2.530 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.530 * [taylor]: Taking taylor expansion of im in im 2.530 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 im)) 2) 1/3) in im 2.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) in im 2.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 im)) 2))) in im 2.530 * [taylor]: Taking taylor expansion of 1/3 in im 2.530 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 im)) 2)) in im 2.530 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 2) in im 2.530 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 2.530 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.530 * [taylor]: Taking taylor expansion of im in im 2.578 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 im)) 2) 1/3) in (im) around 0 2.578 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 im)) 2) 1/3) in im 2.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) in im 2.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 im)) 2))) in im 2.578 * [taylor]: Taking taylor expansion of 1/3 in im 2.578 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 im)) 2)) in im 2.578 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 2) in im 2.578 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 2.578 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.578 * [taylor]: Taking taylor expansion of -1 in im 2.578 * [taylor]: Taking taylor expansion of im in im 2.579 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 im)) 2) 1/3) in im 2.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) in im 2.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 im)) 2))) in im 2.579 * [taylor]: Taking taylor expansion of 1/3 in im 2.579 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 im)) 2)) in im 2.579 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 2) in im 2.579 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 2.579 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.579 * [taylor]: Taking taylor expansion of -1 in im 2.579 * [taylor]: Taking taylor expansion of im in im 2.620 * * * [progress]: simplifying candidates 2.621 * [simplify]: Simplifying using # : (log (cbrt (cos im))) (exp (cbrt (cos im))) (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cbrt (cos im))) (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))) (cbrt 1) (cbrt (cos im)) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (cbrt (cbrt (cos im))) (* (* (cbrt (cos im)) (cbrt (cos im))) (cbrt (cos im))) (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im))) (log (cbrt (cos im))) (exp (cbrt (cos im))) (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cbrt (cos im))) (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))) (cbrt 1) (cbrt (cos im)) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (cbrt (cbrt (cos im))) (* (* (cbrt (cos im)) (cbrt (cos im))) (cbrt (cos im))) (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im))) (log (cbrt (cos im))) (exp (cbrt (cos im))) (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cbrt (cos im))) (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))) (cbrt 1) (cbrt (cos im)) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (cbrt (cbrt (cos im))) (* (* (cbrt (cos im)) (cbrt (cos im))) (cbrt (cos im))) (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im))) (+ 1/3 1/3) (+ 1 1) (* (cos im) (cos im)) (* (cbrt (cos im)) (cbrt (cos im))) (+ 1 1) (+ (log (cbrt (cos im))) (log (cbrt (cos im)))) (log (* (cbrt (cos im)) (cbrt (cos im)))) (exp (* (cbrt (cos im)) (cbrt (cos im)))) (* (cos im) (cos im)) (* (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (* (cbrt (cos im)) (cbrt (cos im))))) (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (* (* (* (cbrt (cos im)) (cbrt (cos im))) (* (cbrt (cos im)) (cbrt (cos im)))) (* (cbrt (cos im)) (cbrt (cos im)))) (sqrt (* (cbrt (cos im)) (cbrt (cos im)))) (sqrt (* (cbrt (cos im)) (cbrt (cos im)))) (* (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (* (cbrt (cos im)) (cbrt (cos im))))) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos im)) (cbrt (cos im))) (* (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im))))) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (* (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im)))) (* (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im)))) (* 1 1) (* (cbrt (cos im)) (cbrt (cos im))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (* (cbrt (sqrt (cos im))) (sqrt (cbrt (cos im)))) (* (cbrt (sqrt (cos im))) (sqrt (cbrt (cos im)))) (* (sqrt (cbrt (cos im))) (cbrt (sqrt (cos im)))) (* (sqrt (cbrt (cos im))) (cbrt (sqrt (cos im)))) (* (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im)))) (* (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im)))) (* 2 1/3) (* 2 1) (* (cbrt (cos im)) (cbrt (* (cbrt (cos im)) (cbrt (cos im))))) (* (cbrt (cos im)) (cbrt (sqrt (cos im)))) (* (cbrt (cos im)) (cbrt 1)) (* (cbrt (cos im)) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im))))) (* (cbrt (cos im)) (sqrt (cbrt (cos im)))) (* (cbrt (cos im)) 1) (* (cbrt (cbrt (cos im))) (cbrt (cos im))) (* (cbrt (sqrt (cos im))) (cbrt (cos im))) (* (cbrt (cos im)) (cbrt (cos im))) (* (cbrt (cbrt (cos im))) (cbrt (cos im))) (* (sqrt (cbrt (cos im))) (cbrt (cos im))) (* (cbrt (cos im)) (cbrt (cos im))) (- 1 (+ (* 1/72 (pow im 4)) (* 1/6 (pow im 2)))) (pow (cos im) 1/3) (pow (cos im) 1/3) (- 1 (+ (* 1/72 (pow im 4)) (* 1/6 (pow im 2)))) (pow (cos im) 1/3) (pow (cos im) 1/3) (- 1 (+ (* 1/72 (pow im 4)) (* 1/6 (pow im 2)))) (pow (cos im) 1/3) (pow (cos im) 1/3) (- 1 (+ (* 1/405 (pow im 6)) (* 1/3 (pow im 2)))) (pow (pow (cos im) 2) 1/3) (pow (pow (cos im) 2) 1/3) 2.624 * * [simplify]: iteration 0 : 64 enodes (cost 686 ) 2.638 * * [simplify]: iteration 1 : 122 enodes (cost 615 ) 2.660 * * [simplify]: iteration 2 : 355 enodes (cost 521 ) 2.917 * * [simplify]: iteration 3 : 1333 enodes (cost 499 ) 4.486 * * [simplify]: iteration 4 : 4824 enodes (cost 492 ) 5.936 * * [simplify]: iteration done : 5000 enodes (cost 492 ) 5.936 * [simplify]: Simplified to: (log (cbrt (cos im))) (exp (cbrt (cos im))) (cbrt (pow (cos im) 2/3)) (cbrt (cbrt (cos im))) (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))) 1 (cbrt (cos im)) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (cbrt (cbrt (cos im))) (cos im) (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im))) (log (cbrt (cos im))) (exp (cbrt (cos im))) (cbrt (pow (cos im) 2/3)) (cbrt (cbrt (cos im))) (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))) 1 (cbrt (cos im)) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (cbrt (cbrt (cos im))) (cos im) (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im))) (log (cbrt (cos im))) (exp (cbrt (cos im))) (cbrt (pow (cos im) 2/3)) (cbrt (cbrt (cos im))) (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))) 1 (cbrt (cos im)) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (cbrt (cbrt (cos im))) (cos im) (sqrt (cbrt (cos im))) (sqrt (cbrt (cos im))) 2/3 2 (pow (cos im) 2) (pow (cos im) 2/3) 2 (log (pow (cos im) 2/3)) (log (pow (cos im) 2/3)) (exp (pow (cos im) 2/3)) (pow (cos im) 2) (* (cbrt (pow (cos im) 2/3)) (cbrt (pow (cos im) 2/3))) (cbrt (pow (cos im) 2/3)) (pow (cos im) 2) (fabs (cbrt (cos im))) (fabs (cbrt (cos im))) (* (cbrt (pow (cos im) 2/3)) (cbrt (pow (cos im) 2/3))) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) 1 (pow (cos im) 2/3) (pow (cbrt (cbrt (cos im))) 4) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (cbrt (cos im)) (cbrt (cos im)) 1 (pow (cos im) 2/3) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (* (sqrt (cbrt (cos im))) (cbrt (sqrt (cos im)))) (* (sqrt (cbrt (cos im))) (cbrt (sqrt (cos im)))) (* (sqrt (cbrt (cos im))) (cbrt (sqrt (cos im)))) (* (sqrt (cbrt (cos im))) (cbrt (sqrt (cos im)))) (cbrt (cos im)) (cbrt (cos im)) 2/3 2 (* (cbrt (pow (cos im) 2/3)) (cbrt (cos im))) (* (cbrt (cos im)) (cbrt (sqrt (cos im)))) (cbrt (cos im)) (pow (cbrt (cbrt (cos im))) 5) (pow (sqrt (cbrt (cos im))) 3) (cbrt (cos im)) (pow (cbrt (cbrt (cos im))) 4) (* (cbrt (cos im)) (cbrt (sqrt (cos im)))) (pow (cos im) 2/3) (pow (cbrt (cbrt (cos im))) 4) (pow (sqrt (cbrt (cos im))) 3) (pow (cos im) 2/3) (- 1 (+ (* 1/72 (pow im 4)) (* 1/6 (pow im 2)))) (cbrt (cos im)) (cbrt (cos im)) (- 1 (+ (* 1/72 (pow im 4)) (* 1/6 (pow im 2)))) (cbrt (cos im)) (cbrt (cos im)) (- 1 (+ (* 1/72 (pow im 4)) (* 1/6 (pow im 2)))) (cbrt (cos im)) (cbrt (cos im)) (- 1 (+ (* 1/405 (pow im 6)) (* 1/3 (pow im 2)))) (pow (cos im) 2/3) (pow (cos im) 2/3) 5.937 * * * [progress]: adding candidates to table 6.131 * [progress]: [Phase 3 of 3] Extracting. 6.131 * * [regime]: Finding splitpoints for: (# #) 6.132 * * * [regime-changes]: Trying 5 branch expressions: ((cos im) (exp re) (* (exp re) (cos im)) im re) 6.132 * * * * [regimes]: Trying to branch on (cos im) from (# #) 6.149 * * * * [regimes]: Trying to branch on (exp re) from (# #) 6.162 * * * * [regimes]: Trying to branch on (* (exp re) (cos im)) from (# #) 6.179 * * * * [regimes]: Trying to branch on im from (# #) 6.193 * * * * [regimes]: Trying to branch on re from (# #) 6.205 * * * [regime]: Found split indices: #