19.647 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.233 * * * [progress]: [2/2] Setting up program.
0.235 * [progress]: [Phase 2 of 3] Improving.
0.236 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ 1.0 x) (/ 1.0 (tan x)))
0.238 * * [simplify]: iteration  0 :  11  enodes  (cost  8 )
0.238 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
0.238 * [simplify]: Simplified to:
   (- (/ 1.0 x) (/ 1.0 (tan x)))
0.239 * * [progress]: iteration 1 / 4
0.239 * * * [progress]: picking best candidate
0.241 * * * * [pick]: Picked  #<alt (λ (x) (- (/ 1.0 x) (/ 1.0 (tan x))))>
0.241 * * * [progress]: localizing error
0.246 * * * [progress]: generating rewritten candidates
0.246 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.259 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.264 * * * [progress]: generating series expansions
0.264 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.264 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in (x) around 0
0.264 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in x
0.264 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.264 * [taylor]: Taking taylor expansion of 1.0 in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x
0.264 * [taylor]: Taking taylor expansion of 1.0 in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x
0.264 * [taylor]: Taking taylor expansion of (tan x) in x
0.266 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.266 * [taylor]: Taking taylor expansion of (sin x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (cos x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in x
0.266 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.266 * [taylor]: Taking taylor expansion of 1.0 in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x
0.266 * [taylor]: Taking taylor expansion of 1.0 in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x
0.266 * [taylor]: Taking taylor expansion of (tan x) in x
0.266 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.266 * [taylor]: Taking taylor expansion of (sin x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (cos x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.271 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in (x) around 0
0.271 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x
0.271 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.271 * [taylor]: Taking taylor expansion of 1.0 in x
0.271 * [taylor]: Taking taylor expansion of x in x
0.271 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x
0.271 * [taylor]: Taking taylor expansion of 1.0 in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x
0.271 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.271 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.271 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.271 * [taylor]: Taking taylor expansion of x in x
0.271 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x
0.272 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.272 * [taylor]: Taking taylor expansion of 1.0 in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x
0.272 * [taylor]: Taking taylor expansion of 1.0 in x
0.272 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x
0.272 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.272 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.272 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.277 * [approximate]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in (x) around 0
0.277 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x
0.277 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x
0.277 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x
0.277 * [taylor]: Taking taylor expansion of 1.0 in x
0.277 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x
0.277 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.278 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.278 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.278 * [taylor]: Taking taylor expansion of 1.0 in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x
0.278 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x
0.278 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x
0.278 * [taylor]: Taking taylor expansion of 1.0 in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x
0.278 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.278 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.278 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.278 * [taylor]: Taking taylor expansion of 1.0 in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.284 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.284 * [approximate]: Taking taylor expansion of (/ 1.0 (tan x)) in (x) around 0
0.284 * [taylor]: Taking taylor expansion of (/ 1.0 (tan x)) in x
0.284 * [taylor]: Taking taylor expansion of 1.0 in x
0.284 * [taylor]: Taking taylor expansion of (tan x) in x
0.284 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.284 * [taylor]: Taking taylor expansion of (sin x) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of (cos x) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of (/ 1.0 (tan x)) in x
0.284 * [taylor]: Taking taylor expansion of 1.0 in x
0.284 * [taylor]: Taking taylor expansion of (tan x) in x
0.284 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.284 * [taylor]: Taking taylor expansion of (sin x) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of (cos x) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.286 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ 1 x))) in (x) around 0
0.286 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 x))) in x
0.286 * [taylor]: Taking taylor expansion of 1.0 in x
0.286 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.286 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.286 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.286 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.286 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 x))) in x
0.286 * [taylor]: Taking taylor expansion of 1.0 in x
0.286 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.286 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.286 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.287 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.287 * [taylor]: Taking taylor expansion of x in x
0.290 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ -1 x))) in (x) around 0
0.290 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 x))) in x
0.290 * [taylor]: Taking taylor expansion of 1.0 in x
0.290 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.290 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.290 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.290 * [taylor]: Taking taylor expansion of -1 in x
0.290 * [taylor]: Taking taylor expansion of x in x
0.290 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.290 * [taylor]: Taking taylor expansion of -1 in x
0.290 * [taylor]: Taking taylor expansion of x in x
0.291 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 x))) in x
0.291 * [taylor]: Taking taylor expansion of 1.0 in x
0.291 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.291 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.291 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.291 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.291 * [taylor]: Taking taylor expansion of -1 in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.291 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.291 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.291 * [taylor]: Taking taylor expansion of -1 in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.294 * * * [progress]: simplifying candidates
0.295 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (/ 1.0 x)) (exp (/ 1.0 (tan x))))
  (log (- (/ 1.0 x) (/ 1.0 (tan x))))
  (exp (- (/ 1.0 x) (/ 1.0 (tan x))))
  (* (cbrt (- (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (- (/ 1.0 x) (/ 1.0 (tan x)))))
  (cbrt (- (/ 1.0 x) (/ 1.0 (tan x))))
  (* (* (- (/ 1.0 x) (/ 1.0 (tan x))) (- (/ 1.0 x) (/ 1.0 (tan x)))) (- (/ 1.0 x) (/ 1.0 (tan x))))
  (sqrt (- (/ 1.0 x) (/ 1.0 (tan x))))
  (sqrt (- (/ 1.0 x) (/ 1.0 (tan x))))
  (- (* 1.0 (tan x)) (* x 1.0))
  (* x (tan x))
  (- (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3))
  (+ (* (/ 1.0 x) (/ 1.0 x)) (+ (* (/ 1.0 (tan x)) (/ 1.0 (tan x))) (* (/ 1.0 x) (/ 1.0 (tan x)))))
  (neg (/ 1.0 (tan x)))
  (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ 1.0 (tan x)) (/ 1.0 (tan x))))
  (+ (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (sqrt (/ 1.0 x)) (sqrt (/ 1.0 (tan x))))
  (- (sqrt (/ 1.0 x)) (sqrt (/ 1.0 (tan x))))
  (+ (sqrt (/ 1.0 x)) (/ (sqrt 1.0) (sqrt (tan x))))
  (- (sqrt (/ 1.0 x)) (/ (sqrt 1.0) (sqrt (tan x))))
  (+ (/ (sqrt 1.0) (sqrt x)) (sqrt (/ 1.0 (tan x))))
  (- (/ (sqrt 1.0) (sqrt x)) (sqrt (/ 1.0 (tan x))))
  (+ (/ (sqrt 1.0) (sqrt x)) (/ (sqrt 1.0) (sqrt (tan x))))
  (- (/ (sqrt 1.0) (sqrt x)) (/ (sqrt 1.0) (sqrt (tan x))))
  (- (/ (cbrt 1.0) x) (/ (cbrt 1.0) (tan x)))
  (- (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x)))
  (- (/ 1.0 x) (/ 1.0 (tan x)))
  (- (/ 1.0 x) (/ 1.0 (tan x)))
  (- (/ 1 x) (/ 1 (tan x)))
  (neg (/ 1.0 (tan x)))
  (- (log 1.0) (log (tan x)))
  (log (/ 1.0 (tan x)))
  (exp (/ 1.0 (tan x)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (tan x) (tan x)) (tan x)))
  (* (cbrt (/ 1.0 (tan x))) (cbrt (/ 1.0 (tan x))))
  (cbrt (/ 1.0 (tan x)))
  (* (* (/ 1.0 (tan x)) (/ 1.0 (tan x))) (/ 1.0 (tan x)))
  (sqrt (/ 1.0 (tan x)))
  (sqrt (/ 1.0 (tan x)))
  (neg 1.0)
  (neg (tan x))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (tan x)) (cbrt (tan x))))
  (/ (cbrt 1.0) (cbrt (tan x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (tan x)))
  (/ (cbrt 1.0) (sqrt (tan x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
  (/ (cbrt 1.0) (tan x))
  (/ (sqrt 1.0) (* (cbrt (tan x)) (cbrt (tan x))))
  (/ (sqrt 1.0) (cbrt (tan x)))
  (/ (sqrt 1.0) (sqrt (tan x)))
  (/ (sqrt 1.0) (sqrt (tan x)))
  (/ (sqrt 1.0) 1)
  (/ (sqrt 1.0) (tan x))
  (/ 1 (* (cbrt (tan x)) (cbrt (tan x))))
  (/ 1.0 (cbrt (tan x)))
  (/ 1 (sqrt (tan x)))
  (/ 1.0 (sqrt (tan x)))
  (/ 1 1)
  (/ 1.0 (tan x))
  (/ 1 (tan x))
  (/ (tan x) 1.0)
  (/ 1.0 (* (cbrt (tan x)) (cbrt (tan x))))
  (/ 1.0 (sqrt (tan x)))
  (/ 1.0 1)
  (/ (tan x) (cbrt 1.0))
  (/ (tan x) (sqrt 1.0))
  (/ (tan x) 1.0)
  (/ 1.0 (sin x))
  (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
  (- (* 1.0 (/ 1 x)) (* 1.0 (/ (cos x) (sin x))))
  (- (* 1.0 (/ 1 x)) (* 1.0 (/ (cos x) (sin x))))
  (- (* 1.0 (/ 1 x)) (+ (* 0.022222222222222227 (pow x 3)) (* 0.3333333333333333 x)))
  (* 1.0 (/ (cos x) (sin x)))
  (* 1.0 (/ (cos x) (sin x)))
0.347 * * [simplify]: iteration  0 :  5145  enodes  (cost  561 )
0.350 * [simplify]: Simplified to:
   (exp (- (/ 1.0 x) (/ 1.0 (tan x))))
  (log (- (/ 1.0 x) (/ 1.0 (tan x))))
  (exp (- (/ 1.0 x) (/ 1.0 (tan x))))
  (* (cbrt (- (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (- (/ 1.0 x) (/ 1.0 (tan x)))))
  (cbrt (- (/ 1.0 x) (/ 1.0 (tan x))))
  (pow (- (/ 1.0 x) (/ 1.0 (tan x))) 3)
  (sqrt (- (/ 1.0 x) (/ 1.0 (tan x))))
  (sqrt (- (/ 1.0 x) (/ 1.0 (tan x))))
  (* 1.0 (- (tan x) x))
  (* x (tan x))
  (- (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3))
  (* 1.0 (+ (/ 1.0 (* (tan x) (tan x))) (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) x)))
  (/ (neg 1.0) (tan x))
  (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (+ (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (sqrt (/ 1.0 x)) (sqrt (/ 1.0 (tan x))))
  (- (sqrt (/ 1.0 x)) (sqrt (/ 1.0 (tan x))))
  (+ (sqrt (/ 1.0 x)) (/ (sqrt 1.0) (sqrt (tan x))))
  (- (sqrt (/ 1.0 x)) (/ (sqrt 1.0) (sqrt (tan x))))
  (+ (sqrt (/ 1.0 (tan x))) (/ (sqrt 1.0) (sqrt x)))
  (- (/ (sqrt 1.0) (sqrt x)) (sqrt (/ 1.0 (tan x))))
  (+ (/ (sqrt 1.0) (sqrt (tan x))) (/ (sqrt 1.0) (sqrt x)))
  (- (/ (sqrt 1.0) (sqrt x)) (/ (sqrt 1.0) (sqrt (tan x))))
  (- (/ (cbrt 1.0) x) (/ (cbrt 1.0) (tan x)))
  (- (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x)))
  (- (/ 1.0 x) (/ 1.0 (tan x)))
  (- (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (/ 1 x) (/ -1 (tan x)))
  (/ (neg 1.0) (tan x))
  (log (/ 1.0 (tan x)))
  (log (/ 1.0 (tan x)))
  (exp (/ 1.0 (tan x)))
  (pow (/ 1.0 (tan x)) 3)
  (* (cbrt (/ 1.0 (tan x))) (cbrt (/ 1.0 (tan x))))
  (cbrt (/ 1.0 (tan x)))
  (pow (/ 1.0 (tan x)) 3)
  (sqrt (/ 1.0 (tan x)))
  (sqrt (/ 1.0 (tan x)))
  (neg 1.0)
  (neg (tan x))
  (* (cbrt 1.0) (/ (cbrt 1.0) (* (cbrt (tan x)) (cbrt (tan x)))))
  (/ (cbrt 1.0) (cbrt (tan x)))
  (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (tan x))))
  (/ (cbrt 1.0) (sqrt (tan x)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (tan x))
  (/ (sqrt 1.0) (* (cbrt (tan x)) (cbrt (tan x))))
  (/ (sqrt 1.0) (cbrt (tan x)))
  (/ (sqrt 1.0) (sqrt (tan x)))
  (/ (sqrt 1.0) (sqrt (tan x)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (tan x))
  (/ 1 (* (cbrt (tan x)) (cbrt (tan x))))
  (/ 1.0 (cbrt (tan x)))
  (/ 1 (sqrt (tan x)))
  (/ 1.0 (sqrt (tan x)))
  1
  (/ 1.0 (tan x))
  (/ 1 (tan x))
  (/ (tan x) 1.0)
  (/ 1.0 (* (cbrt (tan x)) (cbrt (tan x))))
  (/ 1.0 (sqrt (tan x)))
  1.0
  (/ (tan x) (cbrt 1.0))
  (/ (tan x) (sqrt 1.0))
  (/ (tan x) 1.0)
  (/ 1.0 (sin x))
  (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* x 0.3333333333333333)))
  (- (/ 1.0 x) (* 1.0 (/ (cos x) (sin x))))
  (- (/ 1.0 x) (* 1.0 (/ (cos x) (sin x))))
  (- (/ 1.0 x) (+ (* x 0.3333333333333333) (* (pow x 3) 0.022222222222222227)))
  (* 1.0 (/ (cos x) (sin x)))
  (* 1.0 (/ (cos x) (sin x)))
0.351 * * * [progress]: adding candidates to table
0.436 * * [progress]: iteration 2 / 4
0.436 * * * [progress]: picking best candidate
0.442 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* x 0.3333333333333333))))>
0.442 * * * [progress]: localizing error
0.452 * * * [progress]: generating rewritten candidates
0.452 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.458 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.465 * * * [progress]: generating series expansions
0.465 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.465 * [approximate]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in (x) around 0
0.465 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x
0.465 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x
0.465 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.465 * [taylor]: Taking taylor expansion of x in x
0.465 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x
0.465 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x
0.465 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.465 * [taylor]: Taking taylor expansion of x in x
0.466 * [approximate]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in (x) around 0
0.466 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x
0.466 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x
0.466 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x
0.466 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x
0.466 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.467 * [approximate]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in (x) around 0
0.467 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x
0.468 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x
0.468 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x
0.468 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x
0.468 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.469 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.469 * [approximate]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in (x) around 0
0.469 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x
0.469 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x
0.469 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x
0.469 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x
0.469 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.470 * [approximate]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in (x) around 0
0.470 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x
0.470 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x
0.470 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x
0.470 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x
0.470 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.472 * [approximate]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in (x) around 0
0.472 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x
0.472 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x
0.472 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x
0.472 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x
0.472 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.473 * * * [progress]: simplifying candidates
0.474 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log 0.022222222222222223) (* (log x) 3))
  (+ (log 0.022222222222222223) (* (log x) 3))
  (+ (log 0.022222222222222223) (log (pow x 3)))
  (log (* 0.022222222222222223 (pow x 3)))
  (exp (* 0.022222222222222223 (pow x 3)))
  (* (* (* 0.022222222222222223 0.022222222222222223) 0.022222222222222223) (* (* (pow x 3) (pow x 3)) (pow x 3)))
  (* (cbrt (* 0.022222222222222223 (pow x 3))) (cbrt (* 0.022222222222222223 (pow x 3))))
  (cbrt (* 0.022222222222222223 (pow x 3)))
  (* (* (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3))) (* 0.022222222222222223 (pow x 3)))
  (sqrt (* 0.022222222222222223 (pow x 3)))
  (sqrt (* 0.022222222222222223 (pow x 3)))
  (* (sqrt 0.022222222222222223) (pow (sqrt x) 3))
  (* (sqrt 0.022222222222222223) (pow (sqrt x) 3))
  (* (sqrt 0.022222222222222223) (pow (sqrt x) 3))
  (* (sqrt 0.022222222222222223) (pow (sqrt x) 3))
  (* (sqrt 0.022222222222222223) (sqrt (pow x 3)))
  (* (sqrt 0.022222222222222223) (sqrt (pow x 3)))
  (* (sqrt 0.022222222222222223) (pow x (/ 3 2)))
  (* (sqrt 0.022222222222222223) (pow x (/ 3 2)))
  (* 0.022222222222222223 (pow (* (cbrt x) (cbrt x)) 3))
  (* 0.022222222222222223 (pow (sqrt x) 3))
  (* 0.022222222222222223 (pow 1 3))
  (* 0.022222222222222223 (* x x))
  (* 0.022222222222222223 (* (cbrt (pow x 3)) (cbrt (pow x 3))))
  (* 0.022222222222222223 (pow (* (cbrt x) (cbrt x)) 3))
  (* 0.022222222222222223 (pow (sqrt x) 3))
  (* 0.022222222222222223 (pow 1 3))
  (* 0.022222222222222223 x)
  (* 0.022222222222222223 (sqrt (pow x 3)))
  (* 0.022222222222222223 1)
  (* 0.022222222222222223 (pow x (/ 3 2)))
  (* (cbrt 0.022222222222222223) (pow x 3))
  (* (sqrt 0.022222222222222223) (pow x 3))
  (* 0.022222222222222223 (pow x 3))
  (+ (log 0.0021164021164021165) (* (log x) 5))
  (+ (log 0.0021164021164021165) (* (log x) 5))
  (+ (log 0.0021164021164021165) (log (pow x 5)))
  (log (* 0.0021164021164021165 (pow x 5)))
  (exp (* 0.0021164021164021165 (pow x 5)))
  (* (* (* 0.0021164021164021165 0.0021164021164021165) 0.0021164021164021165) (* (* (pow x 5) (pow x 5)) (pow x 5)))
  (* (cbrt (* 0.0021164021164021165 (pow x 5))) (cbrt (* 0.0021164021164021165 (pow x 5))))
  (cbrt (* 0.0021164021164021165 (pow x 5)))
  (* (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5))) (* 0.0021164021164021165 (pow x 5)))
  (sqrt (* 0.0021164021164021165 (pow x 5)))
  (sqrt (* 0.0021164021164021165 (pow x 5)))
  (* (sqrt 0.0021164021164021165) (pow (sqrt x) 5))
  (* (sqrt 0.0021164021164021165) (pow (sqrt x) 5))
  (* (sqrt 0.0021164021164021165) (sqrt (pow x 5)))
  (* (sqrt 0.0021164021164021165) (sqrt (pow x 5)))
  (* (sqrt 0.0021164021164021165) (pow x (/ 5 2)))
  (* (sqrt 0.0021164021164021165) (pow x (/ 5 2)))
  (* 0.0021164021164021165 (pow (* (cbrt x) (cbrt x)) 5))
  (* 0.0021164021164021165 (pow (sqrt x) 5))
  (* 0.0021164021164021165 (pow 1 5))
  (* 0.0021164021164021165 (* (cbrt (pow x 5)) (cbrt (pow x 5))))
  (* 0.0021164021164021165 (sqrt (pow x 5)))
  (* 0.0021164021164021165 1)
  (* 0.0021164021164021165 (pow x (/ 5 2)))
  (* (cbrt 0.0021164021164021165) (pow x 5))
  (* (sqrt 0.0021164021164021165) (pow x 5))
  (* 0.0021164021164021165 (pow x 5))
  (* 0.022222222222222223 (pow x 3))
  (* 0.022222222222222223 (pow x 3))
  (* 0.022222222222222223 (pow x 3))
  (* 0.0021164021164021165 (pow x 5))
  (* 0.0021164021164021165 (pow x 5))
  (* 0.0021164021164021165 (pow x 5))
0.522 * * [simplify]: iteration  0 :  4909  enodes  (cost  393 )
0.522 * * [simplify]: iteration  1 :  4909  enodes  (cost  393 )
0.524 * [simplify]: Simplified to:
   (log (* 0.022222222222222223 (pow x 3)))
  (log (* 0.022222222222222223 (pow x 3)))
  (log (* 0.022222222222222223 (pow x 3)))
  (log (* 0.022222222222222223 (pow x 3)))
  (pow (exp 0.022222222222222223) (pow x 3))
  (* (pow 0.022222222222222223 3) (pow x 9))
  (* (cbrt (* 0.022222222222222223 (pow x 3))) (cbrt (* 0.022222222222222223 (pow x 3))))
  (cbrt (* 0.022222222222222223 (pow x 3)))
  (* (pow 0.022222222222222223 3) (pow x 9))
  (sqrt (* 0.022222222222222223 (pow x 3)))
  (sqrt (* 0.022222222222222223 (pow x 3)))
  (* x (* (sqrt 0.022222222222222223) (sqrt x)))
  (* x (* (sqrt 0.022222222222222223) (sqrt x)))
  (* x (* (sqrt 0.022222222222222223) (sqrt x)))
  (* x (* (sqrt 0.022222222222222223) (sqrt x)))
  (* (sqrt 0.022222222222222223) (sqrt (pow x 3)))
  (* (sqrt 0.022222222222222223) (sqrt (pow x 3)))
  (* (sqrt 0.022222222222222223) (pow x 3/2))
  (* (sqrt 0.022222222222222223) (pow x 3/2))
  (* 0.022222222222222223 (* x x))
  (* 0.022222222222222223 (* x (sqrt x)))
  0.022222222222222223
  (* 0.022222222222222223 (* x x))
  (* 0.022222222222222223 (* x x))
  (* 0.022222222222222223 (* x x))
  (* 0.022222222222222223 (* x (sqrt x)))
  0.022222222222222223
  (* 0.022222222222222223 x)
  (* 0.022222222222222223 (sqrt (pow x 3)))
  0.022222222222222223
  (* 0.022222222222222223 (pow x 3/2))
  (* (pow x 3) (cbrt 0.022222222222222223))
  (* (pow x 3) (sqrt 0.022222222222222223))
  (* 0.022222222222222223 (pow x 3))
  (log (* 0.0021164021164021165 (pow x 5)))
  (log (* 0.0021164021164021165 (pow x 5)))
  (log (* 0.0021164021164021165 (pow x 5)))
  (log (* 0.0021164021164021165 (pow x 5)))
  (pow (exp 0.0021164021164021165) (pow x 5))
  (pow (* 0.0021164021164021165 (pow x 5)) 3)
  (* (cbrt (* 0.0021164021164021165 (pow x 5))) (cbrt (* 0.0021164021164021165 (pow x 5))))
  (cbrt (* 0.0021164021164021165 (pow x 5)))
  (pow (* 0.0021164021164021165 (pow x 5)) 3)
  (sqrt (* 0.0021164021164021165 (pow x 5)))
  (sqrt (* 0.0021164021164021165 (pow x 5)))
  (* (sqrt 0.0021164021164021165) (pow (sqrt x) 5))
  (* (sqrt 0.0021164021164021165) (pow (sqrt x) 5))
  (* (sqrt 0.0021164021164021165) (sqrt (pow x 5)))
  (* (sqrt 0.0021164021164021165) (sqrt (pow x 5)))
  (* (sqrt 0.0021164021164021165) (pow x 5/2))
  (* (sqrt 0.0021164021164021165) (pow x 5/2))
  (* 0.0021164021164021165 (pow (cbrt x) 10))
  (* 0.0021164021164021165 (pow (sqrt x) 5))
  0.0021164021164021165
  (* 0.0021164021164021165 (* (cbrt (pow x 5)) (cbrt (pow x 5))))
  (* 0.0021164021164021165 (sqrt (pow x 5)))
  0.0021164021164021165
  (* 0.0021164021164021165 (pow x 5/2))
  (* (pow x 5) (cbrt 0.0021164021164021165))
  (* (pow x 5) (sqrt 0.0021164021164021165))
  (* 0.0021164021164021165 (pow x 5))
  (* 0.022222222222222223 (pow x 3))
  (* 0.022222222222222223 (pow x 3))
  (* 0.022222222222222223 (pow x 3))
  (* 0.0021164021164021165 (pow x 5))
  (* 0.0021164021164021165 (pow x 5))
  (* 0.0021164021164021165 (pow x 5))
0.525 * * * [progress]: adding candidates to table
0.615 * * [progress]: iteration 3 / 4
0.615 * * * [progress]: picking best candidate
0.618 * * * * [pick]: Picked  #<alt (λ (x) (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))>
0.618 * * * [progress]: localizing error
0.631 * * * [progress]: generating rewritten candidates
0.631 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.643 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
0.649 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
0.653 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.685 * * * [progress]: generating series expansions
0.685 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.685 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) in (x) around 0
0.685 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) in x
0.685 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow x 2))) in x
0.685 * [taylor]: Taking taylor expansion of 1.0 in x
0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.685 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan x) 2))) in x
0.685 * [taylor]: Taking taylor expansion of 1.0 in x
0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan x) 2)) in x
0.685 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.685 * [taylor]: Taking taylor expansion of (tan x) in x
0.685 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.685 * [taylor]: Taking taylor expansion of (sin x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of (cos x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) in x
0.686 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow x 2))) in x
0.686 * [taylor]: Taking taylor expansion of 1.0 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.686 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan x) 2))) in x
0.686 * [taylor]: Taking taylor expansion of 1.0 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan x) 2)) in x
0.686 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.686 * [taylor]: Taking taylor expansion of (tan x) in x
0.686 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.686 * [taylor]: Taking taylor expansion of (sin x) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (cos x) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.692 * [approximate]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) in (x) around 0
0.692 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) in x
0.692 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.692 * [taylor]: Taking taylor expansion of 1.0 in x
0.692 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.692 * [taylor]: Taking taylor expansion of x in x
0.692 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2))) in x
0.692 * [taylor]: Taking taylor expansion of 1.0 in x
0.692 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan (/ 1 x)) 2)) in x
0.692 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.692 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.692 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.692 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.692 * [taylor]: Taking taylor expansion of x in x
0.692 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.692 * [taylor]: Taking taylor expansion of x in x
0.692 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) in x
0.692 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.692 * [taylor]: Taking taylor expansion of 1.0 in x
0.692 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2))) in x
0.693 * [taylor]: Taking taylor expansion of 1.0 in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan (/ 1 x)) 2)) in x
0.693 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.693 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.693 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.693 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.705 * [approximate]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) in (x) around 0
0.705 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) in x
0.705 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.705 * [taylor]: Taking taylor expansion of 1.0 in x
0.705 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2))) in x
0.705 * [taylor]: Taking taylor expansion of 1.0 in x
0.705 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan (/ -1 x)) 2)) in x
0.705 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.705 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.705 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.705 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.705 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.705 * [taylor]: Taking taylor expansion of -1 in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.705 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.705 * [taylor]: Taking taylor expansion of -1 in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) in x
0.706 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.706 * [taylor]: Taking taylor expansion of 1.0 in x
0.706 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2))) in x
0.706 * [taylor]: Taking taylor expansion of 1.0 in x
0.706 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan (/ -1 x)) 2)) in x
0.706 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.706 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.706 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.706 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.706 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.706 * [taylor]: Taking taylor expansion of -1 in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.706 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.706 * [taylor]: Taking taylor expansion of -1 in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.718 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
0.718 * [approximate]: Taking taylor expansion of (/ 1.0 (pow (tan x) 2)) in (x) around 0
0.719 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (tan x) 2)) in x
0.719 * [taylor]: Taking taylor expansion of 1.0 in x
0.719 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.719 * [taylor]: Taking taylor expansion of (tan x) in x
0.719 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.719 * [taylor]: Taking taylor expansion of (sin x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of (cos x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (tan x) 2)) in x
0.719 * [taylor]: Taking taylor expansion of 1.0 in x
0.719 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.719 * [taylor]: Taking taylor expansion of (tan x) in x
0.719 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.719 * [taylor]: Taking taylor expansion of (sin x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of (cos x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.721 * [approximate]: Taking taylor expansion of (/ 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0
0.721 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (tan (/ 1 x)) 2)) in x
0.721 * [taylor]: Taking taylor expansion of 1.0 in x
0.721 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.721 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.721 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.721 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.721 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.722 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (tan (/ 1 x)) 2)) in x
0.722 * [taylor]: Taking taylor expansion of 1.0 in x
0.722 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.722 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.722 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.722 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.722 * [taylor]: Taking taylor expansion of x in x
0.722 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.722 * [taylor]: Taking taylor expansion of x in x
0.729 * [approximate]: Taking taylor expansion of (/ 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0
0.729 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (tan (/ -1 x)) 2)) in x
0.729 * [taylor]: Taking taylor expansion of 1.0 in x
0.729 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.729 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.729 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.729 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.729 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.729 * [taylor]: Taking taylor expansion of -1 in x
0.729 * [taylor]: Taking taylor expansion of x in x
0.729 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.729 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.729 * [taylor]: Taking taylor expansion of -1 in x
0.729 * [taylor]: Taking taylor expansion of x in x
0.730 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (tan (/ -1 x)) 2)) in x
0.730 * [taylor]: Taking taylor expansion of 1.0 in x
0.730 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.730 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.730 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.730 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.730 * [taylor]: Taking taylor expansion of -1 in x
0.730 * [taylor]: Taking taylor expansion of x in x
0.730 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.730 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.730 * [taylor]: Taking taylor expansion of -1 in x
0.730 * [taylor]: Taking taylor expansion of x in x
0.737 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
0.737 * [approximate]: Taking taylor expansion of (/ 1.0 (pow x 2)) in (x) around 0
0.737 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x
0.737 * [taylor]: Taking taylor expansion of 1.0 in x
0.737 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.737 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x
0.737 * [taylor]: Taking taylor expansion of 1.0 in x
0.737 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.738 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0
0.738 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.738 * [taylor]: Taking taylor expansion of 1.0 in x
0.738 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.738 * [taylor]: Taking taylor expansion of 1.0 in x
0.738 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.739 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0
0.739 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.739 * [taylor]: Taking taylor expansion of 1.0 in x
0.739 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.739 * [taylor]: Taking taylor expansion of x in x
0.739 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.739 * [taylor]: Taking taylor expansion of 1.0 in x
0.739 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.739 * [taylor]: Taking taylor expansion of x in x
0.740 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.740 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))))) in (x) around 0
0.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))))) in x
0.740 * [taylor]: Taking taylor expansion of 1.0 in x
0.740 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x)))) in x
0.740 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) in x
0.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow x 2))) in x
0.740 * [taylor]: Taking taylor expansion of 1.0 in x
0.740 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.740 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.740 * [taylor]: Taking taylor expansion of x in x
0.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan x) 2))) in x
0.740 * [taylor]: Taking taylor expansion of 1.0 in x
0.740 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan x) 2)) in x
0.740 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.740 * [taylor]: Taking taylor expansion of (tan x) in x
0.740 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.740 * [taylor]: Taking taylor expansion of (sin x) in x
0.740 * [taylor]: Taking taylor expansion of x in x
0.740 * [taylor]: Taking taylor expansion of (cos x) in x
0.740 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))) in x
0.741 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x
0.741 * [taylor]: Taking taylor expansion of 1.0 in x
0.741 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x
0.741 * [taylor]: Taking taylor expansion of (tan x) in x
0.741 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.741 * [taylor]: Taking taylor expansion of (sin x) in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (cos x) in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.741 * [taylor]: Taking taylor expansion of 1.0 in x
0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))))) in x
0.742 * [taylor]: Taking taylor expansion of 1.0 in x
0.742 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x)))) in x
0.742 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow (tan x) 2)))) in x
0.742 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow x 2))) in x
0.742 * [taylor]: Taking taylor expansion of 1.0 in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan x) 2))) in x
0.742 * [taylor]: Taking taylor expansion of 1.0 in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan x) 2)) in x
0.742 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.742 * [taylor]: Taking taylor expansion of (tan x) in x
0.742 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.742 * [taylor]: Taking taylor expansion of (sin x) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (cos x) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))) in x
0.742 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x
0.742 * [taylor]: Taking taylor expansion of 1.0 in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x
0.742 * [taylor]: Taking taylor expansion of (tan x) in x
0.742 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.742 * [taylor]: Taking taylor expansion of (sin x) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (cos x) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
0.743 * [taylor]: Taking taylor expansion of 1.0 in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.751 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))))) in (x) around 0
0.751 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))))) in x
0.751 * [taylor]: Taking taylor expansion of 1.0 in x
0.751 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x)))))) in x
0.751 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) in x
0.751 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.751 * [taylor]: Taking taylor expansion of 1.0 in x
0.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2))) in x
0.751 * [taylor]: Taking taylor expansion of 1.0 in x
0.751 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan (/ 1 x)) 2)) in x
0.751 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.751 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.751 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.751 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x
0.752 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.752 * [taylor]: Taking taylor expansion of 1.0 in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x
0.752 * [taylor]: Taking taylor expansion of 1.0 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x
0.752 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.752 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.752 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))))) in x
0.753 * [taylor]: Taking taylor expansion of 1.0 in x
0.753 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x)))))) in x
0.753 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2)))) in x
0.753 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.753 * [taylor]: Taking taylor expansion of 1.0 in x
0.753 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan (/ 1 x)) 2))) in x
0.753 * [taylor]: Taking taylor expansion of 1.0 in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan (/ 1 x)) 2)) in x
0.753 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.753 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.753 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.753 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x
0.754 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.754 * [taylor]: Taking taylor expansion of 1.0 in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x
0.754 * [taylor]: Taking taylor expansion of 1.0 in x
0.754 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x
0.754 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.754 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.754 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.774 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)))) in (x) around 0
0.774 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)))) in x
0.774 * [taylor]: Taking taylor expansion of 1.0 in x
0.774 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x
0.774 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) in x
0.774 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.774 * [taylor]: Taking taylor expansion of 1.0 in x
0.774 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.774 * [taylor]: Taking taylor expansion of x in x
0.774 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2))) in x
0.774 * [taylor]: Taking taylor expansion of 1.0 in x
0.774 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan (/ -1 x)) 2)) in x
0.774 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.774 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.775 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.775 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.775 * [taylor]: Taking taylor expansion of -1 in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.775 * [taylor]: Taking taylor expansion of -1 in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x
0.775 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x
0.775 * [taylor]: Taking taylor expansion of 1.0 in x
0.775 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x
0.775 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.775 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.775 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.775 * [taylor]: Taking taylor expansion of -1 in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.775 * [taylor]: Taking taylor expansion of -1 in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.776 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.776 * [taylor]: Taking taylor expansion of 1.0 in x
0.776 * [taylor]: Taking taylor expansion of x in x
0.776 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)))) in x
0.776 * [taylor]: Taking taylor expansion of 1.0 in x
0.777 * [taylor]: Taking taylor expansion of (/ (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x
0.777 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow x 2)) (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2)))) in x
0.777 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x
0.777 * [taylor]: Taking taylor expansion of 1.0 in x
0.777 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.777 * [taylor]: Taking taylor expansion of x in x
0.777 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow (tan (/ -1 x)) 2))) in x
0.777 * [taylor]: Taking taylor expansion of 1.0 in x
0.777 * [taylor]: Taking taylor expansion of (/ 1 (pow (tan (/ -1 x)) 2)) in x
0.777 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.777 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.777 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.777 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.777 * [taylor]: Taking taylor expansion of -1 in x
0.777 * [taylor]: Taking taylor expansion of x in x
0.777 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.777 * [taylor]: Taking taylor expansion of -1 in x
0.777 * [taylor]: Taking taylor expansion of x in x
0.777 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x
0.777 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x
0.777 * [taylor]: Taking taylor expansion of 1.0 in x
0.777 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x
0.777 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.777 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.777 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.777 * [taylor]: Taking taylor expansion of -1 in x
0.777 * [taylor]: Taking taylor expansion of x in x
0.778 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.778 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.778 * [taylor]: Taking taylor expansion of -1 in x
0.778 * [taylor]: Taking taylor expansion of x in x
0.778 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
0.778 * [taylor]: Taking taylor expansion of 1.0 in x
0.778 * [taylor]: Taking taylor expansion of x in x
0.796 * * * [progress]: simplifying candidates
0.798 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (/ 1.0 (* x x))) (exp (/ 1.0 (* (tan x) (tan x)))))
  (log (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (exp (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* (cbrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (cbrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (cbrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* (* (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (sqrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (sqrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (- (* 1.0 (* (tan x) (tan x))) (* (* x x) 1.0))
  (* (* x x) (* (tan x) (tan x)))
  (- (pow (/ 1.0 (* x x)) 3) (pow (/ 1.0 (* (tan x) (tan x))) 3))
  (+ (* (/ 1.0 (* x x)) (/ 1.0 (* x x))) (+ (* (/ 1.0 (* (tan x) (tan x))) (/ 1.0 (* (tan x) (tan x)))) (* (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (neg (/ 1.0 (* (tan x) (tan x))))
  (- (* (/ 1.0 (* x x)) (/ 1.0 (* x x))) (* (/ 1.0 (* (tan x) (tan x))) (/ 1.0 (* (tan x) (tan x)))))
  (+ (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))
  (+ (sqrt (/ 1.0 (* x x))) (sqrt (/ 1.0 (* (tan x) (tan x)))))
  (- (sqrt (/ 1.0 (* x x))) (sqrt (/ 1.0 (* (tan x) (tan x)))))
  (+ (sqrt (/ 1.0 (* x x))) (/ (sqrt 1.0) (tan x)))
  (- (sqrt (/ 1.0 (* x x))) (/ (sqrt 1.0) (tan x)))
  (+ (/ (sqrt 1.0) x) (sqrt (/ 1.0 (* (tan x) (tan x)))))
  (- (/ (sqrt 1.0) x) (sqrt (/ 1.0 (* (tan x) (tan x)))))
  (+ (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x)))
  (- (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x)))
  (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))
  (- (/ 1 (* x x)) (/ 1 (* (tan x) (tan x))))
  (neg (/ 1.0 (* (tan x) (tan x))))
  (- (log 1.0) (+ (log (tan x)) (log (tan x))))
  (- (log 1.0) (log (* (tan x) (tan x))))
  (log (/ 1.0 (* (tan x) (tan x))))
  (exp (/ 1.0 (* (tan x) (tan x))))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))))
  (* (cbrt (/ 1.0 (* (tan x) (tan x)))) (cbrt (/ 1.0 (* (tan x) (tan x)))))
  (cbrt (/ 1.0 (* (tan x) (tan x))))
  (* (* (/ 1.0 (* (tan x) (tan x))) (/ 1.0 (* (tan x) (tan x)))) (/ 1.0 (* (tan x) (tan x))))
  (sqrt (/ 1.0 (* (tan x) (tan x))))
  (sqrt (/ 1.0 (* (tan x) (tan x))))
  (neg 1.0)
  (neg (* (tan x) (tan x)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (tan x))
  (/ (cbrt 1.0) (tan x))
  (/ (sqrt 1.0) (tan x))
  (/ (sqrt 1.0) (tan x))
  (/ 1 (tan x))
  (/ 1.0 (tan x))
  (/ 1 (* (tan x) (tan x)))
  (/ (* (tan x) (tan x)) 1.0)
  (/ 1.0 (tan x))
  (/ (* (tan x) (tan x)) (cbrt 1.0))
  (/ (* (tan x) (tan x)) (sqrt 1.0))
  (/ (* (tan x) (tan x)) 1.0)
  (/ 1.0 (* (sin x) (sin x)))
  (/ 1.0 (* (tan x) (sin x)))
  (/ 1.0 (* (sin x) (tan x)))
  (- (log 1.0) (+ (log x) (log x)))
  (- (log 1.0) (log (* x x)))
  (log (/ 1.0 (* x x)))
  (exp (/ 1.0 (* x x)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* x x) x) (* (* x x) x)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (/ 1.0 (* x x))) (cbrt (/ 1.0 (* x x))))
  (cbrt (/ 1.0 (* x x)))
  (* (* (/ 1.0 (* x x)) (/ 1.0 (* x x))) (/ 1.0 (* x x)))
  (sqrt (/ 1.0 (* x x)))
  (sqrt (/ 1.0 (* x x)))
  (neg 1.0)
  (neg (* x x))
  (/ (* (cbrt 1.0) (cbrt 1.0)) x)
  (/ (cbrt 1.0) x)
  (/ (sqrt 1.0) x)
  (/ (sqrt 1.0) x)
  (/ 1 x)
  (/ 1.0 x)
  (/ 1 (* x x))
  (/ (* x x) 1.0)
  (/ 1.0 x)
  (/ (* x x) (cbrt 1.0))
  (/ (* x x) (sqrt 1.0))
  (/ (* x x) 1.0)
  (- (+ (log 1.0) (log (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))) (log (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (- (log (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))) (log (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (log (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (exp (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (* (* (* 1.0 1.0) 1.0) (* (* (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))) (* (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (* (* (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))) (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))) (* (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (* (cbrt (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x))))) (cbrt (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x))))))
  (cbrt (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (* (* (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x))))) (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (sqrt (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (sqrt (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (neg (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (neg (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ 1.0 (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ 1.0 1)
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ (cbrt 1.0) x) (/ (cbrt 1.0) (tan x))))
  (/ 1.0 (/ (sqrt 1.0) 1))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x))))
  (/ 1.0 (/ 1 1))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 1)
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 1.0)
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1 x) (/ 1 (tan x))))
  (/ 1 (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) 1)
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (/ (sqrt 1.0) 1))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (/ 1 1))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) 1)
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) 1.0)
  (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (* 1.0 (tan x)) (* x 1.0)))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (+ (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3)))
  (/ (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ 1.0 (tan x)) (/ 1.0 (tan x)))))
  (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (* (* x x) (* (tan x) (tan x))))
  (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (* (/ 1.0 (* x x)) (/ 1.0 (* x x))) (+ (* (/ 1.0 (* (tan x) (tan x))) (/ 1.0 (* (tan x) (tan x)))) (* (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))))
  (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (- 0.6666666666666666 (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4))))
  (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ (pow (cos x) 2) (pow (sin x) 2))))
  (- (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ (pow (cos x) 2) (pow (sin x) 2))))
  (- (+ (* 0.06666666666666665 (pow x 2)) (* 1.0 (/ 1 (pow x 2)))) 0.6666666666666666)
  (* 1.0 (/ (pow (cos x) 2) (pow (sin x) 2)))
  (* 1.0 (/ (pow (cos x) 2) (pow (sin x) 2)))
  (/ 1.0 (pow x 2))
  (/ 1.0 (pow x 2))
  (/ 1.0 (pow x 2))
  (+ (* 0.02222222222222222 (pow x 3)) (+ (* 0.002116402116402116 (pow x 5)) (* 0.3333333333333333 x)))
  (- (* 1.0 (/ 1 x)) (* 1.0 (/ (cos x) (sin x))))
  (- (* 1.0 (/ 1 x)) (* 1.0 (/ (cos x) (sin x))))
0.836 * * [simplify]: iteration  0 :  5001  enodes  (cost  1756 )
0.842 * [simplify]: Simplified to:
   (exp (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (log (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (exp (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* (cbrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) (cbrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (cbrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (pow (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) 3)
  (sqrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (sqrt (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* 1.0 (- (* (tan x) (tan x)) (* x x)))
  (* x (* x (* (tan x) (tan x))))
  (- (/ (pow 1.0 3) (pow x 6)) (/ (pow 1.0 3) (pow (tan x) 6)))
  (+ (/ 1.0 (/ (pow x 4) 1.0)) (* (/ 1.0 (tan x)) (+ (/ 1.0 (pow (tan x) 3)) (/ (/ 1.0 (* x x)) (tan x)))))
  (/ (neg 1.0) (* (tan x) (tan x)))
  (- (/ 1.0 (/ (pow x 4) 1.0)) (/ 1.0 (/ (pow (tan x) 4) 1.0)))
  (+ (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))
  (+ (sqrt (/ 1.0 (* x x))) (sqrt (/ 1.0 (* (tan x) (tan x)))))
  (- (sqrt (/ 1.0 (* x x))) (sqrt (/ 1.0 (* (tan x) (tan x)))))
  (+ (sqrt (/ 1.0 (* x x))) (/ (sqrt 1.0) (tan x)))
  (- (sqrt (/ 1.0 (* x x))) (/ (sqrt 1.0) (tan x)))
  (+ (sqrt (/ 1.0 (* (tan x) (tan x)))) (/ (sqrt 1.0) x))
  (- (/ (sqrt 1.0) x) (sqrt (/ 1.0 (* (tan x) (tan x)))))
  (+ (/ (sqrt 1.0) (tan x)) (/ (sqrt 1.0) x))
  (- (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x)))
  (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))
  (+ (/ 1 (* x x)) (/ -1 (* (tan x) (tan x))))
  (/ (neg 1.0) (* (tan x) (tan x)))
  (+ (log 1.0) (* (log (tan x)) -2))
  (+ (log 1.0) (* (log (tan x)) -2))
  (+ (log 1.0) (* (log (tan x)) -2))
  (exp (/ 1.0 (* (tan x) (tan x))))
  (/ (pow 1.0 3) (pow (tan x) 6))
  (/ (pow 1.0 3) (pow (tan x) 6))
  (* (cbrt (/ 1.0 (* (tan x) (tan x)))) (cbrt (/ 1.0 (* (tan x) (tan x)))))
  (cbrt (/ 1.0 (* (tan x) (tan x))))
  (/ (pow 1.0 3) (pow (tan x) 6))
  (sqrt (/ 1.0 (* (tan x) (tan x))))
  (sqrt (/ 1.0 (* (tan x) (tan x))))
  (neg 1.0)
  (* (tan x) (neg (tan x)))
  (* (/ (cbrt 1.0) (tan x)) (cbrt 1.0))
  (/ (cbrt 1.0) (tan x))
  (/ (sqrt 1.0) (tan x))
  (/ (sqrt 1.0) (tan x))
  (/ 1 (tan x))
  (/ 1.0 (tan x))
  (/ 1 (* (tan x) (tan x)))
  (* (/ (tan x) 1.0) (tan x))
  (/ 1.0 (tan x))
  (* (/ (tan x) (cbrt 1.0)) (tan x))
  (* (/ (tan x) (sqrt 1.0)) (tan x))
  (* (/ (tan x) 1.0) (tan x))
  (/ 1.0 (pow (sin x) 2))
  (/ 1.0 (* (tan x) (sin x)))
  (/ 1.0 (* (tan x) (sin x)))
  (log (/ 1.0 (* x x)))
  (log (/ 1.0 (* x x)))
  (log (/ 1.0 (* x x)))
  (exp (/ 1.0 (* x x)))
  (/ (pow 1.0 3) (pow x 6))
  (/ (pow 1.0 3) (pow x 6))
  (* (cbrt (/ 1.0 (* x x))) (cbrt (/ 1.0 (* x x))))
  (cbrt (/ 1.0 (* x x)))
  (/ (pow 1.0 3) (pow x 6))
  (sqrt (/ 1.0 (* x x)))
  (sqrt (/ 1.0 (* x x)))
  (neg 1.0)
  (* x (neg x))
  (* (/ (cbrt 1.0) x) (cbrt 1.0))
  (/ (cbrt 1.0) x)
  (/ (sqrt 1.0) x)
  (/ (sqrt 1.0) x)
  (/ 1 x)
  (/ 1.0 x)
  (/ 1 (* x x))
  (* (/ x 1.0) x)
  (/ 1.0 x)
  (* (/ x (cbrt 1.0)) x)
  (* (/ x (sqrt 1.0)) x)
  (* (/ x 1.0) x)
  (log (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (log (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (log (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (pow (exp (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x)))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (pow (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) 3)
  (pow (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) 3)
  (* (cbrt (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))) (cbrt (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))))
  (cbrt (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (pow (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))) 3)
  (sqrt (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (sqrt (* (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (* 1.0 (+ (/ 1.0 (* (tan x) (tan x))) (/ (neg 1.0) (* x x))))
  (- (/ (neg 1.0) x) (/ 1.0 (tan x)))
  (/ 1.0 (* (cbrt (+ (/ 1.0 (tan x)) (/ 1.0 x))) (cbrt (+ (/ 1.0 (tan x)) (/ 1.0 x)))))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (cbrt (+ (/ 1.0 (tan x)) (/ 1.0 x))))
  (/ 1.0 (sqrt (+ (/ 1.0 (tan x)) (/ 1.0 x))))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (sqrt (+ (/ 1.0 (tan x)) (/ 1.0 x))))
  1.0
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1.0 (tan x)) (/ 1.0 x)))
  (/ 1.0 (* (cbrt 1.0) (cbrt 1.0)))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ (cbrt 1.0) (tan x)) (/ (cbrt 1.0) x)))
  (/ 1.0 (sqrt 1.0))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ (sqrt 1.0) (tan x)) (/ (sqrt 1.0) x)))
  1.0
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1.0 (tan x)) (/ 1.0 x)))
  1.0
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1.0 (tan x)) (/ 1.0 x)))
  1
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1 (tan x)) (/ 1 x)))
  (/ 1 (+ (/ 1.0 (tan x)) (/ 1.0 x)))
  (/ (+ (/ 1.0 (tan x)) (/ 1.0 x)) (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))))
  (* (/ 1.0 (* (cbrt (+ (/ 1.0 (tan x)) (/ 1.0 x))) (cbrt (+ (/ 1.0 (tan x)) (/ 1.0 x))))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* (/ 1.0 (sqrt (+ (/ 1.0 (tan x)) (/ 1.0 x)))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* (/ 1.0 (* (cbrt 1.0) (cbrt 1.0))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* (/ 1.0 (sqrt 1.0)) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* 1.0 (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x))))
  (/ (+ (/ 1.0 (tan x)) (/ 1.0 x)) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* (/ 1.0 (* 1.0 (+ (tan x) x))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* (/ 1.0 (+ (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (/ (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))
  (* x (* x (* (tan x) (* (tan x) (+ (/ 1.0 (tan x)) (/ 1.0 x))))))
  (* (+ (/ 1.0 (/ (pow x 4) 1.0)) (* (/ 1.0 (tan x)) (+ (/ 1.0 (pow (tan x) 3)) (/ (/ 1.0 (* x x)) (tan x))))) (+ (/ 1.0 (tan x)) (/ 1.0 x)))
  (* (+ (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))) (+ (/ 1.0 (tan x)) (/ 1.0 x)))
  (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))
  (- (/ 1.0 (* x x)) (* 1.0 (/ (pow (cos x) 2) (pow (sin x) 2))))
  (- (/ 1.0 (* x x)) (* 1.0 (/ (pow (cos x) 2) (pow (sin x) 2))))
  (+ (/ 1.0 (* x x)) (- (* x (* x 0.06666666666666665)) 0.6666666666666666))
  (* 1.0 (/ (pow (cos x) 2) (pow (sin x) 2)))
  (* 1.0 (/ (pow (cos x) 2) (pow (sin x) 2)))
  (/ 1.0 (* x x))
  (/ 1.0 (* x x))
  (/ 1.0 (* x x))
  (+ (* (pow x 3) 0.02222222222222222) (+ (* 0.002116402116402116 (pow x 5)) (* x 0.3333333333333333)))
  (- (/ 1.0 x) (* 1.0 (/ (cos x) (sin x))))
  (- (/ 1.0 x) (* 1.0 (/ (cos x) (sin x))))
0.843 * * * [progress]: adding candidates to table
0.990 * * [progress]: iteration 4 / 4
0.990 * * * [progress]: picking best candidate
0.999 * * * * [pick]: Picked  #<alt (λ (x) (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))>
0.999 * * * [progress]: localizing error
1.014 * * * [progress]: generating rewritten candidates
1.014 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.034 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1)
1.039 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2)
1.044 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.059 * * * [progress]: generating series expansions
1.059 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.060 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))))) in (x) around 0
1.060 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))))) in x
1.060 * [taylor]: Taking taylor expansion of 1.0 in x
1.060 * [taylor]: Taking taylor expansion of (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x)))) in x
1.060 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4)))) in x
1.060 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.060 * [taylor]: Taking taylor expansion of (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4))) in x
1.060 * [taylor]: Taking taylor expansion of (* 0.06666666666666667 (pow x 2)) in x
1.060 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.060 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.060 * [taylor]: Taking taylor expansion of (* 0.010582010582010581 (pow x 4)) in x
1.060 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.060 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.060 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))) in x
1.060 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x
1.060 * [taylor]: Taking taylor expansion of 1.0 in x
1.060 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x
1.060 * [taylor]: Taking taylor expansion of (tan x) in x
1.060 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.060 * [taylor]: Taking taylor expansion of (sin x) in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.060 * [taylor]: Taking taylor expansion of (cos x) in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.061 * [taylor]: Taking taylor expansion of 1.0 in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))))) in x
1.061 * [taylor]: Taking taylor expansion of 1.0 in x
1.061 * [taylor]: Taking taylor expansion of (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4)))) (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x)))) in x
1.061 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4)))) in x
1.061 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.061 * [taylor]: Taking taylor expansion of (+ (* 0.06666666666666667 (pow x 2)) (* 0.010582010582010581 (pow x 4))) in x
1.061 * [taylor]: Taking taylor expansion of (* 0.06666666666666667 (pow x 2)) in x
1.061 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.061 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (* 0.010582010582010581 (pow x 4)) in x
1.061 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.061 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))) in x
1.061 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x
1.061 * [taylor]: Taking taylor expansion of 1.0 in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x
1.061 * [taylor]: Taking taylor expansion of (tan x) in x
1.061 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.061 * [taylor]: Taking taylor expansion of (sin x) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (cos x) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.061 * [taylor]: Taking taylor expansion of 1.0 in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.065 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))))) in (x) around 0
1.065 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))))) in x
1.065 * [taylor]: Taking taylor expansion of 1.0 in x
1.065 * [taylor]: Taking taylor expansion of (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x)))))) in x
1.065 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) in x
1.065 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.065 * [taylor]: Taking taylor expansion of (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4)))) in x
1.065 * [taylor]: Taking taylor expansion of (* 0.06666666666666667 (/ 1 (pow x 2))) in x
1.065 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.065 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of (* 0.010582010582010581 (/ 1 (pow x 4))) in x
1.065 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.065 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x
1.065 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.065 * [taylor]: Taking taylor expansion of 1.0 in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x
1.065 * [taylor]: Taking taylor expansion of 1.0 in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x
1.065 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.065 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.065 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.066 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))))) in x
1.066 * [taylor]: Taking taylor expansion of 1.0 in x
1.066 * [taylor]: Taking taylor expansion of (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x)))))) in x
1.066 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) in x
1.066 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.066 * [taylor]: Taking taylor expansion of (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4)))) in x
1.066 * [taylor]: Taking taylor expansion of (* 0.06666666666666667 (/ 1 (pow x 2))) in x
1.066 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.066 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.066 * [taylor]: Taking taylor expansion of (* 0.010582010582010581 (/ 1 (pow x 4))) in x
1.066 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.066 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.066 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x
1.066 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.066 * [taylor]: Taking taylor expansion of 1.0 in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.066 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x
1.066 * [taylor]: Taking taylor expansion of 1.0 in x
1.066 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x
1.066 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.066 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.066 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.066 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.074 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)))) in (x) around 0
1.074 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)))) in x
1.074 * [taylor]: Taking taylor expansion of 1.0 in x
1.074 * [taylor]: Taking taylor expansion of (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x
1.074 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) in x
1.074 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.074 * [taylor]: Taking taylor expansion of (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4)))) in x
1.074 * [taylor]: Taking taylor expansion of (* 0.06666666666666667 (/ 1 (pow x 2))) in x
1.074 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.074 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of (* 0.010582010582010581 (/ 1 (pow x 4))) in x
1.074 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.074 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x
1.074 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x
1.074 * [taylor]: Taking taylor expansion of 1.0 in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x
1.074 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.074 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.074 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.074 * [taylor]: Taking taylor expansion of -1 in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.074 * [taylor]: Taking taylor expansion of -1 in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.074 * [taylor]: Taking taylor expansion of 1.0 in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)))) in x
1.075 * [taylor]: Taking taylor expansion of 1.0 in x
1.075 * [taylor]: Taking taylor expansion of (/ (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x
1.075 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4))))) in x
1.075 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.075 * [taylor]: Taking taylor expansion of (+ (* 0.06666666666666667 (/ 1 (pow x 2))) (* 0.010582010582010581 (/ 1 (pow x 4)))) in x
1.075 * [taylor]: Taking taylor expansion of (* 0.06666666666666667 (/ 1 (pow x 2))) in x
1.075 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.075 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (* 0.010582010582010581 (/ 1 (pow x 4))) in x
1.075 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.075 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x
1.075 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x
1.075 * [taylor]: Taking taylor expansion of 1.0 in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x
1.075 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.075 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.075 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.075 * [taylor]: Taking taylor expansion of -1 in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.075 * [taylor]: Taking taylor expansion of -1 in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.076 * [taylor]: Taking taylor expansion of 1.0 in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.080 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1)
1.081 * [approximate]: Taking taylor expansion of (* 0.06666666666666667 (pow x 2)) in (x) around 0
1.081 * [taylor]: Taking taylor expansion of (* 0.06666666666666667 (pow x 2)) in x
1.081 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.081 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.081 * [taylor]: Taking taylor expansion of (* 0.06666666666666667 (pow x 2)) in x
1.081 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.081 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.081 * [approximate]: Taking taylor expansion of (/ 0.06666666666666667 (pow x 2)) in (x) around 0
1.081 * [taylor]: Taking taylor expansion of (/ 0.06666666666666667 (pow x 2)) in x
1.082 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.082 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.082 * [taylor]: Taking taylor expansion of x in x
1.082 * [taylor]: Taking taylor expansion of (/ 0.06666666666666667 (pow x 2)) in x
1.082 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.082 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.082 * [taylor]: Taking taylor expansion of x in x
1.083 * [approximate]: Taking taylor expansion of (/ 0.06666666666666667 (pow x 2)) in (x) around 0
1.083 * [taylor]: Taking taylor expansion of (/ 0.06666666666666667 (pow x 2)) in x
1.083 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.083 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.083 * [taylor]: Taking taylor expansion of x in x
1.083 * [taylor]: Taking taylor expansion of (/ 0.06666666666666667 (pow x 2)) in x
1.083 * [taylor]: Taking taylor expansion of 0.06666666666666667 in x
1.083 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.083 * [taylor]: Taking taylor expansion of x in x
1.084 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2)
1.084 * [approximate]: Taking taylor expansion of (* 0.010582010582010581 (pow x 4)) in (x) around 0
1.084 * [taylor]: Taking taylor expansion of (* 0.010582010582010581 (pow x 4)) in x
1.084 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.084 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.084 * [taylor]: Taking taylor expansion of x in x
1.084 * [taylor]: Taking taylor expansion of (* 0.010582010582010581 (pow x 4)) in x
1.084 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.084 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.084 * [taylor]: Taking taylor expansion of x in x
1.085 * [approximate]: Taking taylor expansion of (/ 0.010582010582010581 (pow x 4)) in (x) around 0
1.085 * [taylor]: Taking taylor expansion of (/ 0.010582010582010581 (pow x 4)) in x
1.085 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.085 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (/ 0.010582010582010581 (pow x 4)) in x
1.085 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.085 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.086 * [approximate]: Taking taylor expansion of (/ 0.010582010582010581 (pow x 4)) in (x) around 0
1.086 * [taylor]: Taking taylor expansion of (/ 0.010582010582010581 (pow x 4)) in x
1.086 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.086 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of (/ 0.010582010582010581 (pow x 4)) in x
1.086 * [taylor]: Taking taylor expansion of 0.010582010582010581 in x
1.086 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.087 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.088 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))) in (x) around 0
1.088 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))) in x
1.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x
1.088 * [taylor]: Taking taylor expansion of 1.0 in x
1.088 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x
1.088 * [taylor]: Taking taylor expansion of (tan x) in x
1.088 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.088 * [taylor]: Taking taylor expansion of (sin x) in x
1.088 * [taylor]: Taking taylor expansion of x in x
1.088 * [taylor]: Taking taylor expansion of (cos x) in x
1.088 * [taylor]: Taking taylor expansion of x in x
1.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.088 * [taylor]: Taking taylor expansion of 1.0 in x
1.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.088 * [taylor]: Taking taylor expansion of x in x
1.088 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan x))) (* 1.0 (/ 1 x))) in x
1.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x
1.088 * [taylor]: Taking taylor expansion of 1.0 in x
1.088 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x
1.088 * [taylor]: Taking taylor expansion of (tan x) in x
1.088 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.088 * [taylor]: Taking taylor expansion of (sin x) in x
1.088 * [taylor]: Taking taylor expansion of x in x
1.088 * [taylor]: Taking taylor expansion of (cos x) in x
1.088 * [taylor]: Taking taylor expansion of x in x
1.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.088 * [taylor]: Taking taylor expansion of 1.0 in x
1.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.088 * [taylor]: Taking taylor expansion of x in x
1.091 * [approximate]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in (x) around 0
1.091 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x
1.091 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.091 * [taylor]: Taking taylor expansion of 1.0 in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x
1.091 * [taylor]: Taking taylor expansion of 1.0 in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x
1.091 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.091 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.091 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x
1.091 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.091 * [taylor]: Taking taylor expansion of 1.0 in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x
1.091 * [taylor]: Taking taylor expansion of 1.0 in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x
1.091 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.091 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.091 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.097 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in (x) around 0
1.097 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x
1.097 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x
1.097 * [taylor]: Taking taylor expansion of 1.0 in x
1.097 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x
1.097 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.097 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.097 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.097 * [taylor]: Taking taylor expansion of -1 in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.097 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.097 * [taylor]: Taking taylor expansion of -1 in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.097 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.097 * [taylor]: Taking taylor expansion of 1.0 in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.097 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x
1.097 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x
1.097 * [taylor]: Taking taylor expansion of 1.0 in x
1.097 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x
1.097 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.098 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.098 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.098 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.098 * [taylor]: Taking taylor expansion of -1 in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.098 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.098 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.098 * [taylor]: Taking taylor expansion of -1 in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.098 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.098 * [taylor]: Taking taylor expansion of 1.0 in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.103 * * * [progress]: simplifying candidates
1.105 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log 1.0) (log (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (log (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (- (log (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (log (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (log (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (exp (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (* (* (* 1.0 1.0) 1.0) (* (* (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (* (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (* (* (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (* (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (* (cbrt (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x))))) (cbrt (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x))))))
  (cbrt (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (* (* (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x))))) (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (sqrt (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (sqrt (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (neg (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))))
  (neg (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ 1.0 (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ 1.0 1)
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ (cbrt 1.0) x) (/ (cbrt 1.0) (tan x))))
  (/ 1.0 (/ (sqrt 1.0) 1))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x))))
  (/ 1.0 (/ 1 1))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 1)
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 1.0)
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1 x) (/ 1 (tan x))))
  (/ 1 (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) 1)
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (/ (sqrt 1.0) 1))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (/ 1 1))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) 1)
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) 1.0)
  (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (* 1.0 (tan x)) (* x 1.0)))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (+ (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3)))
  (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ 1.0 (tan x)) (/ 1.0 (tan x)))))
  (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (* 0.6666666666666666 0.6666666666666666) (+ (* (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)) (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (* 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))))
  (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* x (* x 0.06666666666666667))
  (* x (* x 0.06666666666666667))
  (+ (log x) (+ (log x) (log 0.06666666666666667)))
  (+ (log x) (log (* x 0.06666666666666667)))
  (log (* x (* x 0.06666666666666667)))
  (exp (* x (* x 0.06666666666666667)))
  (* (* (* x x) x) (* (* (* x x) x) (* (* 0.06666666666666667 0.06666666666666667) 0.06666666666666667)))
  (* (* (* x x) x) (* (* (* x 0.06666666666666667) (* x 0.06666666666666667)) (* x 0.06666666666666667)))
  (* (cbrt (* x (* x 0.06666666666666667))) (cbrt (* x (* x 0.06666666666666667))))
  (cbrt (* x (* x 0.06666666666666667)))
  (* (* (* x (* x 0.06666666666666667)) (* x (* x 0.06666666666666667))) (* x (* x 0.06666666666666667)))
  (sqrt (* x (* x 0.06666666666666667)))
  (sqrt (* x (* x 0.06666666666666667)))
  (* x x)
  (* (cbrt x) (* x 0.06666666666666667))
  (* (sqrt x) (* x 0.06666666666666667))
  (* x (* x 0.06666666666666667))
  (+ (* (log x) 4) (log 0.010582010582010581))
  (+ (* (log x) 4) (log 0.010582010582010581))
  (+ (log (pow x 4)) (log 0.010582010582010581))
  (log (* (pow x 4) 0.010582010582010581))
  (exp (* (pow x 4) 0.010582010582010581))
  (* (* (* (pow x 4) (pow x 4)) (pow x 4)) (* (* 0.010582010582010581 0.010582010582010581) 0.010582010582010581))
  (* (cbrt (* (pow x 4) 0.010582010582010581)) (cbrt (* (pow x 4) 0.010582010582010581)))
  (cbrt (* (pow x 4) 0.010582010582010581))
  (* (* (* (pow x 4) 0.010582010582010581) (* (pow x 4) 0.010582010582010581)) (* (pow x 4) 0.010582010582010581))
  (sqrt (* (pow x 4) 0.010582010582010581))
  (sqrt (* (pow x 4) 0.010582010582010581))
  (* (pow (sqrt x) 4) (sqrt 0.010582010582010581))
  (* (pow (sqrt x) 4) (sqrt 0.010582010582010581))
  (* (sqrt (pow x 4)) (sqrt 0.010582010582010581))
  (* (sqrt (pow x 4)) (sqrt 0.010582010582010581))
  (* (pow x (/ 4 2)) (sqrt 0.010582010582010581))
  (* (pow x (/ 4 2)) (sqrt 0.010582010582010581))
  (* (pow x 4) (* (cbrt 0.010582010582010581) (cbrt 0.010582010582010581)))
  (* (pow x 4) (sqrt 0.010582010582010581))
  (* (pow x 4) 1)
  (* (pow (cbrt x) 4) 0.010582010582010581)
  (* (pow (sqrt x) 4) 0.010582010582010581)
  (* (pow x 4) 0.010582010582010581)
  (* (cbrt (pow x 4)) 0.010582010582010581)
  (* (sqrt (pow x 4)) 0.010582010582010581)
  (* (pow x 4) 0.010582010582010581)
  (* (pow x (/ 4 2)) 0.010582010582010581)
  (* (exp (/ 1.0 x)) (exp (/ 1.0 (tan x))))
  (log (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (exp (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (* (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (+ (* 1.0 (tan x)) (* x 1.0))
  (* x (tan x))
  (+ (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3))
  (+ (* (/ 1.0 x) (/ 1.0 x)) (- (* (/ 1.0 (tan x)) (/ 1.0 (tan x))) (* (/ 1.0 x) (/ 1.0 (tan x)))))
  (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ 1.0 (tan x)) (/ 1.0 (tan x))))
  (- (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (/ (cbrt 1.0) x) (/ (cbrt 1.0) (tan x)))
  (+ (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x)))
  (+ (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (/ 1 x) (/ 1 (tan x)))
  (+ (* 0.02222222222222222 (pow x 3)) (+ (* 0.002116402116402116 (pow x 5)) (* 0.3333333333333333 x)))
  (- (* 0.010582010582010581 (/ (* (pow x 3) (pow (sin x) 2)) (pow (cos x) 2))) (+ (* 0.010582010582010581 (/ (* (pow x 4) (sin x)) (cos x))) (+ (* 0.06666666666666667 (/ (* (pow x 2) (sin x)) (cos x))) (* 0.010582010582010581 (/ (* (pow x 2) (pow (sin x) 3)) (pow (cos x) 3))))))
  (- (* 0.010582010582010581 (/ (* (pow x 3) (pow (sin x) 2)) (pow (cos x) 2))) (+ (* 0.010582010582010581 (/ (* (pow x 4) (sin x)) (cos x))) (+ (* 0.06666666666666667 (/ (* (pow x 2) (sin x)) (cos x))) (* 0.010582010582010581 (/ (* (pow x 2) (pow (sin x) 3)) (pow (cos x) 3))))))
  (* 0.06666666666666667 (pow x 2))
  (* 0.06666666666666667 (pow x 2))
  (* 0.06666666666666667 (pow x 2))
  (* 0.010582010582010581 (pow x 4))
  (* 0.010582010582010581 (pow x 4))
  (* 0.010582010582010581 (pow x 4))
  (- (* 2.0 (/ 1 x)) (+ (* 0.022222222222222223 (pow x 3)) (* 0.3333333333333333 x)))
  (+ (* 1.0 (/ (cos x) (sin x))) (* 1.0 (/ 1 x)))
  (+ (* 1.0 (/ (cos x) (sin x))) (* 1.0 (/ 1 x)))
1.142 * * [simplify]: iteration  0 :  4966  enodes  (cost  1563 )
1.143 * * [simplify]: iteration  1 :  4966  enodes  (cost  1563 )
1.149 * [simplify]: Simplified to:
   (log (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))
  (log (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))
  (log (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))
  (pow (exp (/ 1.0 (+ (/ 1.0 x) (/ 1.0 (tan x))))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (pow (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0) 3)
  (pow (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0) 3)
  (* (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0)) (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0)))
  (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))
  (pow (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0) 3)
  (sqrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))
  (sqrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))
  (* 1.0 (+ (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)) (neg 0.6666666666666666)))
  (- (/ (neg 1.0) x) (/ 1.0 (tan x)))
  (/ 1.0 (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ 1.0 (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  1.0
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ 1.0 (* (cbrt 1.0) (cbrt 1.0)))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ (cbrt 1.0) x) (/ (cbrt 1.0) (tan x))))
  (/ 1.0 (sqrt 1.0))
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x))))
  1.0
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  1.0
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x))))
  1
  (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1 x) (/ 1 (tan x))))
  (/ 1 (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))))
  (* (/ 1.0 (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* (/ 1.0 (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* (/ 1.0 (* (cbrt 1.0) (cbrt 1.0))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* (/ 1.0 (sqrt 1.0)) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))
  (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* 1 (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (tan x) x)))
  (* (/ 1.0 (+ (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) (/ 1.0 (- (/ 1.0 x) (/ 1.0 (tan x)))))
  (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ (* 0.6666666666666666 0.6666666666666666) (* (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)) (+ 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))))
  (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))
  (* x (* x 0.06666666666666667))
  (* x (* x 0.06666666666666667))
  (log (* x (* x 0.06666666666666667)))
  (log (* x (* x 0.06666666666666667)))
  (log (* x (* x 0.06666666666666667)))
  (pow (exp x) (* x 0.06666666666666667))
  (* (pow 0.06666666666666667 3) (pow x 6))
  (* (pow 0.06666666666666667 3) (pow x 6))
  (* (cbrt (* x (* x 0.06666666666666667))) (cbrt (* x (* x 0.06666666666666667))))
  (cbrt (* x (* x 0.06666666666666667)))
  (* (pow 0.06666666666666667 3) (pow x 6))
  (sqrt (* x (* x 0.06666666666666667)))
  (sqrt (* x (* x 0.06666666666666667)))
  (* x x)
  (* x (* 0.06666666666666667 (cbrt x)))
  (* 0.06666666666666667 (pow x 3/2))
  (* x (* x 0.06666666666666667))
  (log (* (pow x 4) 0.010582010582010581))
  (log (* (pow x 4) 0.010582010582010581))
  (log (* (pow x 4) 0.010582010582010581))
  (log (* (pow x 4) 0.010582010582010581))
  (pow (exp (pow x 4)) 0.010582010582010581)
  (* (pow x 12) (pow 0.010582010582010581 3))
  (* (cbrt (* (pow x 4) 0.010582010582010581)) (cbrt (* (pow x 4) 0.010582010582010581)))
  (cbrt (* (pow x 4) 0.010582010582010581))
  (* (pow x 12) (pow 0.010582010582010581 3))
  (sqrt (* (pow x 4) 0.010582010582010581))
  (sqrt (* (pow x 4) 0.010582010582010581))
  (* x (* x (sqrt 0.010582010582010581)))
  (* x (* x (sqrt 0.010582010582010581)))
  (* (sqrt 0.010582010582010581) (sqrt (pow x 4)))
  (* (sqrt 0.010582010582010581) (sqrt (pow x 4)))
  (* x (* x (sqrt 0.010582010582010581)))
  (* x (* x (sqrt 0.010582010582010581)))
  (* (pow x 4) (* (cbrt 0.010582010582010581) (cbrt 0.010582010582010581)))
  (* (pow x 4) (sqrt 0.010582010582010581))
  (pow x 4)
  (* 0.010582010582010581 (pow (cbrt x) 4))
  (* x (* x 0.010582010582010581))
  (* (pow x 4) 0.010582010582010581)
  (* 0.010582010582010581 (cbrt (pow x 4)))
  (* 0.010582010582010581 (sqrt (pow x 4)))
  (* (pow x 4) 0.010582010582010581)
  (* x (* x 0.010582010582010581))
  (exp (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (log (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (exp (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))
  (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (pow (+ (/ 1.0 x) (/ 1.0 (tan x))) 3)
  (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))
  (* 1.0 (+ (tan x) x))
  (* x (tan x))
  (+ (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3))
  (+ (* (/ 1.0 x) (/ 1.0 x)) (* (/ 1.0 (tan x)) (- (/ 1.0 (tan x)) (/ 1.0 x))))
  (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ 1.0 (tan x)) (/ 1.0 (tan x))))
  (- (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (/ (cbrt 1.0) x) (/ (cbrt 1.0) (tan x)))
  (+ (/ (sqrt 1.0) x) (/ (sqrt 1.0) (tan x)))
  (+ (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (/ 1.0 x) (/ 1.0 (tan x)))
  (+ (/ 1 x) (/ 1 (tan x)))
  (+ (* (pow x 3) 0.02222222222222222) (+ (* 0.002116402116402116 (pow x 5)) (* x 0.3333333333333333)))
  (- (* 0.010582010582010581 (- (* (/ (pow x 3) (pow (cos x) 2)) (pow (sin x) 2)) (* (/ (pow x 4) (cos x)) (sin x)))) (+ (* 0.06666666666666667 (* (/ (* x x) (cos x)) (sin x))) (* 0.010582010582010581 (/ x (/ (pow (/ (cos x) (sin x)) 3) x)))))
  (- (* 0.010582010582010581 (- (* (/ (pow x 3) (pow (cos x) 2)) (pow (sin x) 2)) (* (/ (pow x 4) (cos x)) (sin x)))) (+ (* 0.06666666666666667 (* (/ (* x x) (cos x)) (sin x))) (* 0.010582010582010581 (/ x (/ (pow (/ (cos x) (sin x)) 3) x)))))
  (* x (* x 0.06666666666666667))
  (* x (* x 0.06666666666666667))
  (* x (* x 0.06666666666666667))
  (* (pow x 4) 0.010582010582010581)
  (* (pow x 4) 0.010582010582010581)
  (* (pow x 4) 0.010582010582010581)
  (- (/ 2.0 x) (+ (* x 0.3333333333333333) (* (pow x 3) 0.022222222222222223)))
  (+ (/ 1.0 x) (* 1.0 (/ (cos x) (sin x))))
  (+ (/ 1.0 x) (* 1.0 (/ (cos x) (sin x))))
1.149 * * * [progress]: adding candidates to table
1.332 * [progress]: [Phase 3 of 3] Extracting.
1.332 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (log (pow (exp (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x)))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))))> #<alt (λ (x) (/ (* 1.0 (- (* 0.6666666666666666 0.6666666666666666) (* (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)) (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))))> #<alt (λ (x) (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (cbrt (pow (+ (/ 1.0 x) (/ 1.0 (tan x))) 3))))> #<alt (λ (x) (* (* (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0)) (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))) (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))))> #<alt (λ (x) (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (/ (* 1.0 (+ (tan x) x)) (* x (tan x)))))> #<alt (λ (x) (* (/ 1.0 (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))) (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))))> #<alt (λ (x) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* x 0.3333333333333333))))> #<alt (λ (x) (* (* 1 (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (tan x) x))) (* x (tan x))))> #<alt (λ (x) (/ (* (/ 1.0 (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))> #<alt (λ (x) (/ (* (/ 1.0 (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))> #<alt (λ (x) (/ 1.0 (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))))>)
1.336 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.336 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (log (pow (exp (/ 1.0 (+ (/ 1.0 (tan x)) (/ 1.0 x)))) (- (/ 1.0 (* x x)) (/ 1.0 (* (tan x) (tan x)))))))> #<alt (λ (x) (/ (* 1.0 (- (* 0.6666666666666666 0.6666666666666666) (* (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)) (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))))> #<alt (λ (x) (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (cbrt (pow (+ (/ 1.0 x) (/ 1.0 (tan x))) 3))))> #<alt (λ (x) (* (* (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0)) (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))) (cbrt (* (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (/ 1.0 x) (/ 1.0 (tan x)))) 1.0))))> #<alt (λ (x) (/ (* 1.0 (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (/ (* 1.0 (+ (tan x) x)) (* x (tan x)))))> #<alt (λ (x) (* (/ 1.0 (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))) (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))))> #<alt (λ (x) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* x 0.3333333333333333))))> #<alt (λ (x) (* (* 1 (/ (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))) (+ (tan x) x))) (* x (tan x))))> #<alt (λ (x) (/ (* (/ 1.0 (* (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x)))))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (cbrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))> #<alt (λ (x) (/ (* (/ 1.0 (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))) (sqrt (+ (/ 1.0 x) (/ 1.0 (tan x))))))> #<alt (λ (x) (/ 1.0 (/ (+ (/ 1.0 x) (/ 1.0 (tan x))) (- 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))))>)
1.402 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.403 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* 1.0 (- (* 0.6666666666666666 0.6666666666666666) (* (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)) (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))))
1.405 * * [simplify]: iteration  0 :  30  enodes  (cost  52 )
1.405 * * [simplify]: iteration  1 :  30  enodes  (cost  52 )
1.405 * [simplify]: Simplified to:
   (/ (* 1.0 (- (* 0.6666666666666666 0.6666666666666666) (* (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)) (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581))))) (* (+ (/ 1.0 x) (/ 1.0 (tan x))) (+ 0.6666666666666666 (+ (* x (* x 0.06666666666666667)) (* (pow x 4) 0.010582010582010581)))))
9.793 * [regime-testing]: End program error score: 0.38789642329153234
9.887 * [regime-testing]: Target error score: 0.09812609765038581