19.900 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying:
  (/ (atan2 im re) (log 10.0))
0.018 * [simplify]: Sending expressions to egg_math:
 (/ (atan2 h0 h1) (log h2))
0.020 * * [simplify]: iteration  0 :  6  enodes  (cost  3 )
0.021 * * [progress]: iteration 1 / 4
0.021 * * * [progress]: picking best candidate
0.023 * * * * [pick]: Picked  #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))>
0.023 * * * [progress]: localizing error
0.029 * * * [progress]: generating rewritten candidates
0.029 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.035 * * * [progress]: generating series expansions
0.035 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.036 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.036 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0
0.036 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.036 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.036 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.036 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.036 * [taylor]: Taking taylor expansion of 10.0 in re
0.036 * [backup-simplify]: Simplify 10.0 into 10.0
0.036 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.037 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.037 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.037 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.037 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.037 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.037 * [taylor]: Taking taylor expansion of 10.0 in im
0.037 * [backup-simplify]: Simplify 10.0 into 10.0
0.037 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.037 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.038 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.038 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.038 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.038 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.038 * [taylor]: Taking taylor expansion of 10.0 in im
0.038 * [backup-simplify]: Simplify 10.0 into 10.0
0.038 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.038 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.038 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.038 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.038 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.038 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.038 * [taylor]: Taking taylor expansion of 10.0 in re
0.038 * [backup-simplify]: Simplify 10.0 into 10.0
0.039 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.039 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.039 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.040 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.041 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.041 * [taylor]: Taking taylor expansion of 0 in re
0.041 * [backup-simplify]: Simplify 0 into 0
0.041 * [backup-simplify]: Simplify 0 into 0
0.042 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.043 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.043 * [backup-simplify]: Simplify 0 into 0
0.045 * [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.046 * [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.046 * [taylor]: Taking taylor expansion of 0 in re
0.046 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify 0 into 0
0.048 * [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.049 * [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.049 * [backup-simplify]: Simplify 0 into 0
0.051 * [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.053 * [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.053 * [taylor]: Taking taylor expansion of 0 in re
0.053 * [backup-simplify]: Simplify 0 into 0
0.053 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.054 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.054 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0
0.054 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.054 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.054 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.054 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.054 * [taylor]: Taking taylor expansion of 10.0 in re
0.054 * [backup-simplify]: Simplify 10.0 into 10.0
0.054 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.055 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.055 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.055 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.055 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.055 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.055 * [taylor]: Taking taylor expansion of 10.0 in im
0.055 * [backup-simplify]: Simplify 10.0 into 10.0
0.055 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.055 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.055 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.055 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.056 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.056 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.056 * [taylor]: Taking taylor expansion of 10.0 in im
0.056 * [backup-simplify]: Simplify 10.0 into 10.0
0.056 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.056 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.056 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.056 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.056 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.056 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.056 * [taylor]: Taking taylor expansion of 10.0 in re
0.056 * [backup-simplify]: Simplify 10.0 into 10.0
0.057 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.057 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.057 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.058 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.059 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.059 * [taylor]: Taking taylor expansion of 0 in re
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.061 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.061 * [backup-simplify]: Simplify 0 into 0
0.062 * [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.063 * [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.063 * [taylor]: Taking taylor expansion of 0 in re
0.063 * [backup-simplify]: Simplify 0 into 0
0.063 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.065 * [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.066 * [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.066 * [backup-simplify]: Simplify 0 into 0
0.069 * [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.071 * [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.071 * [taylor]: Taking taylor expansion of 0 in re
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.072 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.072 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0
0.072 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.072 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.072 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.072 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.072 * [taylor]: Taking taylor expansion of 10.0 in re
0.072 * [backup-simplify]: Simplify 10.0 into 10.0
0.072 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.072 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.072 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.072 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.072 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.072 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.072 * [taylor]: Taking taylor expansion of 10.0 in im
0.072 * [backup-simplify]: Simplify 10.0 into 10.0
0.073 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.073 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.073 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.073 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.073 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.073 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.073 * [taylor]: Taking taylor expansion of 10.0 in im
0.073 * [backup-simplify]: Simplify 10.0 into 10.0
0.073 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.074 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.074 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.074 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.074 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.074 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.074 * [taylor]: Taking taylor expansion of 10.0 in re
0.074 * [backup-simplify]: Simplify 10.0 into 10.0
0.074 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.075 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.075 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.076 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.077 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.077 * [taylor]: Taking taylor expansion of 0 in re
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.078 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.080 * [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.085 * [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.085 * [taylor]: Taking taylor expansion of 0 in re
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 0 into 0
0.086 * [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.088 * [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.088 * [backup-simplify]: Simplify 0 into 0
0.090 * [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.092 * [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.092 * [taylor]: Taking taylor expansion of 0 in re
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.092 * * * [progress]: simplifying candidates
0.093 * [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.093 * [simplify]: Sending expressions to egg_math:
 (expm1 (/ (atan2 h0 h1) (log h2)))
 (log1p (/ (atan2 h0 h1) (log h2)))
 (- (log (atan2 h0 h1)) (log (log h2)))
 (log (/ (atan2 h0 h1) (log h2)))
 (exp (/ (atan2 h0 h1) (log h2)))
 (/ (* (* (atan2 h0 h1) (atan2 h0 h1)) (atan2 h0 h1)) (* (* (log h2) (log h2)) (log h2)))
 (* (cbrt (/ (atan2 h0 h1) (log h2))) (cbrt (/ (atan2 h0 h1) (log h2))))
 (cbrt (/ (atan2 h0 h1) (log h2)))
 (* (* (/ (atan2 h0 h1) (log h2)) (/ (atan2 h0 h1) (log h2))) (/ (atan2 h0 h1) (log h2)))
 (sqrt (/ (atan2 h0 h1) (log h2)))
 (sqrt (/ (atan2 h0 h1) (log h2)))
 (- (atan2 h0 h1))
 (- (log h2))
 (/ (* (cbrt (atan2 h0 h1)) (cbrt (atan2 h0 h1))) 1)
 (/ (cbrt (atan2 h0 h1)) (log h2))
 (/ (* (cbrt (atan2 h0 h1)) (cbrt (atan2 h0 h1))) (* (cbrt (log h2)) (cbrt (log h2))))
 (/ (cbrt (atan2 h0 h1)) (cbrt (log h2)))
 (/ (* (cbrt (atan2 h0 h1)) (cbrt (atan2 h0 h1))) (sqrt (log h2)))
 (/ (cbrt (atan2 h0 h1)) (sqrt (log h2)))
 (/ (* (cbrt (atan2 h0 h1)) (cbrt (atan2 h0 h1))) 1)
 (/ (cbrt (atan2 h0 h1)) (log h2))
 (/ (sqrt (atan2 h0 h1)) 1)
 (/ (sqrt (atan2 h0 h1)) (log h2))
 (/ (sqrt (atan2 h0 h1)) (* (cbrt (log h2)) (cbrt (log h2))))
 (/ (sqrt (atan2 h0 h1)) (cbrt (log h2)))
 (/ (sqrt (atan2 h0 h1)) (sqrt (log h2)))
 (/ (sqrt (atan2 h0 h1)) (sqrt (log h2)))
 (/ (sqrt (atan2 h0 h1)) 1)
 (/ (sqrt (atan2 h0 h1)) (log h2))
 (/ 1 1)
 (/ (atan2 h0 h1) (log h2))
 (/ 1 (* (cbrt (log h2)) (cbrt (log h2))))
 (/ (atan2 h0 h1) (cbrt (log h2)))
 (/ 1 (sqrt (log h2)))
 (/ (atan2 h0 h1) (sqrt (log h2)))
 (/ 1 1)
 (/ (atan2 h0 h1) (log h2))
 (/ 1 (log h2))
 (/ (log h2) (atan2 h0 h1))
 (/ (atan2 h0 h1) 1)
 (/ (atan2 h0 h1) (* (cbrt (log h2)) (cbrt (log h2))))
 (/ (atan2 h0 h1) (sqrt (log h2)))
 (/ (atan2 h0 h1) 1)
 (/ (log h2) (cbrt (atan2 h0 h1)))
 (/ (log h2) (sqrt (atan2 h0 h1)))
 (/ (log h2) (atan2 h0 h1))
 (/ (atan2 h0 h1) (log h2))
 (/ (atan2 h0 h1) (log h2))
 (/ (atan2 h0 h1) (log h2))
0.096 * * [simplify]: iteration  0 :  86  enodes  (cost  210 )
0.098 * * [simplify]: iteration  1 :  234  enodes  (cost  196 )
0.102 * * [simplify]: iteration  2 :  597  enodes  (cost  196 )
0.111 * * [simplify]: iteration  3 :  1533  enodes  (cost  196 )
0.137 * * [simplify]: iteration  4 :  4399  enodes  (cost  196 )
0.181 * * [simplify]: iteration  5 :  5001  enodes  (cost  196 )
0.182 * * * [progress]: adding candidates to table
0.243 * * [progress]: iteration 2 / 4
0.243 * * * [progress]: picking best candidate
0.254 * * * * [pick]: Picked  #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))))>
0.254 * * * [progress]: localizing error
0.263 * * * [progress]: generating rewritten candidates
0.263 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.308 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.321 * * * [progress]: generating series expansions
0.321 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.323 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) into (/ (atan2 im re) (log 10.0))
0.323 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0
0.323 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.323 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.323 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.323 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.323 * [taylor]: Taking taylor expansion of 10.0 in re
0.323 * [backup-simplify]: Simplify 10.0 into 10.0
0.324 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.324 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.324 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.324 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.324 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.324 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.324 * [taylor]: Taking taylor expansion of 10.0 in im
0.324 * [backup-simplify]: Simplify 10.0 into 10.0
0.324 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.325 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.325 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.325 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.325 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.325 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.325 * [taylor]: Taking taylor expansion of 10.0 in im
0.325 * [backup-simplify]: Simplify 10.0 into 10.0
0.325 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.325 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.325 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.325 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.325 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.325 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.326 * [taylor]: Taking taylor expansion of 10.0 in re
0.326 * [backup-simplify]: Simplify 10.0 into 10.0
0.326 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.326 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.326 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.327 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.328 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.328 * [taylor]: Taking taylor expansion of 0 in re
0.328 * [backup-simplify]: Simplify 0 into 0
0.328 * [backup-simplify]: Simplify 0 into 0
0.329 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.330 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.330 * [backup-simplify]: Simplify 0 into 0
0.331 * [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.333 * [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.333 * [taylor]: Taking taylor expansion of 0 in re
0.333 * [backup-simplify]: Simplify 0 into 0
0.333 * [backup-simplify]: Simplify 0 into 0
0.333 * [backup-simplify]: Simplify 0 into 0
0.334 * [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.335 * [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.335 * [backup-simplify]: Simplify 0 into 0
0.338 * [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.340 * [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.340 * [taylor]: Taking taylor expansion of 0 in re
0.340 * [backup-simplify]: Simplify 0 into 0
0.340 * [backup-simplify]: Simplify 0 into 0
0.340 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.342 * [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))
0.342 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0
0.342 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.342 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.342 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.342 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.342 * [taylor]: Taking taylor expansion of 10.0 in re
0.342 * [backup-simplify]: Simplify 10.0 into 10.0
0.342 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.343 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.343 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.343 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.343 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.343 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.343 * [taylor]: Taking taylor expansion of 10.0 in im
0.343 * [backup-simplify]: Simplify 10.0 into 10.0
0.343 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.344 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.344 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.344 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.344 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.344 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.344 * [taylor]: Taking taylor expansion of 10.0 in im
0.344 * [backup-simplify]: Simplify 10.0 into 10.0
0.344 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.344 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.344 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.344 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.344 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.344 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.344 * [taylor]: Taking taylor expansion of 10.0 in re
0.345 * [backup-simplify]: Simplify 10.0 into 10.0
0.345 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.345 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.345 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.346 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.347 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.347 * [taylor]: Taking taylor expansion of 0 in re
0.347 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.349 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.349 * [backup-simplify]: Simplify 0 into 0
0.350 * [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.352 * [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.352 * [taylor]: Taking taylor expansion of 0 in re
0.352 * [backup-simplify]: Simplify 0 into 0
0.352 * [backup-simplify]: Simplify 0 into 0
0.352 * [backup-simplify]: Simplify 0 into 0
0.353 * [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.355 * [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.355 * [backup-simplify]: Simplify 0 into 0
0.357 * [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.359 * [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.359 * [taylor]: Taking taylor expansion of 0 in re
0.359 * [backup-simplify]: Simplify 0 into 0
0.359 * [backup-simplify]: Simplify 0 into 0
0.359 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.361 * [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))
0.361 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0
0.361 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.361 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.361 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.361 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.361 * [taylor]: Taking taylor expansion of 10.0 in re
0.361 * [backup-simplify]: Simplify 10.0 into 10.0
0.361 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.362 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.362 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.362 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.362 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.362 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.362 * [taylor]: Taking taylor expansion of 10.0 in im
0.362 * [backup-simplify]: Simplify 10.0 into 10.0
0.362 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.362 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.362 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.362 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.362 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.362 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.362 * [taylor]: Taking taylor expansion of 10.0 in im
0.362 * [backup-simplify]: Simplify 10.0 into 10.0
0.363 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.363 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.363 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.363 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.363 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.363 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.363 * [taylor]: Taking taylor expansion of 10.0 in re
0.363 * [backup-simplify]: Simplify 10.0 into 10.0
0.364 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.364 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.364 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.368 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.370 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.370 * [taylor]: Taking taylor expansion of 0 in re
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 0 into 0
0.371 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.371 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.372 * [backup-simplify]: Simplify 0 into 0
0.373 * [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.374 * [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.374 * [taylor]: Taking taylor expansion of 0 in re
0.374 * [backup-simplify]: Simplify 0 into 0
0.374 * [backup-simplify]: Simplify 0 into 0
0.374 * [backup-simplify]: Simplify 0 into 0
0.376 * [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.377 * [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.377 * [backup-simplify]: Simplify 0 into 0
0.380 * [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.381 * [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.381 * [taylor]: Taking taylor expansion of 0 in re
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [backup-simplify]: Simplify 0 into 0
0.382 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.382 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.382 * [backup-simplify]: Simplify (/ (atan2 im re) (sqrt (log 10.0))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.383 * [approximate]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in (im re) around 0
0.383 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re
0.383 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.383 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.383 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.383 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.383 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.383 * [taylor]: Taking taylor expansion of 10.0 in re
0.383 * [backup-simplify]: Simplify 10.0 into 10.0
0.383 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.384 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.384 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.385 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.386 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.386 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in im
0.386 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.386 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.386 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.386 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.387 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.387 * [taylor]: Taking taylor expansion of 10.0 in im
0.387 * [backup-simplify]: Simplify 10.0 into 10.0
0.387 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.387 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.388 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.389 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.390 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.390 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in im
0.390 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.390 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.390 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.390 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.390 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.390 * [taylor]: Taking taylor expansion of 10.0 in im
0.390 * [backup-simplify]: Simplify 10.0 into 10.0
0.391 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.391 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.392 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.393 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.394 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.394 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.395 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.395 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re
0.395 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.395 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.395 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.395 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.395 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.395 * [taylor]: Taking taylor expansion of 10.0 in re
0.395 * [backup-simplify]: Simplify 10.0 into 10.0
0.396 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.396 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.397 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.398 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.399 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.400 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.401 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.401 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0
0.401 * [taylor]: Taking taylor expansion of 0 in re
0.401 * [backup-simplify]: Simplify 0 into 0
0.401 * [backup-simplify]: Simplify 0 into 0
0.402 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0
0.402 * [backup-simplify]: Simplify 0 into 0
0.403 * [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.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.405 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.406 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0
0.406 * [taylor]: Taking taylor expansion of 0 in re
0.406 * [backup-simplify]: Simplify 0 into 0
0.406 * [backup-simplify]: Simplify 0 into 0
0.406 * [backup-simplify]: Simplify 0 into 0
0.407 * [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.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.409 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.409 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0
0.409 * [backup-simplify]: Simplify 0 into 0
0.412 * [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.413 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.414 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.414 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0))))))) into 0
0.414 * [taylor]: Taking taylor expansion of 0 in re
0.414 * [backup-simplify]: Simplify 0 into 0
0.414 * [backup-simplify]: Simplify 0 into 0
0.415 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.416 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (sqrt (log 10.0))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.416 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in (im re) around 0
0.416 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re
0.416 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.416 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.416 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.416 * [taylor]: Taking taylor expansion of 10.0 in re
0.416 * [backup-simplify]: Simplify 10.0 into 10.0
0.416 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.417 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.418 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.418 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.420 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.420 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.420 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.420 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im
0.420 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.420 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.420 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.420 * [taylor]: Taking taylor expansion of 10.0 in im
0.420 * [backup-simplify]: Simplify 10.0 into 10.0
0.420 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.421 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.422 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.422 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.424 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.424 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.424 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.424 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im
0.424 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.424 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.424 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.424 * [taylor]: Taking taylor expansion of 10.0 in im
0.424 * [backup-simplify]: Simplify 10.0 into 10.0
0.424 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.425 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.425 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.426 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.427 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.427 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.427 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.428 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.429 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re
0.429 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.429 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.429 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.429 * [taylor]: Taking taylor expansion of 10.0 in re
0.429 * [backup-simplify]: Simplify 10.0 into 10.0
0.429 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.429 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.430 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.431 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.432 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.432 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.432 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.433 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.434 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.435 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0
0.435 * [taylor]: Taking taylor expansion of 0 in re
0.435 * [backup-simplify]: Simplify 0 into 0
0.435 * [backup-simplify]: Simplify 0 into 0
0.435 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0
0.435 * [backup-simplify]: Simplify 0 into 0
0.437 * [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.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.438 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.439 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0
0.439 * [taylor]: Taking taylor expansion of 0 in re
0.439 * [backup-simplify]: Simplify 0 into 0
0.439 * [backup-simplify]: Simplify 0 into 0
0.439 * [backup-simplify]: Simplify 0 into 0
0.441 * [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.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.442 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.443 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0
0.443 * [backup-simplify]: Simplify 0 into 0
0.446 * [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.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.447 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.448 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))))) into 0
0.448 * [taylor]: Taking taylor expansion of 0 in re
0.448 * [backup-simplify]: Simplify 0 into 0
0.448 * [backup-simplify]: Simplify 0 into 0
0.449 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.450 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (sqrt (log 10.0))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
0.450 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in (im re) around 0
0.450 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re
0.450 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.450 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.450 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.450 * [taylor]: Taking taylor expansion of 10.0 in re
0.450 * [backup-simplify]: Simplify 10.0 into 10.0
0.450 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.451 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.454 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.455 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.456 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.456 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.456 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.456 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im
0.456 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.456 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.456 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.456 * [taylor]: Taking taylor expansion of 10.0 in im
0.456 * [backup-simplify]: Simplify 10.0 into 10.0
0.457 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.457 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.458 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.459 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.460 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.460 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.460 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.460 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im
0.460 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.460 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.460 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.460 * [taylor]: Taking taylor expansion of 10.0 in im
0.460 * [backup-simplify]: Simplify 10.0 into 10.0
0.460 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.461 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.462 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.463 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.463 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.464 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.464 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.464 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.465 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
0.465 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re
0.465 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.465 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.465 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.465 * [taylor]: Taking taylor expansion of 10.0 in re
0.465 * [backup-simplify]: Simplify 10.0 into 10.0
0.465 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.466 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.467 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.468 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.468 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.469 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.469 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.469 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.470 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
0.471 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
0.471 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0
0.471 * [taylor]: Taking taylor expansion of 0 in re
0.471 * [backup-simplify]: Simplify 0 into 0
0.471 * [backup-simplify]: Simplify 0 into 0
0.472 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0
0.472 * [backup-simplify]: Simplify 0 into 0
0.473 * [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.474 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.475 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.476 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0
0.476 * [taylor]: Taking taylor expansion of 0 in re
0.476 * [backup-simplify]: Simplify 0 into 0
0.476 * [backup-simplify]: Simplify 0 into 0
0.476 * [backup-simplify]: Simplify 0 into 0
0.477 * [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.478 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.479 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.479 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0
0.479 * [backup-simplify]: Simplify 0 into 0
0.482 * [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.483 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.483 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.484 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))))) into 0
0.485 * [taylor]: Taking taylor expansion of 0 in re
0.485 * [backup-simplify]: Simplify 0 into 0
0.485 * [backup-simplify]: Simplify 0 into 0
0.486 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re))))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.486 * * * [progress]: simplifying candidates
0.488 * [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))
  (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
  (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
  (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.489 * [simplify]: Sending expressions to egg_math:
 (expm1 (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (log1p (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (+ (- (log (sqrt (log h0)))) (- (log (atan2 h1 h2)) (log (sqrt (log h0)))))
 (+ (- (log (sqrt (log h0)))) (log (/ (atan2 h1 h2) (sqrt (log h0)))))
 (+ (- 0 (log (sqrt (log h0)))) (- (log (atan2 h1 h2)) (log (sqrt (log h0)))))
 (+ (- 0 (log (sqrt (log h0)))) (log (/ (atan2 h1 h2) (sqrt (log h0)))))
 (+ (- (log 1) (log (sqrt (log h0)))) (- (log (atan2 h1 h2)) (log (sqrt (log h0)))))
 (+ (- (log 1) (log (sqrt (log h0)))) (log (/ (atan2 h1 h2) (sqrt (log h0)))))
 (+ (log (/ 1 (sqrt (log h0)))) (- (log (atan2 h1 h2)) (log (sqrt (log h0)))))
 (+ (log (/ 1 (sqrt (log h0)))) (log (/ (atan2 h1 h2) (sqrt (log h0)))))
 (log (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (exp (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ (* (* 1 1) 1) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0)))) (/ (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0)))))
 (* (/ (* (* 1 1) 1) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0)))) (* (* (/ (atan2 h1 h2) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (* (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (log h0)))) (/ 1 (sqrt (log h0)))) (/ (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0)))))
 (* (* (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (log h0)))) (/ 1 (sqrt (log h0)))) (* (* (/ (atan2 h1 h2) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (cbrt (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))) (cbrt (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))))
 (cbrt (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (* (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))) (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))) (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (sqrt (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (sqrt (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* 1 (atan2 h1 h2))
 (* (sqrt (log h0)) (sqrt (log h0)))
 (* (sqrt (/ 1 (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (sqrt (/ 1 (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (sqrt (/ 1 (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (sqrt (/ 1 (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (sqrt (/ 1 (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (sqrt (/ 1 (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (* (cbrt (/ (atan2 h1 h2) (sqrt (log h0)))) (cbrt (/ (atan2 h1 h2) (sqrt (log h0))))))
 (* (/ 1 (sqrt (log h0))) (sqrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0))))))
 (* (/ 1 (sqrt (log h0))) (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt 1)))
 (* (/ 1 (sqrt (log h0))) (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt (* (cbrt (log h0)) (cbrt (log h0))))))
 (* (/ 1 (sqrt (log h0))) (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt 1)))
 (* (/ 1 (sqrt (log h0))) (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) 1))
 (* (/ 1 (sqrt (log h0))) (/ (sqrt (atan2 h1 h2)) (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0))))))
 (* (/ 1 (sqrt (log h0))) (/ (sqrt (atan2 h1 h2)) (sqrt 1)))
 (* (/ 1 (sqrt (log h0))) (/ (sqrt (atan2 h1 h2)) (sqrt (* (cbrt (log h0)) (cbrt (log h0))))))
 (* (/ 1 (sqrt (log h0))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (/ (sqrt (atan2 h1 h2)) (sqrt 1)))
 (* (/ 1 (sqrt (log h0))) (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (/ (sqrt (atan2 h1 h2)) 1))
 (* (/ 1 (sqrt (log h0))) (/ 1 (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0))))))
 (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt 1)))
 (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (* (cbrt (log h0)) (cbrt (log h0))))))
 (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt 1)))
 (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (/ 1 1))
 (* (/ 1 (sqrt (log h0))) 1)
 (* (/ 1 (sqrt (log h0))) (atan2 h1 h2))
 (* (cbrt (/ 1 (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (sqrt (/ 1 (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (cbrt 1) (cbrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (cbrt 1) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (cbrt 1) (sqrt (cbrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (cbrt 1) (sqrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (cbrt 1) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (cbrt 1) (sqrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (cbrt 1) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (sqrt 1) (cbrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (sqrt 1) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (sqrt 1) (sqrt (cbrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (sqrt 1) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ (sqrt 1) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (cbrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (cbrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (/ 1 (sqrt (log h0))) (atan2 h1 h2))
 (* 1 (/ (atan2 h1 h2) (sqrt (log h0))))
 (expm1 (/ (atan2 h1 h2) (sqrt (log h0))))
 (log1p (/ (atan2 h1 h2) (sqrt (log h0))))
 (- (log (atan2 h1 h2)) (log (sqrt (log h0))))
 (log (/ (atan2 h1 h2) (sqrt (log h0))))
 (exp (/ (atan2 h1 h2) (sqrt (log h0))))
 (/ (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0))))
 (* (cbrt (/ (atan2 h1 h2) (sqrt (log h0)))) (cbrt (/ (atan2 h1 h2) (sqrt (log h0)))))
 (cbrt (/ (atan2 h1 h2) (sqrt (log h0))))
 (* (* (/ (atan2 h1 h2) (sqrt (log h0))) (/ (atan2 h1 h2) (sqrt (log h0)))) (/ (atan2 h1 h2) (sqrt (log h0))))
 (sqrt (/ (atan2 h1 h2) (sqrt (log h0))))
 (sqrt (/ (atan2 h1 h2) (sqrt (log h0))))
 (- (atan2 h1 h2))
 (- (sqrt (log h0)))
 (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0)))))
 (/ (cbrt (atan2 h1 h2)) (cbrt (sqrt (log h0))))
 (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt 1))
 (/ (cbrt (atan2 h1 h2)) (sqrt (log h0)))
 (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt (* (cbrt (log h0)) (cbrt (log h0)))))
 (/ (cbrt (atan2 h1 h2)) (sqrt (cbrt (log h0))))
 (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt (sqrt (log h0))))
 (/ (cbrt (atan2 h1 h2)) (sqrt (sqrt (log h0))))
 (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt 1))
 (/ (cbrt (atan2 h1 h2)) (sqrt (log h0)))
 (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) (sqrt (sqrt (log h0))))
 (/ (cbrt (atan2 h1 h2)) (sqrt (sqrt (log h0))))
 (/ (* (cbrt (atan2 h1 h2)) (cbrt (atan2 h1 h2))) 1)
 (/ (cbrt (atan2 h1 h2)) (sqrt (log h0)))
 (/ (sqrt (atan2 h1 h2)) (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0)))))
 (/ (sqrt (atan2 h1 h2)) (cbrt (sqrt (log h0))))
 (/ (sqrt (atan2 h1 h2)) (sqrt 1))
 (/ (sqrt (atan2 h1 h2)) (sqrt (log h0)))
 (/ (sqrt (atan2 h1 h2)) (sqrt (* (cbrt (log h0)) (cbrt (log h0)))))
 (/ (sqrt (atan2 h1 h2)) (sqrt (cbrt (log h0))))
 (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0))))
 (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0))))
 (/ (sqrt (atan2 h1 h2)) (sqrt 1))
 (/ (sqrt (atan2 h1 h2)) (sqrt (log h0)))
 (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0))))
 (/ (sqrt (atan2 h1 h2)) (sqrt (sqrt (log h0))))
 (/ (sqrt (atan2 h1 h2)) 1)
 (/ (sqrt (atan2 h1 h2)) (sqrt (log h0)))
 (/ 1 (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0)))))
 (/ (atan2 h1 h2) (cbrt (sqrt (log h0))))
 (/ 1 (sqrt 1))
 (/ (atan2 h1 h2) (sqrt (log h0)))
 (/ 1 (sqrt (* (cbrt (log h0)) (cbrt (log h0)))))
 (/ (atan2 h1 h2) (sqrt (cbrt (log h0))))
 (/ 1 (sqrt (sqrt (log h0))))
 (/ (atan2 h1 h2) (sqrt (sqrt (log h0))))
 (/ 1 (sqrt 1))
 (/ (atan2 h1 h2) (sqrt (log h0)))
 (/ 1 (sqrt (sqrt (log h0))))
 (/ (atan2 h1 h2) (sqrt (sqrt (log h0))))
 (/ 1 1)
 (/ (atan2 h1 h2) (sqrt (log h0)))
 (/ 1 (sqrt (log h0)))
 (/ (sqrt (log h0)) (atan2 h1 h2))
 (/ (atan2 h1 h2) (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0)))))
 (/ (atan2 h1 h2) (sqrt 1))
 (/ (atan2 h1 h2) (sqrt (* (cbrt (log h0)) (cbrt (log h0)))))
 (/ (atan2 h1 h2) (sqrt (sqrt (log h0))))
 (/ (atan2 h1 h2) (sqrt 1))
 (/ (atan2 h1 h2) (sqrt (sqrt (log h0))))
 (/ (atan2 h1 h2) 1)
 (/ (sqrt (log h0)) (cbrt (atan2 h1 h2)))
 (/ (sqrt (log h0)) (sqrt (atan2 h1 h2)))
 (/ (sqrt (log h0)) (atan2 h1 h2))
 (/ (atan2 h1 h2) (log h0))
 (/ (atan2 h1 h2) (log h0))
 (/ (atan2 h1 h2) (log h0))
 (* (atan2 h1 h2) (sqrt (/ 1 (log h0))))
 (* (atan2 h1 h2) (sqrt (/ 1 (log h0))))
 (* (atan2 h1 h2) (sqrt (/ 1 (log h0))))
0.495 * * [simplify]: iteration  0 :  410  enodes  (cost  1455 )
0.502 * * [simplify]: iteration  1 :  1909  enodes  (cost  1262 )
0.531 * * [simplify]: iteration  2 :  5001  enodes  (cost  1154 )
0.535 * * * [progress]: adding candidates to table
0.759 * * [progress]: iteration 3 / 4
0.759 * * * [progress]: picking best candidate
0.780 * * * * [pick]: Picked  #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))>
0.780 * * * [progress]: localizing error
0.789 * * * [progress]: generating rewritten candidates
0.789 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.843 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.871 * * * [progress]: generating series expansions
0.872 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.874 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) into (/ (atan2 im re) (log 10.0))
0.874 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0
0.874 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.874 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.874 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.874 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.874 * [taylor]: Taking taylor expansion of 10.0 in re
0.874 * [backup-simplify]: Simplify 10.0 into 10.0
0.874 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.874 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.874 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.874 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.875 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.875 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.875 * [taylor]: Taking taylor expansion of 10.0 in im
0.875 * [backup-simplify]: Simplify 10.0 into 10.0
0.875 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.875 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.875 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.875 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.875 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.875 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.875 * [taylor]: Taking taylor expansion of 10.0 in im
0.875 * [backup-simplify]: Simplify 10.0 into 10.0
0.875 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.876 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.876 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.876 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.876 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.876 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.876 * [taylor]: Taking taylor expansion of 10.0 in re
0.876 * [backup-simplify]: Simplify 10.0 into 10.0
0.876 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.876 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.877 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.878 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.878 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.878 * [taylor]: Taking taylor expansion of 0 in re
0.878 * [backup-simplify]: Simplify 0 into 0
0.879 * [backup-simplify]: Simplify 0 into 0
0.879 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.880 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.880 * [backup-simplify]: Simplify 0 into 0
0.882 * [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.883 * [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.883 * [taylor]: Taking taylor expansion of 0 in re
0.883 * [backup-simplify]: Simplify 0 into 0
0.883 * [backup-simplify]: Simplify 0 into 0
0.883 * [backup-simplify]: Simplify 0 into 0
0.884 * [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.885 * [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.886 * [backup-simplify]: Simplify 0 into 0
0.888 * [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.890 * [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.890 * [taylor]: Taking taylor expansion of 0 in re
0.890 * [backup-simplify]: Simplify 0 into 0
0.890 * [backup-simplify]: Simplify 0 into 0
0.890 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.892 * [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))
0.892 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0
0.892 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.892 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.892 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.892 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.892 * [taylor]: Taking taylor expansion of 10.0 in re
0.892 * [backup-simplify]: Simplify 10.0 into 10.0
0.892 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.892 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.893 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.893 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.893 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.893 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.893 * [taylor]: Taking taylor expansion of 10.0 in im
0.893 * [backup-simplify]: Simplify 10.0 into 10.0
0.893 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.893 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.893 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.893 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.893 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.893 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.893 * [taylor]: Taking taylor expansion of 10.0 in im
0.893 * [backup-simplify]: Simplify 10.0 into 10.0
0.894 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.894 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.894 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.894 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.894 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.894 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.894 * [taylor]: Taking taylor expansion of 10.0 in re
0.894 * [backup-simplify]: Simplify 10.0 into 10.0
0.894 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.895 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.895 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.896 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.897 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.897 * [taylor]: Taking taylor expansion of 0 in re
0.897 * [backup-simplify]: Simplify 0 into 0
0.897 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.899 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.899 * [backup-simplify]: Simplify 0 into 0
0.900 * [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.901 * [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.901 * [taylor]: Taking taylor expansion of 0 in re
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 0 into 0
0.903 * [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.904 * [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.904 * [backup-simplify]: Simplify 0 into 0
0.907 * [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.909 * [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.909 * [taylor]: Taking taylor expansion of 0 in re
0.909 * [backup-simplify]: Simplify 0 into 0
0.909 * [backup-simplify]: Simplify 0 into 0
0.909 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.911 * [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))
0.911 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0
0.911 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.911 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.911 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.911 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.911 * [taylor]: Taking taylor expansion of 10.0 in re
0.911 * [backup-simplify]: Simplify 10.0 into 10.0
0.911 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.912 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.912 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.912 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.912 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.912 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.912 * [taylor]: Taking taylor expansion of 10.0 in im
0.912 * [backup-simplify]: Simplify 10.0 into 10.0
0.912 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.912 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.912 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.912 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.912 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.912 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.913 * [taylor]: Taking taylor expansion of 10.0 in im
0.913 * [backup-simplify]: Simplify 10.0 into 10.0
0.913 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.913 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.913 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.913 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.913 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.913 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.913 * [taylor]: Taking taylor expansion of 10.0 in re
0.913 * [backup-simplify]: Simplify 10.0 into 10.0
0.914 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.914 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.914 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.915 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.916 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.916 * [taylor]: Taking taylor expansion of 0 in re
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.918 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.918 * [backup-simplify]: Simplify 0 into 0
0.919 * [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.920 * [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.920 * [taylor]: Taking taylor expansion of 0 in re
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 0 into 0
0.921 * [backup-simplify]: Simplify 0 into 0
0.922 * [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.923 * [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.923 * [backup-simplify]: Simplify 0 into 0
0.926 * [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.927 * [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.927 * [taylor]: Taking taylor expansion of 0 in re
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.928 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.929 * [backup-simplify]: Simplify (* (atan2 im re) (/ 1 (sqrt (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.929 * [approximate]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in (im re) around 0
0.929 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re
0.929 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.929 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.929 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.929 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.929 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.929 * [taylor]: Taking taylor expansion of 10.0 in re
0.929 * [backup-simplify]: Simplify 10.0 into 10.0
0.929 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.930 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.930 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.931 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.932 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.932 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in im
0.932 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.933 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.933 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.933 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.933 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.933 * [taylor]: Taking taylor expansion of 10.0 in im
0.933 * [backup-simplify]: Simplify 10.0 into 10.0
0.933 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.933 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.934 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.935 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.939 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.939 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in im
0.939 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.940 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.940 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.940 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.940 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.940 * [taylor]: Taking taylor expansion of 10.0 in im
0.940 * [backup-simplify]: Simplify 10.0 into 10.0
0.940 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.940 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.941 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.942 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.943 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.944 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.944 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re
0.944 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.944 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.944 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.944 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.944 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.944 * [taylor]: Taking taylor expansion of 10.0 in re
0.944 * [backup-simplify]: Simplify 10.0 into 10.0
0.945 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.945 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.946 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.947 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.948 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.949 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.950 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.950 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0
0.950 * [taylor]: Taking taylor expansion of 0 in re
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 0 into 0
0.951 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0
0.951 * [backup-simplify]: Simplify 0 into 0
0.952 * [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.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.954 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.955 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0
0.955 * [taylor]: Taking taylor expansion of 0 in re
0.955 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify 0 into 0
0.956 * [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.957 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.958 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.958 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0
0.958 * [backup-simplify]: Simplify 0 into 0
0.961 * [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.961 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.962 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.963 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0))))))) into 0
0.963 * [taylor]: Taking taylor expansion of 0 in re
0.963 * [backup-simplify]: Simplify 0 into 0
0.963 * [backup-simplify]: Simplify 0 into 0
0.964 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.965 * [backup-simplify]: Simplify (* (atan2 (/ 1 im) (/ 1 re)) (/ 1 (sqrt (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.965 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in (im re) around 0
0.965 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re
0.965 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.965 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.965 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.965 * [taylor]: Taking taylor expansion of 10.0 in re
0.965 * [backup-simplify]: Simplify 10.0 into 10.0
0.965 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.966 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.967 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.968 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.968 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.969 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.969 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.969 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.969 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im
0.969 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.969 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.969 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.969 * [taylor]: Taking taylor expansion of 10.0 in im
0.969 * [backup-simplify]: Simplify 10.0 into 10.0
0.969 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.970 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.971 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.971 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.973 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.973 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.973 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.973 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im
0.973 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.973 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.973 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.973 * [taylor]: Taking taylor expansion of 10.0 in im
0.973 * [backup-simplify]: Simplify 10.0 into 10.0
0.973 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.974 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.974 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.975 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.976 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.976 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.977 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.978 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.978 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re
0.978 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.978 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.978 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.978 * [taylor]: Taking taylor expansion of 10.0 in re
0.978 * [backup-simplify]: Simplify 10.0 into 10.0
0.978 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.979 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.979 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.980 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.981 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.981 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.981 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.981 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.982 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.983 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.984 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0
0.984 * [taylor]: Taking taylor expansion of 0 in re
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.986 * [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.987 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.987 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.988 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0
0.988 * [taylor]: Taking taylor expansion of 0 in re
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.990 * [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.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.991 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.992 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0
0.992 * [backup-simplify]: Simplify 0 into 0
0.995 * [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.995 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.996 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.997 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))))) into 0
0.997 * [taylor]: Taking taylor expansion of 0 in re
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.999 * [backup-simplify]: Simplify (* (atan2 (/ 1 (- im)) (/ 1 (- re))) (/ 1 (sqrt (log 10.0)))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
0.999 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in (im re) around 0
0.999 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re
0.999 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.999 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.999 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.999 * [taylor]: Taking taylor expansion of 10.0 in re
0.999 * [backup-simplify]: Simplify 10.0 into 10.0
1.000 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.000 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
1.001 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
1.002 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
1.003 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.003 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
1.003 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.003 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im
1.003 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.003 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.003 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.003 * [taylor]: Taking taylor expansion of 10.0 in im
1.003 * [backup-simplify]: Simplify 10.0 into 10.0
1.003 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.004 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
1.005 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
1.006 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.006 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
1.007 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.007 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
1.007 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.007 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im
1.007 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.007 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.007 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.007 * [taylor]: Taking taylor expansion of 10.0 in im
1.007 * [backup-simplify]: Simplify 10.0 into 10.0
1.007 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.008 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
1.009 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
1.009 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
1.011 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.011 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
1.011 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.012 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
1.012 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re
1.012 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
1.012 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
1.012 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.012 * [taylor]: Taking taylor expansion of 10.0 in re
1.012 * [backup-simplify]: Simplify 10.0 into 10.0
1.012 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.013 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
1.013 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
1.014 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.015 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
1.015 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.015 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
1.016 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.016 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
1.017 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
1.018 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0
1.018 * [taylor]: Taking taylor expansion of 0 in re
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [backup-simplify]: Simplify 0 into 0
1.019 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0
1.019 * [backup-simplify]: Simplify 0 into 0
1.020 * [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.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
1.021 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.025 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0
1.025 * [taylor]: Taking taylor expansion of 0 in re
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.026 * [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.027 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
1.028 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.029 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.031 * [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.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
1.033 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.034 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))))) into 0
1.034 * [taylor]: Taking taylor expansion of 0 in re
1.034 * [backup-simplify]: Simplify 0 into 0
1.034 * [backup-simplify]: Simplify 0 into 0
1.035 * [backup-simplify]: Simplify (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re))))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
1.035 * * * [progress]: simplifying candidates
1.036 * [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))
  (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
  (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
  (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
1.037 * [simplify]: Sending expressions to egg_math:
 (expm1 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (log1p (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (+ (- (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- (log (sqrt (log h0))))))
 (+ (- (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- 0 (log (sqrt (log h0))))))
 (+ (- (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- (log 1) (log (sqrt (log h0))))))
 (+ (- (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (log (/ 1 (sqrt (log h0))))))
 (+ (- (log (sqrt (log h0)))) (log (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (+ (- 0 (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- (log (sqrt (log h0))))))
 (+ (- 0 (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- 0 (log (sqrt (log h0))))))
 (+ (- 0 (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- (log 1) (log (sqrt (log h0))))))
 (+ (- 0 (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (log (/ 1 (sqrt (log h0))))))
 (+ (- 0 (log (sqrt (log h0)))) (log (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (+ (- (log 1) (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- (log (sqrt (log h0))))))
 (+ (- (log 1) (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- 0 (log (sqrt (log h0))))))
 (+ (- (log 1) (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- (log 1) (log (sqrt (log h0))))))
 (+ (- (log 1) (log (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (log (/ 1 (sqrt (log h0))))))
 (+ (- (log 1) (log (sqrt (log h0)))) (log (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (+ (log (/ 1 (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- (log (sqrt (log h0))))))
 (+ (log (/ 1 (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- 0 (log (sqrt (log h0))))))
 (+ (log (/ 1 (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (- (log 1) (log (sqrt (log h0))))))
 (+ (log (/ 1 (sqrt (log h0)))) (+ (log (atan2 h1 h2)) (log (/ 1 (sqrt (log h0))))))
 (+ (log (/ 1 (sqrt (log h0)))) (log (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (log (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (exp (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (* (/ (* (* 1 1) 1) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0)))) (* (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (/ (* (* 1 1) 1) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0))))))
 (* (/ (* (* 1 1) 1) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0)))) (* (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (* (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (log h0)))) (/ 1 (sqrt (log h0))))))
 (* (/ (* (* 1 1) 1) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0)))) (* (* (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (* (* (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (log h0)))) (/ 1 (sqrt (log h0)))) (* (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (/ (* (* 1 1) 1) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0))))))
 (* (* (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (log h0)))) (/ 1 (sqrt (log h0)))) (* (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (* (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (log h0)))) (/ 1 (sqrt (log h0))))))
 (* (* (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (log h0)))) (/ 1 (sqrt (log h0)))) (* (* (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (* (cbrt (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))) (cbrt (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))))
 (cbrt (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (* (* (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))) (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))) (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (sqrt (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (sqrt (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (* 1 (atan2 h1 h2))
 (* (sqrt (log h0)) (sqrt (log h0)))
 (* 1 (* (atan2 h1 h2) 1))
 (* (sqrt (log h0)) (sqrt (log h0)))
 (* (/ 1 (sqrt (log h0))) (atan2 h1 h2))
 (* (cbrt (/ 1 (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (sqrt (/ 1 (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (cbrt 1) (cbrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (cbrt 1) (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (cbrt 1) (sqrt (cbrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (cbrt 1) (sqrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (cbrt 1) (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (cbrt 1) (sqrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (cbrt 1) (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (sqrt 1) (cbrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (cbrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ (sqrt 1) (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (cbrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (cbrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (/ 1 (sqrt (log h0))) (atan2 h1 h2))
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) 1))
 (* 1 (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (expm1 (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (log1p (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))
 (+ (log (atan2 h1 h2)) (- (log (sqrt (log h0)))))
 (+ (log (atan2 h1 h2)) (- 0 (log (sqrt (log h0)))))
 (+ (log (atan2 h1 h2)) (- (log 1) (log (sqrt (log h0)))))
 (+ (log (atan2 h1 h2)) (log (/ 1 (sqrt (log h0)))))
 (log (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (exp (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (/ (* (* 1 1) 1) (* (* (sqrt (log h0)) (sqrt (log h0))) (sqrt (log h0)))))
 (* (* (* (atan2 h1 h2) (atan2 h1 h2)) (atan2 h1 h2)) (* (* (/ 1 (sqrt (log h0))) (/ 1 (sqrt (log h0)))) (/ 1 (sqrt (log h0)))))
 (* (cbrt (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))) (cbrt (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))))
 (cbrt (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (* (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (sqrt (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (sqrt (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (sqrt (/ 1 (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (sqrt (/ 1 (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (/ (sqrt 1) (sqrt (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (/ (sqrt 1) (sqrt (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (/ (sqrt 1) (sqrt (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (/ (sqrt 1) (sqrt (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (/ 1 (sqrt (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (/ 1 (sqrt (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (/ 1 (sqrt (sqrt (log h0)))))
 (* (sqrt (atan2 h1 h2)) (/ 1 (sqrt (sqrt (log h0)))))
 (* (atan2 h1 h2) (* (cbrt (/ 1 (sqrt (log h0)))) (cbrt (/ 1 (sqrt (log h0))))))
 (* (atan2 h1 h2) (sqrt (/ 1 (sqrt (log h0)))))
 (* (atan2 h1 h2) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0))))))
 (* (atan2 h1 h2) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)))
 (* (atan2 h1 h2) (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt (log h0)) (cbrt (log h0))))))
 (* (atan2 h1 h2) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (log h0)))))
 (* (atan2 h1 h2) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)))
 (* (atan2 h1 h2) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (log h0)))))
 (* (atan2 h1 h2) (/ (* (cbrt 1) (cbrt 1)) 1))
 (* (atan2 h1 h2) (/ (sqrt 1) (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0))))))
 (* (atan2 h1 h2) (/ (sqrt 1) (sqrt 1)))
 (* (atan2 h1 h2) (/ (sqrt 1) (sqrt (* (cbrt (log h0)) (cbrt (log h0))))))
 (* (atan2 h1 h2) (/ (sqrt 1) (sqrt (sqrt (log h0)))))
 (* (atan2 h1 h2) (/ (sqrt 1) (sqrt 1)))
 (* (atan2 h1 h2) (/ (sqrt 1) (sqrt (sqrt (log h0)))))
 (* (atan2 h1 h2) (/ (sqrt 1) 1))
 (* (atan2 h1 h2) (/ 1 (* (cbrt (sqrt (log h0))) (cbrt (sqrt (log h0))))))
 (* (atan2 h1 h2) (/ 1 (sqrt 1)))
 (* (atan2 h1 h2) (/ 1 (sqrt (* (cbrt (log h0)) (cbrt (log h0))))))
 (* (atan2 h1 h2) (/ 1 (sqrt (sqrt (log h0)))))
 (* (atan2 h1 h2) (/ 1 (sqrt 1)))
 (* (atan2 h1 h2) (/ 1 (sqrt (sqrt (log h0)))))
 (* (atan2 h1 h2) (/ 1 1))
 (* (atan2 h1 h2) 1)
 (* (atan2 h1 h2) 1)
 (* (cbrt (atan2 h1 h2)) (/ 1 (sqrt (log h0))))
 (* (sqrt (atan2 h1 h2)) (/ 1 (sqrt (log h0))))
 (* (atan2 h1 h2) (/ 1 (sqrt (log h0))))
 (* (atan2 h1 h2) 1)
 (/ (atan2 h1 h2) (log h0))
 (/ (atan2 h1 h2) (log h0))
 (/ (atan2 h1 h2) (log h0))
 (* (atan2 h1 h2) (sqrt (/ 1 (log h0))))
 (* (atan2 h1 h2) (sqrt (/ 1 (log h0))))
 (* (atan2 h1 h2) (sqrt (/ 1 (log h0))))
1.043 * * [simplify]: iteration  0 :  419  enodes  (cost  1106 )
1.051 * * [simplify]: iteration  1 :  2000  enodes  (cost  855 )
1.076 * * [simplify]: iteration  2 :  5002  enodes  (cost  682 )
1.079 * * * [progress]: adding candidates to table
1.253 * * [progress]: iteration 4 / 4
1.253 * * * [progress]: picking best candidate
1.270 * * * * [pick]: Picked  #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))>
1.270 * * * [progress]: localizing error
1.276 * * * [progress]: generating rewritten candidates
1.276 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.282 * * * [progress]: generating series expansions
1.282 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.283 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.283 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0
1.283 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
1.283 * [taylor]: Taking taylor expansion of (atan2 im re) in re
1.283 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
1.283 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.283 * [taylor]: Taking taylor expansion of 10.0 in re
1.283 * [backup-simplify]: Simplify 10.0 into 10.0
1.283 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.283 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.283 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
1.283 * [taylor]: Taking taylor expansion of (atan2 im re) in im
1.283 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
1.283 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.283 * [taylor]: Taking taylor expansion of 10.0 in im
1.283 * [backup-simplify]: Simplify 10.0 into 10.0
1.284 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.284 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.284 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
1.284 * [taylor]: Taking taylor expansion of (atan2 im re) in im
1.284 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
1.284 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.284 * [taylor]: Taking taylor expansion of 10.0 in im
1.284 * [backup-simplify]: Simplify 10.0 into 10.0
1.284 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.285 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.285 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
1.285 * [taylor]: Taking taylor expansion of (atan2 im re) in re
1.285 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
1.285 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.285 * [taylor]: Taking taylor expansion of 10.0 in re
1.285 * [backup-simplify]: Simplify 10.0 into 10.0
1.285 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.285 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.286 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.286 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.287 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.288 * [taylor]: Taking taylor expansion of 0 in re
1.288 * [backup-simplify]: Simplify 0 into 0
1.288 * [backup-simplify]: Simplify 0 into 0
1.288 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.289 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.289 * [backup-simplify]: Simplify 0 into 0
1.291 * [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.292 * [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.292 * [taylor]: Taking taylor expansion of 0 in re
1.292 * [backup-simplify]: Simplify 0 into 0
1.292 * [backup-simplify]: Simplify 0 into 0
1.292 * [backup-simplify]: Simplify 0 into 0
1.293 * [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.295 * [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.295 * [backup-simplify]: Simplify 0 into 0
1.297 * [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.299 * [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.299 * [taylor]: Taking taylor expansion of 0 in re
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.299 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.299 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0
1.299 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
1.299 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
1.299 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
1.299 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.299 * [taylor]: Taking taylor expansion of 10.0 in re
1.300 * [backup-simplify]: Simplify 10.0 into 10.0
1.302 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.302 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.303 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
1.303 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
1.303 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
1.303 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.303 * [taylor]: Taking taylor expansion of 10.0 in im
1.303 * [backup-simplify]: Simplify 10.0 into 10.0
1.303 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.303 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.303 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
1.303 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
1.303 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
1.303 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.303 * [taylor]: Taking taylor expansion of 10.0 in im
1.303 * [backup-simplify]: Simplify 10.0 into 10.0
1.304 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.304 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.304 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
1.304 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
1.304 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
1.304 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.304 * [taylor]: Taking taylor expansion of 10.0 in re
1.304 * [backup-simplify]: Simplify 10.0 into 10.0
1.304 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.305 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.305 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.306 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.307 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.307 * [taylor]: Taking taylor expansion of 0 in re
1.307 * [backup-simplify]: Simplify 0 into 0
1.307 * [backup-simplify]: Simplify 0 into 0
1.308 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.308 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.308 * [backup-simplify]: Simplify 0 into 0
1.310 * [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.311 * [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.311 * [taylor]: Taking taylor expansion of 0 in re
1.311 * [backup-simplify]: Simplify 0 into 0
1.311 * [backup-simplify]: Simplify 0 into 0
1.311 * [backup-simplify]: Simplify 0 into 0
1.313 * [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.314 * [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.314 * [backup-simplify]: Simplify 0 into 0
1.317 * [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.318 * [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.318 * [taylor]: Taking taylor expansion of 0 in re
1.318 * [backup-simplify]: Simplify 0 into 0
1.318 * [backup-simplify]: Simplify 0 into 0
1.319 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.319 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.319 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0
1.319 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
1.319 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
1.319 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.319 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.319 * [taylor]: Taking taylor expansion of 10.0 in re
1.319 * [backup-simplify]: Simplify 10.0 into 10.0
1.320 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.320 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.320 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
1.320 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
1.320 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.320 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.320 * [taylor]: Taking taylor expansion of 10.0 in im
1.320 * [backup-simplify]: Simplify 10.0 into 10.0
1.320 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.321 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.321 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
1.321 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
1.321 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.321 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.321 * [taylor]: Taking taylor expansion of 10.0 in im
1.321 * [backup-simplify]: Simplify 10.0 into 10.0
1.321 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.321 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.321 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
1.321 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
1.321 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.322 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.322 * [taylor]: Taking taylor expansion of 10.0 in re
1.322 * [backup-simplify]: Simplify 10.0 into 10.0
1.322 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.322 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.322 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.323 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.324 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.324 * [taylor]: Taking taylor expansion of 0 in re
1.324 * [backup-simplify]: Simplify 0 into 0
1.324 * [backup-simplify]: Simplify 0 into 0
1.325 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.326 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.326 * [backup-simplify]: Simplify 0 into 0
1.327 * [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.329 * [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.329 * [taylor]: Taking taylor expansion of 0 in re
1.329 * [backup-simplify]: Simplify 0 into 0
1.329 * [backup-simplify]: Simplify 0 into 0
1.329 * [backup-simplify]: Simplify 0 into 0
1.330 * [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.331 * [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.331 * [backup-simplify]: Simplify 0 into 0
1.334 * [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.335 * [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.335 * [taylor]: Taking taylor expansion of 0 in re
1.335 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.336 * * * [progress]: simplifying candidates
1.337 * [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))
1.337 * [simplify]: Sending expressions to egg_math:
 (expm1 (/ (atan2 h0 h1) (log h2)))
 (log1p (/ (atan2 h0 h1) (log h2)))
 (- (log (atan2 h0 h1)) (log (log h2)))
 (log (/ (atan2 h0 h1) (log h2)))
 (exp (/ (atan2 h0 h1) (log h2)))
 (/ (* (* (atan2 h0 h1) (atan2 h0 h1)) (atan2 h0 h1)) (* (* (log h2) (log h2)) (log h2)))
 (* (cbrt (/ (atan2 h0 h1) (log h2))) (cbrt (/ (atan2 h0 h1) (log h2))))
 (cbrt (/ (atan2 h0 h1) (log h2)))
 (* (* (/ (atan2 h0 h1) (log h2)) (/ (atan2 h0 h1) (log h2))) (/ (atan2 h0 h1) (log h2)))
 (sqrt (/ (atan2 h0 h1) (log h2)))
 (sqrt (/ (atan2 h0 h1) (log h2)))
 (- (atan2 h0 h1))
 (- (log h2))
 (/ (* (cbrt (atan2 h0 h1)) (cbrt (atan2 h0 h1))) 1)
 (/ (cbrt (atan2 h0 h1)) (log h2))
 (/ (* (cbrt (atan2 h0 h1)) (cbrt (atan2 h0 h1))) (* (cbrt (log h2)) (cbrt (log h2))))
 (/ (cbrt (atan2 h0 h1)) (cbrt (log h2)))
 (/ (* (cbrt (atan2 h0 h1)) (cbrt (atan2 h0 h1))) (sqrt (log h2)))
 (/ (cbrt (atan2 h0 h1)) (sqrt (log h2)))
 (/ (* (cbrt (atan2 h0 h1)) (cbrt (atan2 h0 h1))) 1)
 (/ (cbrt (atan2 h0 h1)) (log h2))
 (/ (sqrt (atan2 h0 h1)) 1)
 (/ (sqrt (atan2 h0 h1)) (log h2))
 (/ (sqrt (atan2 h0 h1)) (* (cbrt (log h2)) (cbrt (log h2))))
 (/ (sqrt (atan2 h0 h1)) (cbrt (log h2)))
 (/ (sqrt (atan2 h0 h1)) (sqrt (log h2)))
 (/ (sqrt (atan2 h0 h1)) (sqrt (log h2)))
 (/ (sqrt (atan2 h0 h1)) 1)
 (/ (sqrt (atan2 h0 h1)) (log h2))
 (/ 1 1)
 (/ (atan2 h0 h1) (log h2))
 (/ 1 (* (cbrt (log h2)) (cbrt (log h2))))
 (/ (atan2 h0 h1) (cbrt (log h2)))
 (/ 1 (sqrt (log h2)))
 (/ (atan2 h0 h1) (sqrt (log h2)))
 (/ 1 1)
 (/ (atan2 h0 h1) (log h2))
 (/ 1 (log h2))
 (/ (log h2) (atan2 h0 h1))
 (/ (atan2 h0 h1) 1)
 (/ (atan2 h0 h1) (* (cbrt (log h2)) (cbrt (log h2))))
 (/ (atan2 h0 h1) (sqrt (log h2)))
 (/ (atan2 h0 h1) 1)
 (/ (log h2) (cbrt (atan2 h0 h1)))
 (/ (log h2) (sqrt (atan2 h0 h1)))
 (/ (log h2) (atan2 h0 h1))
 (/ (atan2 h0 h1) (log h2))
 (/ (atan2 h0 h1) (log h2))
 (/ (atan2 h0 h1) (log h2))
1.340 * * [simplify]: iteration  0 :  86  enodes  (cost  210 )
1.342 * * [simplify]: iteration  1 :  234  enodes  (cost  196 )
1.346 * * [simplify]: iteration  2 :  597  enodes  (cost  196 )
1.354 * * [simplify]: iteration  3 :  1533  enodes  (cost  196 )
1.379 * * [simplify]: iteration  4 :  4399  enodes  (cost  196 )
1.421 * * [simplify]: iteration  5 :  5001  enodes  (cost  196 )
1.422 * * * [progress]: adding candidates to table
1.477 * [progress]: [Phase 3 of 3] Extracting.
1.478 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (cbrt (pow (/ (atan2 im re) (log 10.0)) 3)))> #<alt (λ (re im) (* (* (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)))))))> #<alt (λ (re im) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re)))))> #<alt (λ (re im) (* (sqrt (/ 1 (sqrt (log 10.0)))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))))> #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))> #<alt (λ (re im) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0)))))>)
1.479 * * * [regime-changes]: Trying 4 branch expressions: ((atan2 im re) (/ (atan2 im re) (log 10.0)) im re)
1.479 * * * * [regimes]: Trying to branch on (atan2 im re) from (#<alt (λ (re im) (cbrt (pow (/ (atan2 im re) (log 10.0)) 3)))> #<alt (λ (re im) (* (* (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)))))))> #<alt (λ (re im) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re)))))> #<alt (λ (re im) (* (sqrt (/ 1 (sqrt (log 10.0)))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))))> #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))> #<alt (λ (re im) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0)))))>)
1.511 * * * * [regimes]: Trying to branch on (/ (atan2 im re) (log 10.0)) from (#<alt (λ (re im) (cbrt (pow (/ (atan2 im re) (log 10.0)) 3)))> #<alt (λ (re im) (* (* (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)))))))> #<alt (λ (re im) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re)))))> #<alt (λ (re im) (* (sqrt (/ 1 (sqrt (log 10.0)))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))))> #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))> #<alt (λ (re im) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0)))))>)
1.544 * * * * [regimes]: Trying to branch on (/ (atan2 im re) (log 10.0)) from (#<alt (λ (re im) (cbrt (pow (/ (atan2 im re) (log 10.0)) 3)))> #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))> #<alt (λ (re im) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0)))))>)
1.565 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (cbrt (pow (/ (atan2 im re) (log 10.0)) 3)))> #<alt (λ (re im) (* (* (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)))))))> #<alt (λ (re im) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re)))))> #<alt (λ (re im) (* (sqrt (/ 1 (sqrt (log 10.0)))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))))> #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))> #<alt (λ (re im) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0)))))>)
1.594 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (cbrt (pow (/ (atan2 im re) (log 10.0)) 3)))> #<alt (λ (re im) (* (* (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)))))))> #<alt (λ (re im) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re)))))> #<alt (λ (re im) (* (sqrt (/ 1 (sqrt (log 10.0)))) (* (sqrt (/ 1 (sqrt (log 10.0)))) (/ (atan2 im re) (sqrt (log 10.0))))))> #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (/ (sqrt (atan2 im re)) (/ (sqrt (log 10.0)) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))> #<alt (λ (re im) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0)))))>)
1.625 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
1.625 * [simplify]: Simplifying:
  (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))
1.625 * [simplify]: Sending expressions to egg_math:
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
1.625 * * [simplify]: iteration  0 :  14  enodes  (cost  9 )
1.626 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
2.489 * [regime-testing]: Baseline error score: 0.7990198024767522
2.489 * [regime-testing]: Oracle error score: 0.03284846699614495
2.491 * [regime-testing]: End program error score: 0.7990198024767522