0.924 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.097 * * * [progress]: [2/2] Setting up program. 0.101 * [progress]: [Phase 2 of 3] Improving. 0.105 * [simplify]: Simplifying: (- (* re re) (* im im)) 0.106 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: Extracting # 1 : cost 0 0.106 * * [simplify]: Extracting # 2 : cost 0 0.107 * * [simplify]: Extracting # 3 : cost 0 0.107 * * [simplify]: Extracting # 4 : cost 0 0.107 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.115 * * [simplify]: Extracting # 0 : cost 0 0.115 * * [simplify]: Extracting # 1 : cost 0 0.115 * * [simplify]: Extracting # 2 : cost 0 0.115 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.119 * * [simplify]: Extracting # 0 : cost 0 0.119 * * [simplify]: Extracting # 1 : cost 0 0.119 * * [simplify]: Extracting # 2 : cost 0 0.119 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.124 * * [simplify]: Extracting # 0 : cost 0 0.124 * * [simplify]: Extracting # 1 : cost 0 0.124 * * [simplify]: Extracting # 2 : cost 0 0.124 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 0.172 * * [simplify]: Extracting # 0 : cost 0 0.172 * * [simplify]: Extracting # 1 : cost 0 0.173 * * [simplify]: Extracting # 2 : cost 0 0.173 * * [simplify]: iteration 4 : 58 enodes (cost 7 ) 0.203 * * [simplify]: Extracting # 0 : cost 0 0.204 * * [simplify]: Extracting # 1 : cost 0 0.204 * * [simplify]: Extracting # 2 : cost 0 0.204 * * [simplify]: iteration 5 : 129 enodes (cost 7 ) 0.267 * * [simplify]: Extracting # 0 : cost 0 0.267 * * [simplify]: Extracting # 1 : cost 0 0.268 * * [simplify]: Extracting # 2 : cost 0 0.271 * * [simplify]: Extracting # 3 : cost 0 0.271 * * [simplify]: iteration 6 : 278 enodes (cost 7 ) 0.435 * * [simplify]: Extracting # 0 : cost 0 0.436 * * [simplify]: Extracting # 1 : cost 0 0.437 * * [simplify]: Extracting # 2 : cost 0 0.437 * * [simplify]: Extracting # 3 : cost 0 0.438 * * [simplify]: iteration 7 : 705 enodes (cost 7 ) 1.564 * * [simplify]: Extracting # 0 : cost 0 1.577 * * [simplify]: Extracting # 1 : cost 0 1.582 * * [simplify]: Extracting # 2 : cost 0 1.584 * * [simplify]: Extracting # 3 : cost 0 1.587 * * [simplify]: Extracting # 4 : cost 0 1.589 * * [simplify]: iteration 8 : 3149 enodes (cost 7 ) 3.778 * * [simplify]: Extracting # 0 : cost 0 3.816 * * [simplify]: Extracting # 1 : cost 0 3.823 * * [simplify]: Extracting # 2 : cost 0 3.830 * * [simplify]: Extracting # 3 : cost 0 3.836 * * [simplify]: Extracting # 4 : cost 0 3.842 * * [simplify]: iteration done: 5000 enodes (cost 7 ) 3.843 * [simplify]: Simplified to: (* (+ im re) (- re im)) 3.851 * * [progress]: iteration 1 / 4 3.851 * * * [progress]: picking best candidate 3.856 * * * * [pick]: Picked # 3.856 * * * [progress]: localizing error 3.870 * * * [progress]: generating rewritten candidates 3.870 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.956 * * * [progress]: generating series expansions 3.957 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.964 * [backup-simplify]: Simplify (* (+ im re) (- re im)) into (* (+ re im) (- re im)) 3.964 * [approximate]: Taking taylor expansion of (* (+ re im) (- re im)) in (im re) around 0 3.966 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 3.966 * [taylor]: Taking taylor expansion of (+ re im) in re 3.966 * [taylor]: Taking taylor expansion of re in re 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify 1 into 1 3.966 * [taylor]: Taking taylor expansion of im in re 3.966 * [backup-simplify]: Simplify im into im 3.966 * [taylor]: Taking taylor expansion of (- re im) in re 3.966 * [taylor]: Taking taylor expansion of re in re 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify 1 into 1 3.966 * [taylor]: Taking taylor expansion of im in re 3.966 * [backup-simplify]: Simplify im into im 3.966 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in im 3.966 * [taylor]: Taking taylor expansion of (+ re im) in im 3.966 * [taylor]: Taking taylor expansion of re in im 3.966 * [backup-simplify]: Simplify re into re 3.967 * [taylor]: Taking taylor expansion of im in im 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 1 into 1 3.967 * [taylor]: Taking taylor expansion of (- re im) in im 3.967 * [taylor]: Taking taylor expansion of re in im 3.967 * [backup-simplify]: Simplify re into re 3.967 * [taylor]: Taking taylor expansion of im in im 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 1 into 1 3.967 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in im 3.967 * [taylor]: Taking taylor expansion of (+ re im) in im 3.967 * [taylor]: Taking taylor expansion of re in im 3.967 * [backup-simplify]: Simplify re into re 3.967 * [taylor]: Taking taylor expansion of im in im 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 1 into 1 3.967 * [taylor]: Taking taylor expansion of (- re im) in im 3.967 * [taylor]: Taking taylor expansion of re in im 3.967 * [backup-simplify]: Simplify re into re 3.967 * [taylor]: Taking taylor expansion of im in im 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 1 into 1 3.968 * [backup-simplify]: Simplify (+ re 0) into re 3.969 * [backup-simplify]: Simplify (- 0) into 0 3.969 * [backup-simplify]: Simplify (+ re 0) into re 3.969 * [backup-simplify]: Simplify (* re re) into (pow re 2) 3.969 * [taylor]: Taking taylor expansion of (pow re 2) in re 3.969 * [taylor]: Taking taylor expansion of re in re 3.969 * [backup-simplify]: Simplify 0 into 0 3.969 * [backup-simplify]: Simplify 1 into 1 3.970 * [backup-simplify]: Simplify (- 1) into -1 3.970 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.971 * [backup-simplify]: Simplify (+ 0 1) into 1 3.971 * [backup-simplify]: Simplify (+ (* re -1) (* 1 re)) into 0 3.971 * [taylor]: Taking taylor expansion of 0 in re 3.971 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify (- 0) into 0 3.972 * [backup-simplify]: Simplify (+ 0 0) into 0 3.973 * [backup-simplify]: Simplify (+ 0 0) into 0 3.973 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 1 -1) (* 0 re))) into (- 1) 3.973 * [taylor]: Taking taylor expansion of (- 1) in re 3.973 * [taylor]: Taking taylor expansion of 1 in re 3.973 * [backup-simplify]: Simplify 1 into 1 3.974 * [backup-simplify]: Simplify (- 1) into -1 3.974 * [backup-simplify]: Simplify -1 into -1 3.974 * [backup-simplify]: Simplify 0 into 0 3.975 * [backup-simplify]: Simplify (* 1 1) into 1 3.975 * [backup-simplify]: Simplify 1 into 1 3.975 * [backup-simplify]: Simplify (- 0) into 0 3.975 * [backup-simplify]: Simplify (+ 0 0) into 0 3.976 * [backup-simplify]: Simplify (+ 0 0) into 0 3.977 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 1 0) (+ (* 0 -1) (* 0 re)))) into 0 3.977 * [taylor]: Taking taylor expansion of 0 in re 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify (- 0) into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify (- 0) into 0 3.979 * [backup-simplify]: Simplify (+ 0 0) into 0 3.979 * [backup-simplify]: Simplify (+ 0 0) into 0 3.980 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1) (* 0 re))))) into 0 3.980 * [taylor]: Taking taylor expansion of 0 in re 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify (+ (* 1 (pow (* re 1) 2)) (* -1 (pow (* 1 im) 2))) into (- (pow re 2) (pow im 2)) 3.982 * [backup-simplify]: Simplify (* (+ (/ 1 im) (/ 1 re)) (- (/ 1 re) (/ 1 im))) into (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) 3.982 * [approximate]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in (im re) around 0 3.982 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 3.982 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 3.982 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.982 * [taylor]: Taking taylor expansion of re in re 3.982 * [backup-simplify]: Simplify 0 into 0 3.982 * [backup-simplify]: Simplify 1 into 1 3.982 * [backup-simplify]: Simplify (/ 1 1) into 1 3.983 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.983 * [taylor]: Taking taylor expansion of im in re 3.983 * [backup-simplify]: Simplify im into im 3.983 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 3.983 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 3.983 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.983 * [taylor]: Taking taylor expansion of im in re 3.983 * [backup-simplify]: Simplify im into im 3.983 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 3.983 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.983 * [taylor]: Taking taylor expansion of re in re 3.983 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify 1 into 1 3.984 * [backup-simplify]: Simplify (/ 1 1) into 1 3.984 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in im 3.984 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 3.984 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.984 * [taylor]: Taking taylor expansion of re in im 3.984 * [backup-simplify]: Simplify re into re 3.984 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 3.984 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.984 * [taylor]: Taking taylor expansion of im in im 3.984 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify 1 into 1 3.984 * [backup-simplify]: Simplify (/ 1 1) into 1 3.984 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 3.984 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.984 * [taylor]: Taking taylor expansion of im in im 3.984 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify 1 into 1 3.985 * [backup-simplify]: Simplify (/ 1 1) into 1 3.985 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.985 * [taylor]: Taking taylor expansion of re in im 3.985 * [backup-simplify]: Simplify re into re 3.985 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 3.985 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in im 3.985 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 3.985 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.985 * [taylor]: Taking taylor expansion of re in im 3.985 * [backup-simplify]: Simplify re into re 3.985 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 3.985 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.985 * [taylor]: Taking taylor expansion of im in im 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 1 into 1 3.986 * [backup-simplify]: Simplify (/ 1 1) into 1 3.986 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 3.986 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.986 * [taylor]: Taking taylor expansion of im in im 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 1 into 1 3.986 * [backup-simplify]: Simplify (/ 1 1) into 1 3.986 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.986 * [taylor]: Taking taylor expansion of re in im 3.986 * [backup-simplify]: Simplify re into re 3.986 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 3.987 * [backup-simplify]: Simplify (- 1) into -1 3.987 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.988 * [backup-simplify]: Simplify (+ 1 0) into 1 3.988 * [backup-simplify]: Simplify (* -1 1) into -1 3.988 * [taylor]: Taking taylor expansion of -1 in re 3.988 * [backup-simplify]: Simplify -1 into -1 3.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.989 * [backup-simplify]: Simplify (+ 0 (/ 1 re)) into (/ 1 re) 3.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.990 * [backup-simplify]: Simplify (- 0) into 0 3.990 * [backup-simplify]: Simplify (+ (/ 1 re) 0) into (/ 1 re) 3.990 * [backup-simplify]: Simplify (+ (* -1 (/ 1 re)) (* (/ 1 re) 1)) into 0 3.991 * [taylor]: Taking taylor expansion of 0 in re 3.991 * [backup-simplify]: Simplify 0 into 0 3.991 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.992 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 3.992 * [backup-simplify]: Simplify (+ 0 0) into 0 3.992 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 3.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.993 * [backup-simplify]: Simplify (- 0) into 0 3.994 * [backup-simplify]: Simplify (+ 0 0) into 0 3.995 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 re) (/ 1 re)) (* 0 1))) into (/ 1 (pow re 2)) 3.995 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 3.995 * [taylor]: Taking taylor expansion of (pow re 2) in re 3.995 * [taylor]: Taking taylor expansion of re in re 3.995 * [backup-simplify]: Simplify 0 into 0 3.995 * [backup-simplify]: Simplify 1 into 1 3.995 * [backup-simplify]: Simplify (* 1 1) into 1 3.996 * [backup-simplify]: Simplify (/ 1 1) into 1 3.996 * [backup-simplify]: Simplify 1 into 1 3.996 * [backup-simplify]: Simplify -1 into -1 3.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 3.997 * [backup-simplify]: Simplify (+ 0 0) into 0 3.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 3.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.999 * [backup-simplify]: Simplify (- 0) into 0 3.999 * [backup-simplify]: Simplify (+ 0 0) into 0 4.000 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 re) 0) (+ (* 0 (/ 1 re)) (* 0 1)))) into 0 4.000 * [taylor]: Taking taylor expansion of 0 in re 4.000 * [backup-simplify]: Simplify 0 into 0 4.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.001 * [backup-simplify]: Simplify 0 into 0 4.001 * [backup-simplify]: Simplify 0 into 0 4.001 * [backup-simplify]: Simplify 0 into 0 4.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.003 * [backup-simplify]: Simplify (+ 0 0) into 0 4.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.005 * [backup-simplify]: Simplify (- 0) into 0 4.005 * [backup-simplify]: Simplify (+ 0 0) into 0 4.006 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 re) 0) (+ (* 0 0) (+ (* 0 (/ 1 re)) (* 0 1))))) into 0 4.006 * [taylor]: Taking taylor expansion of 0 in re 4.007 * [backup-simplify]: Simplify 0 into 0 4.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.008 * [backup-simplify]: Simplify 0 into 0 4.008 * [backup-simplify]: Simplify 0 into 0 4.008 * [backup-simplify]: Simplify 0 into 0 4.009 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (/ 1 (/ 1 im))) 2)) (* 1 (pow (* (/ 1 (/ 1 re)) 1) 2))) into (- (pow re 2) (pow im 2)) 4.009 * [backup-simplify]: Simplify (* (+ (/ 1 (- im)) (/ 1 (- re))) (- (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) 4.009 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in (im re) around 0 4.009 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 4.009 * [taylor]: Taking taylor expansion of -1 in re 4.009 * [backup-simplify]: Simplify -1 into -1 4.010 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 4.010 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 4.010 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.010 * [taylor]: Taking taylor expansion of im in re 4.010 * [backup-simplify]: Simplify im into im 4.010 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.010 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.010 * [taylor]: Taking taylor expansion of re in re 4.010 * [backup-simplify]: Simplify 0 into 0 4.010 * [backup-simplify]: Simplify 1 into 1 4.010 * [backup-simplify]: Simplify (/ 1 1) into 1 4.010 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 4.010 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.010 * [taylor]: Taking taylor expansion of im in re 4.010 * [backup-simplify]: Simplify im into im 4.010 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.010 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.011 * [taylor]: Taking taylor expansion of re in re 4.011 * [backup-simplify]: Simplify 0 into 0 4.011 * [backup-simplify]: Simplify 1 into 1 4.011 * [backup-simplify]: Simplify (/ 1 1) into 1 4.011 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in im 4.011 * [taylor]: Taking taylor expansion of -1 in im 4.011 * [backup-simplify]: Simplify -1 into -1 4.011 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in im 4.011 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 4.011 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.011 * [taylor]: Taking taylor expansion of im in im 4.011 * [backup-simplify]: Simplify 0 into 0 4.011 * [backup-simplify]: Simplify 1 into 1 4.012 * [backup-simplify]: Simplify (/ 1 1) into 1 4.012 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.012 * [taylor]: Taking taylor expansion of re in im 4.012 * [backup-simplify]: Simplify re into re 4.012 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.012 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 4.012 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.012 * [taylor]: Taking taylor expansion of im in im 4.012 * [backup-simplify]: Simplify 0 into 0 4.012 * [backup-simplify]: Simplify 1 into 1 4.012 * [backup-simplify]: Simplify (/ 1 1) into 1 4.012 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.012 * [taylor]: Taking taylor expansion of re in im 4.012 * [backup-simplify]: Simplify re into re 4.013 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.013 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in im 4.013 * [taylor]: Taking taylor expansion of -1 in im 4.013 * [backup-simplify]: Simplify -1 into -1 4.013 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in im 4.013 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 4.013 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.013 * [taylor]: Taking taylor expansion of im in im 4.013 * [backup-simplify]: Simplify 0 into 0 4.013 * [backup-simplify]: Simplify 1 into 1 4.014 * [backup-simplify]: Simplify (/ 1 1) into 1 4.014 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.014 * [taylor]: Taking taylor expansion of re in im 4.014 * [backup-simplify]: Simplify re into re 4.014 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.014 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 4.014 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.014 * [taylor]: Taking taylor expansion of im in im 4.014 * [backup-simplify]: Simplify 0 into 0 4.014 * [backup-simplify]: Simplify 1 into 1 4.014 * [backup-simplify]: Simplify (/ 1 1) into 1 4.014 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.014 * [taylor]: Taking taylor expansion of re in im 4.014 * [backup-simplify]: Simplify re into re 4.015 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.015 * [backup-simplify]: Simplify (+ 1 0) into 1 4.015 * [backup-simplify]: Simplify (+ 1 0) into 1 4.016 * [backup-simplify]: Simplify (* 1 1) into 1 4.016 * [backup-simplify]: Simplify (* -1 1) into -1 4.016 * [taylor]: Taking taylor expansion of -1 in re 4.016 * [backup-simplify]: Simplify -1 into -1 4.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.017 * [backup-simplify]: Simplify (+ 0 (/ 1 re)) into (/ 1 re) 4.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.018 * [backup-simplify]: Simplify (- (/ 1 re)) into (- (/ 1 re)) 4.018 * [backup-simplify]: Simplify (+ 0 (- (/ 1 re))) into (- (/ 1 re)) 4.018 * [backup-simplify]: Simplify (+ (* 1 (/ 1 re)) (* (- (/ 1 re)) 1)) into 0 4.019 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 4.019 * [taylor]: Taking taylor expansion of 0 in re 4.019 * [backup-simplify]: Simplify 0 into 0 4.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.020 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 4.021 * [backup-simplify]: Simplify (+ 0 0) into 0 4.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.022 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 4.022 * [backup-simplify]: Simplify (- 0) into 0 4.023 * [backup-simplify]: Simplify (+ 0 0) into 0 4.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 re)) (/ 1 re)) (* 0 1))) into (- (/ 1 (pow re 2))) 4.025 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 (pow re 2)))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow re 2)) 4.025 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 4.025 * [taylor]: Taking taylor expansion of (pow re 2) in re 4.025 * [taylor]: Taking taylor expansion of re in re 4.025 * [backup-simplify]: Simplify 0 into 0 4.025 * [backup-simplify]: Simplify 1 into 1 4.025 * [backup-simplify]: Simplify (* 1 1) into 1 4.026 * [backup-simplify]: Simplify (/ 1 1) into 1 4.026 * [backup-simplify]: Simplify 1 into 1 4.026 * [backup-simplify]: Simplify -1 into -1 4.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.027 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.027 * [backup-simplify]: Simplify (+ 0 0) into 0 4.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.029 * [backup-simplify]: Simplify (- 0) into 0 4.029 * [backup-simplify]: Simplify (+ 0 0) into 0 4.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 re)) 0) (+ (* 0 (/ 1 re)) (* 0 1)))) into 0 4.032 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 (pow re 2)))) (+ (* 0 0) (* 0 1)))) into 0 4.032 * [taylor]: Taking taylor expansion of 0 in re 4.032 * [backup-simplify]: Simplify 0 into 0 4.033 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.033 * [backup-simplify]: Simplify 0 into 0 4.033 * [backup-simplify]: Simplify 0 into 0 4.034 * [backup-simplify]: Simplify 0 into 0 4.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.035 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.035 * [backup-simplify]: Simplify (+ 0 0) into 0 4.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.037 * [backup-simplify]: Simplify (- 0) into 0 4.037 * [backup-simplify]: Simplify (+ 0 0) into 0 4.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 (/ 1 re)) (* 0 1))))) into 0 4.040 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow re 2)))) (+ (* 0 0) (* 0 1))))) into 0 4.040 * [taylor]: Taking taylor expansion of 0 in re 4.040 * [backup-simplify]: Simplify 0 into 0 4.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.042 * [backup-simplify]: Simplify 0 into 0 4.042 * [backup-simplify]: Simplify 0 into 0 4.042 * [backup-simplify]: Simplify 0 into 0 4.043 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (/ 1 (/ 1 (- im)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- re))) 1) 2))) into (- (pow re 2) (pow im 2)) 4.043 * * * [progress]: simplifying candidates 4.044 * [simplify]: Simplifying: (* (+ im re) (- re im)) (+ (log (+ im re)) (log (- re im))) (log (* (+ im re) (- re im))) (exp (* (+ im re) (- re im))) (* (* (* (+ im re) (+ im re)) (+ im re)) (* (* (- re im) (- re im)) (- re im))) (* (cbrt (* (+ im re) (- re im))) (cbrt (* (+ im re) (- re im)))) (cbrt (* (+ im re) (- re im))) (* (* (* (+ im re) (- re im)) (* (+ im re) (- re im))) (* (+ im re) (- re im))) (sqrt (* (+ im re) (- re im))) (sqrt (* (+ im re) (- re im))) (* (+ (pow im 3) (pow re 3)) (- (pow re 3) (pow im 3))) (* (+ (* im im) (- (* re re) (* im re))) (+ (* re re) (+ (* im im) (* re im)))) (* (+ (pow im 3) (pow re 3)) (- (* re re) (* im im))) (* (+ (* im im) (- (* re re) (* im re))) (+ re im)) (* (- (* im im) (* re re)) (- (pow re 3) (pow im 3))) (* (- im re) (+ (* re re) (+ (* im im) (* re im)))) (* (- (* im im) (* re re)) (- (* re re) (* im im))) (* (- im re) (+ re im)) (* (sqrt (+ im re)) (sqrt (- re im))) (* (sqrt (+ im re)) (sqrt (- re im))) (* (+ im re) re) (* (+ im re) (- im)) (* (+ im re) re) (* (+ im re) (- im)) (* re (+ im re)) (* (- im) (+ im re)) (* re (+ im re)) (* (- im) (+ im re)) (* (+ im re) (* (cbrt (- re im)) (cbrt (- re im)))) (* (+ im re) (sqrt (- re im))) (* (+ im re) 1) (* (+ im re) (+ (sqrt re) (sqrt im))) (* (+ im re) 1) (* (cbrt (+ im re)) (- re im)) (* (sqrt (+ im re)) (- re im)) (* (+ im re) (- re im)) (* (+ im re) (- re im)) (* (+ im re) (- (pow re 3) (pow im 3))) (* (+ im re) (- (* re re) (* im im))) (* (+ (pow im 3) (pow re 3)) (- re im)) (* (- (* im im) (* re re)) (- re im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 4.046 * * [simplify]: Extracting # 0 : cost 0 4.046 * * [simplify]: Extracting # 1 : cost 0 4.046 * * [simplify]: Extracting # 2 : cost 0 4.046 * * [simplify]: Extracting # 3 : cost 0 4.046 * * [simplify]: Extracting # 4 : cost 0 4.047 * * [simplify]: Extracting # 5 : cost 0 4.047 * * [simplify]: Extracting # 6 : cost 0 4.047 * * [simplify]: iteration 0 : 74 enodes (cost 436 ) 4.087 * * [simplify]: Extracting # 0 : cost 0 4.088 * * [simplify]: Extracting # 1 : cost 0 4.088 * * [simplify]: Extracting # 2 : cost 0 4.088 * * [simplify]: Extracting # 3 : cost 0 4.089 * * [simplify]: Extracting # 4 : cost 0 4.089 * * [simplify]: iteration 1 : 220 enodes (cost 423 ) 4.271 * * [simplify]: Extracting # 0 : cost 0 4.273 * * [simplify]: Extracting # 1 : cost 0 4.276 * * [simplify]: Extracting # 2 : cost 0 4.278 * * [simplify]: Extracting # 3 : cost 0 4.284 * * [simplify]: Extracting # 4 : cost 0 4.289 * * [simplify]: iteration 2 : 1622 enodes (cost 397 ) 4.967 * * [simplify]: Extracting # 0 : cost 0 4.982 * * [simplify]: Extracting # 1 : cost 0 5.010 * * [simplify]: Extracting # 2 : cost 0 5.021 * * [simplify]: Extracting # 3 : cost 0 5.029 * * [simplify]: Extracting # 4 : cost 0 5.037 * * [simplify]: iteration done: 5001 enodes (cost 395 ) 5.037 * [simplify]: Simplified to: (* (+ re im) (- re im)) (log (* (+ im re) (- re im))) (log (* (+ im re) (- re im))) (exp (* (+ im re) (- re im))) (pow (- (* re re) (* im im)) 3) (* (cbrt (* (+ im re) (- re im))) (cbrt (* (+ im re) (- re im)))) (cbrt (* (+ im re) (- re im))) (pow (- (* re re) (* im im)) 3) (sqrt (* (+ im re) (- re im))) (sqrt (* (+ im re) (- re im))) (* (+ (pow im 3) (pow re 3)) (- (pow re 3) (pow im 3))) (* (+ (* im (+ re im)) (* re re)) (+ (* im im) (* re (- re im)))) (* (+ (pow im 3) (pow re 3)) (- (* re re) (* im im))) (* (+ (* im im) (* re (- re im))) (+ im re)) (* (- (* im im) (* re re)) (- (pow re 3) (pow im 3))) (* (+ (* im (+ re im)) (* re re)) (- im re)) (* (- (* im im) (* re re)) (- (* re re) (* im im))) (- (* im im) (* re re)) (* (sqrt (+ im re)) (sqrt (- re im))) (* (sqrt (+ im re)) (sqrt (- re im))) (* re (+ im re)) (* (- im) (+ im re)) (* re (+ im re)) (* (- im) (+ im re)) (* re (+ im re)) (* (- im) (+ im re)) (* re (+ im re)) (* (- im) (+ im re)) (* (+ im re) (* (cbrt (- re im)) (cbrt (- re im)))) (* (+ im re) (sqrt (- re im))) (+ im re) (* (+ im re) (+ (sqrt re) (sqrt im))) (+ im re) (* (cbrt (+ im re)) (- re im)) (* (sqrt (+ im re)) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- re im)) (* (+ im re) (- (pow re 3) (pow im 3))) (* (+ im re) (- (* re re) (* im im))) (* (+ (pow im 3) (pow re 3)) (- re im)) (* (- (* im im) (* re re)) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- re im)) 5.038 * * * [progress]: adding candidates to table 5.141 * * [progress]: iteration 2 / 4 5.141 * * * [progress]: picking best candidate 5.142 * * * * [pick]: Picked # 5.142 * * * [progress]: localizing error 5.148 * * * [progress]: generating rewritten candidates 5.148 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.164 * * * [progress]: generating series expansions 5.164 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.164 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 5.164 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 5.164 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 5.164 * [taylor]: Taking taylor expansion of (pow re 2) in im 5.164 * [taylor]: Taking taylor expansion of re in im 5.164 * [backup-simplify]: Simplify re into re 5.164 * [taylor]: Taking taylor expansion of (pow im 2) in im 5.164 * [taylor]: Taking taylor expansion of im in im 5.164 * [backup-simplify]: Simplify 0 into 0 5.165 * [backup-simplify]: Simplify 1 into 1 5.165 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 5.165 * [taylor]: Taking taylor expansion of (pow re 2) in re 5.165 * [taylor]: Taking taylor expansion of re in re 5.165 * [backup-simplify]: Simplify 0 into 0 5.165 * [backup-simplify]: Simplify 1 into 1 5.165 * [taylor]: Taking taylor expansion of (pow im 2) in re 5.165 * [taylor]: Taking taylor expansion of im in re 5.165 * [backup-simplify]: Simplify im into im 5.165 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 5.165 * [taylor]: Taking taylor expansion of (pow re 2) in re 5.165 * [taylor]: Taking taylor expansion of re in re 5.165 * [backup-simplify]: Simplify 0 into 0 5.165 * [backup-simplify]: Simplify 1 into 1 5.165 * [taylor]: Taking taylor expansion of (pow im 2) in re 5.165 * [taylor]: Taking taylor expansion of im in re 5.165 * [backup-simplify]: Simplify im into im 5.165 * [backup-simplify]: Simplify (* im im) into (pow im 2) 5.165 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 5.165 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 5.165 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 5.166 * [taylor]: Taking taylor expansion of (pow im 2) in im 5.166 * [taylor]: Taking taylor expansion of im in im 5.166 * [backup-simplify]: Simplify 0 into 0 5.166 * [backup-simplify]: Simplify 1 into 1 5.166 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 5.166 * [backup-simplify]: Simplify (- 0) into 0 5.167 * [backup-simplify]: Simplify (+ 0 0) into 0 5.167 * [taylor]: Taking taylor expansion of 0 in im 5.167 * [backup-simplify]: Simplify 0 into 0 5.167 * [backup-simplify]: Simplify 0 into 0 5.167 * [backup-simplify]: Simplify (* 1 1) into 1 5.168 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 5.168 * [backup-simplify]: Simplify (- 0) into 0 5.168 * [backup-simplify]: Simplify (+ 1 0) into 1 5.168 * [taylor]: Taking taylor expansion of 1 in im 5.168 * [backup-simplify]: Simplify 1 into 1 5.169 * [backup-simplify]: Simplify 1 into 1 5.169 * [backup-simplify]: Simplify 0 into 0 5.169 * [backup-simplify]: Simplify (* 1 1) into 1 5.169 * [backup-simplify]: Simplify (- 1) into -1 5.169 * [backup-simplify]: Simplify -1 into -1 5.170 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.171 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 5.171 * [backup-simplify]: Simplify (- 0) into 0 5.172 * [backup-simplify]: Simplify (+ 0 0) into 0 5.172 * [taylor]: Taking taylor expansion of 0 in im 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 0 into 0 5.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.173 * [backup-simplify]: Simplify (- 0) into 0 5.173 * [backup-simplify]: Simplify 0 into 0 5.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.175 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 5.175 * [backup-simplify]: Simplify (- 0) into 0 5.176 * [backup-simplify]: Simplify (+ 0 0) into 0 5.176 * [taylor]: Taking taylor expansion of 0 in im 5.176 * [backup-simplify]: Simplify 0 into 0 5.176 * [backup-simplify]: Simplify 0 into 0 5.176 * [backup-simplify]: Simplify 0 into 0 5.176 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 5.177 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 5.177 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 5.177 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 5.177 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 5.177 * [taylor]: Taking taylor expansion of (pow re 2) in im 5.177 * [taylor]: Taking taylor expansion of re in im 5.177 * [backup-simplify]: Simplify re into re 5.177 * [backup-simplify]: Simplify (* re re) into (pow re 2) 5.177 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 5.177 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 5.177 * [taylor]: Taking taylor expansion of (pow im 2) in im 5.177 * [taylor]: Taking taylor expansion of im in im 5.177 * [backup-simplify]: Simplify 0 into 0 5.177 * [backup-simplify]: Simplify 1 into 1 5.178 * [backup-simplify]: Simplify (* 1 1) into 1 5.178 * [backup-simplify]: Simplify (/ 1 1) into 1 5.178 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 5.178 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 5.178 * [taylor]: Taking taylor expansion of (pow re 2) in re 5.178 * [taylor]: Taking taylor expansion of re in re 5.178 * [backup-simplify]: Simplify 0 into 0 5.178 * [backup-simplify]: Simplify 1 into 1 5.178 * [backup-simplify]: Simplify (* 1 1) into 1 5.179 * [backup-simplify]: Simplify (/ 1 1) into 1 5.179 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 5.179 * [taylor]: Taking taylor expansion of (pow im 2) in re 5.179 * [taylor]: Taking taylor expansion of im in re 5.179 * [backup-simplify]: Simplify im into im 5.179 * [backup-simplify]: Simplify (* im im) into (pow im 2) 5.179 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 5.179 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 5.179 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 5.179 * [taylor]: Taking taylor expansion of (pow re 2) in re 5.179 * [taylor]: Taking taylor expansion of re in re 5.179 * [backup-simplify]: Simplify 0 into 0 5.179 * [backup-simplify]: Simplify 1 into 1 5.180 * [backup-simplify]: Simplify (* 1 1) into 1 5.180 * [backup-simplify]: Simplify (/ 1 1) into 1 5.180 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 5.180 * [taylor]: Taking taylor expansion of (pow im 2) in re 5.180 * [taylor]: Taking taylor expansion of im in re 5.180 * [backup-simplify]: Simplify im into im 5.180 * [backup-simplify]: Simplify (* im im) into (pow im 2) 5.180 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 5.181 * [backup-simplify]: Simplify (+ 1 0) into 1 5.181 * [taylor]: Taking taylor expansion of 1 in im 5.181 * [backup-simplify]: Simplify 1 into 1 5.182 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.183 * [backup-simplify]: Simplify (+ 0 0) into 0 5.183 * [taylor]: Taking taylor expansion of 0 in im 5.183 * [backup-simplify]: Simplify 0 into 0 5.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.185 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 5.185 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 5.185 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 5.185 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 5.185 * [taylor]: Taking taylor expansion of (pow im 2) in im 5.185 * [taylor]: Taking taylor expansion of im in im 5.185 * [backup-simplify]: Simplify 0 into 0 5.185 * [backup-simplify]: Simplify 1 into 1 5.186 * [backup-simplify]: Simplify (* 1 1) into 1 5.186 * [backup-simplify]: Simplify (/ 1 1) into 1 5.186 * [backup-simplify]: Simplify (- 1) into -1 5.186 * [backup-simplify]: Simplify -1 into -1 5.187 * [backup-simplify]: Simplify 1 into 1 5.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.189 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 5.189 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 5.189 * [backup-simplify]: Simplify (- 0) into 0 5.190 * [backup-simplify]: Simplify (+ 0 0) into 0 5.190 * [taylor]: Taking taylor expansion of 0 in im 5.190 * [backup-simplify]: Simplify 0 into 0 5.190 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.192 * [backup-simplify]: Simplify (- 0) into 0 5.192 * [backup-simplify]: Simplify 0 into 0 5.192 * [backup-simplify]: Simplify 0 into 0 5.192 * [backup-simplify]: Simplify 0 into 0 5.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.194 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 5.194 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 5.194 * [backup-simplify]: Simplify (- 0) into 0 5.195 * [backup-simplify]: Simplify (+ 0 0) into 0 5.195 * [taylor]: Taking taylor expansion of 0 in im 5.195 * [backup-simplify]: Simplify 0 into 0 5.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.196 * [backup-simplify]: Simplify (- 0) into 0 5.196 * [backup-simplify]: Simplify 0 into 0 5.196 * [backup-simplify]: Simplify 0 into 0 5.196 * [backup-simplify]: Simplify 0 into 0 5.196 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 5.196 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 5.196 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 5.196 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 5.196 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 5.196 * [taylor]: Taking taylor expansion of (pow re 2) in im 5.197 * [taylor]: Taking taylor expansion of re in im 5.197 * [backup-simplify]: Simplify re into re 5.197 * [backup-simplify]: Simplify (* re re) into (pow re 2) 5.197 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 5.197 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 5.197 * [taylor]: Taking taylor expansion of (pow im 2) in im 5.197 * [taylor]: Taking taylor expansion of im in im 5.197 * [backup-simplify]: Simplify 0 into 0 5.197 * [backup-simplify]: Simplify 1 into 1 5.197 * [backup-simplify]: Simplify (* 1 1) into 1 5.197 * [backup-simplify]: Simplify (/ 1 1) into 1 5.197 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 5.197 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 5.197 * [taylor]: Taking taylor expansion of (pow re 2) in re 5.197 * [taylor]: Taking taylor expansion of re in re 5.197 * [backup-simplify]: Simplify 0 into 0 5.197 * [backup-simplify]: Simplify 1 into 1 5.198 * [backup-simplify]: Simplify (* 1 1) into 1 5.198 * [backup-simplify]: Simplify (/ 1 1) into 1 5.198 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 5.198 * [taylor]: Taking taylor expansion of (pow im 2) in re 5.198 * [taylor]: Taking taylor expansion of im in re 5.198 * [backup-simplify]: Simplify im into im 5.198 * [backup-simplify]: Simplify (* im im) into (pow im 2) 5.198 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 5.198 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 5.198 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 5.198 * [taylor]: Taking taylor expansion of (pow re 2) in re 5.198 * [taylor]: Taking taylor expansion of re in re 5.198 * [backup-simplify]: Simplify 0 into 0 5.198 * [backup-simplify]: Simplify 1 into 1 5.198 * [backup-simplify]: Simplify (* 1 1) into 1 5.199 * [backup-simplify]: Simplify (/ 1 1) into 1 5.199 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 5.199 * [taylor]: Taking taylor expansion of (pow im 2) in re 5.199 * [taylor]: Taking taylor expansion of im in re 5.199 * [backup-simplify]: Simplify im into im 5.199 * [backup-simplify]: Simplify (* im im) into (pow im 2) 5.199 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 5.199 * [backup-simplify]: Simplify (+ 1 0) into 1 5.199 * [taylor]: Taking taylor expansion of 1 in im 5.199 * [backup-simplify]: Simplify 1 into 1 5.200 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.200 * [backup-simplify]: Simplify (+ 0 0) into 0 5.200 * [taylor]: Taking taylor expansion of 0 in im 5.200 * [backup-simplify]: Simplify 0 into 0 5.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.201 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 5.201 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 5.202 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 5.202 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 5.202 * [taylor]: Taking taylor expansion of (pow im 2) in im 5.202 * [taylor]: Taking taylor expansion of im in im 5.202 * [backup-simplify]: Simplify 0 into 0 5.202 * [backup-simplify]: Simplify 1 into 1 5.202 * [backup-simplify]: Simplify (* 1 1) into 1 5.202 * [backup-simplify]: Simplify (/ 1 1) into 1 5.202 * [backup-simplify]: Simplify (- 1) into -1 5.202 * [backup-simplify]: Simplify -1 into -1 5.202 * [backup-simplify]: Simplify 1 into 1 5.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.204 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 5.204 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 5.204 * [backup-simplify]: Simplify (- 0) into 0 5.204 * [backup-simplify]: Simplify (+ 0 0) into 0 5.204 * [taylor]: Taking taylor expansion of 0 in im 5.204 * [backup-simplify]: Simplify 0 into 0 5.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.205 * [backup-simplify]: Simplify (- 0) into 0 5.205 * [backup-simplify]: Simplify 0 into 0 5.205 * [backup-simplify]: Simplify 0 into 0 5.205 * [backup-simplify]: Simplify 0 into 0 5.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.207 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 5.207 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 5.207 * [backup-simplify]: Simplify (- 0) into 0 5.208 * [backup-simplify]: Simplify (+ 0 0) into 0 5.208 * [taylor]: Taking taylor expansion of 0 in im 5.208 * [backup-simplify]: Simplify 0 into 0 5.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.209 * [backup-simplify]: Simplify (- 0) into 0 5.209 * [backup-simplify]: Simplify 0 into 0 5.209 * [backup-simplify]: Simplify 0 into 0 5.209 * [backup-simplify]: Simplify 0 into 0 5.209 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 5.209 * * * [progress]: simplifying candidates 5.210 * [simplify]: Simplifying: (/ (exp (* re re)) (exp (* im im))) (log (- (* re re) (* im im))) (exp (- (* re re) (* im im))) (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))) (cbrt (- (* re re) (* im im))) (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))) (- (pow (* re re) 3) (pow (* im im) 3)) (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))) (- (* im im)) (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* re re) (* im im)) (+ re im) (- re im) (- (* im im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 5.210 * * [simplify]: Extracting # 0 : cost 0 5.210 * * [simplify]: Extracting # 1 : cost 0 5.210 * * [simplify]: Extracting # 2 : cost 0 5.210 * * [simplify]: Extracting # 3 : cost 0 5.210 * * [simplify]: Extracting # 4 : cost 0 5.210 * * [simplify]: Extracting # 5 : cost 0 5.210 * * [simplify]: iteration 0 : 33 enodes (cost 180 ) 5.222 * * [simplify]: Extracting # 0 : cost 0 5.222 * * [simplify]: Extracting # 1 : cost 0 5.223 * * [simplify]: Extracting # 2 : cost 0 5.223 * * [simplify]: Extracting # 3 : cost 0 5.223 * * [simplify]: Extracting # 4 : cost 0 5.223 * * [simplify]: iteration 1 : 111 enodes (cost 175 ) 5.321 * * [simplify]: Extracting # 0 : cost 0 5.323 * * [simplify]: Extracting # 1 : cost 0 5.324 * * [simplify]: Extracting # 2 : cost 0 5.325 * * [simplify]: Extracting # 3 : cost 0 5.326 * * [simplify]: Extracting # 4 : cost 0 5.327 * * [simplify]: iteration 2 : 583 enodes (cost 145 ) 6.470 * * [simplify]: Extracting # 0 : cost 0 6.482 * * [simplify]: Extracting # 1 : cost 0 6.494 * * [simplify]: Extracting # 2 : cost 0 6.506 * * [simplify]: Extracting # 3 : cost 0 6.518 * * [simplify]: Extracting # 4 : cost 0 6.524 * * [simplify]: iteration 3 : 4978 enodes (cost 145 ) 9.761 * * [simplify]: Extracting # 0 : cost 0 9.768 * * [simplify]: Extracting # 1 : cost 0 9.774 * * [simplify]: Extracting # 2 : cost 0 9.784 * * [simplify]: iteration done: 5000 enodes (cost 145 ) 9.785 * [simplify]: Simplified to: (exp (- (* re re) (* im im))) (log (- (* re re) (* im im))) (exp (- (* re re) (* im im))) (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))) (cbrt (- (* re re) (* im im))) (pow (- (* re re) (* im im)) 3) (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))) (- (pow re 6) (pow im 6)) (+ (* (* im im) (+ (* im im) (* re re))) (pow re 4)) (- (* im im)) (- (pow re 4) (pow im 4)) (+ (* im im) (* re re)) (+ re im) (- re im) (- (* im im)) (- (* re re) (* im im)) (- (* re re) (* im im)) (- (* re re) (* im im)) 9.785 * * * [progress]: adding candidates to table 9.809 * [progress]: [Phase 3 of 3] Extracting. 9.810 * * [regime]: Finding splitpoints for: (# #) 9.810 * * * [regime-changes]: Trying 5 branch expressions: ((* im im) (* re re) (- (* re re) (* im im)) im re) 9.811 * * * * [regimes]: Trying to branch on (* im im) from (# #) 9.822 * * * * [regimes]: Trying to branch on (* re re) from (# #) 9.835 * * * * [regimes]: Trying to branch on (- (* re re) (* im im)) from (# #) 9.847 * * * * [regimes]: Trying to branch on im from (# #) 9.858 * * * * [regimes]: Trying to branch on re from (# #) 9.869 * * * [regime]: Found split indices: #