0.880 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.100 * * * [progress]: [2/2] Setting up program. 0.103 * [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.112 * * [simplify]: Extracting # 0 : cost 0 0.112 * * [simplify]: Extracting # 1 : cost 0 0.112 * * [simplify]: Extracting # 2 : cost 0 0.112 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.114 * * [simplify]: Extracting # 0 : cost 0 0.114 * * [simplify]: Extracting # 1 : cost 0 0.114 * * [simplify]: Extracting # 2 : cost 0 0.114 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.120 * * [simplify]: Extracting # 0 : cost 0 0.120 * * [simplify]: Extracting # 1 : cost 0 0.120 * * [simplify]: Extracting # 2 : cost 0 0.120 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 0.165 * * [simplify]: Extracting # 0 : cost 0 0.165 * * [simplify]: Extracting # 1 : cost 0 0.165 * * [simplify]: Extracting # 2 : cost 0 0.165 * * [simplify]: iteration 4 : 58 enodes (cost 7 ) 0.197 * * [simplify]: Extracting # 0 : cost 0 0.197 * * [simplify]: Extracting # 1 : cost 0 0.197 * * [simplify]: Extracting # 2 : cost 0 0.198 * * [simplify]: iteration 5 : 129 enodes (cost 7 ) 0.263 * * [simplify]: Extracting # 0 : cost 0 0.264 * * [simplify]: Extracting # 1 : cost 0 0.264 * * [simplify]: Extracting # 2 : cost 0 0.264 * * [simplify]: Extracting # 3 : cost 0 0.265 * * [simplify]: iteration 6 : 187 enodes (cost 7 ) 0.344 * * [simplify]: Extracting # 0 : cost 0 0.344 * * [simplify]: Extracting # 1 : cost 0 0.344 * * [simplify]: Extracting # 2 : cost 0 0.345 * * [simplify]: Extracting # 3 : cost 0 0.345 * * [simplify]: iteration 7 : 369 enodes (cost 7 ) 1.071 * * [simplify]: Extracting # 0 : cost 0 1.074 * * [simplify]: Extracting # 1 : cost 0 1.077 * * [simplify]: Extracting # 2 : cost 0 1.081 * * [simplify]: Extracting # 3 : cost 0 1.090 * * [simplify]: Extracting # 4 : cost 0 1.093 * * [simplify]: iteration 8 : 1551 enodes (cost 7 ) 14.853 * * [simplify]: Extracting # 0 : cost 0 14.866 * * [simplify]: Extracting # 1 : cost 0 14.869 * * [simplify]: Extracting # 2 : cost 0 14.871 * * [simplify]: Extracting # 3 : cost 0 14.874 * * [simplify]: Extracting # 4 : cost 0 14.877 * * [simplify]: iteration done: 5000 enodes (cost 7 ) 14.877 * [simplify]: Simplified to: (* (- re im) (+ re im)) 14.881 * * [progress]: iteration 1 / 4 14.881 * * * [progress]: picking best candidate 14.884 * * * * [pick]: Picked # 14.884 * * * [progress]: localizing error 14.896 * * * [progress]: generating rewritten candidates 14.896 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 14.949 * * * [progress]: generating series expansions 14.949 * * * * [progress]: [ 1 / 1 ] generating series at (2) 14.958 * [backup-simplify]: Simplify (* (- re im) (+ re im)) into (* (- re im) (+ re im)) 14.958 * [approximate]: Taking taylor expansion of (* (- re im) (+ re im)) in (re im) around 0 14.959 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in im 14.959 * [taylor]: Taking taylor expansion of (- re im) in im 14.959 * [taylor]: Taking taylor expansion of re in im 14.959 * [backup-simplify]: Simplify re into re 14.959 * [taylor]: Taking taylor expansion of im in im 14.959 * [backup-simplify]: Simplify 0 into 0 14.959 * [backup-simplify]: Simplify 1 into 1 14.960 * [taylor]: Taking taylor expansion of (+ re im) in im 14.960 * [taylor]: Taking taylor expansion of re in im 14.960 * [backup-simplify]: Simplify re into re 14.960 * [taylor]: Taking taylor expansion of im in im 14.960 * [backup-simplify]: Simplify 0 into 0 14.960 * [backup-simplify]: Simplify 1 into 1 14.960 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re 14.960 * [taylor]: Taking taylor expansion of (- re im) in re 14.960 * [taylor]: Taking taylor expansion of re in re 14.960 * [backup-simplify]: Simplify 0 into 0 14.960 * [backup-simplify]: Simplify 1 into 1 14.960 * [taylor]: Taking taylor expansion of im in re 14.960 * [backup-simplify]: Simplify im into im 14.960 * [taylor]: Taking taylor expansion of (+ re im) in re 14.960 * [taylor]: Taking taylor expansion of re in re 14.960 * [backup-simplify]: Simplify 0 into 0 14.960 * [backup-simplify]: Simplify 1 into 1 14.960 * [taylor]: Taking taylor expansion of im in re 14.960 * [backup-simplify]: Simplify im into im 14.960 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re 14.960 * [taylor]: Taking taylor expansion of (- re im) in re 14.960 * [taylor]: Taking taylor expansion of re in re 14.960 * [backup-simplify]: Simplify 0 into 0 14.960 * [backup-simplify]: Simplify 1 into 1 14.960 * [taylor]: Taking taylor expansion of im in re 14.960 * [backup-simplify]: Simplify im into im 14.960 * [taylor]: Taking taylor expansion of (+ re im) in re 14.960 * [taylor]: Taking taylor expansion of re in re 14.960 * [backup-simplify]: Simplify 0 into 0 14.960 * [backup-simplify]: Simplify 1 into 1 14.960 * [taylor]: Taking taylor expansion of im in re 14.961 * [backup-simplify]: Simplify im into im 14.961 * [backup-simplify]: Simplify (- im) into (- im) 14.962 * [backup-simplify]: Simplify (+ 0 (- im)) into (- im) 14.962 * [backup-simplify]: Simplify (+ 0 im) into im 14.962 * [backup-simplify]: Simplify (* (- im) im) into (* -1 (pow im 2)) 14.962 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im 14.962 * [taylor]: Taking taylor expansion of -1 in im 14.962 * [backup-simplify]: Simplify -1 into -1 14.962 * [taylor]: Taking taylor expansion of (pow im 2) in im 14.962 * [taylor]: Taking taylor expansion of im in im 14.962 * [backup-simplify]: Simplify 0 into 0 14.962 * [backup-simplify]: Simplify 1 into 1 14.963 * [backup-simplify]: Simplify (+ 1 0) into 1 14.963 * [backup-simplify]: Simplify (- 0) into 0 14.964 * [backup-simplify]: Simplify (+ 1 0) into 1 14.964 * [backup-simplify]: Simplify (+ (* (- im) 1) (* 1 im)) into 0 14.964 * [taylor]: Taking taylor expansion of 0 in im 14.964 * [backup-simplify]: Simplify 0 into 0 14.964 * [backup-simplify]: Simplify 0 into 0 14.964 * [backup-simplify]: Simplify (+ 0 0) into 0 14.965 * [backup-simplify]: Simplify (- 0) into 0 14.965 * [backup-simplify]: Simplify (+ 0 0) into 0 14.965 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 1) (* 0 im))) into 1 14.965 * [taylor]: Taking taylor expansion of 1 in im 14.965 * [backup-simplify]: Simplify 1 into 1 14.965 * [backup-simplify]: Simplify 1 into 1 14.966 * [backup-simplify]: Simplify 0 into 0 14.966 * [backup-simplify]: Simplify (* 1 1) into 1 14.966 * [backup-simplify]: Simplify (* -1 1) into -1 14.966 * [backup-simplify]: Simplify -1 into -1 14.966 * [backup-simplify]: Simplify (+ 0 0) into 0 14.967 * [backup-simplify]: Simplify (- 0) into 0 14.967 * [backup-simplify]: Simplify (+ 0 0) into 0 14.968 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 1) (* 0 im)))) into 0 14.968 * [taylor]: Taking taylor expansion of 0 in im 14.968 * [backup-simplify]: Simplify 0 into 0 14.968 * [backup-simplify]: Simplify 0 into 0 14.968 * [backup-simplify]: Simplify 0 into 0 14.968 * [backup-simplify]: Simplify 0 into 0 14.968 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.969 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 14.969 * [backup-simplify]: Simplify 0 into 0 14.969 * [backup-simplify]: Simplify (+ 0 0) into 0 14.969 * [backup-simplify]: Simplify (- 0) into 0 14.969 * [backup-simplify]: Simplify (+ 0 0) into 0 14.970 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 im))))) into 0 14.970 * [taylor]: Taking taylor expansion of 0 in im 14.970 * [backup-simplify]: Simplify 0 into 0 14.970 * [backup-simplify]: Simplify 0 into 0 14.970 * [backup-simplify]: Simplify 0 into 0 14.971 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 14.971 * [backup-simplify]: Simplify (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 re) (/ 1 im))) into (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) 14.971 * [approximate]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in (re im) around 0 14.971 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in im 14.971 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 14.971 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.971 * [taylor]: Taking taylor expansion of re in im 14.971 * [backup-simplify]: Simplify re into re 14.971 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 14.971 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.971 * [taylor]: Taking taylor expansion of im in im 14.971 * [backup-simplify]: Simplify 0 into 0 14.971 * [backup-simplify]: Simplify 1 into 1 14.972 * [backup-simplify]: Simplify (/ 1 1) into 1 14.972 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 14.972 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.972 * [taylor]: Taking taylor expansion of im in im 14.972 * [backup-simplify]: Simplify 0 into 0 14.972 * [backup-simplify]: Simplify 1 into 1 14.972 * [backup-simplify]: Simplify (/ 1 1) into 1 14.972 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.972 * [taylor]: Taking taylor expansion of re in im 14.972 * [backup-simplify]: Simplify re into re 14.972 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 14.972 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 14.972 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 14.972 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.972 * [taylor]: Taking taylor expansion of re in re 14.972 * [backup-simplify]: Simplify 0 into 0 14.972 * [backup-simplify]: Simplify 1 into 1 14.973 * [backup-simplify]: Simplify (/ 1 1) into 1 14.973 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.973 * [taylor]: Taking taylor expansion of im in re 14.973 * [backup-simplify]: Simplify im into im 14.973 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.973 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 14.973 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.973 * [taylor]: Taking taylor expansion of im in re 14.973 * [backup-simplify]: Simplify im into im 14.973 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.973 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.973 * [taylor]: Taking taylor expansion of re in re 14.973 * [backup-simplify]: Simplify 0 into 0 14.973 * [backup-simplify]: Simplify 1 into 1 14.973 * [backup-simplify]: Simplify (/ 1 1) into 1 14.973 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 14.973 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 14.973 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.973 * [taylor]: Taking taylor expansion of re in re 14.973 * [backup-simplify]: Simplify 0 into 0 14.973 * [backup-simplify]: Simplify 1 into 1 14.973 * [backup-simplify]: Simplify (/ 1 1) into 1 14.973 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.973 * [taylor]: Taking taylor expansion of im in re 14.973 * [backup-simplify]: Simplify im into im 14.973 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.974 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 14.974 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.974 * [taylor]: Taking taylor expansion of im in re 14.974 * [backup-simplify]: Simplify im into im 14.974 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.974 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.974 * [taylor]: Taking taylor expansion of re in re 14.974 * [backup-simplify]: Simplify 0 into 0 14.974 * [backup-simplify]: Simplify 1 into 1 14.974 * [backup-simplify]: Simplify (/ 1 1) into 1 14.974 * [backup-simplify]: Simplify (+ 1 0) into 1 14.975 * [backup-simplify]: Simplify (+ 0 1) into 1 14.975 * [backup-simplify]: Simplify (* 1 1) into 1 14.975 * [taylor]: Taking taylor expansion of 1 in im 14.975 * [backup-simplify]: Simplify 1 into 1 14.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.976 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 14.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.976 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 14.976 * [backup-simplify]: Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im)) 14.976 * [backup-simplify]: Simplify (+ (* 1 (/ 1 im)) (* (- (/ 1 im)) 1)) into 0 14.976 * [taylor]: Taking taylor expansion of 0 in im 14.976 * [backup-simplify]: Simplify 0 into 0 14.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 14.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.977 * [backup-simplify]: Simplify (+ 0 0) into 0 14.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.978 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 14.978 * [backup-simplify]: Simplify (- 0) into 0 14.978 * [backup-simplify]: Simplify (+ 0 0) into 0 14.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) (/ 1 im)) (* 0 1))) into (- (/ 1 (pow im 2))) 14.979 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 14.979 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 14.979 * [taylor]: Taking taylor expansion of (pow im 2) in im 14.979 * [taylor]: Taking taylor expansion of im in im 14.979 * [backup-simplify]: Simplify 0 into 0 14.979 * [backup-simplify]: Simplify 1 into 1 14.979 * [backup-simplify]: Simplify (* 1 1) into 1 14.979 * [backup-simplify]: Simplify (/ 1 1) into 1 14.980 * [backup-simplify]: Simplify (- 1) into -1 14.980 * [backup-simplify]: Simplify -1 into -1 14.980 * [backup-simplify]: Simplify 1 into 1 14.980 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.981 * [backup-simplify]: Simplify (+ 0 0) into 0 14.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.981 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.981 * [backup-simplify]: Simplify (- 0) into 0 14.982 * [backup-simplify]: Simplify (+ 0 0) into 0 14.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) 0) (+ (* 0 (/ 1 im)) (* 0 1)))) into 0 14.982 * [taylor]: Taking taylor expansion of 0 in im 14.982 * [backup-simplify]: Simplify 0 into 0 14.983 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.983 * [backup-simplify]: Simplify (- 0) into 0 14.983 * [backup-simplify]: Simplify 0 into 0 14.984 * [backup-simplify]: Simplify 0 into 0 14.984 * [backup-simplify]: Simplify 0 into 0 14.984 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.985 * [backup-simplify]: Simplify (+ 0 0) into 0 14.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.986 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.986 * [backup-simplify]: Simplify (- 0) into 0 14.987 * [backup-simplify]: Simplify (+ 0 0) into 0 14.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 1))))) into 0 14.988 * [taylor]: Taking taylor expansion of 0 in im 14.988 * [backup-simplify]: Simplify 0 into 0 14.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.989 * [backup-simplify]: Simplify (- 0) into 0 14.989 * [backup-simplify]: Simplify 0 into 0 14.989 * [backup-simplify]: Simplify 0 into 0 14.989 * [backup-simplify]: Simplify 0 into 0 14.989 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 14.990 * [backup-simplify]: Simplify (* (- (/ 1 (- re)) (/ 1 (- im))) (+ (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) 14.990 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in (re im) around 0 14.990 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in im 14.990 * [taylor]: Taking taylor expansion of -1 in im 14.990 * [backup-simplify]: Simplify -1 into -1 14.990 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in im 14.990 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 14.990 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.990 * [taylor]: Taking taylor expansion of im in im 14.990 * [backup-simplify]: Simplify 0 into 0 14.990 * [backup-simplify]: Simplify 1 into 1 14.990 * [backup-simplify]: Simplify (/ 1 1) into 1 14.990 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.991 * [taylor]: Taking taylor expansion of re in im 14.991 * [backup-simplify]: Simplify re into re 14.991 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 14.991 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 14.991 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.991 * [taylor]: Taking taylor expansion of im in im 14.991 * [backup-simplify]: Simplify 0 into 0 14.991 * [backup-simplify]: Simplify 1 into 1 14.991 * [backup-simplify]: Simplify (/ 1 1) into 1 14.991 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.991 * [taylor]: Taking taylor expansion of re in im 14.991 * [backup-simplify]: Simplify re into re 14.991 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 14.992 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 14.992 * [taylor]: Taking taylor expansion of -1 in re 14.992 * [backup-simplify]: Simplify -1 into -1 14.992 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 14.992 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 14.992 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.992 * [taylor]: Taking taylor expansion of im in re 14.992 * [backup-simplify]: Simplify im into im 14.992 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.992 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.992 * [taylor]: Taking taylor expansion of re in re 14.992 * [backup-simplify]: Simplify 0 into 0 14.992 * [backup-simplify]: Simplify 1 into 1 14.992 * [backup-simplify]: Simplify (/ 1 1) into 1 14.992 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 14.992 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.992 * [taylor]: Taking taylor expansion of im in re 14.992 * [backup-simplify]: Simplify im into im 14.993 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.993 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.993 * [taylor]: Taking taylor expansion of re in re 14.993 * [backup-simplify]: Simplify 0 into 0 14.993 * [backup-simplify]: Simplify 1 into 1 14.993 * [backup-simplify]: Simplify (/ 1 1) into 1 14.993 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 14.993 * [taylor]: Taking taylor expansion of -1 in re 14.993 * [backup-simplify]: Simplify -1 into -1 14.993 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 14.993 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 14.993 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.993 * [taylor]: Taking taylor expansion of im in re 14.993 * [backup-simplify]: Simplify im into im 14.993 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.993 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.993 * [taylor]: Taking taylor expansion of re in re 14.993 * [backup-simplify]: Simplify 0 into 0 14.993 * [backup-simplify]: Simplify 1 into 1 14.994 * [backup-simplify]: Simplify (/ 1 1) into 1 14.994 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 14.994 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.994 * [taylor]: Taking taylor expansion of im in re 14.994 * [backup-simplify]: Simplify im into im 14.994 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.994 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.994 * [taylor]: Taking taylor expansion of re in re 14.994 * [backup-simplify]: Simplify 0 into 0 14.994 * [backup-simplify]: Simplify 1 into 1 14.995 * [backup-simplify]: Simplify (/ 1 1) into 1 14.995 * [backup-simplify]: Simplify (- 1) into -1 14.995 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.996 * [backup-simplify]: Simplify (+ 0 1) into 1 14.996 * [backup-simplify]: Simplify (* -1 1) into -1 14.997 * [backup-simplify]: Simplify (* -1 -1) into 1 14.997 * [taylor]: Taking taylor expansion of 1 in im 14.997 * [backup-simplify]: Simplify 1 into 1 14.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.998 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 14.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.999 * [backup-simplify]: Simplify (- 0) into 0 14.999 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 15.000 * [backup-simplify]: Simplify (+ (* -1 (/ 1 im)) (* (/ 1 im) 1)) into 0 15.000 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 15.000 * [taylor]: Taking taylor expansion of 0 in im 15.000 * [backup-simplify]: Simplify 0 into 0 15.000 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 15.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.002 * [backup-simplify]: Simplify (+ 0 0) into 0 15.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 15.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.003 * [backup-simplify]: Simplify (- 0) into 0 15.004 * [backup-simplify]: Simplify (+ 0 0) into 0 15.005 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) (/ 1 im)) (* 0 1))) into (/ 1 (pow im 2)) 15.005 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow im 2))) 15.005 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 15.005 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 15.006 * [taylor]: Taking taylor expansion of (pow im 2) in im 15.006 * [taylor]: Taking taylor expansion of im in im 15.006 * [backup-simplify]: Simplify 0 into 0 15.006 * [backup-simplify]: Simplify 1 into 1 15.006 * [backup-simplify]: Simplify (* 1 1) into 1 15.006 * [backup-simplify]: Simplify (/ 1 1) into 1 15.007 * [backup-simplify]: Simplify (- 1) into -1 15.007 * [backup-simplify]: Simplify -1 into -1 15.007 * [backup-simplify]: Simplify 1 into 1 15.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 15.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.008 * [backup-simplify]: Simplify (+ 0 0) into 0 15.009 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 15.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.010 * [backup-simplify]: Simplify (- 0) into 0 15.010 * [backup-simplify]: Simplify (+ 0 0) into 0 15.011 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) 0) (+ (* 0 (/ 1 im)) (* 0 1)))) into 0 15.012 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1)))) into 0 15.013 * [taylor]: Taking taylor expansion of 0 in im 15.013 * [backup-simplify]: Simplify 0 into 0 15.013 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.014 * [backup-simplify]: Simplify (- 0) into 0 15.014 * [backup-simplify]: Simplify 0 into 0 15.014 * [backup-simplify]: Simplify 0 into 0 15.014 * [backup-simplify]: Simplify 0 into 0 15.015 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 15.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.016 * [backup-simplify]: Simplify (+ 0 0) into 0 15.016 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 15.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.018 * [backup-simplify]: Simplify (- 0) into 0 15.018 * [backup-simplify]: Simplify (+ 0 0) into 0 15.019 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 1))))) into 0 15.021 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))))) into 0 15.021 * [taylor]: Taking taylor expansion of 0 in im 15.021 * [backup-simplify]: Simplify 0 into 0 15.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.023 * [backup-simplify]: Simplify (- 0) into 0 15.023 * [backup-simplify]: Simplify 0 into 0 15.023 * [backup-simplify]: Simplify 0 into 0 15.024 * [backup-simplify]: Simplify 0 into 0 15.024 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 15.024 * * * [progress]: simplifying candidates 15.025 * [simplify]: Simplifying: (* (- re im) (+ re im)) (+ (log (- re im)) (log (+ re im))) (log (* (- re im) (+ re im))) (exp (* (- re im) (+ re im))) (* (* (* (- re im) (- re im)) (- re im)) (* (* (+ re im) (+ re im)) (+ re im))) (* (cbrt (* (- re im) (+ re im))) (cbrt (* (- re im) (+ re im)))) (cbrt (* (- re im) (+ re im))) (* (* (* (- re im) (+ re im)) (* (- re im) (+ re im))) (* (- re im) (+ re im))) (sqrt (* (- re im) (+ re im))) (sqrt (* (- re im) (+ re im))) (* (- (pow re 3) (pow im 3)) (+ (pow re 3) (pow im 3))) (* (+ (* re re) (+ (* im im) (* re im))) (+ (* re re) (- (* im im) (* re im)))) (* (- (pow re 3) (pow im 3)) (- (* re re) (* im im))) (* (+ (* re re) (+ (* im im) (* re im))) (- re im)) (* (- (* re re) (* im im)) (+ (pow re 3) (pow im 3))) (* (+ re im) (+ (* re re) (- (* im im) (* re im)))) (* (- (* re re) (* im im)) (- (* re re) (* im im))) (* (+ re im) (- re im)) (* (sqrt (- re im)) (sqrt (+ re im))) (* (sqrt (- re im)) (sqrt (+ re im))) (* (- re im) re) (* (- re im) im) (* re (- re im)) (* im (- re im)) (* (- re im) (* (cbrt (+ re im)) (cbrt (+ re im)))) (* (- re im) (sqrt (+ re im))) (* (- re im) 1) (* (- re im) 1) (* (cbrt (- re im)) (+ re im)) (* (sqrt (- re im)) (+ re im)) (* (- re im) (+ re im)) (* (- (sqrt re) (sqrt im)) (+ re im)) (* (- re im) (+ re im)) (* (- re im) (+ (pow re 3) (pow im 3))) (* (- re im) (- (* re re) (* im im))) (* (- (pow re 3) (pow im 3)) (+ re im)) (* (- (* re re) (* im im)) (+ re im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 15.026 * * [simplify]: Extracting # 0 : cost 0 15.026 * * [simplify]: Extracting # 1 : cost 0 15.027 * * [simplify]: Extracting # 2 : cost 0 15.027 * * [simplify]: Extracting # 3 : cost 0 15.027 * * [simplify]: Extracting # 4 : cost 0 15.027 * * [simplify]: Extracting # 5 : cost 0 15.027 * * [simplify]: Extracting # 6 : cost 0 15.027 * * [simplify]: iteration 0 : 69 enodes (cost 412 ) 15.048 * * [simplify]: Extracting # 0 : cost 0 15.048 * * [simplify]: Extracting # 1 : cost 0 15.048 * * [simplify]: Extracting # 2 : cost 0 15.048 * * [simplify]: Extracting # 3 : cost 0 15.049 * * [simplify]: Extracting # 4 : cost 0 15.049 * * [simplify]: iteration 1 : 217 enodes (cost 399 ) 15.202 * * [simplify]: Extracting # 0 : cost 0 15.204 * * [simplify]: Extracting # 1 : cost 0 15.207 * * [simplify]: Extracting # 2 : cost 0 15.209 * * [simplify]: Extracting # 3 : cost 0 15.212 * * [simplify]: Extracting # 4 : cost 0 15.214 * * [simplify]: iteration 2 : 980 enodes (cost 371 ) 16.521 * * [simplify]: Extracting # 0 : cost 0 16.528 * * [simplify]: Extracting # 1 : cost 0 16.534 * * [simplify]: Extracting # 2 : cost 0 16.540 * * [simplify]: Extracting # 3 : cost 0 16.550 * * [simplify]: Extracting # 4 : cost 0 16.561 * * [simplify]: iteration done: 5000 enodes (cost 371 ) 16.561 * [simplify]: Simplified to: (- (* re re) (* im im)) (log (* (- re im) (+ re im))) (log (* (- re im) (+ re im))) (exp (* (- re im) (+ re im))) (pow (- (* re re) (* im im)) 3) (* (cbrt (* (- re im) (+ re im))) (cbrt (* (- re im) (+ re im)))) (cbrt (* (- re im) (+ re im))) (pow (- (* re re) (* im im)) 3) (sqrt (* (- re im) (+ re im))) (sqrt (* (- re im) (+ re im))) (* (- (pow re 3) (pow im 3)) (+ (pow re 3) (pow im 3))) (* (+ (* re re) (* im (+ re im))) (+ (* re re) (* im (- im re)))) (* (- (pow re 3) (pow im 3)) (- (* re re) (* im im))) (* (- re im) (+ (* re re) (* im (+ re im)))) (* (- (* re re) (* im im)) (+ (pow re 3) (pow im 3))) (* (+ (* re re) (* im (- im re))) (+ re im)) (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im)) (* (sqrt (- re im)) (sqrt (+ re im))) (* (sqrt (- re im)) (sqrt (+ re im))) (* re (- re im)) (* (- re im) im) (* re (- re im)) (* (- re im) im) (* (- re im) (* (cbrt (+ re im)) (cbrt (+ re im)))) (* (- re im) (sqrt (+ re im))) (- re im) (- re im) (* (cbrt (- re im)) (+ re im)) (* (sqrt (- re im)) (+ re im)) (- (* re re) (* im im)) (* (- (sqrt re) (sqrt im)) (+ re im)) (- (* re re) (* im im)) (* (- re im) (+ (pow re 3) (pow im 3))) (* (- re im) (- (* re re) (* im im))) (* (- (pow re 3) (pow im 3)) (+ re im)) (* (* (+ re im) (+ re im)) (- re im)) (- (* re re) (* im im)) (- (* re re) (* im im)) (- (* re re) (* im im)) 16.562 * * * [progress]: adding candidates to table 16.667 * * [progress]: iteration 2 / 4 16.667 * * * [progress]: picking best candidate 16.669 * * * * [pick]: Picked # 16.670 * * * [progress]: localizing error 16.680 * * * [progress]: generating rewritten candidates 16.681 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 16.694 * * * [progress]: generating series expansions 16.694 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 16.694 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 16.694 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 16.694 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 16.694 * [taylor]: Taking taylor expansion of (pow re 2) in im 16.694 * [taylor]: Taking taylor expansion of re in im 16.694 * [backup-simplify]: Simplify re into re 16.694 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.694 * [taylor]: Taking taylor expansion of im in im 16.694 * [backup-simplify]: Simplify 0 into 0 16.694 * [backup-simplify]: Simplify 1 into 1 16.694 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 16.694 * [taylor]: Taking taylor expansion of (pow re 2) in re 16.694 * [taylor]: Taking taylor expansion of re in re 16.694 * [backup-simplify]: Simplify 0 into 0 16.694 * [backup-simplify]: Simplify 1 into 1 16.694 * [taylor]: Taking taylor expansion of (pow im 2) in re 16.694 * [taylor]: Taking taylor expansion of im in re 16.694 * [backup-simplify]: Simplify im into im 16.694 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 16.694 * [taylor]: Taking taylor expansion of (pow re 2) in re 16.694 * [taylor]: Taking taylor expansion of re in re 16.694 * [backup-simplify]: Simplify 0 into 0 16.694 * [backup-simplify]: Simplify 1 into 1 16.694 * [taylor]: Taking taylor expansion of (pow im 2) in re 16.695 * [taylor]: Taking taylor expansion of im in re 16.695 * [backup-simplify]: Simplify im into im 16.695 * [backup-simplify]: Simplify (* im im) into (pow im 2) 16.695 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 16.695 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 16.695 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 16.695 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.695 * [taylor]: Taking taylor expansion of im in im 16.695 * [backup-simplify]: Simplify 0 into 0 16.695 * [backup-simplify]: Simplify 1 into 1 16.695 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 16.695 * [backup-simplify]: Simplify (- 0) into 0 16.696 * [backup-simplify]: Simplify (+ 0 0) into 0 16.696 * [taylor]: Taking taylor expansion of 0 in im 16.696 * [backup-simplify]: Simplify 0 into 0 16.696 * [backup-simplify]: Simplify 0 into 0 16.696 * [backup-simplify]: Simplify (* 1 1) into 1 16.696 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 16.697 * [backup-simplify]: Simplify (- 0) into 0 16.697 * [backup-simplify]: Simplify (+ 1 0) into 1 16.697 * [taylor]: Taking taylor expansion of 1 in im 16.697 * [backup-simplify]: Simplify 1 into 1 16.697 * [backup-simplify]: Simplify 1 into 1 16.697 * [backup-simplify]: Simplify 0 into 0 16.697 * [backup-simplify]: Simplify (* 1 1) into 1 16.698 * [backup-simplify]: Simplify (- 1) into -1 16.698 * [backup-simplify]: Simplify -1 into -1 16.698 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.698 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 16.699 * [backup-simplify]: Simplify (- 0) into 0 16.699 * [backup-simplify]: Simplify (+ 0 0) into 0 16.699 * [taylor]: Taking taylor expansion of 0 in im 16.699 * [backup-simplify]: Simplify 0 into 0 16.699 * [backup-simplify]: Simplify 0 into 0 16.699 * [backup-simplify]: Simplify 0 into 0 16.699 * [backup-simplify]: Simplify 0 into 0 16.699 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.700 * [backup-simplify]: Simplify (- 0) into 0 16.700 * [backup-simplify]: Simplify 0 into 0 16.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.701 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 16.701 * [backup-simplify]: Simplify (- 0) into 0 16.701 * [backup-simplify]: Simplify (+ 0 0) into 0 16.701 * [taylor]: Taking taylor expansion of 0 in im 16.701 * [backup-simplify]: Simplify 0 into 0 16.701 * [backup-simplify]: Simplify 0 into 0 16.701 * [backup-simplify]: Simplify 0 into 0 16.702 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 16.702 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 16.702 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 16.702 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 16.702 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 16.702 * [taylor]: Taking taylor expansion of (pow re 2) in im 16.702 * [taylor]: Taking taylor expansion of re in im 16.702 * [backup-simplify]: Simplify re into re 16.702 * [backup-simplify]: Simplify (* re re) into (pow re 2) 16.702 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 16.702 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 16.702 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.702 * [taylor]: Taking taylor expansion of im in im 16.702 * [backup-simplify]: Simplify 0 into 0 16.702 * [backup-simplify]: Simplify 1 into 1 16.702 * [backup-simplify]: Simplify (* 1 1) into 1 16.703 * [backup-simplify]: Simplify (/ 1 1) into 1 16.703 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 16.703 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 16.703 * [taylor]: Taking taylor expansion of (pow re 2) in re 16.703 * [taylor]: Taking taylor expansion of re in re 16.703 * [backup-simplify]: Simplify 0 into 0 16.703 * [backup-simplify]: Simplify 1 into 1 16.703 * [backup-simplify]: Simplify (* 1 1) into 1 16.703 * [backup-simplify]: Simplify (/ 1 1) into 1 16.703 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 16.703 * [taylor]: Taking taylor expansion of (pow im 2) in re 16.703 * [taylor]: Taking taylor expansion of im in re 16.703 * [backup-simplify]: Simplify im into im 16.703 * [backup-simplify]: Simplify (* im im) into (pow im 2) 16.703 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 16.704 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 16.704 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 16.704 * [taylor]: Taking taylor expansion of (pow re 2) in re 16.704 * [taylor]: Taking taylor expansion of re in re 16.704 * [backup-simplify]: Simplify 0 into 0 16.704 * [backup-simplify]: Simplify 1 into 1 16.704 * [backup-simplify]: Simplify (* 1 1) into 1 16.704 * [backup-simplify]: Simplify (/ 1 1) into 1 16.704 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 16.704 * [taylor]: Taking taylor expansion of (pow im 2) in re 16.704 * [taylor]: Taking taylor expansion of im in re 16.704 * [backup-simplify]: Simplify im into im 16.704 * [backup-simplify]: Simplify (* im im) into (pow im 2) 16.704 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 16.705 * [backup-simplify]: Simplify (+ 1 0) into 1 16.705 * [taylor]: Taking taylor expansion of 1 in im 16.705 * [backup-simplify]: Simplify 1 into 1 16.705 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.706 * [backup-simplify]: Simplify (+ 0 0) into 0 16.706 * [taylor]: Taking taylor expansion of 0 in im 16.706 * [backup-simplify]: Simplify 0 into 0 16.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.708 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 16.708 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 16.708 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 16.708 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 16.708 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.708 * [taylor]: Taking taylor expansion of im in im 16.708 * [backup-simplify]: Simplify 0 into 0 16.708 * [backup-simplify]: Simplify 1 into 1 16.709 * [backup-simplify]: Simplify (* 1 1) into 1 16.709 * [backup-simplify]: Simplify (/ 1 1) into 1 16.709 * [backup-simplify]: Simplify (- 1) into -1 16.709 * [backup-simplify]: Simplify -1 into -1 16.709 * [backup-simplify]: Simplify 1 into 1 16.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.712 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 16.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 16.712 * [backup-simplify]: Simplify (- 0) into 0 16.713 * [backup-simplify]: Simplify (+ 0 0) into 0 16.713 * [taylor]: Taking taylor expansion of 0 in im 16.713 * [backup-simplify]: Simplify 0 into 0 16.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.715 * [backup-simplify]: Simplify (- 0) into 0 16.715 * [backup-simplify]: Simplify 0 into 0 16.715 * [backup-simplify]: Simplify 0 into 0 16.715 * [backup-simplify]: Simplify 0 into 0 16.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.717 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 16.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 16.718 * [backup-simplify]: Simplify (- 0) into 0 16.719 * [backup-simplify]: Simplify (+ 0 0) into 0 16.719 * [taylor]: Taking taylor expansion of 0 in im 16.719 * [backup-simplify]: Simplify 0 into 0 16.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.721 * [backup-simplify]: Simplify (- 0) into 0 16.721 * [backup-simplify]: Simplify 0 into 0 16.721 * [backup-simplify]: Simplify 0 into 0 16.721 * [backup-simplify]: Simplify 0 into 0 16.722 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 16.722 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 16.722 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 16.722 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 16.722 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 16.722 * [taylor]: Taking taylor expansion of (pow re 2) in im 16.722 * [taylor]: Taking taylor expansion of re in im 16.722 * [backup-simplify]: Simplify re into re 16.722 * [backup-simplify]: Simplify (* re re) into (pow re 2) 16.722 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 16.722 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 16.722 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.722 * [taylor]: Taking taylor expansion of im in im 16.722 * [backup-simplify]: Simplify 0 into 0 16.722 * [backup-simplify]: Simplify 1 into 1 16.723 * [backup-simplify]: Simplify (* 1 1) into 1 16.723 * [backup-simplify]: Simplify (/ 1 1) into 1 16.723 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 16.723 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 16.723 * [taylor]: Taking taylor expansion of (pow re 2) in re 16.723 * [taylor]: Taking taylor expansion of re in re 16.723 * [backup-simplify]: Simplify 0 into 0 16.723 * [backup-simplify]: Simplify 1 into 1 16.723 * [backup-simplify]: Simplify (* 1 1) into 1 16.723 * [backup-simplify]: Simplify (/ 1 1) into 1 16.723 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 16.723 * [taylor]: Taking taylor expansion of (pow im 2) in re 16.723 * [taylor]: Taking taylor expansion of im in re 16.723 * [backup-simplify]: Simplify im into im 16.724 * [backup-simplify]: Simplify (* im im) into (pow im 2) 16.724 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 16.724 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 16.724 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 16.724 * [taylor]: Taking taylor expansion of (pow re 2) in re 16.724 * [taylor]: Taking taylor expansion of re in re 16.724 * [backup-simplify]: Simplify 0 into 0 16.724 * [backup-simplify]: Simplify 1 into 1 16.724 * [backup-simplify]: Simplify (* 1 1) into 1 16.724 * [backup-simplify]: Simplify (/ 1 1) into 1 16.724 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 16.724 * [taylor]: Taking taylor expansion of (pow im 2) in re 16.724 * [taylor]: Taking taylor expansion of im in re 16.724 * [backup-simplify]: Simplify im into im 16.724 * [backup-simplify]: Simplify (* im im) into (pow im 2) 16.724 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 16.725 * [backup-simplify]: Simplify (+ 1 0) into 1 16.725 * [taylor]: Taking taylor expansion of 1 in im 16.725 * [backup-simplify]: Simplify 1 into 1 16.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.726 * [backup-simplify]: Simplify (+ 0 0) into 0 16.726 * [taylor]: Taking taylor expansion of 0 in im 16.726 * [backup-simplify]: Simplify 0 into 0 16.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.727 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 16.727 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 16.727 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 16.727 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 16.727 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.727 * [taylor]: Taking taylor expansion of im in im 16.727 * [backup-simplify]: Simplify 0 into 0 16.727 * [backup-simplify]: Simplify 1 into 1 16.728 * [backup-simplify]: Simplify (* 1 1) into 1 16.728 * [backup-simplify]: Simplify (/ 1 1) into 1 16.728 * [backup-simplify]: Simplify (- 1) into -1 16.728 * [backup-simplify]: Simplify -1 into -1 16.728 * [backup-simplify]: Simplify 1 into 1 16.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.730 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 16.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 16.730 * [backup-simplify]: Simplify (- 0) into 0 16.730 * [backup-simplify]: Simplify (+ 0 0) into 0 16.730 * [taylor]: Taking taylor expansion of 0 in im 16.730 * [backup-simplify]: Simplify 0 into 0 16.731 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.731 * [backup-simplify]: Simplify (- 0) into 0 16.731 * [backup-simplify]: Simplify 0 into 0 16.731 * [backup-simplify]: Simplify 0 into 0 16.731 * [backup-simplify]: Simplify 0 into 0 16.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.733 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 16.733 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 16.733 * [backup-simplify]: Simplify (- 0) into 0 16.734 * [backup-simplify]: Simplify (+ 0 0) into 0 16.734 * [taylor]: Taking taylor expansion of 0 in im 16.734 * [backup-simplify]: Simplify 0 into 0 16.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.735 * [backup-simplify]: Simplify (- 0) into 0 16.735 * [backup-simplify]: Simplify 0 into 0 16.735 * [backup-simplify]: Simplify 0 into 0 16.735 * [backup-simplify]: Simplify 0 into 0 16.735 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 16.735 * * * [progress]: simplifying candidates 16.736 * [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)) 16.736 * * [simplify]: Extracting # 0 : cost 0 16.736 * * [simplify]: Extracting # 1 : cost 0 16.736 * * [simplify]: Extracting # 2 : cost 0 16.736 * * [simplify]: Extracting # 3 : cost 0 16.736 * * [simplify]: Extracting # 4 : cost 0 16.736 * * [simplify]: Extracting # 5 : cost 0 16.737 * * [simplify]: iteration 0 : 33 enodes (cost 180 ) 16.744 * * [simplify]: Extracting # 0 : cost 0 16.744 * * [simplify]: Extracting # 1 : cost 0 16.744 * * [simplify]: Extracting # 2 : cost 0 16.744 * * [simplify]: Extracting # 3 : cost 0 16.744 * * [simplify]: Extracting # 4 : cost 0 16.744 * * [simplify]: iteration 1 : 91 enodes (cost 175 ) 16.784 * * [simplify]: Extracting # 0 : cost 0 16.787 * * [simplify]: Extracting # 1 : cost 0 16.787 * * [simplify]: Extracting # 2 : cost 0 16.787 * * [simplify]: Extracting # 3 : cost 0 16.788 * * [simplify]: Extracting # 4 : cost 0 16.788 * * [simplify]: iteration 2 : 254 enodes (cost 145 ) 16.905 * * [simplify]: Extracting # 0 : cost 0 16.906 * * [simplify]: Extracting # 1 : cost 0 16.907 * * [simplify]: Extracting # 2 : cost 0 16.908 * * [simplify]: Extracting # 3 : cost 0 16.909 * * [simplify]: Extracting # 4 : cost 0 16.909 * * [simplify]: iteration 3 : 793 enodes (cost 145 ) 17.857 * * [simplify]: Extracting # 0 : cost 0 17.861 * * [simplify]: Extracting # 1 : cost 0 17.870 * * [simplify]: Extracting # 2 : cost 0 17.873 * * [simplify]: Extracting # 3 : cost 0 17.876 * * [simplify]: Extracting # 4 : cost 0 17.879 * * [simplify]: iteration 4 : 3659 enodes (cost 145 ) 19.306 * * [simplify]: Extracting # 0 : cost 0 19.311 * * [simplify]: Extracting # 1 : cost 0 19.321 * * [simplify]: Extracting # 2 : cost 0 19.330 * * [simplify]: Extracting # 3 : cost 0 19.338 * * [simplify]: Extracting # 4 : cost 0 19.343 * * [simplify]: iteration done: 5001 enodes (cost 145 ) 19.343 * [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)) (+ (* (pow im 2) (+ (* re re) (* im im))) (pow re 4)) (- (* im im)) (- (pow re 4) (pow im 4)) (+ (* re re) (* im im)) (+ re im) (- re im) (- (* im im)) (- (* re re) (* im im)) (- (* re re) (* im im)) (- (* re re) (* im im)) 19.343 * * * [progress]: adding candidates to table 19.375 * [progress]: [Phase 3 of 3] Extracting. 19.375 * * [regime]: Finding splitpoints for: (# #) 19.376 * * * [regime-changes]: Trying 5 branch expressions: ((* im im) (* re re) (- (* re re) (* im im)) im re) 19.376 * * * * [regimes]: Trying to branch on (* im im) from (# #) 19.388 * * * * [regimes]: Trying to branch on (* re re) from (# #) 19.399 * * * * [regimes]: Trying to branch on (- (* re re) (* im im)) from (# #) 19.414 * * * * [regimes]: Trying to branch on im from (# #) 19.424 * * * * [regimes]: Trying to branch on re from (# #) 19.435 * * * [regime]: Found split indices: #