20.777 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying: (/ (atan2 im re) (log 10.0)) 0.035 * * [simplify]: iteration 0: 6 enodes 0.036 * * [simplify]: iteration complete: 6 enodes 0.036 * * [simplify]: Extracting #0: cost 1 inf + 0 0.036 * * [simplify]: Extracting #1: cost 3 inf + 0 0.036 * * [simplify]: Extracting #2: cost 6 inf + 0 0.036 * * [simplify]: Extracting #3: cost 2 inf + 74 0.036 * * [simplify]: Extracting #4: cost 0 inf + 469 0.036 * [simplify]: Simplified to: (/ (atan2 im re) (log 10.0)) 0.037 * * [progress]: iteration 1 / 4 0.037 * * * [progress]: picking best candidate 0.040 * * * * [pick]: Picked # 0.040 * * * [progress]: localizing error 0.049 * * * [progress]: generating rewritten candidates 0.049 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.055 * * * [progress]: generating series expansions 0.055 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.062 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.062 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0 0.062 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 0.062 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.062 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.063 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.063 * [taylor]: Taking taylor expansion of 10.0 in re 0.063 * [backup-simplify]: Simplify 10.0 into 10.0 0.063 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.064 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.064 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 0.064 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.064 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.064 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.064 * [taylor]: Taking taylor expansion of 10.0 in im 0.064 * [backup-simplify]: Simplify 10.0 into 10.0 0.065 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.065 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.065 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 0.065 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.065 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.065 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.065 * [taylor]: Taking taylor expansion of 10.0 in im 0.065 * [backup-simplify]: Simplify 10.0 into 10.0 0.066 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.066 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.066 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 0.066 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.066 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.066 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.066 * [taylor]: Taking taylor expansion of 10.0 in re 0.066 * [backup-simplify]: Simplify 10.0 into 10.0 0.067 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.067 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.068 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.069 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 0.072 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0 0.072 * [taylor]: Taking taylor expansion of 0 in re 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 0.075 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 0.081 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.081 * [taylor]: Taking taylor expansion of 0 in re 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 0.086 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.086 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 0.094 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.094 * [taylor]: Taking taylor expansion of 0 in re 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.095 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 0.095 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0 0.095 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 0.095 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.095 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 0.095 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.095 * [taylor]: Taking taylor expansion of 10.0 in re 0.095 * [backup-simplify]: Simplify 10.0 into 10.0 0.096 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.096 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 0.096 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 0.096 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.096 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 0.096 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.096 * [taylor]: Taking taylor expansion of 10.0 in im 0.096 * [backup-simplify]: Simplify 10.0 into 10.0 0.096 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.097 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 0.097 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 0.097 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.097 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 0.097 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.097 * [taylor]: Taking taylor expansion of 10.0 in im 0.097 * [backup-simplify]: Simplify 10.0 into 10.0 0.097 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.097 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 0.097 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 0.097 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.098 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 0.098 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.098 * [taylor]: Taking taylor expansion of 10.0 in re 0.098 * [backup-simplify]: Simplify 10.0 into 10.0 0.098 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.098 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 0.099 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 0.099 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 0.100 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 0.100 * [taylor]: Taking taylor expansion of 0 in re 0.100 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 0.102 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 0.102 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 0.106 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.106 * [taylor]: Taking taylor expansion of 0 in re 0.106 * [backup-simplify]: Simplify 0 into 0 0.106 * [backup-simplify]: Simplify 0 into 0 0.106 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 0.109 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 0.113 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.114 * [taylor]: Taking taylor expansion of 0 in re 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.114 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 0.114 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0 0.114 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 0.114 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.115 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 0.115 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.115 * [taylor]: Taking taylor expansion of 10.0 in re 0.115 * [backup-simplify]: Simplify 10.0 into 10.0 0.115 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.115 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 0.115 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 0.115 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.115 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 0.115 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.115 * [taylor]: Taking taylor expansion of 10.0 in im 0.115 * [backup-simplify]: Simplify 10.0 into 10.0 0.116 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.116 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 0.116 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 0.116 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.116 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 0.116 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.116 * [taylor]: Taking taylor expansion of 10.0 in im 0.116 * [backup-simplify]: Simplify 10.0 into 10.0 0.116 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.117 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 0.117 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 0.117 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.117 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 0.117 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.117 * [taylor]: Taking taylor expansion of 10.0 in re 0.117 * [backup-simplify]: Simplify 10.0 into 10.0 0.117 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 0.117 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 0.118 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 0.119 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 0.120 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 0.120 * [taylor]: Taking taylor expansion of 0 in re 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 0.122 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 0.122 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 0.125 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.125 * [taylor]: Taking taylor expansion of 0 in re 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 0.131 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.131 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 0.140 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 0.140 * [taylor]: Taking taylor expansion of 0 in re 0.140 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 0.141 * * * [progress]: simplifying candidates 0.143 * [simplify]: Simplifying: (expm1 (/ (atan2 im re) (log 10.0))) (log1p (/ (atan2 im re) (log 10.0))) (- (log (atan2 im re)) (log (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (exp (/ (atan2 im re) (log 10.0))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (log 10.0) (log 10.0)) (log 10.0))) (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))) (* (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0))) (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (- (atan2 im re)) (- (log 10.0)) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1) (/ (cbrt (atan2 im re)) (log 10.0)) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (cbrt (atan2 im re)) (cbrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1) (/ (cbrt (atan2 im re)) (log 10.0)) (/ (sqrt (atan2 im re)) 1) (/ (sqrt (atan2 im re)) (log 10.0)) (/ (sqrt (atan2 im re)) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) 1) (/ (sqrt (atan2 im re)) (log 10.0)) (/ 1 1) (/ (atan2 im re) (log 10.0)) (/ 1 (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (atan2 im re) (cbrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 1) (/ (atan2 im re) (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (atan2 im re)) (/ (atan2 im re) 1) (/ (atan2 im re) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) 1) (/ (log 10.0) (cbrt (atan2 im re))) (/ (log 10.0) (sqrt (atan2 im re))) (/ (log 10.0) (atan2 im re)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) 0.144 * * [simplify]: iteration 0: 54 enodes 0.161 * * [simplify]: iteration 1: 91 enodes 0.181 * * [simplify]: iteration 2: 265 enodes 0.289 * * [simplify]: iteration 3: 1224 enodes 1.247 * * [simplify]: iteration complete: 5001 enodes 1.247 * * [simplify]: Extracting #0: cost 33 inf + 0 1.248 * * [simplify]: Extracting #1: cost 533 inf + 1 1.252 * * [simplify]: Extracting #2: cost 1481 inf + 411 1.264 * * [simplify]: Extracting #3: cost 1325 inf + 40222 1.273 * * [simplify]: Extracting #4: cost 1192 inf + 72291 1.321 * * [simplify]: Extracting #5: cost 468 inf + 286404 1.414 * * [simplify]: Extracting #6: cost 13 inf + 434271 1.470 * * [simplify]: Extracting #7: cost 1 inf + 438220 1.554 * * [simplify]: Extracting #8: cost 0 inf + 438482 1.642 * [simplify]: Simplified to: (expm1 (/ (atan2 im re) (log 10.0))) (log1p (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (exp (/ (atan2 im re) (log 10.0))) (* (/ (atan2 im re) (log 10.0)) (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)))) (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))) (* (/ (atan2 im re) (log 10.0)) (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)))) (sqrt (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (- (atan2 im re)) (- (log 10.0)) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (log 10.0)) (* (/ (cbrt (atan2 im re)) (cbrt (log 10.0))) (/ (cbrt (atan2 im re)) (cbrt (log 10.0)))) (/ (cbrt (atan2 im re)) (cbrt (log 10.0))) (/ (cbrt (atan2 im re)) (/ (sqrt (log 10.0)) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (log 10.0)) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (log 10.0)) (/ (/ (sqrt (atan2 im re)) (cbrt (log 10.0))) (cbrt (log 10.0))) (/ (sqrt (atan2 im re)) (cbrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (log 10.0)) 1 (/ (atan2 im re) (log 10.0)) (/ (/ 1 (cbrt (log 10.0))) (cbrt (log 10.0))) (/ (atan2 im re) (cbrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) 1 (/ (atan2 im re) (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (atan2 im re)) (atan2 im re) (/ (atan2 im re) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))) (atan2 im re) (/ (log 10.0) (cbrt (atan2 im re))) (/ (log 10.0) (sqrt (atan2 im re))) (/ (log 10.0) (atan2 im re)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) 1.645 * * * [progress]: adding candidates to table 1.799 * * [progress]: iteration 2 / 4 1.799 * * * [progress]: picking best candidate 1.827 * * * * [pick]: Picked # 1.827 * * * [progress]: localizing error 1.847 * * * [progress]: generating rewritten candidates 1.848 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.898 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.919 * * * [progress]: generating series expansions 1.919 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.922 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) into (/ (atan2 im re) (log 10.0)) 1.922 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0 1.922 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 1.922 * [taylor]: Taking taylor expansion of (atan2 im re) in re 1.923 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 1.923 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.923 * [taylor]: Taking taylor expansion of 10.0 in re 1.923 * [backup-simplify]: Simplify 10.0 into 10.0 1.923 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.923 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 1.923 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 1.924 * [taylor]: Taking taylor expansion of (atan2 im re) in im 1.924 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 1.924 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.924 * [taylor]: Taking taylor expansion of 10.0 in im 1.924 * [backup-simplify]: Simplify 10.0 into 10.0 1.924 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.925 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 1.925 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 1.925 * [taylor]: Taking taylor expansion of (atan2 im re) in im 1.925 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 1.925 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.925 * [taylor]: Taking taylor expansion of 10.0 in im 1.925 * [backup-simplify]: Simplify 10.0 into 10.0 1.925 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.926 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 1.926 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 1.926 * [taylor]: Taking taylor expansion of (atan2 im re) in re 1.926 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 1.926 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.926 * [taylor]: Taking taylor expansion of 10.0 in re 1.926 * [backup-simplify]: Simplify 10.0 into 10.0 1.926 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.927 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 1.927 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 1.928 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 1.930 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0 1.930 * [taylor]: Taking taylor expansion of 0 in re 1.930 * [backup-simplify]: Simplify 0 into 0 1.930 * [backup-simplify]: Simplify 0 into 0 1.931 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 1.933 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0 1.933 * [backup-simplify]: Simplify 0 into 0 1.936 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 1.939 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 1.939 * [taylor]: Taking taylor expansion of 0 in re 1.939 * [backup-simplify]: Simplify 0 into 0 1.939 * [backup-simplify]: Simplify 0 into 0 1.939 * [backup-simplify]: Simplify 0 into 0 1.942 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 1.944 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 1.944 * [backup-simplify]: Simplify 0 into 0 1.950 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 1.953 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 1.953 * [taylor]: Taking taylor expansion of 0 in re 1.953 * [backup-simplify]: Simplify 0 into 0 1.953 * [backup-simplify]: Simplify 0 into 0 1.954 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 1.956 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (/ (atan2 (/ 1 im) (/ 1 re)) (sqrt (log 10.0)))) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 1.956 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0 1.956 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 1.956 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.957 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 1.957 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.957 * [taylor]: Taking taylor expansion of 10.0 in re 1.957 * [backup-simplify]: Simplify 10.0 into 10.0 1.957 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.958 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 1.958 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 1.958 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.958 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 1.958 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.958 * [taylor]: Taking taylor expansion of 10.0 in im 1.958 * [backup-simplify]: Simplify 10.0 into 10.0 1.958 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.959 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 1.959 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 1.959 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.959 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 1.959 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.959 * [taylor]: Taking taylor expansion of 10.0 in im 1.959 * [backup-simplify]: Simplify 10.0 into 10.0 1.960 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.960 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 1.960 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 1.960 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.960 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 1.961 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.961 * [taylor]: Taking taylor expansion of 10.0 in re 1.961 * [backup-simplify]: Simplify 10.0 into 10.0 1.961 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.962 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 1.962 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 1.964 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 1.965 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 1.965 * [taylor]: Taking taylor expansion of 0 in re 1.965 * [backup-simplify]: Simplify 0 into 0 1.966 * [backup-simplify]: Simplify 0 into 0 1.967 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 1.969 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 1.969 * [backup-simplify]: Simplify 0 into 0 1.972 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 1.974 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 1.974 * [taylor]: Taking taylor expansion of 0 in re 1.975 * [backup-simplify]: Simplify 0 into 0 1.975 * [backup-simplify]: Simplify 0 into 0 1.975 * [backup-simplify]: Simplify 0 into 0 1.978 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 1.980 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 1.981 * [backup-simplify]: Simplify 0 into 0 1.986 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 1.989 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 1.989 * [taylor]: Taking taylor expansion of 0 in re 1.989 * [backup-simplify]: Simplify 0 into 0 1.989 * [backup-simplify]: Simplify 0 into 0 1.989 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 1.991 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (sqrt (log 10.0)))) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 1.991 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0 1.991 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 1.991 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.991 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 1.991 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.991 * [taylor]: Taking taylor expansion of 10.0 in re 1.991 * [backup-simplify]: Simplify 10.0 into 10.0 1.991 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.992 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 1.992 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 1.992 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.992 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 1.992 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.992 * [taylor]: Taking taylor expansion of 10.0 in im 1.992 * [backup-simplify]: Simplify 10.0 into 10.0 1.992 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.993 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 1.993 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 1.993 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.993 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 1.993 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.993 * [taylor]: Taking taylor expansion of 10.0 in im 1.993 * [backup-simplify]: Simplify 10.0 into 10.0 1.993 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.994 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 1.994 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 1.994 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.994 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 1.994 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.994 * [taylor]: Taking taylor expansion of 10.0 in re 1.994 * [backup-simplify]: Simplify 10.0 into 10.0 1.994 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 1.994 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 1.995 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 1.996 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 1.997 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 1.997 * [taylor]: Taking taylor expansion of 0 in re 1.997 * [backup-simplify]: Simplify 0 into 0 1.997 * [backup-simplify]: Simplify 0 into 0 1.997 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 1.998 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 1.998 * [backup-simplify]: Simplify 0 into 0 2.000 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 2.001 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.001 * [taylor]: Taking taylor expansion of 0 in re 2.001 * [backup-simplify]: Simplify 0 into 0 2.001 * [backup-simplify]: Simplify 0 into 0 2.001 * [backup-simplify]: Simplify 0 into 0 2.003 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 2.005 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.005 * [backup-simplify]: Simplify 0 into 0 2.009 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 2.015 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.015 * [taylor]: Taking taylor expansion of 0 in re 2.015 * [backup-simplify]: Simplify 0 into 0 2.015 * [backup-simplify]: Simplify 0 into 0 2.016 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 2.016 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.017 * [backup-simplify]: Simplify (/ (atan2 im re) (sqrt (log 10.0))) into (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 2.017 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in (im re) around 0 2.017 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in re 2.017 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 2.017 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 2.017 * [taylor]: Taking taylor expansion of (log 10.0) in re 2.017 * [taylor]: Taking taylor expansion of 10.0 in re 2.017 * [backup-simplify]: Simplify 10.0 into 10.0 2.017 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.018 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.019 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.020 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.020 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.021 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.021 * [taylor]: Taking taylor expansion of (atan2 im re) in re 2.021 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 2.021 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in im 2.021 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 2.021 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 2.021 * [taylor]: Taking taylor expansion of (log 10.0) in im 2.021 * [taylor]: Taking taylor expansion of 10.0 in im 2.021 * [backup-simplify]: Simplify 10.0 into 10.0 2.021 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.022 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.023 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.024 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.024 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.025 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.025 * [taylor]: Taking taylor expansion of (atan2 im re) in im 2.026 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 2.026 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in im 2.026 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 2.026 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 2.026 * [taylor]: Taking taylor expansion of (log 10.0) in im 2.026 * [taylor]: Taking taylor expansion of 10.0 in im 2.026 * [backup-simplify]: Simplify 10.0 into 10.0 2.026 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.027 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.029 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.031 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.033 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.033 * [taylor]: Taking taylor expansion of (atan2 im re) in im 2.033 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 2.035 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) into (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 2.035 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re 2.035 * [taylor]: Taking taylor expansion of (atan2 im re) in re 2.035 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 2.035 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 2.035 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 2.035 * [taylor]: Taking taylor expansion of (log 10.0) in re 2.035 * [taylor]: Taking taylor expansion of 10.0 in re 2.035 * [backup-simplify]: Simplify 10.0 into 10.0 2.035 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.036 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.038 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.039 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.042 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.044 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 2.045 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) into (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 2.046 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 im re))) into 0 2.046 * [taylor]: Taking taylor expansion of 0 in re 2.046 * [backup-simplify]: Simplify 0 into 0 2.046 * [backup-simplify]: Simplify 0 into 0 2.047 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0 2.047 * [backup-simplify]: Simplify 0 into 0 2.050 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 2.052 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.053 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.054 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 im re)))) into 0 2.054 * [taylor]: Taking taylor expansion of 0 in re 2.054 * [backup-simplify]: Simplify 0 into 0 2.054 * [backup-simplify]: Simplify 0 into 0 2.054 * [backup-simplify]: Simplify 0 into 0 2.056 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 2.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.057 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.058 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0 2.058 * [backup-simplify]: Simplify 0 into 0 2.061 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 2.062 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.063 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.064 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 im re))))) into 0 2.064 * [taylor]: Taking taylor expansion of 0 in re 2.064 * [backup-simplify]: Simplify 0 into 0 2.064 * [backup-simplify]: Simplify 0 into 0 2.065 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 2.065 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (sqrt (log 10.0))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) 2.065 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in (im re) around 0 2.065 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re 2.065 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 2.065 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 2.065 * [taylor]: Taking taylor expansion of (log 10.0) in re 2.065 * [taylor]: Taking taylor expansion of 10.0 in re 2.065 * [backup-simplify]: Simplify 10.0 into 10.0 2.066 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.066 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.067 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.068 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.069 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.069 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.069 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 2.069 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 2.069 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im 2.069 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 2.069 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 2.069 * [taylor]: Taking taylor expansion of (log 10.0) in im 2.069 * [taylor]: Taking taylor expansion of 10.0 in im 2.069 * [backup-simplify]: Simplify 10.0 into 10.0 2.070 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.070 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.071 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.072 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.073 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.073 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.073 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 2.074 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 2.074 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im 2.074 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 2.074 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 2.074 * [taylor]: Taking taylor expansion of (log 10.0) in im 2.074 * [taylor]: Taking taylor expansion of 10.0 in im 2.074 * [backup-simplify]: Simplify 10.0 into 10.0 2.074 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.074 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.075 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.076 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.077 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.077 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.077 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 2.078 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 2.079 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) 2.079 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re 2.079 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 2.079 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 2.079 * [taylor]: Taking taylor expansion of (log 10.0) in re 2.079 * [taylor]: Taking taylor expansion of 10.0 in re 2.079 * [backup-simplify]: Simplify 10.0 into 10.0 2.079 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.079 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.080 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.081 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.082 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.082 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.082 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 2.083 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 2.083 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) 2.084 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) 2.085 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0 2.085 * [taylor]: Taking taylor expansion of 0 in re 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0 2.087 * [backup-simplify]: Simplify 0 into 0 2.090 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 2.091 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.092 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.094 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0 2.094 * [taylor]: Taking taylor expansion of 0 in re 2.094 * [backup-simplify]: Simplify 0 into 0 2.094 * [backup-simplify]: Simplify 0 into 0 2.094 * [backup-simplify]: Simplify 0 into 0 2.097 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 2.099 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.100 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.102 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0 2.102 * [backup-simplify]: Simplify 0 into 0 2.108 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 2.109 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.111 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.113 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))))) into 0 2.113 * [taylor]: Taking taylor expansion of 0 in re 2.113 * [backup-simplify]: Simplify 0 into 0 2.113 * [backup-simplify]: Simplify 0 into 0 2.114 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 2.115 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (sqrt (log 10.0))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) 2.115 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in (im re) around 0 2.115 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re 2.115 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 2.115 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 2.115 * [taylor]: Taking taylor expansion of (log 10.0) in re 2.115 * [taylor]: Taking taylor expansion of 10.0 in re 2.115 * [backup-simplify]: Simplify 10.0 into 10.0 2.115 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.116 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.116 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.117 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.118 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.119 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.119 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 2.119 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 2.119 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im 2.119 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 2.119 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 2.119 * [taylor]: Taking taylor expansion of (log 10.0) in im 2.119 * [taylor]: Taking taylor expansion of 10.0 in im 2.119 * [backup-simplify]: Simplify 10.0 into 10.0 2.119 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.120 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.120 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.121 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.122 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.123 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.123 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 2.123 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 2.123 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im 2.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 2.123 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 2.123 * [taylor]: Taking taylor expansion of (log 10.0) in im 2.123 * [taylor]: Taking taylor expansion of 10.0 in im 2.123 * [backup-simplify]: Simplify 10.0 into 10.0 2.123 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.124 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.125 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.127 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.128 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.128 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.128 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 2.128 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 2.130 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) 2.130 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re 2.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 2.130 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 2.130 * [taylor]: Taking taylor expansion of (log 10.0) in re 2.130 * [taylor]: Taking taylor expansion of 10.0 in re 2.130 * [backup-simplify]: Simplify 10.0 into 10.0 2.130 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 2.131 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 2.131 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 2.132 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 2.133 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 2.133 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.134 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 2.134 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 2.135 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) 2.136 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) 2.136 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0 2.136 * [taylor]: Taking taylor expansion of 0 in re 2.136 * [backup-simplify]: Simplify 0 into 0 2.136 * [backup-simplify]: Simplify 0 into 0 2.137 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0 2.137 * [backup-simplify]: Simplify 0 into 0 2.139 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 2.139 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.140 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.141 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0 2.141 * [taylor]: Taking taylor expansion of 0 in re 2.141 * [backup-simplify]: Simplify 0 into 0 2.141 * [backup-simplify]: Simplify 0 into 0 2.141 * [backup-simplify]: Simplify 0 into 0 2.143 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 2.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.145 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.146 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0 2.146 * [backup-simplify]: Simplify 0 into 0 2.152 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 2.154 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 2.156 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 2.157 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))))) into 0 2.157 * [taylor]: Taking taylor expansion of 0 in re 2.157 * [backup-simplify]: Simplify 0 into 0 2.157 * [backup-simplify]: Simplify 0 into 0 2.159 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re))))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 2.159 * * * [progress]: simplifying candidates 2.161 * [simplify]: Simplifying: (expm1 (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (log1p (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (+ (- (log (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0))))) (+ (- (log (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0))))) (+ (- 0 (log (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0))))) (+ (- 0 (log (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0))))) (+ (log (/ 1 (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0))))) (+ (log (/ 1 (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0))))) (log (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (exp (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0))))) (* (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (cbrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (cbrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))))) (cbrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (sqrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (sqrt (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* 1 (atan2 im re)) (* (sqrt (log 10.0)) (sqrt (log 10.0))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (cbrt (/ (atan2 im re) (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1)) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) 1)) (* (/ 1 (sqrt (log 10.0))) (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt 1))) (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (/ 1 1)) (* (/ 1 (sqrt (log 10.0))) 1) (* (/ 1 (sqrt (log 10.0))) (atan2 im re)) (* (cbrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (cbrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (cbrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (cbrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (sqrt 1) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (cbrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ 1 (sqrt (log 10.0))) (atan2 im re)) (* 1 (/ (atan2 im re) (sqrt (log 10.0)))) (expm1 (/ (atan2 im re) (sqrt (log 10.0)))) (log1p (/ (atan2 im re) (sqrt (log 10.0)))) (- (log (atan2 im re)) (log (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (exp (/ (atan2 im re) (sqrt (log 10.0)))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (cbrt (/ (atan2 im re) (sqrt (log 10.0))))) (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (- (atan2 im re)) (- (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt 1)) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (cbrt (atan2 im re)) (sqrt (cbrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (sqrt (log 10.0)))) (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt 1)) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (sqrt (log 10.0)))) (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt 1)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (sqrt (atan2 im re)) (sqrt (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt 1)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) 1) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (sqrt 1)) (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (atan2 im re) (sqrt (cbrt (log 10.0)))) (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (/ 1 (sqrt 1)) (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (/ 1 1) (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (atan2 im re)) (/ (atan2 im re) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (sqrt 1)) (/ (atan2 im re) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt 1)) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) 1) (/ (sqrt (log 10.0)) (cbrt (atan2 im re))) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))) (/ (sqrt (log 10.0)) (atan2 im re)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 2.163 * * [simplify]: iteration 0: 162 enodes 2.210 * * [simplify]: iteration 1: 453 enodes 2.481 * * [simplify]: iteration 2: 2828 enodes 4.524 * * [simplify]: iteration complete: 5001 enodes 4.524 * * [simplify]: Extracting #0: cost 72 inf + 0 4.526 * * [simplify]: Extracting #1: cost 525 inf + 1 4.532 * * [simplify]: Extracting #2: cost 854 inf + 920 4.542 * * [simplify]: Extracting #3: cost 718 inf + 44641 4.571 * * [simplify]: Extracting #4: cost 228 inf + 218146 4.650 * * [simplify]: Extracting #5: cost 7 inf + 304833 4.734 * * [simplify]: Extracting #6: cost 0 inf + 307915 4.820 * [simplify]: Simplified to: (expm1 (/ (atan2 im re) (log 10.0))) (log1p (/ (atan2 im re) (log 10.0))) (/ (atan2 im re) (log 10.0)) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (log (/ (atan2 im re) (log 10.0))) (exp (/ (atan2 im re) (log 10.0))) (* (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0))) (/ (atan2 im re) (log 10.0))) (* (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0))) (/ (atan2 im re) (log 10.0))) (* (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0))) (/ (atan2 im re) (log 10.0))) (* (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0))) (/ (atan2 im re) (log 10.0))) (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))) (* (* (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0))) (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (sqrt (/ (atan2 im re) (log 10.0))) (atan2 im re) (log 10.0) (* (sqrt (/ 1 (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0))))) (/ (* (sqrt (atan2 im re)) (sqrt (/ 1 (sqrt (log 10.0))))) (sqrt (sqrt (log 10.0)))) (/ (* (sqrt (atan2 im re)) (sqrt (/ 1 (sqrt (log 10.0))))) (sqrt (sqrt (log 10.0)))) (/ (* (sqrt (atan2 im re)) (sqrt (/ 1 (sqrt (log 10.0))))) (sqrt (sqrt (log 10.0)))) (/ (* (sqrt (atan2 im re)) (sqrt (/ 1 (sqrt (log 10.0))))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))) (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (/ (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (log 10.0)))) (/ (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (* (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0))))) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (fabs (cbrt (log 10.0)))) (sqrt (log 10.0))) (/ (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (log 10.0))) (/ (/ (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (fabs (cbrt (log 10.0)))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (/ (/ 1 (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (/ 1 (sqrt (log 10.0))) (fabs (cbrt (log 10.0)))) (/ (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (/ 1 (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (/ (* (atan2 im re) (cbrt (/ 1 (sqrt (log 10.0))))) (sqrt (log 10.0))) (/ (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (sqrt (log 10.0))) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (sqrt (log 10.0))) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (expm1 (/ (atan2 im re) (sqrt (log 10.0)))) (log1p (/ (atan2 im re) (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (exp (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (atan2 im re) (sqrt (log 10.0))) (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (cbrt (/ (atan2 im re) (sqrt (log 10.0))))) (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (* (/ (atan2 im re) (sqrt (log 10.0))) (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (- (atan2 im re)) (- (sqrt (log 10.0))) (* (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (fabs (cbrt (log 10.0)))) (/ (cbrt (atan2 im re)) (sqrt (cbrt (log 10.0)))) (* (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (* (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (fabs (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (cbrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (/ 1 (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) 1 (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (fabs (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (cbrt (log 10.0)))) (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) 1 (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) 1 (/ (atan2 im re) (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (atan2 im re)) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (fabs (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (sqrt (log 10.0)) (cbrt (atan2 im re))) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))) (/ (sqrt (log 10.0)) (atan2 im re)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 4.836 * * * [progress]: adding candidates to table 5.406 * * [progress]: iteration 3 / 4 5.406 * * * [progress]: picking best candidate 5.448 * * * * [pick]: Picked # 5.449 * * * [progress]: localizing error 5.479 * * * [progress]: generating rewritten candidates 5.479 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.541 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 5.565 * * * [progress]: generating series expansions 5.565 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.569 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) into (/ (atan2 im re) (log 10.0)) 5.569 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0 5.569 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 5.569 * [taylor]: Taking taylor expansion of (atan2 im re) in re 5.569 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 5.569 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.569 * [taylor]: Taking taylor expansion of 10.0 in re 5.569 * [backup-simplify]: Simplify 10.0 into 10.0 5.570 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.570 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 5.570 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 5.570 * [taylor]: Taking taylor expansion of (atan2 im re) in im 5.570 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 5.570 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.570 * [taylor]: Taking taylor expansion of 10.0 in im 5.570 * [backup-simplify]: Simplify 10.0 into 10.0 5.571 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.571 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 5.571 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im 5.571 * [taylor]: Taking taylor expansion of (atan2 im re) in im 5.571 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 5.571 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.571 * [taylor]: Taking taylor expansion of 10.0 in im 5.571 * [backup-simplify]: Simplify 10.0 into 10.0 5.572 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.572 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 5.572 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re 5.572 * [taylor]: Taking taylor expansion of (atan2 im re) in re 5.572 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 5.572 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.572 * [taylor]: Taking taylor expansion of 10.0 in re 5.573 * [backup-simplify]: Simplify 10.0 into 10.0 5.573 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.573 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 5.574 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 5.575 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.577 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0 5.577 * [taylor]: Taking taylor expansion of 0 in re 5.577 * [backup-simplify]: Simplify 0 into 0 5.577 * [backup-simplify]: Simplify 0 into 0 5.579 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.580 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0 5.580 * [backup-simplify]: Simplify 0 into 0 5.582 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.583 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.583 * [taylor]: Taking taylor expansion of 0 in re 5.583 * [backup-simplify]: Simplify 0 into 0 5.583 * [backup-simplify]: Simplify 0 into 0 5.583 * [backup-simplify]: Simplify 0 into 0 5.585 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.586 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.586 * [backup-simplify]: Simplify 0 into 0 5.589 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 5.591 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.591 * [taylor]: Taking taylor expansion of 0 in re 5.591 * [backup-simplify]: Simplify 0 into 0 5.591 * [backup-simplify]: Simplify 0 into 0 5.591 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 5.593 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (* (atan2 (/ 1 im) (/ 1 re)) (/ 1 (sqrt (log 10.0))))) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 5.593 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0 5.593 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 5.593 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 5.593 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 5.593 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.593 * [taylor]: Taking taylor expansion of 10.0 in re 5.593 * [backup-simplify]: Simplify 10.0 into 10.0 5.594 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.594 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 5.594 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 5.594 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 5.594 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 5.594 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.594 * [taylor]: Taking taylor expansion of 10.0 in im 5.594 * [backup-simplify]: Simplify 10.0 into 10.0 5.594 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.595 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 5.595 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im 5.595 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 5.595 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 5.595 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.595 * [taylor]: Taking taylor expansion of 10.0 in im 5.595 * [backup-simplify]: Simplify 10.0 into 10.0 5.595 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.595 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 5.595 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re 5.595 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 5.596 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 5.596 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.596 * [taylor]: Taking taylor expansion of 10.0 in re 5.596 * [backup-simplify]: Simplify 10.0 into 10.0 5.596 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.596 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 5.597 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) 5.598 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.599 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 5.599 * [taylor]: Taking taylor expansion of 0 in re 5.599 * [backup-simplify]: Simplify 0 into 0 5.599 * [backup-simplify]: Simplify 0 into 0 5.599 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.600 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 5.600 * [backup-simplify]: Simplify 0 into 0 5.605 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.607 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.607 * [taylor]: Taking taylor expansion of 0 in re 5.607 * [backup-simplify]: Simplify 0 into 0 5.607 * [backup-simplify]: Simplify 0 into 0 5.607 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.610 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.610 * [backup-simplify]: Simplify 0 into 0 5.616 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 5.619 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.619 * [taylor]: Taking taylor expansion of 0 in re 5.619 * [backup-simplify]: Simplify 0 into 0 5.619 * [backup-simplify]: Simplify 0 into 0 5.620 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 5.623 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (* (atan2 (/ 1 (- im)) (/ 1 (- re))) (/ 1 (sqrt (log 10.0))))) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 5.623 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0 5.623 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 5.623 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 5.623 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 5.623 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.623 * [taylor]: Taking taylor expansion of 10.0 in re 5.623 * [backup-simplify]: Simplify 10.0 into 10.0 5.623 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.624 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 5.624 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 5.624 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 5.624 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 5.624 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.624 * [taylor]: Taking taylor expansion of 10.0 in im 5.624 * [backup-simplify]: Simplify 10.0 into 10.0 5.625 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.625 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 5.625 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im 5.625 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 5.625 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 5.625 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.626 * [taylor]: Taking taylor expansion of 10.0 in im 5.626 * [backup-simplify]: Simplify 10.0 into 10.0 5.626 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.626 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 5.627 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re 5.627 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 5.627 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 5.627 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.627 * [taylor]: Taking taylor expansion of 10.0 in re 5.627 * [backup-simplify]: Simplify 10.0 into 10.0 5.627 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.628 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 5.628 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) 5.630 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.631 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 5.631 * [taylor]: Taking taylor expansion of 0 in re 5.631 * [backup-simplify]: Simplify 0 into 0 5.631 * [backup-simplify]: Simplify 0 into 0 5.633 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.634 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0 5.635 * [backup-simplify]: Simplify 0 into 0 5.638 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.640 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.640 * [taylor]: Taking taylor expansion of 0 in re 5.640 * [backup-simplify]: Simplify 0 into 0 5.640 * [backup-simplify]: Simplify 0 into 0 5.640 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.645 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.645 * [backup-simplify]: Simplify 0 into 0 5.648 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 5.650 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.650 * [taylor]: Taking taylor expansion of 0 in re 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0)) 5.650 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 5.651 * [backup-simplify]: Simplify (* (atan2 im re) (/ 1 (sqrt (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 5.651 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in (im re) around 0 5.651 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in re 5.651 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 5.651 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 5.651 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.651 * [taylor]: Taking taylor expansion of 10.0 in re 5.651 * [backup-simplify]: Simplify 10.0 into 10.0 5.652 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.652 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.653 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.654 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.655 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.655 * [taylor]: Taking taylor expansion of (atan2 im re) in re 5.655 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 5.655 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in im 5.655 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 5.655 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 5.655 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.655 * [taylor]: Taking taylor expansion of 10.0 in im 5.655 * [backup-simplify]: Simplify 10.0 into 10.0 5.656 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.656 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.657 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.658 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.659 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.659 * [taylor]: Taking taylor expansion of (atan2 im re) in im 5.659 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 5.659 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) in im 5.659 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 5.659 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 5.659 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.659 * [taylor]: Taking taylor expansion of 10.0 in im 5.659 * [backup-simplify]: Simplify 10.0 into 10.0 5.660 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.660 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.661 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.662 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.662 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.663 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.663 * [taylor]: Taking taylor expansion of (atan2 im re) in im 5.663 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 5.664 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) into (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 5.664 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re 5.664 * [taylor]: Taking taylor expansion of (atan2 im re) in re 5.664 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 5.664 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 5.664 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 5.664 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.664 * [taylor]: Taking taylor expansion of 10.0 in re 5.664 * [backup-simplify]: Simplify 10.0 into 10.0 5.664 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.665 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.666 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.667 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.668 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.669 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 5.670 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) into (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 5.671 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 im re))) into 0 5.671 * [taylor]: Taking taylor expansion of 0 in re 5.671 * [backup-simplify]: Simplify 0 into 0 5.671 * [backup-simplify]: Simplify 0 into 0 5.671 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0 5.671 * [backup-simplify]: Simplify 0 into 0 5.673 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.674 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.676 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.677 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 im re)))) into 0 5.677 * [taylor]: Taking taylor expansion of 0 in re 5.677 * [backup-simplify]: Simplify 0 into 0 5.678 * [backup-simplify]: Simplify 0 into 0 5.678 * [backup-simplify]: Simplify 0 into 0 5.681 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.685 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0 5.685 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 5.692 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.694 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.695 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 im re))))) into 0 5.695 * [taylor]: Taking taylor expansion of 0 in re 5.696 * [backup-simplify]: Simplify 0 into 0 5.696 * [backup-simplify]: Simplify 0 into 0 5.698 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) 5.699 * [backup-simplify]: Simplify (* (atan2 (/ 1 im) (/ 1 re)) (/ 1 (sqrt (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) 5.699 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in (im re) around 0 5.699 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re 5.699 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 5.699 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 5.699 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.700 * [taylor]: Taking taylor expansion of 10.0 in re 5.700 * [backup-simplify]: Simplify 10.0 into 10.0 5.700 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.701 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.702 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.704 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.706 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.706 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 5.706 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 5.706 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im 5.706 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 5.706 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 5.706 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.706 * [taylor]: Taking taylor expansion of 10.0 in im 5.706 * [backup-simplify]: Simplify 10.0 into 10.0 5.707 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.708 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.709 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.711 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.713 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.713 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 5.713 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 5.713 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im 5.713 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 5.713 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 5.713 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.713 * [taylor]: Taking taylor expansion of 10.0 in im 5.713 * [backup-simplify]: Simplify 10.0 into 10.0 5.713 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.714 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.716 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.717 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.720 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.720 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 5.720 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 5.721 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) 5.721 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re 5.722 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 5.722 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 5.722 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.722 * [taylor]: Taking taylor expansion of 10.0 in re 5.722 * [backup-simplify]: Simplify 10.0 into 10.0 5.722 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.723 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.724 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.726 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.730 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.730 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 5.730 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 5.732 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) 5.734 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) 5.735 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0 5.735 * [taylor]: Taking taylor expansion of 0 in re 5.735 * [backup-simplify]: Simplify 0 into 0 5.735 * [backup-simplify]: Simplify 0 into 0 5.736 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0 5.736 * [backup-simplify]: Simplify 0 into 0 5.739 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.740 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.742 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.743 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0 5.743 * [taylor]: Taking taylor expansion of 0 in re 5.743 * [backup-simplify]: Simplify 0 into 0 5.743 * [backup-simplify]: Simplify 0 into 0 5.744 * [backup-simplify]: Simplify 0 into 0 5.747 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.749 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.751 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0 5.751 * [backup-simplify]: Simplify 0 into 0 5.756 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 5.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.760 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.762 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))))) into 0 5.762 * [taylor]: Taking taylor expansion of 0 in re 5.762 * [backup-simplify]: Simplify 0 into 0 5.762 * [backup-simplify]: Simplify 0 into 0 5.763 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 5.765 * [backup-simplify]: Simplify (* (atan2 (/ 1 (- im)) (/ 1 (- re))) (/ 1 (sqrt (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) 5.765 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in (im re) around 0 5.765 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re 5.765 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 5.765 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 5.765 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.765 * [taylor]: Taking taylor expansion of 10.0 in re 5.765 * [backup-simplify]: Simplify 10.0 into 10.0 5.766 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.767 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.768 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.770 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.771 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.772 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.772 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 5.772 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 5.772 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im 5.772 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 5.772 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 5.772 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.772 * [taylor]: Taking taylor expansion of 10.0 in im 5.772 * [backup-simplify]: Simplify 10.0 into 10.0 5.773 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.773 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.775 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.777 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.779 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.779 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 5.779 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 5.779 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im 5.779 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im 5.779 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 5.779 * [taylor]: Taking taylor expansion of (log 10.0) in im 5.779 * [taylor]: Taking taylor expansion of 10.0 in im 5.779 * [backup-simplify]: Simplify 10.0 into 10.0 5.779 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.780 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.782 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.783 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.785 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.785 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 5.785 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 5.786 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) 5.786 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re 5.786 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re 5.786 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 5.786 * [taylor]: Taking taylor expansion of (log 10.0) in re 5.786 * [taylor]: Taking taylor expansion of 10.0 in re 5.786 * [backup-simplify]: Simplify 10.0 into 10.0 5.787 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 5.787 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 5.788 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0))) 5.789 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 5.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 5.790 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.790 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 5.790 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 5.791 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) 5.792 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) 5.793 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0 5.793 * [taylor]: Taking taylor expansion of 0 in re 5.793 * [backup-simplify]: Simplify 0 into 0 5.793 * [backup-simplify]: Simplify 0 into 0 5.793 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0 5.793 * [backup-simplify]: Simplify 0 into 0 5.795 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.796 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.797 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.797 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0 5.797 * [taylor]: Taking taylor expansion of 0 in re 5.797 * [backup-simplify]: Simplify 0 into 0 5.797 * [backup-simplify]: Simplify 0 into 0 5.798 * [backup-simplify]: Simplify 0 into 0 5.799 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 5.800 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.801 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.801 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0 5.802 * [backup-simplify]: Simplify 0 into 0 5.804 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 5.805 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 5.806 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0 5.807 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))))) into 0 5.807 * [taylor]: Taking taylor expansion of 0 in re 5.807 * [backup-simplify]: Simplify 0 into 0 5.807 * [backup-simplify]: Simplify 0 into 0 5.808 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re))))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 5.808 * * * [progress]: simplifying candidates 5.810 * [simplify]: Simplifying: (expm1 (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (log1p (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (+ (- (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log (sqrt (log 10.0)))))) (+ (- (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- 0 (log (sqrt (log 10.0)))))) (+ (- (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log 1) (log (sqrt (log 10.0)))))) (+ (- (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (log (/ 1 (sqrt (log 10.0)))))) (+ (- (log (sqrt (log 10.0)))) (log (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (+ (- 0 (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log (sqrt (log 10.0)))))) (+ (- 0 (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- 0 (log (sqrt (log 10.0)))))) (+ (- 0 (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log 1) (log (sqrt (log 10.0)))))) (+ (- 0 (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (log (/ 1 (sqrt (log 10.0)))))) (+ (- 0 (log (sqrt (log 10.0)))) (log (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log (sqrt (log 10.0)))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- 0 (log (sqrt (log 10.0)))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log 1) (log (sqrt (log 10.0)))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (+ (log (atan2 im re)) (log (/ 1 (sqrt (log 10.0)))))) (+ (- (log 1) (log (sqrt (log 10.0)))) (log (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (+ (log (/ 1 (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log (sqrt (log 10.0)))))) (+ (log (/ 1 (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- 0 (log (sqrt (log 10.0)))))) (+ (log (/ 1 (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log 1) (log (sqrt (log 10.0)))))) (+ (log (/ 1 (sqrt (log 10.0)))) (+ (log (atan2 im re)) (log (/ 1 (sqrt (log 10.0)))))) (+ (log (/ 1 (sqrt (log 10.0)))) (log (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (log (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (exp (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (* (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))))) (* (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))))) (* (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (* (atan2 im re) (/ 1 (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))) (* (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))) (* (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))))) (* (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0)))) (* (* (* (atan2 im re) (/ 1 (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (* (cbrt (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (cbrt (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))) (cbrt (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (* (* (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (sqrt (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (sqrt (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (* 1 (atan2 im re)) (* (sqrt (log 10.0)) (sqrt (log 10.0))) (* 1 (* (atan2 im re) 1)) (* (sqrt (log 10.0)) (sqrt (log 10.0))) (* (/ 1 (sqrt (log 10.0))) (atan2 im re)) (* (cbrt (/ 1 (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (cbrt 1) (cbrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (cbrt 1) (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (cbrt 1) (sqrt (cbrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (cbrt 1) (sqrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (cbrt 1) (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (cbrt 1) (sqrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (cbrt 1) (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (sqrt 1) (cbrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (cbrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ (sqrt 1) (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (cbrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (cbrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (/ 1 (sqrt (log 10.0))) (atan2 im re)) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) 1)) (* 1 (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (expm1 (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (log1p (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))) (+ (log (atan2 im re)) (- (log (sqrt (log 10.0))))) (+ (log (atan2 im re)) (- 0 (log (sqrt (log 10.0))))) (+ (log (atan2 im re)) (- (log 1) (log (sqrt (log 10.0))))) (+ (log (atan2 im re)) (log (/ 1 (sqrt (log 10.0))))) (log (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (exp (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (/ (* (* 1 1) 1) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0))))) (* (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (* (* (/ 1 (sqrt (log 10.0))) (/ 1 (sqrt (log 10.0)))) (/ 1 (sqrt (log 10.0))))) (* (cbrt (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (cbrt (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))) (cbrt (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (* (* (atan2 im re) (/ 1 (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (sqrt (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (sqrt (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (sqrt (/ 1 (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (sqrt (/ 1 (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (/ (sqrt 1) (sqrt (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (/ (sqrt 1) (sqrt (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (/ (sqrt 1) (sqrt (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (/ (sqrt 1) (sqrt (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (/ 1 (sqrt (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (/ 1 (sqrt (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (/ 1 (sqrt (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (/ 1 (sqrt (sqrt (log 10.0))))) (* (atan2 im re) (* (cbrt (/ 1 (sqrt (log 10.0)))) (cbrt (/ 1 (sqrt (log 10.0)))))) (* (atan2 im re) (sqrt (/ 1 (sqrt (log 10.0))))) (* (atan2 im re) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (atan2 im re) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))) (* (atan2 im re) (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (atan2 im re) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (log 10.0))))) (* (atan2 im re) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))) (* (atan2 im re) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (log 10.0))))) (* (atan2 im re) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (atan2 im re) (/ (sqrt 1) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (atan2 im re) (/ (sqrt 1) (sqrt 1))) (* (atan2 im re) (/ (sqrt 1) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (atan2 im re) (/ (sqrt 1) (sqrt (sqrt (log 10.0))))) (* (atan2 im re) (/ (sqrt 1) (sqrt 1))) (* (atan2 im re) (/ (sqrt 1) (sqrt (sqrt (log 10.0))))) (* (atan2 im re) (/ (sqrt 1) 1)) (* (atan2 im re) (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (* (atan2 im re) (/ 1 (sqrt 1))) (* (atan2 im re) (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (* (atan2 im re) (/ 1 (sqrt (sqrt (log 10.0))))) (* (atan2 im re) (/ 1 (sqrt 1))) (* (atan2 im re) (/ 1 (sqrt (sqrt (log 10.0))))) (* (atan2 im re) (/ 1 1)) (* (atan2 im re) 1) (* (atan2 im re) 1) (* (cbrt (atan2 im re)) (/ 1 (sqrt (log 10.0)))) (* (sqrt (atan2 im re)) (/ 1 (sqrt (log 10.0)))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))) (* (atan2 im re) 1) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (* (sqrt (/ 1 (log 10.0))) (atan2 im re)) (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 5.812 * * [simplify]: iteration 0: 162 enodes 5.881 * * [simplify]: iteration 1: 481 enodes 6.410 * * [simplify]: iteration 2: 3867 enodes 10.494 * * [simplify]: iteration complete: 5000 enodes 10.494 * * [simplify]: Extracting #0: cost 36 inf + 0 10.496 * * [simplify]: Extracting #1: cost 1329 inf + 0 10.503 * * [simplify]: Extracting #2: cost 1914 inf + 78 10.527 * * [simplify]: Extracting #3: cost 1497 inf + 88917 10.585 * * [simplify]: Extracting #4: cost 830 inf + 305829 10.666 * * [simplify]: Extracting #5: cost 115 inf + 562246 10.770 * * [simplify]: Extracting #6: cost 5 inf + 605776 10.859 * * [simplify]: Extracting #7: cost 0 inf + 608166 10.945 * [simplify]: Simplified to: (expm1 (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log1p (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (log (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (exp (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (cbrt (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (cbrt (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))))) (cbrt (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (sqrt (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (sqrt (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0)))) (atan2 im re) (log 10.0) (atan2 im re) (log 10.0) (/ (atan2 im re) (sqrt (log 10.0))) (* (/ (atan2 im re) (sqrt (log 10.0))) (cbrt (/ 1 (sqrt (log 10.0))))) (/ (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (cbrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (expm1 (/ (atan2 im re) (sqrt (log 10.0)))) (log1p (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (log (/ (atan2 im re) (sqrt (log 10.0)))) (exp (/ (atan2 im re) (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (* (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (cbrt (/ (atan2 im re) (sqrt (log 10.0))))) (cbrt (/ (atan2 im re) (sqrt (log 10.0)))) (* (* (/ (atan2 im re) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (sqrt (/ (atan2 im re) (sqrt (log 10.0)))) (* (sqrt (atan2 im re)) (sqrt (/ 1 (sqrt (log 10.0))))) (* (sqrt (atan2 im re)) (sqrt (/ 1 (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (sqrt (sqrt (log 10.0)))) (* (* (cbrt (/ 1 (sqrt (log 10.0)))) (cbrt (/ 1 (sqrt (log 10.0))))) (atan2 im re)) (* (sqrt (/ 1 (sqrt (log 10.0)))) (atan2 im re)) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (fabs (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (fabs (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (fabs (cbrt (log 10.0)))) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (/ (atan2 im re) (sqrt (sqrt (log 10.0)))) (atan2 im re) (atan2 im re) (atan2 im re) (/ (cbrt (atan2 im re)) (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0))) (atan2 im re) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (/ (atan2 im re) (log 10.0)) (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) 10.957 * * * [progress]: adding candidates to table 11.383 * * [progress]: iteration 4 / 4 11.383 * * * [progress]: picking best candidate 11.426 * * * * [pick]: Picked # 11.426 * * * [progress]: localizing error 11.481 * * * [progress]: generating rewritten candidates 11.481 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 11.484 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 11.487 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2) 11.489 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 11.507 * * * [progress]: generating series expansions 11.507 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 11.507 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 11.508 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2) 11.508 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 11.510 * [backup-simplify]: Simplify (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) 11.510 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) in (im re) around 0 11.510 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) in re 11.510 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in re 11.510 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in re 11.510 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in re 11.510 * [taylor]: Taking taylor expansion of 1/6 in re 11.510 * [backup-simplify]: Simplify 1/6 into 1/6 11.510 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in re 11.510 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 11.510 * [taylor]: Taking taylor expansion of (log 10.0) in re 11.510 * [taylor]: Taking taylor expansion of 10.0 in re 11.510 * [backup-simplify]: Simplify 10.0 into 10.0 11.511 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.512 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.513 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.516 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.520 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.520 * [taylor]: Taking taylor expansion of (atan2 im re) in re 11.520 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 11.520 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) in im 11.520 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in im 11.520 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in im 11.520 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in im 11.520 * [taylor]: Taking taylor expansion of 1/6 in im 11.520 * [backup-simplify]: Simplify 1/6 into 1/6 11.520 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in im 11.520 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 11.520 * [taylor]: Taking taylor expansion of (log 10.0) in im 11.520 * [taylor]: Taking taylor expansion of 10.0 in im 11.520 * [backup-simplify]: Simplify 10.0 into 10.0 11.521 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.522 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.523 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.526 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.530 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.530 * [taylor]: Taking taylor expansion of (atan2 im re) in im 11.530 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 11.530 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) in im 11.530 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in im 11.530 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in im 11.530 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in im 11.530 * [taylor]: Taking taylor expansion of 1/6 in im 11.530 * [backup-simplify]: Simplify 1/6 into 1/6 11.530 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in im 11.530 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 11.530 * [taylor]: Taking taylor expansion of (log 10.0) in im 11.530 * [taylor]: Taking taylor expansion of 10.0 in im 11.530 * [backup-simplify]: Simplify 10.0 into 10.0 11.530 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.531 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.533 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.535 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.538 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.539 * [taylor]: Taking taylor expansion of (atan2 im re) in im 11.539 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 11.541 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) into (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) 11.541 * [taylor]: Taking taylor expansion of (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) in re 11.541 * [taylor]: Taking taylor expansion of (atan2 im re) in re 11.541 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 11.541 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in re 11.541 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in re 11.541 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in re 11.541 * [taylor]: Taking taylor expansion of 1/6 in re 11.541 * [backup-simplify]: Simplify 1/6 into 1/6 11.541 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in re 11.541 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 11.541 * [taylor]: Taking taylor expansion of (log 10.0) in re 11.541 * [taylor]: Taking taylor expansion of 10.0 in re 11.541 * [backup-simplify]: Simplify 10.0 into 10.0 11.542 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.542 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.551 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.554 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.557 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.558 * [backup-simplify]: Simplify (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) 11.559 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) into (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) 11.561 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 11.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 11.563 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 1) into 0 11.564 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (/ 1 (log 10.0))))) into 0 11.565 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 1) 1)))) into 0 11.565 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (* 0 (atan2 im re))) into 0 11.565 * [taylor]: Taking taylor expansion of 0 in re 11.565 * [backup-simplify]: Simplify 0 into 0 11.565 * [backup-simplify]: Simplify 0 into 0 11.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 11.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 11.568 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 1) into 0 11.568 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (/ 1 (log 10.0))))) into 0 11.570 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 1) 1)))) into 0 11.570 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (pow (/ 1 (log 10.0)) 1/6))) into 0 11.570 * [backup-simplify]: Simplify 0 into 0 11.572 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 11.572 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.574 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 2) into 0 11.575 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0)))))) into 0 11.577 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.577 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (+ (* 0 0) (* 0 (atan2 im re)))) into 0 11.578 * [taylor]: Taking taylor expansion of 0 in re 11.578 * [backup-simplify]: Simplify 0 into 0 11.578 * [backup-simplify]: Simplify 0 into 0 11.578 * [backup-simplify]: Simplify 0 into 0 11.579 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 11.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.582 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 2) into 0 11.583 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0)))))) into 0 11.585 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.585 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (pow (/ 1 (log 10.0)) 1/6)))) into 0 11.585 * [backup-simplify]: Simplify 0 into 0 11.588 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 11.589 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.593 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 (log 10.0)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 6) into 0 11.594 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0))))))) into 0 11.595 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.596 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 im re))))) into 0 11.596 * [taylor]: Taking taylor expansion of 0 in re 11.596 * [backup-simplify]: Simplify 0 into 0 11.596 * [backup-simplify]: Simplify 0 into 0 11.598 * [backup-simplify]: Simplify (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) 11.599 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (cbrt (sqrt (log 10.0)))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) 11.599 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) in (im re) around 0 11.599 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) in re 11.599 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in re 11.599 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in re 11.599 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in re 11.599 * [taylor]: Taking taylor expansion of 1/6 in re 11.599 * [backup-simplify]: Simplify 1/6 into 1/6 11.599 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in re 11.599 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 11.599 * [taylor]: Taking taylor expansion of (log 10.0) in re 11.599 * [taylor]: Taking taylor expansion of 10.0 in re 11.599 * [backup-simplify]: Simplify 10.0 into 10.0 11.599 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.600 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.601 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.603 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.606 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.606 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 11.607 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 11.607 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) in im 11.607 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in im 11.607 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in im 11.607 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in im 11.607 * [taylor]: Taking taylor expansion of 1/6 in im 11.607 * [backup-simplify]: Simplify 1/6 into 1/6 11.607 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in im 11.607 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 11.607 * [taylor]: Taking taylor expansion of (log 10.0) in im 11.607 * [taylor]: Taking taylor expansion of 10.0 in im 11.607 * [backup-simplify]: Simplify 10.0 into 10.0 11.607 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.608 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.610 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.612 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.616 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.616 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 11.616 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 11.616 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) in im 11.616 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in im 11.616 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in im 11.616 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in im 11.616 * [taylor]: Taking taylor expansion of 1/6 in im 11.616 * [backup-simplify]: Simplify 1/6 into 1/6 11.616 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in im 11.616 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 11.616 * [taylor]: Taking taylor expansion of (log 10.0) in im 11.616 * [taylor]: Taking taylor expansion of 10.0 in im 11.616 * [backup-simplify]: Simplify 10.0 into 10.0 11.617 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.617 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.619 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.621 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.625 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.625 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 11.625 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 11.627 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) 11.627 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) in re 11.627 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in re 11.627 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in re 11.627 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in re 11.627 * [taylor]: Taking taylor expansion of 1/6 in re 11.627 * [backup-simplify]: Simplify 1/6 into 1/6 11.627 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in re 11.627 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 11.627 * [taylor]: Taking taylor expansion of (log 10.0) in re 11.627 * [taylor]: Taking taylor expansion of 10.0 in re 11.627 * [backup-simplify]: Simplify 10.0 into 10.0 11.628 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.629 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.630 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.633 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.636 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.636 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 11.636 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re)) 11.638 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) 11.640 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 im) (/ 1 re))) 11.642 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 11.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 11.645 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 1) into 0 11.646 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (/ 1 (log 10.0))))) into 0 11.648 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 1) 1)))) into 0 11.650 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0 11.650 * [taylor]: Taking taylor expansion of 0 in re 11.650 * [backup-simplify]: Simplify 0 into 0 11.650 * [backup-simplify]: Simplify 0 into 0 11.652 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 11.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 11.655 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 1) into 0 11.657 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (/ 1 (log 10.0))))) into 0 11.659 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 1) 1)))) into 0 11.660 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0 11.660 * [backup-simplify]: Simplify 0 into 0 11.663 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 11.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.671 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 2) into 0 11.673 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0)))))) into 0 11.676 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.678 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0 11.678 * [taylor]: Taking taylor expansion of 0 in re 11.678 * [backup-simplify]: Simplify 0 into 0 11.678 * [backup-simplify]: Simplify 0 into 0 11.678 * [backup-simplify]: Simplify 0 into 0 11.681 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 11.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.686 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 2) into 0 11.687 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0)))))) into 0 11.690 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.691 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0 11.691 * [backup-simplify]: Simplify 0 into 0 11.697 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 11.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.703 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 (log 10.0)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 6) into 0 11.704 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0))))))) into 0 11.706 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.707 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))))) into 0 11.707 * [taylor]: Taking taylor expansion of 0 in re 11.707 * [backup-simplify]: Simplify 0 into 0 11.707 * [backup-simplify]: Simplify 0 into 0 11.708 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) 11.709 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (cbrt (sqrt (log 10.0)))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) 11.709 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) in (im re) around 0 11.709 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) in re 11.709 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in re 11.709 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in re 11.709 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in re 11.709 * [taylor]: Taking taylor expansion of 1/6 in re 11.709 * [backup-simplify]: Simplify 1/6 into 1/6 11.709 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in re 11.709 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 11.709 * [taylor]: Taking taylor expansion of (log 10.0) in re 11.709 * [taylor]: Taking taylor expansion of 10.0 in re 11.709 * [backup-simplify]: Simplify 10.0 into 10.0 11.709 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.710 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.711 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.712 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.714 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.714 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 11.714 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 11.715 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) in im 11.715 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in im 11.715 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in im 11.715 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in im 11.715 * [taylor]: Taking taylor expansion of 1/6 in im 11.715 * [backup-simplify]: Simplify 1/6 into 1/6 11.715 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in im 11.715 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 11.715 * [taylor]: Taking taylor expansion of (log 10.0) in im 11.715 * [taylor]: Taking taylor expansion of 10.0 in im 11.715 * [backup-simplify]: Simplify 10.0 into 10.0 11.715 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.715 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.716 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.718 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.720 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.720 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 11.720 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 11.720 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) in im 11.720 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in im 11.720 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in im 11.720 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in im 11.720 * [taylor]: Taking taylor expansion of 1/6 in im 11.720 * [backup-simplify]: Simplify 1/6 into 1/6 11.720 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in im 11.720 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im 11.720 * [taylor]: Taking taylor expansion of (log 10.0) in im 11.720 * [taylor]: Taking taylor expansion of 10.0 in im 11.720 * [backup-simplify]: Simplify 10.0 into 10.0 11.720 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.721 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.722 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.723 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.725 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.725 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 11.725 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 11.726 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) 11.726 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) in re 11.726 * [taylor]: Taking taylor expansion of (pow (/ 1 (log 10.0)) 1/6) in re 11.726 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (log 10.0))))) in re 11.726 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (log 10.0)))) in re 11.726 * [taylor]: Taking taylor expansion of 1/6 in re 11.726 * [backup-simplify]: Simplify 1/6 into 1/6 11.726 * [taylor]: Taking taylor expansion of (log (/ 1 (log 10.0))) in re 11.726 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re 11.726 * [taylor]: Taking taylor expansion of (log 10.0) in re 11.726 * [taylor]: Taking taylor expansion of 10.0 in re 11.726 * [backup-simplify]: Simplify 10.0 into 10.0 11.727 * [backup-simplify]: Simplify (log 10.0) into (log 10.0) 11.727 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0)) 11.728 * [backup-simplify]: Simplify (log (/ 1 (log 10.0))) into (log (/ 1 (log 10.0))) 11.730 * [backup-simplify]: Simplify (* 1/6 (log (/ 1 (log 10.0)))) into (* 1/6 (log (/ 1 (log 10.0)))) 11.733 * [backup-simplify]: Simplify (exp (* 1/6 (log (/ 1 (log 10.0))))) into (pow (/ 1 (log 10.0)) 1/6) 11.733 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 11.733 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re)) 11.734 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) 11.735 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) into (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 im) (/ -1 re))) 11.736 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 11.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 11.738 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 1) into 0 11.738 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (/ 1 (log 10.0))))) into 0 11.739 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 1) 1)))) into 0 11.740 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0 11.740 * [taylor]: Taking taylor expansion of 0 in re 11.740 * [backup-simplify]: Simplify 0 into 0 11.740 * [backup-simplify]: Simplify 0 into 0 11.741 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0 11.742 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0 11.743 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 1) into 0 11.743 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 (log (/ 1 (log 10.0))))) into 0 11.744 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 1) 1)))) into 0 11.745 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0 11.745 * [backup-simplify]: Simplify 0 into 0 11.747 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 11.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.749 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 2) into 0 11.750 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0)))))) into 0 11.752 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.753 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0 11.753 * [taylor]: Taking taylor expansion of 0 in re 11.753 * [backup-simplify]: Simplify 0 into 0 11.753 * [backup-simplify]: Simplify 0 into 0 11.753 * [backup-simplify]: Simplify 0 into 0 11.755 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 10.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 10.0 1)))) 2) into 0 11.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.757 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 2) into 0 11.758 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0)))))) into 0 11.759 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.760 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0 11.760 * [backup-simplify]: Simplify 0 into 0 11.765 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 10.0 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 10.0 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 10.0 1)))) 6) into 0 11.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0 11.774 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 (log 10.0)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 (log 10.0)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 (log 10.0)) 1)))) 6) into 0 11.776 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (/ 1 (log 10.0))))))) into 0 11.778 * [backup-simplify]: Simplify (* (exp (* 1/6 (log (/ 1 (log 10.0))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.779 * [backup-simplify]: Simplify (+ (* (pow (/ 1 (log 10.0)) 1/6) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))))) into 0 11.779 * [taylor]: Taking taylor expansion of 0 in re 11.779 * [backup-simplify]: Simplify 0 into 0 11.779 * [backup-simplify]: Simplify 0 into 0 11.780 * [backup-simplify]: Simplify (* (pow (/ 1 (log 10.0)) 1/6) (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re))))) into (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) 11.780 * * * [progress]: simplifying candidates 11.782 * [simplify]: Simplifying: (expm1 (cbrt (sqrt (log 10.0)))) (log1p (cbrt (sqrt (log 10.0)))) (log (cbrt (sqrt (log 10.0)))) (exp (cbrt (sqrt (log 10.0)))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt 1)) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt 1)) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt 1) (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (* (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (expm1 (cbrt (sqrt (log 10.0)))) (log1p (cbrt (sqrt (log 10.0)))) (log (cbrt (sqrt (log 10.0)))) (exp (cbrt (sqrt (log 10.0)))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt 1)) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt 1)) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt 1) (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (* (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (expm1 (cbrt (sqrt (log 10.0)))) (log1p (cbrt (sqrt (log 10.0)))) (log (cbrt (sqrt (log 10.0)))) (exp (cbrt (sqrt (log 10.0)))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (sqrt 1)) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt 1)) (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt 1) (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (* (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (expm1 (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (log1p (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (- (log (atan2 im re)) (log (cbrt (sqrt (log 10.0))))) (log (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (exp (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (/ (* (* (atan2 im re) (atan2 im re)) (atan2 im re)) (sqrt (log 10.0))) (* (cbrt (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (cbrt (/ (atan2 im re) (cbrt (sqrt (log 10.0)))))) (cbrt (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (* (* (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (sqrt (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (sqrt (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (- (atan2 im re)) (- (cbrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (/ (cbrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (sqrt 1))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (cbrt (log 10.0))))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (sqrt (sqrt (log 10.0))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (sqrt 1))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (sqrt (sqrt (log 10.0))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt 1)) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0)))))) (/ (cbrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (sqrt (cbrt (sqrt (log 10.0))))) (/ (cbrt (atan2 im re)) (sqrt (cbrt (sqrt (log 10.0))))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) 1) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (/ (sqrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt 1))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (cbrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt 1))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt 1)) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0)))))) (/ (sqrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (sqrt (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (sqrt (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) 1) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (/ (atan2 im re) (cbrt (cbrt (sqrt (log 10.0))))) (/ 1 (cbrt (sqrt 1))) (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (/ (atan2 im re) (cbrt (sqrt (cbrt (log 10.0))))) (/ 1 (cbrt (sqrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (sqrt (log 10.0))))) (/ 1 (cbrt (sqrt 1))) (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (sqrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (sqrt (log 10.0))))) (/ 1 (cbrt 1)) (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0)))))) (/ (atan2 im re) (cbrt (cbrt (sqrt (log 10.0))))) (/ 1 (sqrt (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (sqrt (cbrt (sqrt (log 10.0))))) (/ 1 1) (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (sqrt (log 10.0)))) (/ (cbrt (sqrt (log 10.0))) (atan2 im re)) (/ (atan2 im re) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (/ (atan2 im re) (cbrt (sqrt 1))) (/ (atan2 im re) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (/ (atan2 im re) (cbrt (sqrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt 1))) (/ (atan2 im re) (cbrt (sqrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt 1)) (/ (atan2 im re) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0)))))) (/ (atan2 im re) (sqrt (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) 1) (/ (cbrt (sqrt (log 10.0))) (cbrt (atan2 im re))) (/ (cbrt (sqrt (log 10.0))) (sqrt (atan2 im re))) (/ (cbrt (sqrt (log 10.0))) (atan2 im re)) (* (/ 1 (sqrt (log 10.0))) (* (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (* (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (sqrt (log 10.0)))))) (* (/ 1 (sqrt (log 10.0))) (* (/ (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (sqrt (log 10.0)))))) (* (pow (/ 1 (log 10.0)) 1/6) (atan2 im re)) (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) 11.783 * * [simplify]: iteration 0: 104 enodes 11.803 * * [simplify]: iteration 1: 166 enodes 11.841 * * [simplify]: iteration 2: 636 enodes 12.105 * * [simplify]: iteration 3: 3278 enodes 12.933 * * [simplify]: iteration complete: 5001 enodes 12.933 * * [simplify]: Extracting #0: cost 64 inf + 0 12.934 * * [simplify]: Extracting #1: cost 610 inf + 1 12.938 * * [simplify]: Extracting #2: cost 1673 inf + 1421 12.955 * * [simplify]: Extracting #3: cost 1584 inf + 35346 12.978 * * [simplify]: Extracting #4: cost 1215 inf + 151869 13.026 * * [simplify]: Extracting #5: cost 324 inf + 500720 13.097 * * [simplify]: Extracting #6: cost 2 inf + 642170 13.170 * * [simplify]: Extracting #7: cost 0 inf + 643197 13.243 * [simplify]: Simplified to: (expm1 (cbrt (sqrt (log 10.0)))) (log1p (cbrt (sqrt (log 10.0)))) (log (cbrt (sqrt (log 10.0)))) (exp (cbrt (sqrt (log 10.0)))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (cbrt (fabs (cbrt (log 10.0)))) (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0)) (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (expm1 (cbrt (sqrt (log 10.0)))) (log1p (cbrt (sqrt (log 10.0)))) (log (cbrt (sqrt (log 10.0)))) (exp (cbrt (sqrt (log 10.0)))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (cbrt (fabs (cbrt (log 10.0)))) (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0)) (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (expm1 (cbrt (sqrt (log 10.0)))) (log1p (cbrt (sqrt (log 10.0)))) (log (cbrt (sqrt (log 10.0)))) (exp (cbrt (sqrt (log 10.0)))) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (cbrt (fabs (cbrt (log 10.0)))) (cbrt (sqrt (cbrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))) 1 (cbrt (sqrt (log 10.0))) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0)))) (sqrt (log 10.0)) (sqrt (cbrt (sqrt (log 10.0)))) (sqrt (cbrt (sqrt (log 10.0)))) (expm1 (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (log1p (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (log (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (log (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (exp (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (* (/ (atan2 im re) (/ (sqrt (log 10.0)) (atan2 im re))) (atan2 im re)) (* (cbrt (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (cbrt (/ (atan2 im re) (cbrt (sqrt (log 10.0)))))) (cbrt (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (* (/ (atan2 im re) (/ (sqrt (log 10.0)) (atan2 im re))) (atan2 im re)) (sqrt (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (sqrt (/ (atan2 im re) (cbrt (sqrt (log 10.0))))) (- (atan2 im re)) (- (cbrt (sqrt (log 10.0)))) (/ (cbrt (atan2 im re)) (/ (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (cbrt (fabs (cbrt (log 10.0))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (cbrt (log 10.0))))) (* (cbrt (atan2 im re)) (/ (cbrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0)))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (* (cbrt (atan2 im re)) (/ (cbrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0)))))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (* (/ (cbrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (/ (cbrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0)))))) (/ (cbrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (/ (cbrt (atan2 im re)) (/ (sqrt (cbrt (sqrt (log 10.0)))) (cbrt (atan2 im re)))) (/ (cbrt (atan2 im re)) (sqrt (cbrt (sqrt (log 10.0))))) (* (cbrt (atan2 im re)) (cbrt (atan2 im re))) (/ (cbrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (/ (sqrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (fabs (cbrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (cbrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (cbrt (sqrt (sqrt (log 10.0))))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ (sqrt (atan2 im re)) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0)))))) (/ (sqrt (atan2 im re)) (cbrt (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (sqrt (cbrt (sqrt (log 10.0))))) (/ (sqrt (atan2 im re)) (sqrt (cbrt (sqrt (log 10.0))))) (sqrt (atan2 im re)) (/ (sqrt (atan2 im re)) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (/ (atan2 im re) (cbrt (cbrt (sqrt (log 10.0))))) 1 (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (fabs (cbrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (cbrt (log 10.0))))) (/ 1 (cbrt (sqrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (sqrt (log 10.0))))) 1 (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (sqrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (sqrt (log 10.0))))) 1 (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ (/ 1 (cbrt (cbrt (sqrt (log 10.0))))) (cbrt (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (cbrt (cbrt (sqrt (log 10.0))))) (/ 1 (sqrt (cbrt (sqrt (log 10.0))))) (/ (atan2 im re) (sqrt (cbrt (sqrt (log 10.0))))) 1 (/ (atan2 im re) (cbrt (sqrt (log 10.0)))) (/ 1 (cbrt (sqrt (log 10.0)))) (/ (cbrt (sqrt (log 10.0))) (atan2 im re)) (/ (atan2 im re) (cbrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))) (atan2 im re) (/ (atan2 im re) (cbrt (fabs (cbrt (log 10.0))))) (/ (atan2 im re) (cbrt (sqrt (sqrt (log 10.0))))) (atan2 im re) (/ (atan2 im re) (cbrt (sqrt (sqrt (log 10.0))))) (atan2 im re) (/ (atan2 im re) (* (cbrt (cbrt (sqrt (log 10.0)))) (cbrt (cbrt (sqrt (log 10.0)))))) (/ (atan2 im re) (sqrt (cbrt (sqrt (log 10.0))))) (atan2 im re) (/ (cbrt (sqrt (log 10.0))) (cbrt (atan2 im re))) (/ (cbrt (sqrt (log 10.0))) (sqrt (atan2 im re))) (/ (cbrt (sqrt (log 10.0))) (atan2 im re)) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (/ (/ (atan2 im re) (sqrt (log 10.0))) (sqrt (log 10.0))) (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) (* (atan2 im re) (pow (/ 1 (log 10.0)) 1/6)) 13.255 * * * [progress]: adding candidates to table 13.797 * [progress]: [Phase 3 of 3] Extracting. 13.798 * * [regime]: Finding splitpoints for: (# # # # #) 13.799 * * * [regime-changes]: Trying 4 branch expressions: ((atan2 im re) (/ (atan2 im re) (log 10.0)) im re) 13.799 * * * * [regimes]: Trying to branch on (atan2 im re) from (# # # # #) 13.852 * * * * [regimes]: Trying to branch on (/ (atan2 im re) (log 10.0)) from (# # # # #) 13.915 * * * * [regimes]: Trying to branch on (/ (atan2 im re) (log 10.0)) from (# #) 13.976 * * * * [regimes]: Trying to branch on im from (# # # # #) 14.045 * * * * [regimes]: Trying to branch on re from (# # # # #) 14.121 * * * [regime]: Found split indices: #