20.136 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying:
  (/ (atan2 im re) (log 10.0))
0.017 * [simplify]: Sending expressions to egg_math:
 (/ (atan2 h0 h1) (log h2))
0.019 * * [simplify]: iteration  0 :  6  enodes  (cost  3 )
0.019 * * [progress]: iteration 1 / 4
0.019 * * * [progress]: picking best candidate
0.021 * * * * [pick]: Picked  #<alt (λ (re im) (/ (atan2 im re) (log 10.0)))>
0.021 * * * [progress]: localizing error
0.026 * * * [progress]: generating rewritten candidates
0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.032 * * * [progress]: generating series expansions
0.032 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.033 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.033 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0
0.033 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.033 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.033 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.033 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.033 * [taylor]: Taking taylor expansion of 10.0 in re
0.033 * [backup-simplify]: Simplify 10.0 into 10.0
0.034 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.034 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.034 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.034 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.034 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.034 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.034 * [taylor]: Taking taylor expansion of 10.0 in im
0.034 * [backup-simplify]: Simplify 10.0 into 10.0
0.034 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.035 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.035 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.035 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.035 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.035 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.035 * [taylor]: Taking taylor expansion of 10.0 in im
0.035 * [backup-simplify]: Simplify 10.0 into 10.0
0.035 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.035 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.035 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.035 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.035 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.035 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.035 * [taylor]: Taking taylor expansion of 10.0 in re
0.035 * [backup-simplify]: Simplify 10.0 into 10.0
0.036 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.036 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.036 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.037 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.038 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.038 * [taylor]: Taking taylor expansion of 0 in re
0.038 * [backup-simplify]: Simplify 0 into 0
0.038 * [backup-simplify]: Simplify 0 into 0
0.039 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.040 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.040 * [backup-simplify]: Simplify 0 into 0
0.041 * [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.042 * [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.042 * [taylor]: Taking taylor expansion of 0 in re
0.042 * [backup-simplify]: Simplify 0 into 0
0.042 * [backup-simplify]: Simplify 0 into 0
0.042 * [backup-simplify]: Simplify 0 into 0
0.044 * [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.045 * [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.045 * [backup-simplify]: Simplify 0 into 0
0.048 * [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.049 * [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.049 * [taylor]: Taking taylor expansion of 0 in re
0.049 * [backup-simplify]: Simplify 0 into 0
0.049 * [backup-simplify]: Simplify 0 into 0
0.050 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.050 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.050 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0
0.050 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.050 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.050 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.050 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.050 * [taylor]: Taking taylor expansion of 10.0 in re
0.050 * [backup-simplify]: Simplify 10.0 into 10.0
0.050 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.051 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.051 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.051 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.051 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.051 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.051 * [taylor]: Taking taylor expansion of 10.0 in im
0.051 * [backup-simplify]: Simplify 10.0 into 10.0
0.051 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.051 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.051 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.051 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.051 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.051 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.051 * [taylor]: Taking taylor expansion of 10.0 in im
0.052 * [backup-simplify]: Simplify 10.0 into 10.0
0.052 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.052 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.052 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.052 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.052 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.052 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.052 * [taylor]: Taking taylor expansion of 10.0 in re
0.052 * [backup-simplify]: Simplify 10.0 into 10.0
0.053 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.053 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.053 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.054 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.055 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.055 * [taylor]: Taking taylor expansion of 0 in re
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.056 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.056 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.056 * [backup-simplify]: Simplify 0 into 0
0.058 * [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.059 * [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.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.059 * [backup-simplify]: Simplify 0 into 0
0.061 * [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.062 * [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.062 * [backup-simplify]: Simplify 0 into 0
0.064 * [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.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))) (* 0 (/ 0 (log 10.0))))) into 0
0.066 * [taylor]: Taking taylor expansion of 0 in re
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.067 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.067 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0
0.067 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.067 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.067 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.067 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.067 * [taylor]: Taking taylor expansion of 10.0 in re
0.067 * [backup-simplify]: Simplify 10.0 into 10.0
0.067 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.068 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.068 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.068 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.068 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.068 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.068 * [taylor]: Taking taylor expansion of 10.0 in im
0.068 * [backup-simplify]: Simplify 10.0 into 10.0
0.068 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.068 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.069 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.069 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.069 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.069 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.069 * [taylor]: Taking taylor expansion of 10.0 in im
0.069 * [backup-simplify]: Simplify 10.0 into 10.0
0.069 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.069 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.069 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.069 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.069 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.069 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.069 * [taylor]: Taking taylor expansion of 10.0 in re
0.069 * [backup-simplify]: Simplify 10.0 into 10.0
0.070 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.070 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.070 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.071 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.072 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.072 * [taylor]: Taking taylor expansion of 0 in re
0.072 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.074 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.075 * [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.077 * [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.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.080 * [backup-simplify]: Simplify 0 into 0
0.082 * [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.083 * [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.083 * [backup-simplify]: Simplify 0 into 0
0.086 * [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.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))) (* 0 (/ 0 (log 10.0))))) into 0
0.088 * [taylor]: Taking taylor expansion of 0 in re
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.088 * * * [progress]: simplifying candidates
0.089 * [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.089 * [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.092 * * [simplify]: iteration  0 :  86  enodes  (cost  210 )
0.094 * * [simplify]: iteration  1 :  234  enodes  (cost  196 )
0.097 * * [simplify]: iteration  2 :  597  enodes  (cost  196 )
0.106 * * [simplify]: iteration  3 :  1533  enodes  (cost  196 )
0.132 * * [simplify]: iteration  4 :  4399  enodes  (cost  196 )
0.175 * * [simplify]: iteration  5 :  5001  enodes  (cost  196 )
0.177 * * * [progress]: adding candidates to table
0.240 * * [progress]: iteration 2 / 4
0.240 * * * [progress]: picking best candidate
0.251 * * * * [pick]: Picked  #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))))>
0.251 * * * [progress]: localizing error
0.260 * * * [progress]: generating rewritten candidates
0.260 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.303 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.315 * * * [progress]: generating series expansions
0.315 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.317 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (/ (atan2 im re) (sqrt (log 10.0)))) into (/ (atan2 im re) (log 10.0))
0.317 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0
0.317 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.317 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.317 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.317 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.317 * [taylor]: Taking taylor expansion of 10.0 in re
0.317 * [backup-simplify]: Simplify 10.0 into 10.0
0.317 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.318 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.318 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.318 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.318 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.318 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.318 * [taylor]: Taking taylor expansion of 10.0 in im
0.318 * [backup-simplify]: Simplify 10.0 into 10.0
0.318 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.318 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.318 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.318 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.318 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.318 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.319 * [taylor]: Taking taylor expansion of 10.0 in im
0.319 * [backup-simplify]: Simplify 10.0 into 10.0
0.319 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.319 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.319 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.319 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.319 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.319 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.319 * [taylor]: Taking taylor expansion of 10.0 in re
0.319 * [backup-simplify]: Simplify 10.0 into 10.0
0.320 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.320 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.320 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.321 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.322 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.322 * [taylor]: Taking taylor expansion of 0 in re
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 0 into 0
0.323 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.323 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.323 * [backup-simplify]: Simplify 0 into 0
0.325 * [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.326 * [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.326 * [taylor]: Taking taylor expansion of 0 in re
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 0 into 0
0.328 * [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.329 * [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.329 * [backup-simplify]: Simplify 0 into 0
0.331 * [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.333 * [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.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 (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.335 * [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.335 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0
0.335 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.335 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.335 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.335 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.335 * [taylor]: Taking taylor expansion of 10.0 in re
0.335 * [backup-simplify]: Simplify 10.0 into 10.0
0.335 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.336 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.336 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.336 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.336 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.336 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.336 * [taylor]: Taking taylor expansion of 10.0 in im
0.336 * [backup-simplify]: Simplify 10.0 into 10.0
0.336 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.336 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.336 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.336 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.336 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.336 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.336 * [taylor]: Taking taylor expansion of 10.0 in im
0.336 * [backup-simplify]: Simplify 10.0 into 10.0
0.337 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.337 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.337 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.337 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.337 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.337 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.337 * [taylor]: Taking taylor expansion of 10.0 in re
0.337 * [backup-simplify]: Simplify 10.0 into 10.0
0.337 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.338 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.338 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.339 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.340 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.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.341 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.342 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.342 * [backup-simplify]: Simplify 0 into 0
0.343 * [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.344 * [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.344 * [taylor]: Taking taylor expansion of 0 in re
0.344 * [backup-simplify]: Simplify 0 into 0
0.344 * [backup-simplify]: Simplify 0 into 0
0.344 * [backup-simplify]: Simplify 0 into 0
0.346 * [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.347 * [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.347 * [backup-simplify]: Simplify 0 into 0
0.350 * [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.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))) (* 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 (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.353 * [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.353 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0
0.354 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.354 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.354 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.354 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.354 * [taylor]: Taking taylor expansion of 10.0 in re
0.354 * [backup-simplify]: Simplify 10.0 into 10.0
0.354 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.354 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.354 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.354 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.354 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.354 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.354 * [taylor]: Taking taylor expansion of 10.0 in im
0.354 * [backup-simplify]: Simplify 10.0 into 10.0
0.355 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.355 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.355 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.355 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.355 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.355 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.355 * [taylor]: Taking taylor expansion of 10.0 in im
0.355 * [backup-simplify]: Simplify 10.0 into 10.0
0.355 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.356 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.356 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.356 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.356 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.356 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.356 * [taylor]: Taking taylor expansion of 10.0 in re
0.356 * [backup-simplify]: Simplify 10.0 into 10.0
0.356 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.356 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.357 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.358 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.361 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.361 * [taylor]: Taking taylor expansion of 0 in re
0.361 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.363 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.363 * [backup-simplify]: Simplify 0 into 0
0.365 * [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.366 * [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.366 * [taylor]: Taking taylor expansion of 0 in re
0.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify 0 into 0
0.367 * [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.369 * [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.369 * [backup-simplify]: Simplify 0 into 0
0.371 * [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.373 * [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.373 * [taylor]: Taking taylor expansion of 0 in re
0.373 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.374 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.374 * [backup-simplify]: Simplify (/ (atan2 im re) (sqrt (log 10.0))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.374 * [approximate]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in (im re) around 0
0.374 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re
0.374 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.374 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.374 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.374 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.374 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.374 * [taylor]: Taking taylor expansion of 10.0 in re
0.374 * [backup-simplify]: Simplify 10.0 into 10.0
0.375 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.375 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.376 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.377 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.377 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.378 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.378 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in im
0.378 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.378 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.378 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.378 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.378 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.378 * [taylor]: Taking taylor expansion of 10.0 in im
0.378 * [backup-simplify]: Simplify 10.0 into 10.0
0.378 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.379 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.380 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.380 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.381 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.382 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in im
0.382 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.382 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.382 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.382 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.382 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.382 * [taylor]: Taking taylor expansion of 10.0 in im
0.382 * [backup-simplify]: Simplify 10.0 into 10.0
0.382 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.382 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.383 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.384 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.385 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.386 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.386 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re
0.386 * [taylor]: Taking taylor expansion of (atan2 im re) in re
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 re
0.386 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.386 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.386 * [taylor]: Taking taylor expansion of 10.0 in re
0.386 * [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.389 * [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.391 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.392 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.392 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0
0.392 * [taylor]: Taking taylor expansion of 0 in re
0.392 * [backup-simplify]: Simplify 0 into 0
0.392 * [backup-simplify]: Simplify 0 into 0
0.393 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0
0.393 * [backup-simplify]: Simplify 0 into 0
0.394 * [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.395 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.396 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.396 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0
0.396 * [taylor]: Taking taylor expansion of 0 in re
0.396 * [backup-simplify]: Simplify 0 into 0
0.397 * [backup-simplify]: Simplify 0 into 0
0.397 * [backup-simplify]: Simplify 0 into 0
0.398 * [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.399 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.400 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.400 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0
0.400 * [backup-simplify]: Simplify 0 into 0
0.403 * [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.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.404 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.405 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0))))))) into 0
0.405 * [taylor]: Taking taylor expansion of 0 in re
0.405 * [backup-simplify]: Simplify 0 into 0
0.405 * [backup-simplify]: Simplify 0 into 0
0.406 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.407 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (sqrt (log 10.0))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re)))
0.407 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in (im re) around 0
0.407 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re
0.407 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.407 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.407 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.407 * [taylor]: Taking taylor expansion of 10.0 in re
0.407 * [backup-simplify]: Simplify 10.0 into 10.0
0.407 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.408 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.408 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.409 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.410 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.410 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.410 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.410 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.410 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im
0.410 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.410 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.410 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.411 * [taylor]: Taking taylor expansion of 10.0 in im
0.411 * [backup-simplify]: Simplify 10.0 into 10.0
0.411 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.411 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.412 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.413 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.413 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.414 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.414 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.414 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.414 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im
0.414 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.414 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.414 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.414 * [taylor]: Taking taylor expansion of 10.0 in im
0.414 * [backup-simplify]: Simplify 10.0 into 10.0
0.415 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.415 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.416 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.417 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.418 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.418 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.418 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.419 * [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.419 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re
0.419 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.419 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.419 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.419 * [taylor]: Taking taylor expansion of 10.0 in re
0.419 * [backup-simplify]: Simplify 10.0 into 10.0
0.419 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.420 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.421 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.421 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.423 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.423 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.423 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.424 * [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.425 * [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.425 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0
0.425 * [taylor]: Taking taylor expansion of 0 in re
0.425 * [backup-simplify]: Simplify 0 into 0
0.425 * [backup-simplify]: Simplify 0 into 0
0.426 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0
0.426 * [backup-simplify]: Simplify 0 into 0
0.427 * [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.428 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.429 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.429 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0
0.429 * [taylor]: Taking taylor expansion of 0 in re
0.429 * [backup-simplify]: Simplify 0 into 0
0.429 * [backup-simplify]: Simplify 0 into 0
0.429 * [backup-simplify]: Simplify 0 into 0
0.431 * [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.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.433 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.433 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re))))) into 0
0.433 * [backup-simplify]: Simplify 0 into 0
0.436 * [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.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.437 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.438 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))))) into 0
0.438 * [taylor]: Taking taylor expansion of 0 in re
0.438 * [backup-simplify]: Simplify 0 into 0
0.438 * [backup-simplify]: Simplify 0 into 0
0.439 * [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.440 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (sqrt (log 10.0))) into (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re)))
0.440 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in (im re) around 0
0.440 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re
0.440 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.440 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.440 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.440 * [taylor]: Taking taylor expansion of 10.0 in re
0.440 * [backup-simplify]: Simplify 10.0 into 10.0
0.440 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.441 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.442 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.442 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.446 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.446 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.446 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.446 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im
0.446 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.446 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.446 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.446 * [taylor]: Taking taylor expansion of 10.0 in im
0.446 * [backup-simplify]: Simplify 10.0 into 10.0
0.446 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.447 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.448 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.448 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.450 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.450 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.450 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.450 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im
0.450 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.450 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.450 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.450 * [taylor]: Taking taylor expansion of 10.0 in im
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.451 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.452 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.453 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.453 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.453 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.453 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.454 * [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.454 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re
0.454 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.454 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.454 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.454 * [taylor]: Taking taylor expansion of 10.0 in re
0.454 * [backup-simplify]: Simplify 10.0 into 10.0
0.455 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.455 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.456 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.457 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.458 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.458 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.458 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.459 * [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.460 * [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.460 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0
0.460 * [taylor]: Taking taylor expansion of 0 in re
0.460 * [backup-simplify]: Simplify 0 into 0
0.460 * [backup-simplify]: Simplify 0 into 0
0.461 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0
0.461 * [backup-simplify]: Simplify 0 into 0
0.462 * [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.463 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.464 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.465 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0
0.465 * [taylor]: Taking taylor expansion of 0 in re
0.465 * [backup-simplify]: Simplify 0 into 0
0.465 * [backup-simplify]: Simplify 0 into 0
0.465 * [backup-simplify]: Simplify 0 into 0
0.466 * [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.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.467 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.468 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re))))) into 0
0.468 * [backup-simplify]: Simplify 0 into 0
0.471 * [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.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.472 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.473 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))))) into 0
0.473 * [taylor]: Taking taylor expansion of 0 in re
0.473 * [backup-simplify]: Simplify 0 into 0
0.473 * [backup-simplify]: Simplify 0 into 0
0.474 * [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.474 * * * [progress]: simplifying candidates
0.476 * [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.477 * [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.483 * * [simplify]: iteration  0 :  410  enodes  (cost  1455 )
0.490 * * [simplify]: iteration  1 :  1909  enodes  (cost  1262 )
0.519 * * [simplify]: iteration  2 :  5001  enodes  (cost  1154 )
0.524 * * * [progress]: adding candidates to table
0.754 * * [progress]: iteration 3 / 4
0.754 * * * [progress]: picking best candidate
0.775 * * * * [pick]: Picked  #<alt (λ (re im) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))>
0.775 * * * [progress]: localizing error
0.784 * * * [progress]: generating rewritten candidates
0.784 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.838 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.866 * * * [progress]: generating series expansions
0.866 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.869 * [backup-simplify]: Simplify (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))) into (/ (atan2 im re) (log 10.0))
0.869 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0
0.869 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.869 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.869 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.869 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.869 * [taylor]: Taking taylor expansion of 10.0 in re
0.869 * [backup-simplify]: Simplify 10.0 into 10.0
0.869 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.869 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.869 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.869 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.869 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.869 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.869 * [taylor]: Taking taylor expansion of 10.0 in im
0.869 * [backup-simplify]: Simplify 10.0 into 10.0
0.870 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.870 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.870 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
0.870 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.870 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.870 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.870 * [taylor]: Taking taylor expansion of 10.0 in im
0.870 * [backup-simplify]: Simplify 10.0 into 10.0
0.870 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.871 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.871 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
0.871 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.871 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.871 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.871 * [taylor]: Taking taylor expansion of 10.0 in re
0.871 * [backup-simplify]: Simplify 10.0 into 10.0
0.871 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.871 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.872 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.872 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.873 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.873 * [taylor]: Taking taylor expansion of 0 in re
0.873 * [backup-simplify]: Simplify 0 into 0
0.873 * [backup-simplify]: Simplify 0 into 0
0.874 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.875 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.875 * [backup-simplify]: Simplify 0 into 0
0.876 * [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.878 * [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.878 * [taylor]: Taking taylor expansion of 0 in re
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 0 into 0
0.879 * [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.880 * [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.881 * [backup-simplify]: Simplify 0 into 0
0.883 * [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.885 * [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.885 * [taylor]: Taking taylor expansion of 0 in re
0.885 * [backup-simplify]: Simplify 0 into 0
0.885 * [backup-simplify]: Simplify 0 into 0
0.885 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.887 * [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.887 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0
0.887 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.887 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.887 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.887 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.887 * [taylor]: Taking taylor expansion of 10.0 in re
0.887 * [backup-simplify]: Simplify 10.0 into 10.0
0.887 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.888 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.888 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.888 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.888 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.888 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.888 * [taylor]: Taking taylor expansion of 10.0 in im
0.888 * [backup-simplify]: Simplify 10.0 into 10.0
0.888 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.888 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.888 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
0.888 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.889 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.889 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.889 * [taylor]: Taking taylor expansion of 10.0 in im
0.889 * [backup-simplify]: Simplify 10.0 into 10.0
0.889 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.889 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.889 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
0.889 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.889 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.889 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.889 * [taylor]: Taking taylor expansion of 10.0 in re
0.889 * [backup-simplify]: Simplify 10.0 into 10.0
0.890 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.890 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.890 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
0.891 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.892 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.892 * [taylor]: Taking taylor expansion of 0 in re
0.892 * [backup-simplify]: Simplify 0 into 0
0.892 * [backup-simplify]: Simplify 0 into 0
0.893 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.894 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.894 * [backup-simplify]: Simplify 0 into 0
0.895 * [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.896 * [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.896 * [taylor]: Taking taylor expansion of 0 in re
0.896 * [backup-simplify]: Simplify 0 into 0
0.896 * [backup-simplify]: Simplify 0 into 0
0.896 * [backup-simplify]: Simplify 0 into 0
0.898 * [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.899 * [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.899 * [backup-simplify]: Simplify 0 into 0
0.902 * [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.903 * [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.903 * [taylor]: Taking taylor expansion of 0 in re
0.903 * [backup-simplify]: Simplify 0 into 0
0.903 * [backup-simplify]: Simplify 0 into 0
0.904 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.906 * [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.906 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0
0.906 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.906 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.906 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.906 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.906 * [taylor]: Taking taylor expansion of 10.0 in re
0.906 * [backup-simplify]: Simplify 10.0 into 10.0
0.906 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.906 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.906 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.906 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.906 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.906 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.906 * [taylor]: Taking taylor expansion of 10.0 in im
0.906 * [backup-simplify]: Simplify 10.0 into 10.0
0.907 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.907 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.907 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
0.907 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
0.907 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.907 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.907 * [taylor]: Taking taylor expansion of 10.0 in im
0.907 * [backup-simplify]: Simplify 10.0 into 10.0
0.907 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.908 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.908 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
0.908 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.908 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.908 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.908 * [taylor]: Taking taylor expansion of 10.0 in re
0.908 * [backup-simplify]: Simplify 10.0 into 10.0
0.908 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.909 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.909 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
0.910 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.911 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.911 * [taylor]: Taking taylor expansion of 0 in re
0.911 * [backup-simplify]: Simplify 0 into 0
0.911 * [backup-simplify]: Simplify 0 into 0
0.912 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.912 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
0.912 * [backup-simplify]: Simplify 0 into 0
0.914 * [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.915 * [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.915 * [taylor]: Taking taylor expansion of 0 in re
0.915 * [backup-simplify]: Simplify 0 into 0
0.915 * [backup-simplify]: Simplify 0 into 0
0.915 * [backup-simplify]: Simplify 0 into 0
0.917 * [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.918 * [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.918 * [backup-simplify]: Simplify 0 into 0
0.920 * [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.922 * [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.922 * [taylor]: Taking taylor expansion of 0 in re
0.922 * [backup-simplify]: Simplify 0 into 0
0.922 * [backup-simplify]: Simplify 0 into 0
0.923 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
0.923 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.923 * [backup-simplify]: Simplify (* (atan2 im re) (/ 1 (sqrt (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.924 * [approximate]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in (im re) around 0
0.924 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re
0.924 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.924 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.924 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.924 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.924 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.924 * [taylor]: Taking taylor expansion of 10.0 in re
0.924 * [backup-simplify]: Simplify 10.0 into 10.0
0.924 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.924 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.925 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.926 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.927 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.927 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.927 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in im
0.927 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.927 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.927 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.927 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.927 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.927 * [taylor]: Taking taylor expansion of 10.0 in im
0.927 * [backup-simplify]: Simplify 10.0 into 10.0
0.928 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.928 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.929 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.930 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.930 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.931 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.931 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in im
0.931 * [taylor]: Taking taylor expansion of (atan2 im re) in im
0.931 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.931 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.931 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.931 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.931 * [taylor]: Taking taylor expansion of 10.0 in im
0.931 * [backup-simplify]: Simplify 10.0 into 10.0
0.932 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.932 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.936 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.937 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.938 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.938 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.939 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.939 * [taylor]: Taking taylor expansion of (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) in re
0.939 * [taylor]: Taking taylor expansion of (atan2 im re) in re
0.939 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
0.939 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.939 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.939 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.939 * [taylor]: Taking taylor expansion of 10.0 in re
0.939 * [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.942 * [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.945 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.945 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0
0.945 * [taylor]: Taking taylor expansion of 0 in re
0.945 * [backup-simplify]: Simplify 0 into 0
0.945 * [backup-simplify]: Simplify 0 into 0
0.946 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (sqrt (/ 1 (log 10.0))))) into 0
0.946 * [backup-simplify]: Simplify 0 into 0
0.947 * [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.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.949 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.950 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 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.950 * [backup-simplify]: Simplify 0 into 0
0.951 * [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.952 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.953 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.954 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0)))))) into 0
0.954 * [backup-simplify]: Simplify 0 into 0
0.956 * [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.957 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.958 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.958 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 (log 10.0))))))) into 0
0.958 * [taylor]: Taking taylor expansion of 0 in re
0.958 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify (* (atan2 im re) (sqrt (/ 1 (log 10.0)))) into (* (atan2 im re) (sqrt (/ 1 (log 10.0))))
0.960 * [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.960 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in (im re) around 0
0.960 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re
0.960 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.960 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.960 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.961 * [taylor]: Taking taylor expansion of 10.0 in re
0.961 * [backup-simplify]: Simplify 10.0 into 10.0
0.961 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.961 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.962 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.963 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.964 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.964 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
0.964 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.964 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im
0.964 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.964 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.964 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.964 * [taylor]: Taking taylor expansion of 10.0 in im
0.964 * [backup-simplify]: Simplify 10.0 into 10.0
0.965 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.965 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.966 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.967 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.968 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.968 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.968 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.968 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in im
0.968 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.968 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.968 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.968 * [taylor]: Taking taylor expansion of 10.0 in im
0.968 * [backup-simplify]: Simplify 10.0 into 10.0
0.968 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.969 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.970 * [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.971 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.972 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.972 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
0.972 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
0.973 * [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.973 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ 1 im) (/ 1 re))) in re
0.973 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.973 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.973 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.973 * [taylor]: Taking taylor expansion of 10.0 in re
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.975 * [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.977 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.977 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
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.979 * [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.979 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0
0.979 * [taylor]: Taking taylor expansion of 0 in re
0.979 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify 0 into 0
0.980 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))) into 0
0.980 * [backup-simplify]: Simplify 0 into 0
0.981 * [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.982 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.983 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.984 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 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.984 * [backup-simplify]: Simplify 0 into 0
0.985 * [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.986 * [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 * [backup-simplify]: Simplify 0 into 0
0.990 * [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.991 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
0.992 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.993 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ 1 im) (/ 1 re)))))) into 0
0.993 * [taylor]: Taking taylor expansion of 0 in re
0.993 * [backup-simplify]: Simplify 0 into 0
0.993 * [backup-simplify]: Simplify 0 into 0
0.994 * [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.995 * [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.995 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in (im re) around 0
0.995 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re
0.995 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
0.995 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
0.995 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.995 * [taylor]: Taking taylor expansion of 10.0 in re
0.995 * [backup-simplify]: Simplify 10.0 into 10.0
0.995 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
0.996 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
0.997 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
0.997 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
0.998 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))))) into 0
0.999 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
0.999 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
0.999 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
0.999 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in im
0.999 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
0.999 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
0.999 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.999 * [taylor]: Taking taylor expansion of 10.0 in im
0.999 * [backup-simplify]: Simplify 10.0 into 10.0
0.999 * [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.001 * [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.002 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.002 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
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.003 * [backup-simplify]: Simplify (/ 1 (log 10.0)) into (/ 1 (log 10.0))
1.004 * [backup-simplify]: Simplify (sqrt (/ 1 (log 10.0))) into (sqrt (/ 1 (log 10.0)))
1.005 * [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.006 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.006 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
1.006 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.007 * [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.007 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (atan2 (/ -1 im) (/ -1 re))) in re
1.007 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
1.007 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
1.007 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.007 * [taylor]: Taking taylor expansion of 10.0 in re
1.007 * [backup-simplify]: Simplify 10.0 into 10.0
1.008 * [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.010 * [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 re
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.013 * [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.014 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0
1.014 * [taylor]: Taking taylor expansion of 0 in re
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))) into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.016 * [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.016 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
1.017 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.018 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 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.018 * [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.023 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
1.024 * [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 * [backup-simplify]: Simplify 0 into 0
1.027 * [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.028 * [backup-simplify]: Simplify (- (+ (* (/ 1 (log 10.0)) (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))) (* 0 (/ 0 (log 10.0))))) into 0
1.029 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (log 10.0))))) into 0
1.030 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (log 10.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (atan2 (/ -1 im) (/ -1 re)))))) into 0
1.030 * [taylor]: Taking taylor expansion of 0 in re
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.031 * [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.031 * * * [progress]: simplifying candidates
1.033 * [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.034 * [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.040 * * [simplify]: iteration  0 :  419  enodes  (cost  1106 )
1.048 * * [simplify]: iteration  1 :  2000  enodes  (cost  855 )
1.073 * * [simplify]: iteration  2 :  5002  enodes  (cost  682 )
1.077 * * * [progress]: adding candidates to table
1.260 * * [progress]: iteration 4 / 4
1.260 * * * [progress]: picking best candidate
1.278 * * * * [pick]: Picked  #<alt (λ (re im) (* (/ (sqrt 1) 1) (/ (atan2 im re) (log 10.0))))>
1.278 * * * [progress]: localizing error
1.287 * * * [progress]: generating rewritten candidates
1.287 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
1.293 * * * [progress]: generating series expansions
1.293 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
1.294 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.294 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in (im re) around 0
1.294 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
1.294 * [taylor]: Taking taylor expansion of (atan2 im re) in re
1.294 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
1.294 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.294 * [taylor]: Taking taylor expansion of 10.0 in re
1.294 * [backup-simplify]: Simplify 10.0 into 10.0
1.294 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.295 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.295 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
1.295 * [taylor]: Taking taylor expansion of (atan2 im re) in im
1.295 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
1.295 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.295 * [taylor]: Taking taylor expansion of 10.0 in im
1.295 * [backup-simplify]: Simplify 10.0 into 10.0
1.295 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.295 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.295 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in im
1.295 * [taylor]: Taking taylor expansion of (atan2 im re) in im
1.295 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
1.295 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.295 * [taylor]: Taking taylor expansion of 10.0 in im
1.295 * [backup-simplify]: Simplify 10.0 into 10.0
1.296 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.296 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.296 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log 10.0)) in re
1.296 * [taylor]: Taking taylor expansion of (atan2 im re) in re
1.296 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re)
1.296 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.296 * [taylor]: Taking taylor expansion of 10.0 in re
1.296 * [backup-simplify]: Simplify 10.0 into 10.0
1.296 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.297 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.297 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.298 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.299 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.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 (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.300 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 im re) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.300 * [backup-simplify]: Simplify 0 into 0
1.302 * [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.303 * [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.303 * [taylor]: Taking taylor expansion of 0 in re
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify 0 into 0
1.304 * [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.306 * [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.306 * [backup-simplify]: Simplify 0 into 0
1.311 * [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.312 * [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.313 * [taylor]: Taking taylor expansion of 0 in re
1.313 * [backup-simplify]: Simplify 0 into 0
1.313 * [backup-simplify]: Simplify 0 into 0
1.313 * [backup-simplify]: Simplify (/ (atan2 im re) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.313 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.313 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in (im re) around 0
1.313 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
1.313 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
1.313 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
1.313 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.313 * [taylor]: Taking taylor expansion of 10.0 in re
1.313 * [backup-simplify]: Simplify 10.0 into 10.0
1.314 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.314 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.314 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
1.314 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
1.314 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
1.314 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.314 * [taylor]: Taking taylor expansion of 10.0 in im
1.314 * [backup-simplify]: Simplify 10.0 into 10.0
1.314 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.315 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.315 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in im
1.315 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im
1.315 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
1.315 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.315 * [taylor]: Taking taylor expansion of 10.0 in im
1.315 * [backup-simplify]: Simplify 10.0 into 10.0
1.315 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.315 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.315 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) in re
1.315 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re
1.316 * [backup-simplify]: Simplify (atan2 (/ 1 im) (/ 1 re)) into (atan2 (/ 1 im) (/ 1 re))
1.316 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.316 * [taylor]: Taking taylor expansion of 10.0 in re
1.316 * [backup-simplify]: Simplify 10.0 into 10.0
1.316 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.316 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.316 * [backup-simplify]: Simplify (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) into (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0))
1.317 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.318 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.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 (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.320 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ 1 im) (/ 1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.320 * [backup-simplify]: Simplify 0 into 0
1.321 * [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.323 * [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.323 * [taylor]: Taking taylor expansion of 0 in re
1.323 * [backup-simplify]: Simplify 0 into 0
1.323 * [backup-simplify]: Simplify 0 into 0
1.323 * [backup-simplify]: Simplify 0 into 0
1.324 * [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.325 * [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.325 * [backup-simplify]: Simplify 0 into 0
1.328 * [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.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))) (* 0 (/ 0 (log 10.0))))) into 0
1.329 * [taylor]: Taking taylor expansion of 0 in re
1.330 * [backup-simplify]: Simplify 0 into 0
1.330 * [backup-simplify]: Simplify 0 into 0
1.330 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (/ 1 im)) (/ 1 (/ 1 re))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.330 * [backup-simplify]: Simplify (/ (atan2 (/ 1 (- im)) (/ 1 (- re))) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.330 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in (im re) around 0
1.330 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
1.330 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
1.330 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.330 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.330 * [taylor]: Taking taylor expansion of 10.0 in re
1.330 * [backup-simplify]: Simplify 10.0 into 10.0
1.331 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.331 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.331 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
1.331 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
1.331 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.331 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.331 * [taylor]: Taking taylor expansion of 10.0 in im
1.331 * [backup-simplify]: Simplify 10.0 into 10.0
1.332 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.332 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.332 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in im
1.332 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im
1.332 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.332 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.332 * [taylor]: Taking taylor expansion of 10.0 in im
1.332 * [backup-simplify]: Simplify 10.0 into 10.0
1.332 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.333 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.333 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) in re
1.333 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re
1.333 * [backup-simplify]: Simplify (atan2 (/ -1 im) (/ -1 re)) into (atan2 (/ -1 im) (/ -1 re))
1.333 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.333 * [taylor]: Taking taylor expansion of 10.0 in re
1.333 * [backup-simplify]: Simplify 10.0 into 10.0
1.333 * [backup-simplify]: Simplify (log 10.0) into (log 10.0)
1.333 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.334 * [backup-simplify]: Simplify (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) into (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0))
1.334 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.335 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.336 * [taylor]: Taking taylor expansion of 0 in re
1.336 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 10.0 1)))) 1) into 0
1.337 * [backup-simplify]: Simplify (- (/ 0 (log 10.0)) (+ (* (/ (atan2 (/ -1 im) (/ -1 re)) (log 10.0)) (/ 0 (log 10.0))))) into 0
1.337 * [backup-simplify]: Simplify 0 into 0
1.339 * [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.340 * [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.340 * [taylor]: Taking taylor expansion of 0 in re
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.341 * [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.343 * [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.343 * [backup-simplify]: Simplify 0 into 0
1.345 * [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.347 * [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.347 * [taylor]: Taking taylor expansion of 0 in re
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify (/ (atan2 (/ -1 (/ 1 (- im))) (/ -1 (/ 1 (- re)))) (log 10.0)) into (/ (atan2 im re) (log 10.0))
1.347 * * * [progress]: simplifying candidates
1.348 * [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.348 * [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.351 * * [simplify]: iteration  0 :  86  enodes  (cost  210 )
1.353 * * [simplify]: iteration  1 :  234  enodes  (cost  196 )
1.357 * * [simplify]: iteration  2 :  597  enodes  (cost  196 )
1.366 * * [simplify]: iteration  3 :  1533  enodes  (cost  196 )
1.392 * * [simplify]: iteration  4 :  4399  enodes  (cost  196 )
1.434 * * [simplify]: iteration  5 :  5001  enodes  (cost  196 )
1.436 * * * [progress]: adding candidates to table
1.509 * [progress]: [Phase 3 of 3] Extracting.
1.509 * * [regime]: Finding splitpoints for: (#<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) (log 10.0)) 3)))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<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) (* (/ (sqrt 1) 1) (/ (atan2 im re) (log 10.0))))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))))))> #<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) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))>)
1.510 * * * [regime-changes]: Trying 4 branch expressions: ((atan2 im re) (/ (atan2 im re) (log 10.0)) im re)
1.510 * * * * [regimes]: Trying to branch on (atan2 im re) from (#<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) (log 10.0)) 3)))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<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) (* (/ (sqrt 1) 1) (/ (atan2 im re) (log 10.0))))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))))))> #<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) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))>)
1.545 * * * * [regimes]: Trying to branch on (/ (atan2 im re) (log 10.0)) from (#<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) (log 10.0)) 3)))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<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) (* (/ (sqrt 1) 1) (/ (atan2 im re) (log 10.0))))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))))))> #<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) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))>)
1.582 * * * * [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) 1) (/ (atan2 im re) (log 10.0))))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))))))>)
1.602 * * * * [regimes]: Trying to branch on im from (#<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) (log 10.0)) 3)))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<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) (* (/ (sqrt 1) 1) (/ (atan2 im re) (log 10.0))))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))))))> #<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) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))>)
1.635 * * * * [regimes]: Trying to branch on re from (#<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) (log 10.0)) 3)))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (/ (sqrt (atan2 im re)) (/ (log 10.0) (sqrt (atan2 im re))))))> #<alt (λ (re im) (cbrt (/ (pow (atan2 im re) 3) (pow (log 10.0) 3))))> #<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) (* (/ (sqrt 1) 1) (/ (atan2 im re) (log 10.0))))> #<alt (λ (re im) (* (/ (sqrt 1) 1) (* (* (cbrt (/ (atan2 im re) (log 10.0))) (cbrt (/ (atan2 im re) (log 10.0)))) (cbrt (/ (atan2 im re) (log 10.0))))))> #<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) (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0))))))>)
1.669 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
1.669 * [simplify]: Simplifying:
  (* (/ 1 (sqrt (log 10.0))) (* (atan2 im re) (/ 1 (sqrt (log 10.0)))))
1.669 * [simplify]: Sending expressions to egg_math:
 (* (/ 1 (sqrt (log h0))) (* (atan2 h1 h2) (/ 1 (sqrt (log h0)))))
1.669 * * [simplify]: iteration  0 :  14  enodes  (cost  9 )
1.670 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
2.512 * [regime-testing]: Baseline error score: 0.7990198024767522
2.512 * [regime-testing]: Oracle error score: 0.03284846699614495
2.513 * [regime-testing]: End program error score: 0.7990198024767522