16.597 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying:
  (sqrt (- 1.0 (* x x)))
0.043 * * [progress]: iteration 1 / 4
0.043 * * * [progress]: picking best candidate
0.045 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (- 1.0 (* x x))))>
0.045 * * * [progress]: localizing error
0.049 * * * [progress]: generating rewritten candidates
0.049 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.055 * * * [progress]: generating series expansions
0.055 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.056 * [backup-simplify]: Simplify (sqrt (- 1.0 (* x x))) into (sqrt (- 1.0 (pow x 2)))
0.056 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in (x) around 0
0.056 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
0.056 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.056 * [taylor]: Taking taylor expansion of 1.0 in x
0.056 * [backup-simplify]: Simplify 1.0 into 1.0
0.056 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [backup-simplify]: Simplify 0 into 0
0.056 * [backup-simplify]: Simplify 1 into 1
0.056 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.057 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.057 * [backup-simplify]: Simplify (+ 0 0) into 0
0.057 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
0.057 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
0.057 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
0.057 * [taylor]: Taking taylor expansion of 1.0 in x
0.057 * [backup-simplify]: Simplify 1.0 into 1.0
0.057 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.057 * [taylor]: Taking taylor expansion of x in x
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify 1 into 1
0.058 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.058 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.058 * [backup-simplify]: Simplify (+ 0 0) into 0
0.059 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
0.059 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify (* 1 1) into 1
0.059 * [backup-simplify]: Simplify (- 1) into -1
0.060 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.061 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
0.062 * [backup-simplify]: Simplify (/ -1/2 (sqrt 1.0)) into (/ -1/2 (sqrt 1.0))
0.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.063 * [backup-simplify]: Simplify (- 0) into 0
0.063 * [backup-simplify]: Simplify (+ 0 0) into 0
0.064 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.065 * [backup-simplify]: Simplify (- 0) into 0
0.065 * [backup-simplify]: Simplify (+ 0 0) into 0
0.070 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
0.071 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3))
0.073 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 4)) (+ (* (/ -1/2 (sqrt 1.0)) (pow x 2)) (sqrt 1.0))) into (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
0.073 * [backup-simplify]: Simplify (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
0.073 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
0.073 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
0.073 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.073 * [taylor]: Taking taylor expansion of 1.0 in x
0.073 * [backup-simplify]: Simplify 1.0 into 1.0
0.073 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.073 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify 1 into 1
0.074 * [backup-simplify]: Simplify (* 1 1) into 1
0.074 * [backup-simplify]: Simplify (/ 1 1) into 1
0.074 * [backup-simplify]: Simplify (- 1) into -1
0.074 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.075 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.075 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.076 * [backup-simplify]: Simplify (- 0) into 0
0.076 * [backup-simplify]: Simplify (+ 0 0) into 0
0.076 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
0.076 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
0.076 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.076 * [taylor]: Taking taylor expansion of 1.0 in x
0.077 * [backup-simplify]: Simplify 1.0 into 1.0
0.077 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.077 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 1 into 1
0.077 * [backup-simplify]: Simplify (* 1 1) into 1
0.077 * [backup-simplify]: Simplify (/ 1 1) into 1
0.077 * [backup-simplify]: Simplify (- 1) into -1
0.078 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.078 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.078 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.079 * [backup-simplify]: Simplify (- 0) into 0
0.079 * [backup-simplify]: Simplify (+ 0 0) into 0
0.079 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
0.080 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.080 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.081 * [backup-simplify]: Simplify (- 0) into 0
0.081 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.091 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
0.091 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
0.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.093 * [backup-simplify]: Simplify (- 0) into 0
0.093 * [backup-simplify]: Simplify (+ 0 0) into 0
0.094 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.095 * [backup-simplify]: Simplify (- 0) into 0
0.096 * [backup-simplify]: Simplify (+ 0 0) into 0
0.100 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
0.101 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
0.103 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
0.103 * [backup-simplify]: Simplify (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
0.103 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
0.103 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
0.103 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.103 * [taylor]: Taking taylor expansion of 1.0 in x
0.103 * [backup-simplify]: Simplify 1.0 into 1.0
0.103 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.103 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify 1 into 1
0.103 * [backup-simplify]: Simplify (* 1 1) into 1
0.103 * [backup-simplify]: Simplify (/ 1 1) into 1
0.104 * [backup-simplify]: Simplify (- 1) into -1
0.104 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.104 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.105 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.105 * [backup-simplify]: Simplify (- 0) into 0
0.105 * [backup-simplify]: Simplify (+ 0 0) into 0
0.106 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
0.106 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
0.106 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
0.106 * [taylor]: Taking taylor expansion of 1.0 in x
0.106 * [backup-simplify]: Simplify 1.0 into 1.0
0.106 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.106 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [backup-simplify]: Simplify 0 into 0
0.106 * [backup-simplify]: Simplify 1 into 1
0.106 * [backup-simplify]: Simplify (* 1 1) into 1
0.106 * [backup-simplify]: Simplify (/ 1 1) into 1
0.107 * [backup-simplify]: Simplify (- 1) into -1
0.107 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.107 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.108 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.108 * [backup-simplify]: Simplify (- 0) into 0
0.108 * [backup-simplify]: Simplify (+ 0 0) into 0
0.109 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
0.109 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
0.109 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.110 * [backup-simplify]: Simplify (- 0) into 0
0.111 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.113 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
0.113 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
0.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.115 * [backup-simplify]: Simplify (- 0) into 0
0.115 * [backup-simplify]: Simplify (+ 0 0) into 0
0.116 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.117 * [backup-simplify]: Simplify (- 0) into 0
0.117 * [backup-simplify]: Simplify (+ 0 0) into 0
0.121 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
0.122 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
0.124 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
0.124 * * * [progress]: simplifying candidates
0.125 * [simplify]: Simplifying:
  (log (sqrt (- 1.0 (* x x))))
  (exp (sqrt (- 1.0 (* x x))))
  (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))
  (cbrt (sqrt (- 1.0 (* x x))))
  (* (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (sqrt (- 1.0 (* x x))))
  (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))
  (sqrt (cbrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt 1)
  (sqrt (- 1.0 (* x x)))
  (sqrt (+ (sqrt 1.0) x))
  (sqrt (- (sqrt 1.0) x))
  (sqrt (- (pow 1.0 3) (pow (* x x) 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))
  (sqrt (- (* 1.0 1.0) (* (* x x) (* x x))))
  (sqrt (+ 1.0 (* x x)))
  (/ 1 2)
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
  (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
  (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
1.088 * * * [progress]: adding candidates to table
1.141 * * [progress]: iteration 2 / 4
1.141 * * * [progress]: picking best candidate
1.144 * * * * [pick]: Picked  #<alt (λ (x) (log (exp (sqrt (- 1.0 (* x x))))))>
1.145 * * * [progress]: localizing error
1.154 * * * [progress]: generating rewritten candidates
1.154 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.161 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.178 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.196 * * * [progress]: generating series expansions
1.197 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.197 * [backup-simplify]: Simplify (sqrt (- 1.0 (* x x))) into (sqrt (- 1.0 (pow x 2)))
1.197 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in (x) around 0
1.197 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
1.197 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
1.197 * [taylor]: Taking taylor expansion of 1.0 in x
1.197 * [backup-simplify]: Simplify 1.0 into 1.0
1.197 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify 1 into 1
1.197 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.198 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
1.198 * [backup-simplify]: Simplify (+ 0 0) into 0
1.198 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
1.198 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
1.198 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
1.198 * [taylor]: Taking taylor expansion of 1.0 in x
1.198 * [backup-simplify]: Simplify 1.0 into 1.0
1.199 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.199 * [taylor]: Taking taylor expansion of x in x
1.199 * [backup-simplify]: Simplify 0 into 0
1.199 * [backup-simplify]: Simplify 1 into 1
1.199 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.199 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
1.199 * [backup-simplify]: Simplify (+ 0 0) into 0
1.200 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
1.200 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
1.200 * [backup-simplify]: Simplify 0 into 0
1.200 * [backup-simplify]: Simplify (* 1 1) into 1
1.201 * [backup-simplify]: Simplify (- 1) into -1
1.201 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.202 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
1.203 * [backup-simplify]: Simplify (/ -1/2 (sqrt 1.0)) into (/ -1/2 (sqrt 1.0))
1.203 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.204 * [backup-simplify]: Simplify (- 0) into 0
1.204 * [backup-simplify]: Simplify (+ 0 0) into 0
1.205 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
1.205 * [backup-simplify]: Simplify 0 into 0
1.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.206 * [backup-simplify]: Simplify (- 0) into 0
1.206 * [backup-simplify]: Simplify (+ 0 0) into 0
1.210 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
1.211 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3))
1.214 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 4)) (+ (* (/ -1/2 (sqrt 1.0)) (pow x 2)) (sqrt 1.0))) into (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
1.214 * [backup-simplify]: Simplify (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
1.214 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
1.214 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.214 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.214 * [taylor]: Taking taylor expansion of 1.0 in x
1.214 * [backup-simplify]: Simplify 1.0 into 1.0
1.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.214 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.214 * [taylor]: Taking taylor expansion of x in x
1.214 * [backup-simplify]: Simplify 0 into 0
1.214 * [backup-simplify]: Simplify 1 into 1
1.215 * [backup-simplify]: Simplify (* 1 1) into 1
1.215 * [backup-simplify]: Simplify (/ 1 1) into 1
1.215 * [backup-simplify]: Simplify (- 1) into -1
1.216 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.216 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.217 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.218 * [backup-simplify]: Simplify (- 0) into 0
1.218 * [backup-simplify]: Simplify (+ 0 0) into 0
1.219 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.219 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.219 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.219 * [taylor]: Taking taylor expansion of 1.0 in x
1.219 * [backup-simplify]: Simplify 1.0 into 1.0
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.219 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [backup-simplify]: Simplify 0 into 0
1.219 * [backup-simplify]: Simplify 1 into 1
1.220 * [backup-simplify]: Simplify (* 1 1) into 1
1.220 * [backup-simplify]: Simplify (/ 1 1) into 1
1.220 * [backup-simplify]: Simplify (- 1) into -1
1.221 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.221 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.223 * [backup-simplify]: Simplify (- 0) into 0
1.223 * [backup-simplify]: Simplify (+ 0 0) into 0
1.224 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.224 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.224 * [backup-simplify]: Simplify 0 into 0
1.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.226 * [backup-simplify]: Simplify (- 0) into 0
1.227 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.230 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
1.231 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
1.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.233 * [backup-simplify]: Simplify (- 0) into 0
1.233 * [backup-simplify]: Simplify (+ 0 0) into 0
1.235 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1.235 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.237 * [backup-simplify]: Simplify (- 0) into 0
1.237 * [backup-simplify]: Simplify (+ 0 0) into 0
1.243 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
1.245 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
1.248 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1.248 * [backup-simplify]: Simplify (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
1.248 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
1.248 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.248 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.248 * [taylor]: Taking taylor expansion of 1.0 in x
1.248 * [backup-simplify]: Simplify 1.0 into 1.0
1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.249 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.249 * [taylor]: Taking taylor expansion of x in x
1.249 * [backup-simplify]: Simplify 0 into 0
1.249 * [backup-simplify]: Simplify 1 into 1
1.249 * [backup-simplify]: Simplify (* 1 1) into 1
1.249 * [backup-simplify]: Simplify (/ 1 1) into 1
1.250 * [backup-simplify]: Simplify (- 1) into -1
1.250 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.250 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.251 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.252 * [backup-simplify]: Simplify (- 0) into 0
1.252 * [backup-simplify]: Simplify (+ 0 0) into 0
1.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.253 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.253 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.253 * [taylor]: Taking taylor expansion of 1.0 in x
1.253 * [backup-simplify]: Simplify 1.0 into 1.0
1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.253 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.253 * [backup-simplify]: Simplify 0 into 0
1.253 * [backup-simplify]: Simplify 1 into 1
1.254 * [backup-simplify]: Simplify (* 1 1) into 1
1.254 * [backup-simplify]: Simplify (/ 1 1) into 1
1.254 * [backup-simplify]: Simplify (- 1) into -1
1.255 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.255 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.256 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.257 * [backup-simplify]: Simplify (- 0) into 0
1.257 * [backup-simplify]: Simplify (+ 0 0) into 0
1.258 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.258 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.258 * [backup-simplify]: Simplify 0 into 0
1.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.260 * [backup-simplify]: Simplify (- 0) into 0
1.261 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.264 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
1.265 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
1.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.267 * [backup-simplify]: Simplify (- 0) into 0
1.268 * [backup-simplify]: Simplify (+ 0 0) into 0
1.269 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1.269 * [backup-simplify]: Simplify 0 into 0
1.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.271 * [backup-simplify]: Simplify (- 0) into 0
1.272 * [backup-simplify]: Simplify (+ 0 0) into 0
1.278 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
1.279 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
1.283 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
1.283 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.283 * [backup-simplify]: Simplify (log (exp (sqrt (- 1.0 (* x x))))) into (sqrt (- 1.0 (pow x 2)))
1.283 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in (x) around 0
1.283 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
1.283 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
1.283 * [taylor]: Taking taylor expansion of 1.0 in x
1.283 * [backup-simplify]: Simplify 1.0 into 1.0
1.283 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.283 * [taylor]: Taking taylor expansion of x in x
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 1 into 1
1.284 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.284 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
1.284 * [backup-simplify]: Simplify (+ 0 0) into 0
1.285 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
1.285 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
1.285 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
1.285 * [taylor]: Taking taylor expansion of 1.0 in x
1.285 * [backup-simplify]: Simplify 1.0 into 1.0
1.285 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.285 * [taylor]: Taking taylor expansion of x in x
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify 1 into 1
1.286 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.286 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
1.286 * [backup-simplify]: Simplify (+ 0 0) into 0
1.287 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
1.288 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
1.288 * [backup-simplify]: Simplify 0 into 0
1.288 * [backup-simplify]: Simplify (* 1 1) into 1
1.288 * [backup-simplify]: Simplify (- 1) into -1
1.289 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.291 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
1.292 * [backup-simplify]: Simplify (/ -1/2 (sqrt 1.0)) into (/ -1/2 (sqrt 1.0))
1.293 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.293 * [backup-simplify]: Simplify (- 0) into 0
1.293 * [backup-simplify]: Simplify (+ 0 0) into 0
1.295 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
1.295 * [backup-simplify]: Simplify 0 into 0
1.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.296 * [backup-simplify]: Simplify (- 0) into 0
1.296 * [backup-simplify]: Simplify (+ 0 0) into 0
1.301 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
1.302 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3))
1.304 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 4)) (+ (* (/ -1/2 (sqrt 1.0)) (pow x 2)) (sqrt 1.0))) into (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
1.304 * [backup-simplify]: Simplify (log (exp (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
1.304 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
1.304 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.304 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.304 * [taylor]: Taking taylor expansion of 1.0 in x
1.304 * [backup-simplify]: Simplify 1.0 into 1.0
1.304 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.304 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.304 * [taylor]: Taking taylor expansion of x in x
1.304 * [backup-simplify]: Simplify 0 into 0
1.304 * [backup-simplify]: Simplify 1 into 1
1.305 * [backup-simplify]: Simplify (* 1 1) into 1
1.305 * [backup-simplify]: Simplify (/ 1 1) into 1
1.305 * [backup-simplify]: Simplify (- 1) into -1
1.305 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.306 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.307 * [backup-simplify]: Simplify (- 0) into 0
1.307 * [backup-simplify]: Simplify (+ 0 0) into 0
1.307 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.307 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.308 * [taylor]: Taking taylor expansion of 1.0 in x
1.308 * [backup-simplify]: Simplify 1.0 into 1.0
1.308 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.308 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.308 * [taylor]: Taking taylor expansion of x in x
1.308 * [backup-simplify]: Simplify 0 into 0
1.308 * [backup-simplify]: Simplify 1 into 1
1.308 * [backup-simplify]: Simplify (* 1 1) into 1
1.308 * [backup-simplify]: Simplify (/ 1 1) into 1
1.308 * [backup-simplify]: Simplify (- 1) into -1
1.309 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.309 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.309 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.314 * [backup-simplify]: Simplify (- 0) into 0
1.315 * [backup-simplify]: Simplify (+ 0 0) into 0
1.315 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.316 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.316 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.318 * [backup-simplify]: Simplify (- 0) into 0
1.318 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.322 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
1.322 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
1.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.325 * [backup-simplify]: Simplify (- 0) into 0
1.325 * [backup-simplify]: Simplify (+ 0 0) into 0
1.327 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1.327 * [backup-simplify]: Simplify 0 into 0
1.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.329 * [backup-simplify]: Simplify (- 0) into 0
1.329 * [backup-simplify]: Simplify (+ 0 0) into 0
1.334 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
1.335 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
1.337 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1.337 * [backup-simplify]: Simplify (log (exp (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
1.337 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
1.337 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.337 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.337 * [taylor]: Taking taylor expansion of 1.0 in x
1.337 * [backup-simplify]: Simplify 1.0 into 1.0
1.337 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.337 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.337 * [taylor]: Taking taylor expansion of x in x
1.337 * [backup-simplify]: Simplify 0 into 0
1.337 * [backup-simplify]: Simplify 1 into 1
1.337 * [backup-simplify]: Simplify (* 1 1) into 1
1.338 * [backup-simplify]: Simplify (/ 1 1) into 1
1.338 * [backup-simplify]: Simplify (- 1) into -1
1.338 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.338 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.339 * [backup-simplify]: Simplify (- 0) into 0
1.340 * [backup-simplify]: Simplify (+ 0 0) into 0
1.340 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.340 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.340 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.340 * [taylor]: Taking taylor expansion of 1.0 in x
1.340 * [backup-simplify]: Simplify 1.0 into 1.0
1.340 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.340 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.340 * [taylor]: Taking taylor expansion of x in x
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify 1 into 1
1.340 * [backup-simplify]: Simplify (* 1 1) into 1
1.341 * [backup-simplify]: Simplify (/ 1 1) into 1
1.341 * [backup-simplify]: Simplify (- 1) into -1
1.341 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.341 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.342 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.342 * [backup-simplify]: Simplify (- 0) into 0
1.343 * [backup-simplify]: Simplify (+ 0 0) into 0
1.343 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.343 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.343 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.345 * [backup-simplify]: Simplify (- 0) into 0
1.345 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.347 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
1.348 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
1.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.349 * [backup-simplify]: Simplify (- 0) into 0
1.349 * [backup-simplify]: Simplify (+ 0 0) into 0
1.350 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1.350 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.352 * [backup-simplify]: Simplify (- 0) into 0
1.352 * [backup-simplify]: Simplify (+ 0 0) into 0
1.355 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
1.357 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
1.359 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
1.359 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.359 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (* x x)))) into (exp (sqrt (- 1.0 (pow x 2))))
1.359 * [approximate]: Taking taylor expansion of (exp (sqrt (- 1.0 (pow x 2)))) in (x) around 0
1.359 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (pow x 2)))) in x
1.359 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
1.359 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
1.359 * [taylor]: Taking taylor expansion of 1.0 in x
1.359 * [backup-simplify]: Simplify 1.0 into 1.0
1.359 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.359 * [taylor]: Taking taylor expansion of x in x
1.359 * [backup-simplify]: Simplify 0 into 0
1.359 * [backup-simplify]: Simplify 1 into 1
1.359 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.360 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
1.360 * [backup-simplify]: Simplify (+ 0 0) into 0
1.360 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
1.361 * [backup-simplify]: Simplify (exp (sqrt 1.0)) into (exp (sqrt 1.0))
1.361 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (pow x 2)))) in x
1.361 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
1.361 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
1.361 * [taylor]: Taking taylor expansion of 1.0 in x
1.361 * [backup-simplify]: Simplify 1.0 into 1.0
1.361 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.361 * [taylor]: Taking taylor expansion of x in x
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify 1 into 1
1.361 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.362 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
1.362 * [backup-simplify]: Simplify (+ 0 0) into 0
1.362 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
1.363 * [backup-simplify]: Simplify (exp (sqrt 1.0)) into (exp (sqrt 1.0))
1.363 * [backup-simplify]: Simplify (exp (sqrt 1.0)) into (exp (sqrt 1.0))
1.364 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [backup-simplify]: Simplify (* 1 1) into 1
1.365 * [backup-simplify]: Simplify (- 1) into -1
1.365 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.366 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
1.372 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)))) into (* -1/2 (/ (exp (sqrt 1.0)) (sqrt 1.0)))
1.373 * [backup-simplify]: Simplify (* -1/2 (/ (exp (sqrt 1.0)) (sqrt 1.0))) into (* -1/2 (/ (exp (sqrt 1.0)) (sqrt 1.0)))
1.374 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.374 * [backup-simplify]: Simplify (- 0) into 0
1.374 * [backup-simplify]: Simplify (+ 0 0) into 0
1.375 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
1.377 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.377 * [backup-simplify]: Simplify 0 into 0
1.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.377 * [backup-simplify]: Simplify (- 0) into 0
1.378 * [backup-simplify]: Simplify (+ 0 0) into 0
1.381 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
1.396 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (/ -1/2 (sqrt 1.0)) 2) 2)) (* (/ (pow (/ -1/8 (pow (sqrt 1.0) 3)) 1) 1)))) into (* (exp (sqrt 1.0)) (- (* 1/8 (/ 1 (pow (sqrt 1.0) 2))) (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))))
1.403 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (- (* 1/8 (/ 1 (pow (sqrt 1.0) 2))) (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))) into (* (exp (sqrt 1.0)) (- (* 1/8 (/ 1 (pow (sqrt 1.0) 2))) (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))))
1.423 * [backup-simplify]: Simplify (+ (* (* (exp (sqrt 1.0)) (- (* 1/8 (/ 1 (pow (sqrt 1.0) 2))) (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))) (pow x 4)) (+ (* (* -1/2 (/ (exp (sqrt 1.0)) (sqrt 1.0))) (pow x 2)) (exp (sqrt 1.0)))) into (- (+ (exp (sqrt 1.0)) (* 1/8 (/ (* (exp (sqrt 1.0)) (pow x 4)) (pow (sqrt 1.0) 2)))) (+ (* 1/8 (/ (* (exp (sqrt 1.0)) (pow x 4)) (pow (sqrt 1.0) 3))) (* 1/2 (/ (* (exp (sqrt 1.0)) (pow x 2)) (sqrt 1.0)))))
1.424 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (* (/ 1 x) (/ 1 x))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
1.424 * [approximate]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in (x) around 0
1.424 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
1.424 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.424 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.424 * [taylor]: Taking taylor expansion of 1.0 in x
1.424 * [backup-simplify]: Simplify 1.0 into 1.0
1.424 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.424 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.424 * [taylor]: Taking taylor expansion of x in x
1.424 * [backup-simplify]: Simplify 0 into 0
1.424 * [backup-simplify]: Simplify 1 into 1
1.425 * [backup-simplify]: Simplify (* 1 1) into 1
1.425 * [backup-simplify]: Simplify (/ 1 1) into 1
1.425 * [backup-simplify]: Simplify (- 1) into -1
1.426 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.426 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.427 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.428 * [backup-simplify]: Simplify (- 0) into 0
1.429 * [backup-simplify]: Simplify (+ 0 0) into 0
1.429 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.430 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
1.430 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
1.430 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.430 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.430 * [taylor]: Taking taylor expansion of 1.0 in x
1.430 * [backup-simplify]: Simplify 1.0 into 1.0
1.430 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.430 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.430 * [taylor]: Taking taylor expansion of x in x
1.430 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify 1 into 1
1.430 * [backup-simplify]: Simplify (* 1 1) into 1
1.431 * [backup-simplify]: Simplify (/ 1 1) into 1
1.431 * [backup-simplify]: Simplify (- 1) into -1
1.432 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.433 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.434 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.435 * [backup-simplify]: Simplify (- 0) into 0
1.435 * [backup-simplify]: Simplify (+ 0 0) into 0
1.436 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.436 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
1.437 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow (/ 1 x) 2))))) into (exp (sqrt (- 1.0 (pow x 2))))
1.437 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
1.438 * [approximate]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in (x) around 0
1.438 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
1.438 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.438 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.438 * [taylor]: Taking taylor expansion of 1.0 in x
1.438 * [backup-simplify]: Simplify 1.0 into 1.0
1.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.438 * [taylor]: Taking taylor expansion of x in x
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify 1 into 1
1.438 * [backup-simplify]: Simplify (* 1 1) into 1
1.439 * [backup-simplify]: Simplify (/ 1 1) into 1
1.439 * [backup-simplify]: Simplify (- 1) into -1
1.439 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.440 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.441 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.442 * [backup-simplify]: Simplify (- 0) into 0
1.442 * [backup-simplify]: Simplify (+ 0 0) into 0
1.443 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.443 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
1.443 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
1.443 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
1.443 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
1.443 * [taylor]: Taking taylor expansion of 1.0 in x
1.443 * [backup-simplify]: Simplify 1.0 into 1.0
1.444 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.444 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.444 * [taylor]: Taking taylor expansion of x in x
1.444 * [backup-simplify]: Simplify 0 into 0
1.444 * [backup-simplify]: Simplify 1 into 1
1.444 * [backup-simplify]: Simplify (* 1 1) into 1
1.445 * [backup-simplify]: Simplify (/ 1 1) into 1
1.445 * [backup-simplify]: Simplify (- 1) into -1
1.445 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.446 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.446 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.447 * [backup-simplify]: Simplify (- 0) into 0
1.448 * [backup-simplify]: Simplify (+ 0 0) into 0
1.449 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.449 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
1.449 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow (/ 1 (- x)) 2))))) into (exp (sqrt (- 1.0 (pow x 2))))
1.450 * * * [progress]: simplifying candidates
1.452 * [simplify]: Simplifying:
  (log (sqrt (- 1.0 (* x x))))
  (exp (sqrt (- 1.0 (* x x))))
  (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))
  (cbrt (sqrt (- 1.0 (* x x))))
  (* (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (sqrt (- 1.0 (* x x))))
  (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))
  (sqrt (cbrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt 1)
  (sqrt (- 1.0 (* x x)))
  (sqrt (+ (sqrt 1.0) x))
  (sqrt (- (sqrt 1.0) x))
  (sqrt (- (pow 1.0 3) (pow (* x x) 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))
  (sqrt (- (* 1.0 1.0) (* (* x x) (* x x))))
  (sqrt (+ 1.0 (* x x)))
  (/ 1 2)
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (log (* (cbrt (exp (sqrt (- 1.0 (* x x))))) (cbrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (cbrt (exp (sqrt (- 1.0 (* x x))))))
  (log (sqrt (exp (sqrt (- 1.0 (* x x))))))
  (log (sqrt (exp (sqrt (- 1.0 (* x x))))))
  (log 1)
  (log (exp (sqrt (- 1.0 (* x x)))))
  (log (exp (sqrt (- 1.0 (* x x)))))
  (log (exp (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))))
  (log (exp (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))))
  (log (exp (sqrt (sqrt (- 1.0 (* x x))))))
  (log (exp (sqrt 1)))
  (log (exp (sqrt (+ (sqrt 1.0) x))))
  (log (exp (sqrt (sqrt (- 1.0 (* x x))))))
  (log (exp 1))
  (log (log (exp (sqrt (- 1.0 (* x x))))))
  (exp (log (exp (sqrt (- 1.0 (* x x))))))
  (* (cbrt (log (exp (sqrt (- 1.0 (* x x)))))) (cbrt (log (exp (sqrt (- 1.0 (* x x)))))))
  (cbrt (log (exp (sqrt (- 1.0 (* x x))))))
  (* (* (log (exp (sqrt (- 1.0 (* x x))))) (log (exp (sqrt (- 1.0 (* x x)))))) (log (exp (sqrt (- 1.0 (* x x))))))
  (sqrt (log (exp (sqrt (- 1.0 (* x x))))))
  (sqrt (log (exp (sqrt (- 1.0 (* x x))))))
  (exp (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x))))))
  (exp (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))))
  (exp (sqrt (sqrt (- 1.0 (* x x)))))
  (exp (sqrt 1))
  (exp (sqrt (+ (sqrt 1.0) x)))
  (exp (sqrt (sqrt (- 1.0 (* x x)))))
  (exp 1)
  (log (exp (sqrt (- 1.0 (* x x)))))
  (exp (exp (sqrt (- 1.0 (* x x)))))
  (* (cbrt (exp (sqrt (- 1.0 (* x x))))) (cbrt (exp (sqrt (- 1.0 (* x x))))))
  (cbrt (exp (sqrt (- 1.0 (* x x)))))
  (* (* (exp (sqrt (- 1.0 (* x x)))) (exp (sqrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))))
  (sqrt (exp (sqrt (- 1.0 (* x x)))))
  (sqrt (exp (sqrt (- 1.0 (* x x)))))
  (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
  (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
  (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
  (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
  (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
  (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
  (- (+ (exp (sqrt 1.0)) (* 1/8 (/ (* (exp (sqrt 1.0)) (pow x 4)) (pow (sqrt 1.0) 2)))) (+ (* 1/8 (/ (* (exp (sqrt 1.0)) (pow x 4)) (pow (sqrt 1.0) 3))) (* 1/2 (/ (* (exp (sqrt 1.0)) (pow x 2)) (sqrt 1.0)))))
  (exp (sqrt (- 1.0 (pow x 2))))
  (exp (sqrt (- 1.0 (pow x 2))))
2.832 * * * [progress]: adding candidates to table
3.078 * * [progress]: iteration 3 / 4
3.078 * * * [progress]: picking best candidate
3.082 * * * * [pick]: Picked  #<alt (λ (x) (+ (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) (log (sqrt (exp (sqrt (- 1.0 (* x x))))))))>
3.082 * * * [progress]: localizing error
3.110 * * * [progress]: generating rewritten candidates
3.110 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
3.121 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
3.131 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.156 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.178 * * * [progress]: generating series expansions
3.178 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
3.178 * [backup-simplify]: Simplify (sqrt (- 1.0 (* x x))) into (sqrt (- 1.0 (pow x 2)))
3.178 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in (x) around 0
3.178 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.178 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.178 * [taylor]: Taking taylor expansion of 1.0 in x
3.178 * [backup-simplify]: Simplify 1.0 into 1.0
3.178 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.178 * [taylor]: Taking taylor expansion of x in x
3.178 * [backup-simplify]: Simplify 0 into 0
3.178 * [backup-simplify]: Simplify 1 into 1
3.179 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.179 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.179 * [backup-simplify]: Simplify (+ 0 0) into 0
3.180 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.180 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.180 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.180 * [taylor]: Taking taylor expansion of 1.0 in x
3.180 * [backup-simplify]: Simplify 1.0 into 1.0
3.180 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.180 * [taylor]: Taking taylor expansion of x in x
3.180 * [backup-simplify]: Simplify 0 into 0
3.180 * [backup-simplify]: Simplify 1 into 1
3.180 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.181 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.181 * [backup-simplify]: Simplify (+ 0 0) into 0
3.181 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.182 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.182 * [backup-simplify]: Simplify 0 into 0
3.182 * [backup-simplify]: Simplify (* 1 1) into 1
3.182 * [backup-simplify]: Simplify (- 1) into -1
3.183 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.185 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
3.185 * [backup-simplify]: Simplify (/ -1/2 (sqrt 1.0)) into (/ -1/2 (sqrt 1.0))
3.186 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.186 * [backup-simplify]: Simplify (- 0) into 0
3.186 * [backup-simplify]: Simplify (+ 0 0) into 0
3.187 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
3.187 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.188 * [backup-simplify]: Simplify (- 0) into 0
3.188 * [backup-simplify]: Simplify (+ 0 0) into 0
3.192 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
3.193 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3))
3.195 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 4)) (+ (* (/ -1/2 (sqrt 1.0)) (pow x 2)) (sqrt 1.0))) into (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
3.195 * [backup-simplify]: Simplify (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
3.195 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
3.195 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.195 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.195 * [taylor]: Taking taylor expansion of 1.0 in x
3.195 * [backup-simplify]: Simplify 1.0 into 1.0
3.195 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.195 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.195 * [taylor]: Taking taylor expansion of x in x
3.195 * [backup-simplify]: Simplify 0 into 0
3.195 * [backup-simplify]: Simplify 1 into 1
3.196 * [backup-simplify]: Simplify (* 1 1) into 1
3.196 * [backup-simplify]: Simplify (/ 1 1) into 1
3.196 * [backup-simplify]: Simplify (- 1) into -1
3.196 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.197 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.197 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.198 * [backup-simplify]: Simplify (- 0) into 0
3.198 * [backup-simplify]: Simplify (+ 0 0) into 0
3.198 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.198 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.198 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.198 * [taylor]: Taking taylor expansion of 1.0 in x
3.198 * [backup-simplify]: Simplify 1.0 into 1.0
3.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.198 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.199 * [taylor]: Taking taylor expansion of x in x
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify 1 into 1
3.199 * [backup-simplify]: Simplify (* 1 1) into 1
3.199 * [backup-simplify]: Simplify (/ 1 1) into 1
3.199 * [backup-simplify]: Simplify (- 1) into -1
3.200 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.200 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.200 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.201 * [backup-simplify]: Simplify (- 0) into 0
3.201 * [backup-simplify]: Simplify (+ 0 0) into 0
3.201 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.202 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.202 * [backup-simplify]: Simplify 0 into 0
3.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.203 * [backup-simplify]: Simplify (- 0) into 0
3.203 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.205 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.206 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
3.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.207 * [backup-simplify]: Simplify (- 0) into 0
3.208 * [backup-simplify]: Simplify (+ 0 0) into 0
3.208 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.209 * [backup-simplify]: Simplify 0 into 0
3.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.210 * [backup-simplify]: Simplify (- 0) into 0
3.210 * [backup-simplify]: Simplify (+ 0 0) into 0
3.214 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
3.215 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
3.217 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
3.218 * [backup-simplify]: Simplify (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
3.218 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
3.218 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.218 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.218 * [taylor]: Taking taylor expansion of 1.0 in x
3.218 * [backup-simplify]: Simplify 1.0 into 1.0
3.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.218 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.218 * [taylor]: Taking taylor expansion of x in x
3.218 * [backup-simplify]: Simplify 0 into 0
3.218 * [backup-simplify]: Simplify 1 into 1
3.218 * [backup-simplify]: Simplify (* 1 1) into 1
3.218 * [backup-simplify]: Simplify (/ 1 1) into 1
3.219 * [backup-simplify]: Simplify (- 1) into -1
3.219 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.219 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.219 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.220 * [backup-simplify]: Simplify (- 0) into 0
3.220 * [backup-simplify]: Simplify (+ 0 0) into 0
3.221 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.221 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.221 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.221 * [taylor]: Taking taylor expansion of 1.0 in x
3.221 * [backup-simplify]: Simplify 1.0 into 1.0
3.221 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.221 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.221 * [taylor]: Taking taylor expansion of x in x
3.221 * [backup-simplify]: Simplify 0 into 0
3.221 * [backup-simplify]: Simplify 1 into 1
3.221 * [backup-simplify]: Simplify (* 1 1) into 1
3.221 * [backup-simplify]: Simplify (/ 1 1) into 1
3.222 * [backup-simplify]: Simplify (- 1) into -1
3.222 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.222 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.223 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.224 * [backup-simplify]: Simplify (- 0) into 0
3.224 * [backup-simplify]: Simplify (+ 0 0) into 0
3.224 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.225 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.225 * [backup-simplify]: Simplify 0 into 0
3.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.226 * [backup-simplify]: Simplify (- 0) into 0
3.226 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.229 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.230 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
3.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.232 * [backup-simplify]: Simplify (- 0) into 0
3.233 * [backup-simplify]: Simplify (+ 0 0) into 0
3.234 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.234 * [backup-simplify]: Simplify 0 into 0
3.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.237 * [backup-simplify]: Simplify (- 0) into 0
3.237 * [backup-simplify]: Simplify (+ 0 0) into 0
3.243 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
3.245 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
3.249 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
3.249 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
3.249 * [backup-simplify]: Simplify (sqrt (- 1.0 (* x x))) into (sqrt (- 1.0 (pow x 2)))
3.249 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in (x) around 0
3.249 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.249 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.249 * [taylor]: Taking taylor expansion of 1.0 in x
3.249 * [backup-simplify]: Simplify 1.0 into 1.0
3.249 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.249 * [taylor]: Taking taylor expansion of x in x
3.249 * [backup-simplify]: Simplify 0 into 0
3.249 * [backup-simplify]: Simplify 1 into 1
3.250 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.250 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.250 * [backup-simplify]: Simplify (+ 0 0) into 0
3.251 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.251 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.251 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.251 * [taylor]: Taking taylor expansion of 1.0 in x
3.251 * [backup-simplify]: Simplify 1.0 into 1.0
3.251 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.251 * [taylor]: Taking taylor expansion of x in x
3.251 * [backup-simplify]: Simplify 0 into 0
3.251 * [backup-simplify]: Simplify 1 into 1
3.252 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.252 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.253 * [backup-simplify]: Simplify (+ 0 0) into 0
3.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.254 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.254 * [backup-simplify]: Simplify 0 into 0
3.254 * [backup-simplify]: Simplify (* 1 1) into 1
3.255 * [backup-simplify]: Simplify (- 1) into -1
3.255 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.258 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
3.259 * [backup-simplify]: Simplify (/ -1/2 (sqrt 1.0)) into (/ -1/2 (sqrt 1.0))
3.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.260 * [backup-simplify]: Simplify (- 0) into 0
3.260 * [backup-simplify]: Simplify (+ 0 0) into 0
3.262 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
3.262 * [backup-simplify]: Simplify 0 into 0
3.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.263 * [backup-simplify]: Simplify (- 0) into 0
3.263 * [backup-simplify]: Simplify (+ 0 0) into 0
3.270 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
3.272 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3))
3.281 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 4)) (+ (* (/ -1/2 (sqrt 1.0)) (pow x 2)) (sqrt 1.0))) into (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
3.281 * [backup-simplify]: Simplify (sqrt (- 1.0 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
3.281 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
3.281 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.281 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.281 * [taylor]: Taking taylor expansion of 1.0 in x
3.281 * [backup-simplify]: Simplify 1.0 into 1.0
3.281 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.281 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.281 * [taylor]: Taking taylor expansion of x in x
3.281 * [backup-simplify]: Simplify 0 into 0
3.281 * [backup-simplify]: Simplify 1 into 1
3.282 * [backup-simplify]: Simplify (* 1 1) into 1
3.282 * [backup-simplify]: Simplify (/ 1 1) into 1
3.283 * [backup-simplify]: Simplify (- 1) into -1
3.283 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.283 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.284 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.285 * [backup-simplify]: Simplify (- 0) into 0
3.285 * [backup-simplify]: Simplify (+ 0 0) into 0
3.286 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.286 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.286 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.286 * [taylor]: Taking taylor expansion of 1.0 in x
3.286 * [backup-simplify]: Simplify 1.0 into 1.0
3.286 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.286 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.286 * [taylor]: Taking taylor expansion of x in x
3.286 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify 1 into 1
3.287 * [backup-simplify]: Simplify (* 1 1) into 1
3.287 * [backup-simplify]: Simplify (/ 1 1) into 1
3.288 * [backup-simplify]: Simplify (- 1) into -1
3.288 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.288 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.289 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.290 * [backup-simplify]: Simplify (- 0) into 0
3.290 * [backup-simplify]: Simplify (+ 0 0) into 0
3.291 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.292 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.292 * [backup-simplify]: Simplify 0 into 0
3.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.294 * [backup-simplify]: Simplify (- 0) into 0
3.294 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.297 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.298 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
3.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.300 * [backup-simplify]: Simplify (- 0) into 0
3.301 * [backup-simplify]: Simplify (+ 0 0) into 0
3.302 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.302 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.304 * [backup-simplify]: Simplify (- 0) into 0
3.304 * [backup-simplify]: Simplify (+ 0 0) into 0
3.310 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
3.312 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
3.315 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
3.315 * [backup-simplify]: Simplify (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1.0 (/ 1 (pow x 2))))
3.315 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in (x) around 0
3.315 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.315 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.315 * [taylor]: Taking taylor expansion of 1.0 in x
3.315 * [backup-simplify]: Simplify 1.0 into 1.0
3.315 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.315 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.315 * [taylor]: Taking taylor expansion of x in x
3.315 * [backup-simplify]: Simplify 0 into 0
3.315 * [backup-simplify]: Simplify 1 into 1
3.315 * [backup-simplify]: Simplify (* 1 1) into 1
3.316 * [backup-simplify]: Simplify (/ 1 1) into 1
3.316 * [backup-simplify]: Simplify (- 1) into -1
3.317 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.317 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.317 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.318 * [backup-simplify]: Simplify (- 0) into 0
3.319 * [backup-simplify]: Simplify (+ 0 0) into 0
3.319 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.320 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.320 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.320 * [taylor]: Taking taylor expansion of 1.0 in x
3.320 * [backup-simplify]: Simplify 1.0 into 1.0
3.320 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.320 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.320 * [taylor]: Taking taylor expansion of x in x
3.320 * [backup-simplify]: Simplify 0 into 0
3.320 * [backup-simplify]: Simplify 1 into 1
3.320 * [backup-simplify]: Simplify (* 1 1) into 1
3.320 * [backup-simplify]: Simplify (/ 1 1) into 1
3.321 * [backup-simplify]: Simplify (- 1) into -1
3.321 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.322 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.322 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.323 * [backup-simplify]: Simplify (- 0) into 0
3.324 * [backup-simplify]: Simplify (+ 0 0) into 0
3.325 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.325 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.325 * [backup-simplify]: Simplify 0 into 0
3.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.327 * [backup-simplify]: Simplify (- 0) into 0
3.327 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.331 * [backup-simplify]: Simplify (/ (- 1.0 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 0.5 (sqrt -1))
3.332 * [backup-simplify]: Simplify (/ 0.5 (sqrt -1)) into (/ 0.5 (sqrt -1))
3.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.334 * [backup-simplify]: Simplify (- 0) into 0
3.334 * [backup-simplify]: Simplify (+ 0 0) into 0
3.336 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 0.5 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.336 * [backup-simplify]: Simplify 0 into 0
3.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.338 * [backup-simplify]: Simplify (- 0) into 0
3.338 * [backup-simplify]: Simplify (+ 0 0) into 0
3.344 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -0.125 (pow (sqrt -1) 3))
3.346 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt -1) 3)) into (/ -0.125 (pow (sqrt -1) 3))
3.349 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 0.5 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
3.349 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.350 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) into (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
3.350 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (pow x 2)))))) in (x) around 0
3.350 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (pow x 2)))))) in x
3.350 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (pow x 2))))) in x
3.350 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (pow x 2)))) in x
3.350 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.350 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.350 * [taylor]: Taking taylor expansion of 1.0 in x
3.350 * [backup-simplify]: Simplify 1.0 into 1.0
3.350 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.350 * [taylor]: Taking taylor expansion of x in x
3.350 * [backup-simplify]: Simplify 0 into 0
3.350 * [backup-simplify]: Simplify 1 into 1
3.350 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.351 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.351 * [backup-simplify]: Simplify (+ 0 0) into 0
3.352 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.353 * [backup-simplify]: Simplify (exp (sqrt 1.0)) into (exp (sqrt 1.0))
3.354 * [backup-simplify]: Simplify (sqrt (exp (sqrt 1.0))) into (sqrt (exp (sqrt 1.0)))
3.355 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
3.356 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt 1.0))))) into 0
3.358 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt 1.0)))) into (log (sqrt (exp (sqrt 1.0))))
3.358 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (pow x 2)))))) in x
3.358 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (pow x 2))))) in x
3.358 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (pow x 2)))) in x
3.358 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.358 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.358 * [taylor]: Taking taylor expansion of 1.0 in x
3.358 * [backup-simplify]: Simplify 1.0 into 1.0
3.358 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.358 * [taylor]: Taking taylor expansion of x in x
3.358 * [backup-simplify]: Simplify 0 into 0
3.358 * [backup-simplify]: Simplify 1 into 1
3.359 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.359 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.359 * [backup-simplify]: Simplify (+ 0 0) into 0
3.360 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.361 * [backup-simplify]: Simplify (exp (sqrt 1.0)) into (exp (sqrt 1.0))
3.362 * [backup-simplify]: Simplify (sqrt (exp (sqrt 1.0))) into (sqrt (exp (sqrt 1.0)))
3.363 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
3.364 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt 1.0))))) into 0
3.366 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt 1.0)))) into (log (sqrt (exp (sqrt 1.0))))
3.368 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt 1.0)))) into (log (sqrt (exp (sqrt 1.0))))
3.370 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt 1.0))) 1)))) 1) into 0
3.370 * [backup-simplify]: Simplify 0 into 0
3.370 * [backup-simplify]: Simplify (* 1 1) into 1
3.370 * [backup-simplify]: Simplify (- 1) into -1
3.371 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.373 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
3.381 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)))) into (* -1/2 (/ (exp (sqrt 1.0)) (sqrt 1.0)))
3.389 * [backup-simplify]: Simplify (/ (- (* -1/2 (/ (exp (sqrt 1.0)) (sqrt 1.0))) (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt 1.0))))) into (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))
3.416 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))) 1)) (pow (sqrt (exp (sqrt 1.0))) 1)))) 2) into (/ -1/4 (sqrt 1.0))
3.417 * [backup-simplify]: Simplify (/ -1/4 (sqrt 1.0)) into (/ -1/4 (sqrt 1.0))
3.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.418 * [backup-simplify]: Simplify (- 0) into 0
3.419 * [backup-simplify]: Simplify (+ 0 0) into 0
3.420 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
3.422 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.423 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0)))))))) (* 2 (sqrt (exp (sqrt 1.0))))) into 0
3.427 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))) 1)) (pow (sqrt (exp (sqrt 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt 1.0))) 1)))) 6) into 0
3.427 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.428 * [backup-simplify]: Simplify (- 0) into 0
3.429 * [backup-simplify]: Simplify (+ 0 0) into 0
3.433 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
3.452 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (/ -1/2 (sqrt 1.0)) 2) 2)) (* (/ (pow (/ -1/8 (pow (sqrt 1.0) 3)) 1) 1)))) into (* (exp (sqrt 1.0)) (- (* 1/8 (/ 1 (pow (sqrt 1.0) 2))) (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))))
3.468 * [backup-simplify]: Simplify (/ (- (* (exp (sqrt 1.0)) (- (* 1/8 (/ 1 (pow (sqrt 1.0) 2))) (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))) (pow (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0)))) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt 1.0))))) into (* 1/2 (* (- (* 1/16 (/ (exp (sqrt 1.0)) (pow (sqrt 1.0) 2))) (* 1/8 (/ (exp (sqrt 1.0)) (pow (sqrt 1.0) 3)))) (sqrt (/ 1 (exp (sqrt 1.0))))))
3.542 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))) 1)) (pow (sqrt (exp (sqrt 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))) 2)) (pow (sqrt (exp (sqrt 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (* (- (* 1/16 (/ (exp (sqrt 1.0)) (pow (sqrt 1.0) 2))) (* 1/8 (/ (exp (sqrt 1.0)) (pow (sqrt 1.0) 3)))) (sqrt (/ 1 (exp (sqrt 1.0))))))) 1)) (pow (sqrt (exp (sqrt 1.0))) 1)))) 24) into (/ -1/16 (pow (sqrt 1.0) 3))
3.543 * [backup-simplify]: Simplify (/ -1/16 (pow (sqrt 1.0) 3)) into (/ -1/16 (pow (sqrt 1.0) 3))
3.547 * [backup-simplify]: Simplify (+ (* (/ -1/16 (pow (sqrt 1.0) 3)) (pow x 4)) (+ (* (/ -1/4 (sqrt 1.0)) (pow x 2)) (log (sqrt (exp (sqrt 1.0)))))) into (- (log (sqrt (exp (sqrt 1.0)))) (+ (* 1/16 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/4 (/ (pow x 2) (sqrt 1.0)))))
3.547 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (* (/ 1 x) (/ 1 x))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.547 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in (x) around 0
3.547 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in x
3.547 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x
3.547 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.547 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.547 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.547 * [taylor]: Taking taylor expansion of 1.0 in x
3.547 * [backup-simplify]: Simplify 1.0 into 1.0
3.547 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.547 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.547 * [taylor]: Taking taylor expansion of x in x
3.547 * [backup-simplify]: Simplify 0 into 0
3.547 * [backup-simplify]: Simplify 1 into 1
3.547 * [backup-simplify]: Simplify (* 1 1) into 1
3.548 * [backup-simplify]: Simplify (/ 1 1) into 1
3.548 * [backup-simplify]: Simplify (- 1) into -1
3.548 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.548 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.549 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.549 * [backup-simplify]: Simplify (- 0) into 0
3.550 * [backup-simplify]: Simplify (+ 0 0) into 0
3.550 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.550 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
3.550 * [backup-simplify]: Simplify (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) into (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))
3.550 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.551 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.551 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in x
3.551 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x
3.551 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.551 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.551 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.551 * [taylor]: Taking taylor expansion of 1.0 in x
3.551 * [backup-simplify]: Simplify 1.0 into 1.0
3.551 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.551 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.551 * [taylor]: Taking taylor expansion of x in x
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [backup-simplify]: Simplify (* 1 1) into 1
3.551 * [backup-simplify]: Simplify (/ 1 1) into 1
3.552 * [backup-simplify]: Simplify (- 1) into -1
3.552 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.552 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.552 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.553 * [backup-simplify]: Simplify (- 0) into 0
3.553 * [backup-simplify]: Simplify (+ 0 0) into 0
3.554 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.554 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
3.554 * [backup-simplify]: Simplify (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) into (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))
3.554 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.554 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.555 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.555 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 1) into 0
3.555 * [backup-simplify]: Simplify 0 into 0
3.556 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.557 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 2) into 0
3.557 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.560 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 6) into 0
3.560 * [backup-simplify]: Simplify 0 into 0
3.561 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.564 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 24) into 0
3.564 * [backup-simplify]: Simplify 0 into 0
3.565 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.570 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 120) into 0
3.570 * [backup-simplify]: Simplify 0 into 0
3.571 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.580 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 720) into 0
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow (/ 1 x) 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
3.580 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.580 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in (x) around 0
3.580 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in x
3.580 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x
3.580 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.580 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.580 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.580 * [taylor]: Taking taylor expansion of 1.0 in x
3.580 * [backup-simplify]: Simplify 1.0 into 1.0
3.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.580 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.580 * [taylor]: Taking taylor expansion of x in x
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify 1 into 1
3.581 * [backup-simplify]: Simplify (* 1 1) into 1
3.581 * [backup-simplify]: Simplify (/ 1 1) into 1
3.581 * [backup-simplify]: Simplify (- 1) into -1
3.581 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.582 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.582 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.583 * [backup-simplify]: Simplify (- 0) into 0
3.583 * [backup-simplify]: Simplify (+ 0 0) into 0
3.583 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.584 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
3.584 * [backup-simplify]: Simplify (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) into (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))
3.584 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.584 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.584 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in x
3.584 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x
3.584 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.584 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.584 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.584 * [taylor]: Taking taylor expansion of 1.0 in x
3.584 * [backup-simplify]: Simplify 1.0 into 1.0
3.584 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.584 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.584 * [taylor]: Taking taylor expansion of x in x
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify 1 into 1
3.584 * [backup-simplify]: Simplify (* 1 1) into 1
3.585 * [backup-simplify]: Simplify (/ 1 1) into 1
3.585 * [backup-simplify]: Simplify (- 1) into -1
3.585 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.585 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.586 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.587 * [backup-simplify]: Simplify (- 0) into 0
3.587 * [backup-simplify]: Simplify (+ 0 0) into 0
3.587 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.588 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
3.588 * [backup-simplify]: Simplify (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) into (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))
3.588 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.588 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.588 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.589 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 1) into 0
3.589 * [backup-simplify]: Simplify 0 into 0
3.590 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.592 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 2) into 0
3.592 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.595 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 6) into 0
3.595 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.599 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 24) into 0
3.599 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.609 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 120) into 0
3.609 * [backup-simplify]: Simplify 0 into 0
3.610 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.618 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 720) into 0
3.618 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow (/ 1 (- x)) 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
3.619 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.619 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) into (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
3.619 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (pow x 2)))))) in (x) around 0
3.619 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (pow x 2)))))) in x
3.619 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (pow x 2))))) in x
3.619 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (pow x 2)))) in x
3.619 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.619 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.619 * [taylor]: Taking taylor expansion of 1.0 in x
3.619 * [backup-simplify]: Simplify 1.0 into 1.0
3.619 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.619 * [taylor]: Taking taylor expansion of x in x
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify 1 into 1
3.619 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.620 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.620 * [backup-simplify]: Simplify (+ 0 0) into 0
3.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.621 * [backup-simplify]: Simplify (exp (sqrt 1.0)) into (exp (sqrt 1.0))
3.622 * [backup-simplify]: Simplify (sqrt (exp (sqrt 1.0))) into (sqrt (exp (sqrt 1.0)))
3.622 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
3.623 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt 1.0))))) into 0
3.624 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt 1.0)))) into (log (sqrt (exp (sqrt 1.0))))
3.624 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (pow x 2)))))) in x
3.624 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (pow x 2))))) in x
3.624 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (pow x 2)))) in x
3.624 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (pow x 2))) in x
3.624 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x
3.624 * [taylor]: Taking taylor expansion of 1.0 in x
3.624 * [backup-simplify]: Simplify 1.0 into 1.0
3.624 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.624 * [taylor]: Taking taylor expansion of x in x
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify 1 into 1
3.625 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.625 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
3.625 * [backup-simplify]: Simplify (+ 0 0) into 0
3.626 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
3.626 * [backup-simplify]: Simplify (exp (sqrt 1.0)) into (exp (sqrt 1.0))
3.627 * [backup-simplify]: Simplify (sqrt (exp (sqrt 1.0))) into (sqrt (exp (sqrt 1.0)))
3.628 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
3.628 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt 1.0))))) into 0
3.629 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt 1.0)))) into (log (sqrt (exp (sqrt 1.0))))
3.631 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt 1.0)))) into (log (sqrt (exp (sqrt 1.0))))
3.632 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt 1.0))) 1)))) 1) into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify (* 1 1) into 1
3.632 * [backup-simplify]: Simplify (- 1) into -1
3.633 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.634 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/2 (sqrt 1.0))
3.640 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)))) into (* -1/2 (/ (exp (sqrt 1.0)) (sqrt 1.0)))
3.645 * [backup-simplify]: Simplify (/ (- (* -1/2 (/ (exp (sqrt 1.0)) (sqrt 1.0))) (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt 1.0))))) into (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))
3.661 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))) 1)) (pow (sqrt (exp (sqrt 1.0))) 1)))) 2) into (/ -1/4 (sqrt 1.0))
3.662 * [backup-simplify]: Simplify (/ -1/4 (sqrt 1.0)) into (/ -1/4 (sqrt 1.0))
3.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.663 * [backup-simplify]: Simplify (- 0) into 0
3.664 * [backup-simplify]: Simplify (+ 0 0) into 0
3.665 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqrt 1.0)))))) (* 2 (sqrt 1.0))) into 0
3.666 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.668 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0)))))))) (* 2 (sqrt (exp (sqrt 1.0))))) into 0
3.672 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))) 1)) (pow (sqrt (exp (sqrt 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt 1.0))) 1)))) 6) into 0
3.672 * [backup-simplify]: Simplify 0 into 0
3.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.673 * [backup-simplify]: Simplify (- 0) into 0
3.673 * [backup-simplify]: Simplify (+ 0 0) into 0
3.677 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt 1.0)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3))
3.691 * [backup-simplify]: Simplify (* (exp (sqrt 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (/ -1/2 (sqrt 1.0)) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (/ -1/2 (sqrt 1.0)) 2) 2)) (* (/ (pow (/ -1/8 (pow (sqrt 1.0) 3)) 1) 1)))) into (* (exp (sqrt 1.0)) (- (* 1/8 (/ 1 (pow (sqrt 1.0) 2))) (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))))
3.711 * [backup-simplify]: Simplify (/ (- (* (exp (sqrt 1.0)) (- (* 1/8 (/ 1 (pow (sqrt 1.0) 2))) (* 1/8 (/ 1 (pow (sqrt 1.0) 3))))) (pow (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0)))) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt 1.0))))) into (* 1/2 (* (- (* 1/16 (/ (exp (sqrt 1.0)) (pow (sqrt 1.0) 2))) (* 1/8 (/ (exp (sqrt 1.0)) (pow (sqrt 1.0) 3)))) (sqrt (/ 1 (exp (sqrt 1.0))))))
3.780 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))) 1)) (pow (sqrt (exp (sqrt 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 (* -1/4 (* (sqrt (exp (sqrt 1.0))) (/ 1 (sqrt 1.0))))) 2)) (pow (sqrt (exp (sqrt 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (* (- (* 1/16 (/ (exp (sqrt 1.0)) (pow (sqrt 1.0) 2))) (* 1/8 (/ (exp (sqrt 1.0)) (pow (sqrt 1.0) 3)))) (sqrt (/ 1 (exp (sqrt 1.0))))))) 1)) (pow (sqrt (exp (sqrt 1.0))) 1)))) 24) into (/ -1/16 (pow (sqrt 1.0) 3))
3.782 * [backup-simplify]: Simplify (/ -1/16 (pow (sqrt 1.0) 3)) into (/ -1/16 (pow (sqrt 1.0) 3))
3.787 * [backup-simplify]: Simplify (+ (* (/ -1/16 (pow (sqrt 1.0) 3)) (pow x 4)) (+ (* (/ -1/4 (sqrt 1.0)) (pow x 2)) (log (sqrt (exp (sqrt 1.0)))))) into (- (log (sqrt (exp (sqrt 1.0)))) (+ (* 1/16 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/4 (/ (pow x 2) (sqrt 1.0)))))
3.787 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (* (/ 1 x) (/ 1 x))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.787 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in (x) around 0
3.787 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in x
3.787 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x
3.787 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.787 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.787 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.787 * [taylor]: Taking taylor expansion of 1.0 in x
3.787 * [backup-simplify]: Simplify 1.0 into 1.0
3.787 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.787 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.787 * [taylor]: Taking taylor expansion of x in x
3.787 * [backup-simplify]: Simplify 0 into 0
3.787 * [backup-simplify]: Simplify 1 into 1
3.788 * [backup-simplify]: Simplify (* 1 1) into 1
3.788 * [backup-simplify]: Simplify (/ 1 1) into 1
3.788 * [backup-simplify]: Simplify (- 1) into -1
3.789 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.789 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.790 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.791 * [backup-simplify]: Simplify (- 0) into 0
3.791 * [backup-simplify]: Simplify (+ 0 0) into 0
3.792 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.792 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
3.792 * [backup-simplify]: Simplify (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) into (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))
3.792 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.793 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.793 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in x
3.793 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x
3.793 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.793 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.793 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.793 * [taylor]: Taking taylor expansion of 1.0 in x
3.793 * [backup-simplify]: Simplify 1.0 into 1.0
3.793 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.793 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.793 * [taylor]: Taking taylor expansion of x in x
3.793 * [backup-simplify]: Simplify 0 into 0
3.793 * [backup-simplify]: Simplify 1 into 1
3.798 * [backup-simplify]: Simplify (* 1 1) into 1
3.798 * [backup-simplify]: Simplify (/ 1 1) into 1
3.799 * [backup-simplify]: Simplify (- 1) into -1
3.799 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.799 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.801 * [backup-simplify]: Simplify (- 0) into 0
3.801 * [backup-simplify]: Simplify (+ 0 0) into 0
3.802 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.802 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
3.802 * [backup-simplify]: Simplify (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) into (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))
3.803 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.803 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.803 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.804 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 1) into 0
3.804 * [backup-simplify]: Simplify 0 into 0
3.805 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.807 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 2) into 0
3.807 * [backup-simplify]: Simplify 0 into 0
3.808 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.811 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 6) into 0
3.811 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.818 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 24) into 0
3.818 * [backup-simplify]: Simplify 0 into 0
3.819 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.827 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 120) into 0
3.827 * [backup-simplify]: Simplify 0 into 0
3.828 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.841 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 720) into 0
3.841 * [backup-simplify]: Simplify 0 into 0
3.841 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow (/ 1 x) 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
3.841 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.841 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in (x) around 0
3.841 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in x
3.841 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x
3.841 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.841 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.841 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.841 * [taylor]: Taking taylor expansion of 1.0 in x
3.841 * [backup-simplify]: Simplify 1.0 into 1.0
3.841 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.841 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.841 * [taylor]: Taking taylor expansion of x in x
3.841 * [backup-simplify]: Simplify 0 into 0
3.841 * [backup-simplify]: Simplify 1 into 1
3.842 * [backup-simplify]: Simplify (* 1 1) into 1
3.842 * [backup-simplify]: Simplify (/ 1 1) into 1
3.842 * [backup-simplify]: Simplify (- 1) into -1
3.842 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.842 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.844 * [backup-simplify]: Simplify (- 0) into 0
3.844 * [backup-simplify]: Simplify (+ 0 0) into 0
3.844 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.844 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
3.845 * [backup-simplify]: Simplify (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) into (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))
3.845 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.845 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.845 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) in x
3.845 * [taylor]: Taking taylor expansion of (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) in x
3.845 * [taylor]: Taking taylor expansion of (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) in x
3.845 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 (pow x 2)))) in x
3.845 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x
3.845 * [taylor]: Taking taylor expansion of 1.0 in x
3.845 * [backup-simplify]: Simplify 1.0 into 1.0
3.845 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.845 * [taylor]: Taking taylor expansion of x in x
3.845 * [backup-simplify]: Simplify 0 into 0
3.845 * [backup-simplify]: Simplify 1 into 1
3.845 * [backup-simplify]: Simplify (* 1 1) into 1
3.846 * [backup-simplify]: Simplify (/ 1 1) into 1
3.846 * [backup-simplify]: Simplify (- 1) into -1
3.846 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.846 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.847 * [backup-simplify]: Simplify (- 0) into 0
3.848 * [backup-simplify]: Simplify (+ 0 0) into 0
3.848 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.848 * [backup-simplify]: Simplify (exp (sqrt (- 1.0 (/ 1 (pow x 2))))) into (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))
3.848 * [backup-simplify]: Simplify (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) into (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))
3.848 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.849 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.849 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))
3.849 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 1) into 0
3.850 * [backup-simplify]: Simplify 0 into 0
3.850 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.851 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 2) into 0
3.851 * [backup-simplify]: Simplify 0 into 0
3.852 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.854 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 6) into 0
3.854 * [backup-simplify]: Simplify 0 into 0
3.855 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.859 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 24) into 0
3.859 * [backup-simplify]: Simplify 0 into 0
3.859 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.865 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 120) into 0
3.865 * [backup-simplify]: Simplify 0 into 0
3.865 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))))) into 0
3.874 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (- 1.0 (/ 1 (pow x 2)))))) 1)))) 720) into 0
3.874 * [backup-simplify]: Simplify 0 into 0
3.874 * [backup-simplify]: Simplify (log (sqrt (exp (sqrt (- 1.0 (/ 1 (pow (/ 1 (- x)) 2))))))) into (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
3.874 * * * [progress]: simplifying candidates
3.876 * [simplify]: Simplifying:
  (log (sqrt (- 1.0 (* x x))))
  (exp (sqrt (- 1.0 (* x x))))
  (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))
  (cbrt (sqrt (- 1.0 (* x x))))
  (* (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (sqrt (- 1.0 (* x x))))
  (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))
  (sqrt (cbrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt 1)
  (sqrt (- 1.0 (* x x)))
  (sqrt (+ (sqrt 1.0) x))
  (sqrt (- (sqrt 1.0) x))
  (sqrt (- (pow 1.0 3) (pow (* x x) 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))
  (sqrt (- (* 1.0 1.0) (* (* x x) (* x x))))
  (sqrt (+ 1.0 (* x x)))
  (/ 1 2)
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (log (sqrt (- 1.0 (* x x))))
  (exp (sqrt (- 1.0 (* x x))))
  (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))
  (cbrt (sqrt (- 1.0 (* x x))))
  (* (* (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x)))) (sqrt (- 1.0 (* x x))))
  (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))
  (sqrt (cbrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt 1)
  (sqrt (- 1.0 (* x x)))
  (sqrt (+ (sqrt 1.0) x))
  (sqrt (- (sqrt 1.0) x))
  (sqrt (- (pow 1.0 3) (pow (* x x) 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))))
  (sqrt (- (* 1.0 1.0) (* (* x x) (* x x))))
  (sqrt (+ 1.0 (* x x)))
  (/ 1 2)
  (sqrt (sqrt (- 1.0 (* x x))))
  (sqrt (sqrt (- 1.0 (* x x))))
  (log (* (cbrt (sqrt (exp (sqrt (- 1.0 (* x x)))))) (cbrt (sqrt (exp (sqrt (- 1.0 (* x x))))))))
  (log (cbrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt (* (cbrt (exp (sqrt (- 1.0 (* x x))))) (cbrt (exp (sqrt (- 1.0 (* x x))))))))
  (log (sqrt (cbrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt 1))
  (log (sqrt (exp (sqrt (- 1.0 (* x x))))))
  (log (sqrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log 1)
  (log (sqrt (exp (sqrt (- 1.0 (* x x))))))
  (log (exp (sqrt (- 1.0 (* x x)))))
  (log (sqrt (exp (sqrt (- 1.0 (* x x))))))
  (log (exp (sqrt (- 1.0 (* x x)))))
  (log (exp (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))))
  (log (exp (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))))
  (log (exp (sqrt (sqrt (- 1.0 (* x x))))))
  (log (exp (sqrt 1)))
  (log (exp (sqrt (+ (sqrt 1.0) x))))
  (log (exp (sqrt (sqrt (- 1.0 (* x x))))))
  (log (exp 1))
  (log (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (exp (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (* (cbrt (log (sqrt (exp (sqrt (- 1.0 (* x x))))))) (cbrt (log (sqrt (exp (sqrt (- 1.0 (* x x))))))))
  (cbrt (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (* (* (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) (log (sqrt (exp (sqrt (- 1.0 (* x x))))))) (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (sqrt (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (sqrt (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (* (cbrt (sqrt (exp (sqrt (- 1.0 (* x x)))))) (cbrt (sqrt (exp (sqrt (- 1.0 (* x x))))))))
  (log (cbrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt (* (cbrt (exp (sqrt (- 1.0 (* x x))))) (cbrt (exp (sqrt (- 1.0 (* x x))))))))
  (log (sqrt (cbrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt 1))
  (log (sqrt (exp (sqrt (- 1.0 (* x x))))))
  (log (sqrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log (sqrt (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (log 1)
  (log (sqrt (exp (sqrt (- 1.0 (* x x))))))
  (log (exp (sqrt (- 1.0 (* x x)))))
  (log (sqrt (exp (sqrt (- 1.0 (* x x))))))
  (log (exp (sqrt (- 1.0 (* x x)))))
  (log (exp (* (cbrt (sqrt (- 1.0 (* x x)))) (cbrt (sqrt (- 1.0 (* x x)))))))
  (log (exp (sqrt (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))))
  (log (exp (sqrt (sqrt (- 1.0 (* x x))))))
  (log (exp (sqrt 1)))
  (log (exp (sqrt (+ (sqrt 1.0) x))))
  (log (exp (sqrt (sqrt (- 1.0 (* x x))))))
  (log (exp 1))
  (log (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (exp (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (* (cbrt (log (sqrt (exp (sqrt (- 1.0 (* x x))))))) (cbrt (log (sqrt (exp (sqrt (- 1.0 (* x x))))))))
  (cbrt (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (* (* (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) (log (sqrt (exp (sqrt (- 1.0 (* x x))))))) (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (sqrt (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (sqrt (log (sqrt (exp (sqrt (- 1.0 (* x x)))))))
  (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
  (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
  (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
  (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/2 (/ (pow x 2) (sqrt 1.0)))))
  (- (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))) (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
  (- (* 0.125 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt -1)))) (* x (sqrt -1))))
  (- (log (sqrt (exp (sqrt 1.0)))) (+ (* 1/16 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/4 (/ (pow x 2) (sqrt 1.0)))))
  (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
  (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
  (- (log (sqrt (exp (sqrt 1.0)))) (+ (* 1/16 (/ (pow x 4) (pow (sqrt 1.0) 3))) (* 1/4 (/ (pow x 2) (sqrt 1.0)))))
  (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
  (log (sqrt (exp (sqrt (- 1.0 (pow x 2))))))
4.922 * * * [progress]: adding candidates to table
5.419 * [progress]: [Phase 3 of 3] Extracting.
5.419 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) (log (sqrt (exp (sqrt (- 1.0 (* x x))))))))> #<alt (λ (x) (log (exp (sqrt (- 1.0 (* x x))))))>)
5.420 * * * [regime-changes]: Trying 4 branch expressions: ((* x x) (- 1.0 (* x x)) (sqrt (- 1.0 (* x x))) x)
5.420 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (+ (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) (log (sqrt (exp (sqrt (- 1.0 (* x x))))))))> #<alt (λ (x) (log (exp (sqrt (- 1.0 (* x x))))))>)
5.430 * * * * [regimes]: Trying to branch on (- 1.0 (* x x)) from (#<alt (λ (x) (+ (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) (log (sqrt (exp (sqrt (- 1.0 (* x x))))))))> #<alt (λ (x) (log (exp (sqrt (- 1.0 (* x x))))))>)
5.441 * * * * [regimes]: Trying to branch on (sqrt (- 1.0 (* x x))) from (#<alt (λ (x) (+ (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) (log (sqrt (exp (sqrt (- 1.0 (* x x))))))))> #<alt (λ (x) (log (exp (sqrt (- 1.0 (* x x))))))>)
5.454 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (log (sqrt (exp (sqrt (- 1.0 (* x x)))))) (log (sqrt (exp (sqrt (- 1.0 (* x x))))))))> #<alt (λ (x) (log (exp (sqrt (- 1.0 (* x x))))))>)
5.474 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
5.474 * [simplify]: Simplifying:
  (log (exp (sqrt (- 1.0 (* x x)))))
6.709 * [regime-testing]: Baseline error score: 0.011763312602206288
6.712 * [regime-testing]: Oracle error score: 0.007543424178382876
6.720 * [regime-testing]: End program error score: 0.005875734466808351