0.787 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.310 * * * [progress]: [2/2] Setting up program.
0.314 * [progress]: [Phase 2 of 3] Improving.
0.316 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
0.321 * * [simplify]: iteration  0 :  13  enodes  (cost  9 )
0.322 * * [simplify]: iteration  1 :  21  enodes  (cost  9 )
0.323 * * [simplify]: iteration  2 :  26  enodes  (cost  9 )
0.324 * * [simplify]: iteration  3 :  34  enodes  (cost  9 )
0.325 * * [simplify]: iteration  4 :  37  enodes  (cost  9 )
0.326 * * [simplify]: iteration  5 :  37  enodes  (cost  9 )
0.327 * [simplify]: Simplified to:
   (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
0.328 * * [progress]: iteration 1 / 4
0.328 * * * [progress]: picking best candidate
0.332 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))>
0.332 * * * [progress]: localizing error
0.341 * * * [progress]: generating rewritten candidates
0.341 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.349 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.354 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.391 * * * [progress]: generating series expansions
0.391 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.395 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0
0.396 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.396 * [taylor]: Taking taylor expansion of (tan x) in x
0.397 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.397 * [taylor]: Taking taylor expansion of (sin x) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.397 * [taylor]: Taking taylor expansion of (cos x) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.398 * [taylor]: Taking taylor expansion of (tan x) in x
0.399 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.399 * [taylor]: Taking taylor expansion of (sin x) in x
0.399 * [taylor]: Taking taylor expansion of x in x
0.399 * [taylor]: Taking taylor expansion of (cos x) in x
0.399 * [taylor]: Taking taylor expansion of x in x
0.403 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0
0.403 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.403 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.403 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.403 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.404 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.404 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.404 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.407 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0
0.407 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.407 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.407 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.407 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.407 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.407 * [taylor]: Taking taylor expansion of -1 in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.407 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.407 * [taylor]: Taking taylor expansion of -1 in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.408 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.408 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.408 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.408 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.408 * [taylor]: Taking taylor expansion of -1 in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.408 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.408 * [taylor]: Taking taylor expansion of -1 in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.411 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0
0.411 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.411 * [taylor]: Taking taylor expansion of (tan x) in x
0.411 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.411 * [taylor]: Taking taylor expansion of (sin x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (cos x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.411 * [taylor]: Taking taylor expansion of (tan x) in x
0.411 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.411 * [taylor]: Taking taylor expansion of (sin x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (cos x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.413 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0
0.413 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.413 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.413 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.413 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.413 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.413 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.413 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.414 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.414 * [taylor]: Taking taylor expansion of x in x
0.416 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0
0.416 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.416 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.416 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.416 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.417 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.417 * [taylor]: Taking taylor expansion of -1 in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.417 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.417 * [taylor]: Taking taylor expansion of -1 in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.417 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.417 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.417 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.417 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.417 * [taylor]: Taking taylor expansion of -1 in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.417 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.417 * [taylor]: Taking taylor expansion of -1 in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.420 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.420 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in (x) around 0
0.420 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x
0.420 * [taylor]: Taking taylor expansion of 1.0 in x
0.420 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.420 * [taylor]: Taking taylor expansion of (tan x) in x
0.420 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.420 * [taylor]: Taking taylor expansion of (sin x) in x
0.420 * [taylor]: Taking taylor expansion of x in x
0.420 * [taylor]: Taking taylor expansion of (cos x) in x
0.420 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x
0.422 * [taylor]: Taking taylor expansion of 1.0 in x
0.422 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.422 * [taylor]: Taking taylor expansion of (tan x) in x
0.422 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.422 * [taylor]: Taking taylor expansion of (sin x) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of (cos x) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.423 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0
0.423 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x
0.423 * [taylor]: Taking taylor expansion of 1.0 in x
0.423 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.423 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.423 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.423 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x
0.424 * [taylor]: Taking taylor expansion of 1.0 in x
0.424 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.424 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.424 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.424 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.427 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0
0.427 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x
0.427 * [taylor]: Taking taylor expansion of 1.0 in x
0.427 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.427 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.427 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.427 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.427 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.427 * [taylor]: Taking taylor expansion of -1 in x
0.427 * [taylor]: Taking taylor expansion of x in x
0.428 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.428 * [taylor]: Taking taylor expansion of -1 in x
0.428 * [taylor]: Taking taylor expansion of x in x
0.428 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x
0.428 * [taylor]: Taking taylor expansion of 1.0 in x
0.428 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.428 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.428 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.428 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.428 * [taylor]: Taking taylor expansion of -1 in x
0.428 * [taylor]: Taking taylor expansion of x in x
0.428 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.428 * [taylor]: Taking taylor expansion of -1 in x
0.428 * [taylor]: Taking taylor expansion of x in x
0.431 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.431 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0
0.431 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x
0.431 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x
0.431 * [taylor]: Taking taylor expansion of 1.0 in x
0.431 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.431 * [taylor]: Taking taylor expansion of (tan x) in x
0.431 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.431 * [taylor]: Taking taylor expansion of (sin x) in x
0.431 * [taylor]: Taking taylor expansion of x in x
0.431 * [taylor]: Taking taylor expansion of (cos x) in x
0.431 * [taylor]: Taking taylor expansion of x in x
0.431 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x
0.431 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.432 * [taylor]: Taking taylor expansion of (tan x) in x
0.432 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.432 * [taylor]: Taking taylor expansion of (sin x) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of (cos x) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of 1.0 in x
0.432 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x
0.432 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x
0.432 * [taylor]: Taking taylor expansion of 1.0 in x
0.432 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.432 * [taylor]: Taking taylor expansion of (tan x) in x
0.432 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.432 * [taylor]: Taking taylor expansion of (sin x) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of (cos x) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x
0.432 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.432 * [taylor]: Taking taylor expansion of (tan x) in x
0.432 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.432 * [taylor]: Taking taylor expansion of (sin x) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of (cos x) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of 1.0 in x
0.434 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0
0.434 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x
0.434 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x
0.434 * [taylor]: Taking taylor expansion of 1.0 in x
0.434 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.434 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.434 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.434 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x
0.434 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.434 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.434 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.434 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.435 * [taylor]: Taking taylor expansion of 1.0 in x
0.435 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x
0.436 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x
0.436 * [taylor]: Taking taylor expansion of 1.0 in x
0.436 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.436 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.436 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.436 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x
0.436 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.436 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.436 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.436 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of 1.0 in x
0.448 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0
0.448 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x
0.448 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x
0.448 * [taylor]: Taking taylor expansion of 1.0 in x
0.448 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.448 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.448 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.448 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.448 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.448 * [taylor]: Taking taylor expansion of -1 in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.448 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.448 * [taylor]: Taking taylor expansion of -1 in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x
0.449 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.449 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.449 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.449 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.449 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.449 * [taylor]: Taking taylor expansion of -1 in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.449 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.449 * [taylor]: Taking taylor expansion of -1 in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of 1.0 in x
0.450 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x
0.450 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x
0.450 * [taylor]: Taking taylor expansion of 1.0 in x
0.450 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.450 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.450 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.450 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.450 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.450 * [taylor]: Taking taylor expansion of -1 in x
0.450 * [taylor]: Taking taylor expansion of x in x
0.450 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.450 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.450 * [taylor]: Taking taylor expansion of -1 in x
0.450 * [taylor]: Taking taylor expansion of x in x
0.450 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x
0.450 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.450 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.450 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.450 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.450 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.450 * [taylor]: Taking taylor expansion of -1 in x
0.450 * [taylor]: Taking taylor expansion of x in x
0.450 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.450 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.451 * [taylor]: Taking taylor expansion of -1 in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of 1.0 in x
0.463 * * * [progress]: simplifying candidates
0.464 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1 1)
  (* (tan x) (tan x))
  (+ 1 1)
  (+ (log (tan x)) (log (tan x)))
  (log (* (tan x) (tan x)))
  (exp (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x)))
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (* (sin x) (sin x))
  (* (cos x) (cos x))
  (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (cbrt (tan x)) (cbrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 1 1)
  (* (tan x) (tan x))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 2 1)
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (tan x) (sqrt (tan x)))
  (* (tan x) 1)
  (* (cbrt (tan x)) (tan x))
  (* (sqrt (tan x)) (tan x))
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (sin x) (tan x))
  (+ 1 1)
  (* (tan x) (tan x))
  (+ 1 1)
  (+ (log (tan x)) (log (tan x)))
  (log (* (tan x) (tan x)))
  (exp (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x)))
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (* (sin x) (sin x))
  (* (cos x) (cos x))
  (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (cbrt (tan x)) (cbrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 1 1)
  (* (tan x) (tan x))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 2 1)
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (tan x) (sqrt (tan x)))
  (* (tan x) 1)
  (* (cbrt (tan x)) (tan x))
  (* (sqrt (tan x)) (tan x))
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (sin x) (tan x))
  (/ (exp 1.0) (exp (* (tan x) (tan x))))
  (log (- 1.0 (* (tan x) (tan x))))
  (exp (- 1.0 (* (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))))
  (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))
  (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x)))))
  (neg (* (tan x) (tan x)))
  (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))
  (+ 1.0 (* (tan x) (tan x)))
  (+ (sqrt 1.0) (tan x))
  (- (sqrt 1.0) (tan x))
  (neg (* (tan x) (tan x)))
  (- (log (- 1.0 (* (tan x) (tan x)))) (log (+ 1.0 (* (tan x) (tan x)))))
  (log (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (/ (* (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))) (* (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))))
  (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 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)))) (/ (- 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))) (+ 1.0 (* (tan x) (tan x)))))
  (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (neg (- 1.0 (* (tan x) (tan x))))
  (neg (+ 1.0 (* (tan x) (tan x))))
  (/ 1.0 (+ 1.0 (* (tan x) (tan x))))
  (/ (* (tan x) (tan x)) (+ 1.0 (* (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)))) (cbrt (+ 1.0 (* (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)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) 1)
  (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 1)
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 1)
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- (sqrt 1.0) (tan x)) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) 1)
  (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))
  (/ (- 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))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- 1.0 (* (tan x) (tan x))) 1)
  (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x)))))
  (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 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)))
  (/ (- 1.0 (* (tan x) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3)))
  (/ (- 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))))
  (* (+ 1.0 (* (tan x) (tan x))) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x))))))
  (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4))))
  (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))
  (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))
  (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2)))
  (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
  (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
0.470 * * [simplify]: iteration  0 :  314  enodes  (cost  909 )
0.476 * * [simplify]: iteration  1 :  1157  enodes  (cost  838 )
0.500 * * [simplify]: iteration  2 :  5001  enodes  (cost  824 )
0.505 * [simplify]: Simplified to:
   2
  (* (tan x) (tan x))
  2
  (* 2 (log (tan x)))
  (* 2 (log (tan x)))
  (exp (* (tan x) (tan x)))
  (pow (tan x) 6)
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (pow (tan x) 6)
  (fabs (tan x))
  (fabs (tan x))
  (pow (sin x) 2)
  (pow (cos x) 2)
  (pow (cbrt (tan x)) 4)
  (* (cbrt (tan x)) (cbrt (tan x)))
  (tan x)
  (tan x)
  1
  (* (tan x) (tan x))
  (tan x)
  (tan x)
  2
  (* (pow (cbrt (tan x)) 4) (cbrt (tan x)))
  (pow (sqrt (tan x)) 3)
  (tan x)
  (pow (cbrt (tan x)) 4)
  (pow (sqrt (tan x)) 3)
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (tan x) (sin x))
  2
  (* (tan x) (tan x))
  2
  (* 2 (log (tan x)))
  (* 2 (log (tan x)))
  (exp (* (tan x) (tan x)))
  (pow (tan x) 6)
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (pow (tan x) 6)
  (fabs (tan x))
  (fabs (tan x))
  (pow (sin x) 2)
  (pow (cos x) 2)
  (pow (cbrt (tan x)) 4)
  (* (cbrt (tan x)) (cbrt (tan x)))
  (tan x)
  (tan x)
  1
  (* (tan x) (tan x))
  (tan x)
  (tan x)
  2
  (* (pow (cbrt (tan x)) 4) (cbrt (tan x)))
  (pow (sqrt (tan x)) 3)
  (tan x)
  (pow (cbrt (tan x)) 4)
  (pow (sqrt (tan x)) 3)
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (tan x) (sin x))
  (exp (- 1.0 (* (tan x) (tan x))))
  (log (- 1.0 (* (tan x) (tan x))))
  (exp (- 1.0 (* (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))))
  (pow (- 1.0 (* (tan x) (tan x))) 3)
  (sqrt (- 1.0 (* (tan x) (tan x))))
  (sqrt (- 1.0 (* (tan x) (tan x))))
  (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))
  (+ (* (* (tan x) (tan x)) (+ (* (tan x) (tan x)) 1.0)) (* 1.0 1.0))
  (neg (* (tan x) (tan x)))
  (- (/ (* 1.0 1.0) 1) (/ (pow (tan x) 4) 1))
  (+ 1.0 (* (tan x) (tan x)))
  (+ (sqrt 1.0) (tan x))
  (- (sqrt 1.0) (tan x))
  (neg (* (tan x) (tan x)))
  (log (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (log (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (pow (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 3)
  (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))
  (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (pow (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 3)
  (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (neg (- 1.0 (* (tan x) (tan x))))
  (neg (+ 1.0 (* (tan x) (tan x))))
  (/ 1.0 (+ 1.0 (* (tan x) (tan x))))
  (/ (* (tan x) (tan x)) (+ 1.0 (* (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)))) (cbrt (+ 1.0 (* (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)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (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))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (sqrt (- 1.0 (* (tan x) (tan x))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  1
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- (sqrt 1.0) (tan x)) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (+ (sqrt 1.0) (tan x))
  (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))
  (/ (- 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))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (- 1.0 (* (tan x) (tan x)))
  (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x)))))
  (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 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)))
  (/ (- 1.0 (* (tan x) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3)))
  (/ (- 1.0 (* (tan x) (tan x))) (- (/ (* 1.0 1.0) 1) (/ (pow (tan x) 4) 1)))
  (* (+ (* (* (tan x) (tan x)) (+ (* (tan x) (tan x)) 1.0)) (* 1.0 1.0)) (+ 1.0 (* (tan x) (tan x))))
  (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4))))
  (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))
  (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))
  (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2)))
  (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
  (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
0.506 * * * [progress]: adding candidates to table
0.879 * * [progress]: iteration 2 / 4
0.879 * * * [progress]: picking best candidate
0.915 * * * * [pick]: Picked  #<alt (λ (x) (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))>
0.916 * * * [progress]: localizing error
0.924 * * * [progress]: generating rewritten candidates
0.924 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.929 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.934 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.942 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.954 * * * [progress]: generating series expansions
0.954 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.954 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0
0.954 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.954 * [taylor]: Taking taylor expansion of (tan x) in x
0.954 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.954 * [taylor]: Taking taylor expansion of (sin x) in x
0.954 * [taylor]: Taking taylor expansion of x in x
0.954 * [taylor]: Taking taylor expansion of (cos x) in x
0.954 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.955 * [taylor]: Taking taylor expansion of (tan x) in x
0.955 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.955 * [taylor]: Taking taylor expansion of (sin x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (cos x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.957 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0
0.957 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.957 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.957 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.957 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.957 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.957 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.957 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.960 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0
0.960 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.960 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.960 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.960 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.960 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.960 * [taylor]: Taking taylor expansion of -1 in x
0.960 * [taylor]: Taking taylor expansion of x in x
0.960 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.960 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.960 * [taylor]: Taking taylor expansion of -1 in x
0.960 * [taylor]: Taking taylor expansion of x in x
0.960 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.960 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.960 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.960 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.960 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.960 * [taylor]: Taking taylor expansion of -1 in x
0.960 * [taylor]: Taking taylor expansion of x in x
0.960 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.960 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.960 * [taylor]: Taking taylor expansion of -1 in x
0.960 * [taylor]: Taking taylor expansion of x in x
0.963 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.963 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0
0.963 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.963 * [taylor]: Taking taylor expansion of (tan x) in x
0.963 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.963 * [taylor]: Taking taylor expansion of (sin x) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of (cos x) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.963 * [taylor]: Taking taylor expansion of (tan x) in x
0.963 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.963 * [taylor]: Taking taylor expansion of (sin x) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of (cos x) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.965 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0
0.965 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.965 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.965 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.965 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.965 * [taylor]: Taking taylor expansion of x in x
0.965 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.965 * [taylor]: Taking taylor expansion of x in x
0.966 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.966 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.966 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.966 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.968 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0
0.968 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.968 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.969 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.969 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.969 * [taylor]: Taking taylor expansion of -1 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.969 * [taylor]: Taking taylor expansion of -1 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.969 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.969 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.969 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.969 * [taylor]: Taking taylor expansion of -1 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.969 * [taylor]: Taking taylor expansion of -1 in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.972 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.972 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0
0.972 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x
0.972 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x
0.972 * [taylor]: Taking taylor expansion of 1.0 in x
0.972 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.972 * [taylor]: Taking taylor expansion of (tan x) in x
0.972 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.972 * [taylor]: Taking taylor expansion of (sin x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of (cos x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x
0.972 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.972 * [taylor]: Taking taylor expansion of (tan x) in x
0.972 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.972 * [taylor]: Taking taylor expansion of (sin x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of (cos x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of 1.0 in x
0.972 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x
0.972 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x
0.972 * [taylor]: Taking taylor expansion of 1.0 in x
0.972 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.973 * [taylor]: Taking taylor expansion of (tan x) in x
0.973 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.973 * [taylor]: Taking taylor expansion of (sin x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (cos x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x
0.973 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
0.973 * [taylor]: Taking taylor expansion of (tan x) in x
0.973 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.973 * [taylor]: Taking taylor expansion of (sin x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (cos x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of 1.0 in x
0.974 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0
0.974 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x
0.975 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x
0.975 * [taylor]: Taking taylor expansion of 1.0 in x
0.975 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.975 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.975 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.975 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x
0.975 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.975 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.975 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.975 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of 1.0 in x
0.976 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x
0.976 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x
0.976 * [taylor]: Taking taylor expansion of 1.0 in x
0.976 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.976 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.976 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.976 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.976 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x
0.977 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
0.977 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.977 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.977 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of 1.0 in x
0.989 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0
0.989 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x
0.989 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x
0.989 * [taylor]: Taking taylor expansion of 1.0 in x
0.989 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.989 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.989 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.989 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.989 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.989 * [taylor]: Taking taylor expansion of -1 in x
0.989 * [taylor]: Taking taylor expansion of x in x
0.989 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.989 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.989 * [taylor]: Taking taylor expansion of -1 in x
0.989 * [taylor]: Taking taylor expansion of x in x
0.989 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x
0.989 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.989 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.990 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.990 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.990 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.990 * [taylor]: Taking taylor expansion of -1 in x
0.990 * [taylor]: Taking taylor expansion of x in x
0.990 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.990 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.990 * [taylor]: Taking taylor expansion of -1 in x
0.990 * [taylor]: Taking taylor expansion of x in x
0.990 * [taylor]: Taking taylor expansion of 1.0 in x
0.991 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x
0.991 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x
0.991 * [taylor]: Taking taylor expansion of 1.0 in x
0.991 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.991 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.991 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.991 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.991 * [taylor]: Taking taylor expansion of -1 in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.991 * [taylor]: Taking taylor expansion of -1 in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x
0.991 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
0.991 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.991 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.991 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.991 * [taylor]: Taking taylor expansion of -1 in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.991 * [taylor]: Taking taylor expansion of -1 in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.992 * [taylor]: Taking taylor expansion of 1.0 in x
1.004 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.004 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in (x) around 0
1.004 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x
1.004 * [taylor]: Taking taylor expansion of 1.0 in x
1.004 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
1.004 * [taylor]: Taking taylor expansion of (tan x) in x
1.004 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.004 * [taylor]: Taking taylor expansion of (sin x) in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.004 * [taylor]: Taking taylor expansion of (cos x) in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.004 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x
1.004 * [taylor]: Taking taylor expansion of 1.0 in x
1.004 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
1.004 * [taylor]: Taking taylor expansion of (tan x) in x
1.004 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.004 * [taylor]: Taking taylor expansion of (sin x) in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.004 * [taylor]: Taking taylor expansion of (cos x) in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.005 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0
1.005 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x
1.005 * [taylor]: Taking taylor expansion of 1.0 in x
1.005 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
1.005 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.005 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.005 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x
1.006 * [taylor]: Taking taylor expansion of 1.0 in x
1.006 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
1.006 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.006 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.006 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.009 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0
1.009 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x
1.009 * [taylor]: Taking taylor expansion of 1.0 in x
1.009 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
1.009 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.009 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.009 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.009 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.009 * [taylor]: Taking taylor expansion of -1 in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.009 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.009 * [taylor]: Taking taylor expansion of -1 in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x
1.009 * [taylor]: Taking taylor expansion of 1.0 in x
1.009 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
1.009 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.009 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.009 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.009 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.009 * [taylor]: Taking taylor expansion of -1 in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.010 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.010 * [taylor]: Taking taylor expansion of -1 in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.013 * * * [progress]: simplifying candidates
1.015 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1 1)
  (* (tan x) (tan x))
  (+ 1 1)
  (+ (log (tan x)) (log (tan x)))
  (log (* (tan x) (tan x)))
  (exp (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x)))
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (* (sin x) (sin x))
  (* (cos x) (cos x))
  (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (cbrt (tan x)) (cbrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 1 1)
  (* (tan x) (tan x))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 2 1)
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (tan x) (sqrt (tan x)))
  (* (tan x) 1)
  (* (cbrt (tan x)) (tan x))
  (* (sqrt (tan x)) (tan x))
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (sin x) (tan x))
  (+ 1 1)
  (* (tan x) (tan x))
  (+ 1 1)
  (+ (log (tan x)) (log (tan x)))
  (log (* (tan x) (tan x)))
  (exp (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x)))
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (* (sin x) (sin x))
  (* (cos x) (cos x))
  (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (cbrt (tan x)) (cbrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 1 1)
  (* (tan x) (tan x))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 2 1)
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (tan x) (sqrt (tan x)))
  (* (tan x) 1)
  (* (cbrt (tan x)) (tan x))
  (* (sqrt (tan x)) (tan x))
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (sin x) (tan x))
  (neg 1)
  (neg (- (log (+ 1.0 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x))))))
  (neg (log (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (- 0 (- (log (+ 1.0 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x))))))
  (- 0 (log (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (- (log 1) (- (log (+ 1.0 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x))))))
  (- (log 1) (log (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (log (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (exp (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ (* (* 1 1) 1) (/ (* (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (* (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x))))))
  (/ (* (* 1 1) 1) (* (* (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (* (cbrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))) (cbrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))))
  (cbrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (* (* (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))) (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))) (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (sqrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (sqrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (neg 1)
  (neg (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))))
  (/ (cbrt 1) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ (cbrt 1) (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ 1.0 (* (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)))))))
  (/ (cbrt 1) (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (cbrt 1) (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) 1))
  (/ (cbrt 1) (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (+ (sqrt 1.0) (tan x))))
  (/ (cbrt 1) (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))))
  (/ (cbrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (cbrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) 1))
  (/ (cbrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (+ (sqrt 1.0) (tan x))))
  (/ (cbrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))))
  (/ (cbrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (cbrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (+ (sqrt 1.0) (tan x))))
  (/ (cbrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ (* (cbrt 1) (cbrt 1)) (+ 1.0 (* (tan x) (tan x))))
  (/ (cbrt 1) (/ 1 (- 1.0 (* (tan x) (tan x)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))
  (/ (cbrt 1) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x))))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))))
  (/ (cbrt 1) (+ 1.0 (* (tan x) (tan x))))
  (/ (sqrt 1) (* (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))))
  (/ (sqrt 1) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (* (cbrt (+ 1.0 (* (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)))))))
  (/ (sqrt 1) (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) 1))
  (/ (sqrt 1) (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))
  (/ (sqrt 1) (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (+ (sqrt 1.0) (tan x))))
  (/ (sqrt 1) (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) 1))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (+ (sqrt 1.0) (tan x))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ (sqrt 1) (/ 1 (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))))
  (/ (sqrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ 1 (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ (sqrt 1) (/ 1 (+ (sqrt 1.0) (tan x))))
  (/ (sqrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ (sqrt 1) (+ 1.0 (* (tan x) (tan x))))
  (/ (sqrt 1) (/ 1 (- 1.0 (* (tan x) (tan x)))))
  (/ (sqrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))
  (/ (sqrt 1) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x))))))
  (/ (sqrt 1) (/ (+ 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))))
  (/ (sqrt 1) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (* (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))))
  (/ 1 (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* (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 (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) 1))
  (/ 1 (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (+ (sqrt 1.0) (tan x))))
  (/ 1 (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) 1))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (+ (sqrt 1.0) (tan x))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ 1 (/ 1 (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ 1 (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ 1 (+ (sqrt 1.0) (tan x))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
  (/ 1 1)
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (/ 1 (- 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))
  (/ 1 (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) 1)
  (/ 1 (* (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* (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 (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) 1))
  (/ 1 (/ (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (+ (sqrt 1.0) (tan x))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) 1))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (+ (sqrt 1.0) (tan x))))
  (/ 1 (/ 1 (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))))
  (/ 1 (/ 1 (sqrt (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 (+ (sqrt 1.0) (tan x))))
  (/ 1 1)
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))))
  (/ (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (cbrt 1))
  (/ (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (sqrt 1))
  (/ (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) 1)
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ (exp 1.0) (exp (* (tan x) (tan x))))
  (log (- 1.0 (* (tan x) (tan x))))
  (exp (- 1.0 (* (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))))
  (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))
  (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x)))))
  (neg (* (tan x) (tan x)))
  (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))
  (+ 1.0 (* (tan x) (tan x)))
  (+ (sqrt 1.0) (tan x))
  (- (sqrt 1.0) (tan x))
  (neg (* (tan x) (tan x)))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2)))
  (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
  (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
  (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4))))
  (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))
  (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))
1.025 * * [simplify]: iteration  0 :  545  enodes  (cost  2148 )
1.035 * * [simplify]: iteration  1 :  2567  enodes  (cost  1966 )
1.076 * * [simplify]: iteration  2 :  5001  enodes  (cost  1864 )
1.085 * [simplify]: Simplified to:
   2
  (* (tan x) (tan x))
  2
  (* 2 (log (tan x)))
  (* 2 (log (tan x)))
  (exp (* (tan x) (tan x)))
  (pow (tan x) 6)
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (pow (tan x) 6)
  (fabs (tan x))
  (fabs (tan x))
  (pow (sin x) 2)
  (pow (cos x) 2)
  (pow (cbrt (tan x)) 4)
  (* (cbrt (tan x)) (cbrt (tan x)))
  (tan x)
  (tan x)
  1
  (* (tan x) (tan x))
  (tan x)
  (tan x)
  2
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (pow (sqrt (tan x)) 3)
  (tan x)
  (pow (cbrt (tan x)) 4)
  (pow (sqrt (tan x)) 3)
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (tan x) (sin x))
  2
  (* (tan x) (tan x))
  2
  (* 2 (log (tan x)))
  (* 2 (log (tan x)))
  (exp (* (tan x) (tan x)))
  (pow (tan x) 6)
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (pow (tan x) 6)
  (fabs (tan x))
  (fabs (tan x))
  (pow (sin x) 2)
  (pow (cos x) 2)
  (pow (cbrt (tan x)) 4)
  (* (cbrt (tan x)) (cbrt (tan x)))
  (tan x)
  (tan x)
  1
  (* (tan x) (tan x))
  (tan x)
  (tan x)
  2
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (pow (sqrt (tan x)) 3)
  (tan x)
  (pow (cbrt (tan x)) 4)
  (pow (sqrt (tan x)) 3)
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (tan x) (sin x))
  -1
  (log (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (log (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (log (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (log (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (log (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (log (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (log (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (exp (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (pow (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) 3))
  (/ 1 (pow (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) 3))
  (* (cbrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))) (cbrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))))
  (cbrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (pow (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) 3))
  (sqrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (sqrt (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  -1
  (neg (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
  (/ (/ 1 (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (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)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (* 1 (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (sqrt (- 1.0 (* (tan x) (tan x))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))
  1
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (+ (sqrt 1.0) (tan x))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
  1
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (- 1.0 (* (tan x) (tan x)))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))
  (/ 1 (/ (+ (* (* (tan x) (tan x)) (+ (* (tan x) (tan x)) 1.0)) (* 1.0 1.0)) 1))
  (* (+ (* (neg (pow (tan x) 3)) (tan x)) (* 1.0 1.0)) (/ 1 (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ (/ 1 (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (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)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (* 1 (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (sqrt (- 1.0 (* (tan x) (tan x))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))
  1
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (+ (sqrt 1.0) (tan x))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
  1
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (- 1.0 (* (tan x) (tan x)))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))
  (/ 1 (/ (+ (* (* (tan x) (tan x)) (+ (* (tan x) (tan x)) 1.0)) (* 1.0 1.0)) 1))
  (* (+ (* (neg (pow (tan x) 3)) (tan x)) (* 1.0 1.0)) (/ 1 (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ (/ 1 (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (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)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (* 1 (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ 1 (/ (cbrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (sqrt (+ 1.0 (* (tan x) (tan x)))) (- (sqrt 1.0) (tan x))))
  (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x))))))
  (sqrt (- 1.0 (* (tan x) (tan x))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))
  1
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (+ (sqrt 1.0) (tan x))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))))
  1
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (- 1.0 (* (tan x) (tan x)))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))
  (/ 1 (/ (+ (* (* (tan x) (tan x)) (+ (* (tan x) (tan x)) 1.0)) (* 1.0 1.0)) 1))
  (* (+ (* (neg (pow (tan x) 3)) (tan x)) (* 1.0 1.0)) (/ 1 (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))
  (/ (/ 1 (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))) (cbrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))
  (/ 1 (sqrt (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (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)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (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))))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x)))))
  (sqrt (- 1.0 (* (tan x) (tan x))))
  1
  (+ (sqrt 1.0) (tan x))
  1
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))
  (* (+ (* (neg (pow (tan x) 3)) (tan x)) (* 1.0 1.0)) (/ 1 (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))
  (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))
  (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (exp (- 1.0 (* (tan x) (tan x))))
  (log (- 1.0 (* (tan x) (tan x))))
  (exp (- 1.0 (* (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))))
  (pow (- 1.0 (* (tan x) (tan x))) 3)
  (sqrt (- 1.0 (* (tan x) (tan x))))
  (sqrt (- 1.0 (* (tan x) (tan x))))
  (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))
  (+ (* (* (tan x) (tan x)) (+ (* (tan x) (tan x)) 1.0)) (* 1.0 1.0))
  (neg (* (tan x) (tan x)))
  (+ (* (neg (pow (tan x) 3)) (tan x)) (* 1.0 1.0))
  (+ 1.0 (* (tan x) (tan x)))
  (+ (sqrt 1.0) (tan x))
  (- (sqrt 1.0) (tan x))
  (neg (* (tan x) (tan x)))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2)))
  (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
  (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
  (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4))))
  (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))
  (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))
1.087 * * * [progress]: adding candidates to table
1.570 * * [progress]: iteration 3 / 4
1.570 * * * [progress]: picking best candidate
1.607 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))>
1.607 * * * [progress]: localizing error
1.617 * * * [progress]: generating rewritten candidates
1.617 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.622 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.633 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.637 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.653 * * * [progress]: generating series expansions
1.653 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.653 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0
1.653 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
1.653 * [taylor]: Taking taylor expansion of (tan x) in x
1.653 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.653 * [taylor]: Taking taylor expansion of (sin x) in x
1.653 * [taylor]: Taking taylor expansion of x in x
1.653 * [taylor]: Taking taylor expansion of (cos x) in x
1.653 * [taylor]: Taking taylor expansion of x in x
1.654 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
1.654 * [taylor]: Taking taylor expansion of (tan x) in x
1.654 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.654 * [taylor]: Taking taylor expansion of (sin x) in x
1.654 * [taylor]: Taking taylor expansion of x in x
1.654 * [taylor]: Taking taylor expansion of (cos x) in x
1.654 * [taylor]: Taking taylor expansion of x in x
1.656 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0
1.656 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
1.656 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.656 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.656 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
1.656 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.656 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.656 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.659 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0
1.659 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
1.659 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.659 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.659 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.659 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.659 * [taylor]: Taking taylor expansion of -1 in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.659 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.659 * [taylor]: Taking taylor expansion of -1 in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
1.659 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.659 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.659 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.659 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.659 * [taylor]: Taking taylor expansion of -1 in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.659 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.659 * [taylor]: Taking taylor expansion of -1 in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.662 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.662 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in (x) around 0
1.662 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x
1.662 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x
1.662 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.662 * [taylor]: Taking taylor expansion of 1.0 in x
1.663 * [taylor]: Taking taylor expansion of (tan x) in x
1.663 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.663 * [taylor]: Taking taylor expansion of (sin x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (cos x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x
1.663 * [taylor]: Taking taylor expansion of (tan x) in x
1.663 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.663 * [taylor]: Taking taylor expansion of (sin x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (cos x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.663 * [taylor]: Taking taylor expansion of 1.0 in x
1.663 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x
1.663 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x
1.663 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.663 * [taylor]: Taking taylor expansion of 1.0 in x
1.663 * [taylor]: Taking taylor expansion of (tan x) in x
1.663 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.663 * [taylor]: Taking taylor expansion of (sin x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (cos x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x
1.663 * [taylor]: Taking taylor expansion of (tan x) in x
1.664 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.664 * [taylor]: Taking taylor expansion of (sin x) in x
1.664 * [taylor]: Taking taylor expansion of x in x
1.664 * [taylor]: Taking taylor expansion of (cos x) in x
1.664 * [taylor]: Taking taylor expansion of x in x
1.664 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.664 * [taylor]: Taking taylor expansion of 1.0 in x
1.667 * [approximate]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in (x) around 0
1.667 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x
1.667 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x
1.667 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.667 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.667 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.667 * [taylor]: Taking taylor expansion of x in x
1.667 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.667 * [taylor]: Taking taylor expansion of x in x
1.667 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.667 * [taylor]: Taking taylor expansion of 1.0 in x
1.667 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x
1.667 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.667 * [taylor]: Taking taylor expansion of 1.0 in x
1.667 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.667 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.667 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.667 * [taylor]: Taking taylor expansion of x in x
1.667 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.668 * [taylor]: Taking taylor expansion of x in x
1.668 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x
1.668 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x
1.668 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.668 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.668 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.668 * [taylor]: Taking taylor expansion of x in x
1.668 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.668 * [taylor]: Taking taylor expansion of x in x
1.668 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.668 * [taylor]: Taking taylor expansion of 1.0 in x
1.668 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x
1.668 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.668 * [taylor]: Taking taylor expansion of 1.0 in x
1.668 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.668 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.668 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.668 * [taylor]: Taking taylor expansion of x in x
1.668 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.668 * [taylor]: Taking taylor expansion of x in x
1.674 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in (x) around 0
1.674 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x
1.674 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x
1.674 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.674 * [taylor]: Taking taylor expansion of 1.0 in x
1.674 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.674 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.674 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.674 * [taylor]: Taking taylor expansion of -1 in x
1.674 * [taylor]: Taking taylor expansion of x in x
1.674 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.674 * [taylor]: Taking taylor expansion of -1 in x
1.674 * [taylor]: Taking taylor expansion of x in x
1.674 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x
1.674 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.674 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.674 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.674 * [taylor]: Taking taylor expansion of -1 in x
1.674 * [taylor]: Taking taylor expansion of x in x
1.674 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.674 * [taylor]: Taking taylor expansion of -1 in x
1.674 * [taylor]: Taking taylor expansion of x in x
1.674 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.674 * [taylor]: Taking taylor expansion of 1.0 in x
1.675 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x
1.675 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x
1.675 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.675 * [taylor]: Taking taylor expansion of 1.0 in x
1.675 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.675 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.675 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.675 * [taylor]: Taking taylor expansion of -1 in x
1.675 * [taylor]: Taking taylor expansion of x in x
1.675 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.675 * [taylor]: Taking taylor expansion of -1 in x
1.675 * [taylor]: Taking taylor expansion of x in x
1.675 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x
1.675 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.675 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.675 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.675 * [taylor]: Taking taylor expansion of -1 in x
1.675 * [taylor]: Taking taylor expansion of x in x
1.675 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.675 * [taylor]: Taking taylor expansion of -1 in x
1.675 * [taylor]: Taking taylor expansion of x in x
1.675 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.675 * [taylor]: Taking taylor expansion of 1.0 in x
1.680 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.681 * [approximate]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in (x) around 0
1.681 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x
1.681 * [taylor]: Taking taylor expansion of (tan x) in x
1.681 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.681 * [taylor]: Taking taylor expansion of (sin x) in x
1.681 * [taylor]: Taking taylor expansion of x in x
1.681 * [taylor]: Taking taylor expansion of (cos x) in x
1.681 * [taylor]: Taking taylor expansion of x in x
1.681 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.681 * [taylor]: Taking taylor expansion of 1.0 in x
1.681 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x
1.681 * [taylor]: Taking taylor expansion of (tan x) in x
1.681 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.681 * [taylor]: Taking taylor expansion of (sin x) in x
1.681 * [taylor]: Taking taylor expansion of x in x
1.681 * [taylor]: Taking taylor expansion of (cos x) in x
1.681 * [taylor]: Taking taylor expansion of x in x
1.681 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.681 * [taylor]: Taking taylor expansion of 1.0 in x
1.682 * [approximate]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in (x) around 0
1.682 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x
1.682 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.682 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.682 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.682 * [taylor]: Taking taylor expansion of x in x
1.682 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.682 * [taylor]: Taking taylor expansion of x in x
1.682 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.682 * [taylor]: Taking taylor expansion of 1.0 in x
1.682 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x
1.682 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.683 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.683 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.683 * [taylor]: Taking taylor expansion of x in x
1.683 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.683 * [taylor]: Taking taylor expansion of x in x
1.683 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.683 * [taylor]: Taking taylor expansion of 1.0 in x
1.687 * [approximate]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in (x) around 0
1.687 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x
1.687 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.688 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.688 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.688 * [taylor]: Taking taylor expansion of -1 in x
1.688 * [taylor]: Taking taylor expansion of x in x
1.688 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.688 * [taylor]: Taking taylor expansion of -1 in x
1.688 * [taylor]: Taking taylor expansion of x in x
1.688 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.688 * [taylor]: Taking taylor expansion of 1.0 in x
1.688 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x
1.688 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.688 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.688 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.688 * [taylor]: Taking taylor expansion of -1 in x
1.688 * [taylor]: Taking taylor expansion of x in x
1.688 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.688 * [taylor]: Taking taylor expansion of -1 in x
1.688 * [taylor]: Taking taylor expansion of x in x
1.688 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.688 * [taylor]: Taking taylor expansion of 1.0 in x
1.691 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.691 * [approximate]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (+ (pow (tan x) 2) 1.0)) in (x) around 0
1.691 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (+ (pow (tan x) 2) 1.0)) in x
1.691 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x
1.691 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x
1.691 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.691 * [taylor]: Taking taylor expansion of 1.0 in x
1.691 * [taylor]: Taking taylor expansion of (tan x) in x
1.691 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.691 * [taylor]: Taking taylor expansion of (sin x) in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.691 * [taylor]: Taking taylor expansion of (cos x) in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.691 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x
1.691 * [taylor]: Taking taylor expansion of (tan x) in x
1.691 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.691 * [taylor]: Taking taylor expansion of (sin x) in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.691 * [taylor]: Taking taylor expansion of (cos x) in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.692 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.692 * [taylor]: Taking taylor expansion of 1.0 in x
1.692 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x
1.692 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
1.692 * [taylor]: Taking taylor expansion of (tan x) in x
1.692 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.692 * [taylor]: Taking taylor expansion of (sin x) in x
1.692 * [taylor]: Taking taylor expansion of x in x
1.692 * [taylor]: Taking taylor expansion of (cos x) in x
1.692 * [taylor]: Taking taylor expansion of x in x
1.692 * [taylor]: Taking taylor expansion of 1.0 in x
1.692 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (+ (pow (tan x) 2) 1.0)) in x
1.692 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x
1.692 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x
1.692 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.692 * [taylor]: Taking taylor expansion of 1.0 in x
1.692 * [taylor]: Taking taylor expansion of (tan x) in x
1.692 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.692 * [taylor]: Taking taylor expansion of (sin x) in x
1.692 * [taylor]: Taking taylor expansion of x in x
1.692 * [taylor]: Taking taylor expansion of (cos x) in x
1.692 * [taylor]: Taking taylor expansion of x in x
1.692 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x
1.692 * [taylor]: Taking taylor expansion of (tan x) in x
1.692 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.692 * [taylor]: Taking taylor expansion of (sin x) in x
1.693 * [taylor]: Taking taylor expansion of x in x
1.693 * [taylor]: Taking taylor expansion of (cos x) in x
1.693 * [taylor]: Taking taylor expansion of x in x
1.693 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.693 * [taylor]: Taking taylor expansion of 1.0 in x
1.693 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x
1.693 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
1.693 * [taylor]: Taking taylor expansion of (tan x) in x
1.693 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.693 * [taylor]: Taking taylor expansion of (sin x) in x
1.693 * [taylor]: Taking taylor expansion of x in x
1.693 * [taylor]: Taking taylor expansion of (cos x) in x
1.693 * [taylor]: Taking taylor expansion of x in x
1.693 * [taylor]: Taking taylor expansion of 1.0 in x
1.697 * [approximate]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0
1.697 * [taylor]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x
1.697 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x
1.697 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x
1.697 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.697 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.697 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.697 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.698 * [taylor]: Taking taylor expansion of 1.0 in x
1.698 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x
1.698 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.698 * [taylor]: Taking taylor expansion of 1.0 in x
1.698 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.698 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.698 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x
1.698 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
1.698 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.698 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.698 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of 1.0 in x
1.699 * [taylor]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x
1.699 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x
1.699 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x
1.699 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.699 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.700 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.700 * [taylor]: Taking taylor expansion of 1.0 in x
1.700 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x
1.700 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.700 * [taylor]: Taking taylor expansion of 1.0 in x
1.700 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.700 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.700 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x
1.700 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
1.700 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.700 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.700 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.701 * [taylor]: Taking taylor expansion of 1.0 in x
1.715 * [approximate]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0
1.715 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x
1.715 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x
1.715 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x
1.715 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.715 * [taylor]: Taking taylor expansion of 1.0 in x
1.715 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.715 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.715 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.715 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.715 * [taylor]: Taking taylor expansion of -1 in x
1.715 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.715 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.715 * [taylor]: Taking taylor expansion of -1 in x
1.715 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x
1.715 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.715 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.715 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.715 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.715 * [taylor]: Taking taylor expansion of -1 in x
1.715 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.716 * [taylor]: Taking taylor expansion of -1 in x
1.716 * [taylor]: Taking taylor expansion of x in x
1.716 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.716 * [taylor]: Taking taylor expansion of 1.0 in x
1.716 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x
1.716 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
1.716 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.716 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.716 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.716 * [taylor]: Taking taylor expansion of -1 in x
1.716 * [taylor]: Taking taylor expansion of x in x
1.716 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.716 * [taylor]: Taking taylor expansion of -1 in x
1.716 * [taylor]: Taking taylor expansion of x in x
1.716 * [taylor]: Taking taylor expansion of 1.0 in x
1.717 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x
1.717 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x
1.717 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x
1.717 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.717 * [taylor]: Taking taylor expansion of 1.0 in x
1.717 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.717 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.717 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.717 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.717 * [taylor]: Taking taylor expansion of -1 in x
1.717 * [taylor]: Taking taylor expansion of x in x
1.717 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.717 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.717 * [taylor]: Taking taylor expansion of -1 in x
1.717 * [taylor]: Taking taylor expansion of x in x
1.717 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x
1.718 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.718 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.718 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.718 * [taylor]: Taking taylor expansion of -1 in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.718 * [taylor]: Taking taylor expansion of -1 in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.718 * [taylor]: Taking taylor expansion of 1.0 in x
1.718 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x
1.718 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
1.718 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.718 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.718 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.718 * [taylor]: Taking taylor expansion of -1 in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.718 * [taylor]: Taking taylor expansion of -1 in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [taylor]: Taking taylor expansion of 1.0 in x
1.732 * * * [progress]: simplifying candidates
1.734 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1 1)
  (* (tan x) (tan x))
  (+ 1 1)
  (+ (log (tan x)) (log (tan x)))
  (log (* (tan x) (tan x)))
  (exp (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x)))
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (* (sin x) (sin x))
  (* (cos x) (cos x))
  (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (cbrt (tan x)) (cbrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 1 1)
  (* (tan x) (tan x))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 2 1)
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (tan x) (sqrt (tan x)))
  (* (tan x) 1)
  (* (cbrt (tan x)) (tan x))
  (* (sqrt (tan x)) (tan x))
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (sin x) (tan x))
  (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))
  (+ (log (+ (sqrt 1.0) (tan x))) (log (- (sqrt 1.0) (tan x))))
  (log (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (exp (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (* (* (* (+ (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))))
  (* (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))))
  (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (* (* (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (sqrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (sqrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)))
  (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))))
  (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))))
  (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (+ (sqrt 1.0) (tan x)))
  (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)))
  (* (- (sqrt 1.0) (tan x)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))))
  (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))))
  (* (- (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x)))
  (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))))
  (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))))
  (* (+ (sqrt 1.0) (tan x)) (sqrt 1.0))
  (* (+ (sqrt 1.0) (tan x)) (neg (tan x)))
  (* (+ (sqrt 1.0) (tan x)) (sqrt 1.0))
  (* (+ (sqrt 1.0) (tan x)) (neg (tan x)))
  (* (sqrt 1.0) (+ (sqrt 1.0) (tan x)))
  (* (neg (tan x)) (+ (sqrt 1.0) (tan x)))
  (* (sqrt 1.0) (+ (sqrt 1.0) (tan x)))
  (* (neg (tan x)) (+ (sqrt 1.0) (tan x)))
  (* (+ (sqrt 1.0) (tan x)) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))))
  (* (+ (sqrt 1.0) (tan x)) (sqrt (- (sqrt 1.0) (tan x))))
  (* (+ (sqrt 1.0) (tan x)) 1)
  (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))))
  (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))))
  (* (+ (sqrt 1.0) (tan x)) 1)
  (* (cbrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x)))
  (* (sqrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x)))
  (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))
  (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))
  (* (+ (sqrt 1.0) (tan x)) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)))
  (* (+ (sqrt 1.0) (tan x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))))
  (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- (sqrt 1.0) (tan x)))
  (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)))
  (* (exp (sqrt 1.0)) (exp (tan x)))
  (log (+ (sqrt 1.0) (tan x)))
  (exp (+ (sqrt 1.0) (tan x)))
  (* (cbrt (+ (sqrt 1.0) (tan x))) (cbrt (+ (sqrt 1.0) (tan x))))
  (cbrt (+ (sqrt 1.0) (tan x)))
  (* (* (+ (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x)))
  (sqrt (+ (sqrt 1.0) (tan x)))
  (sqrt (+ (sqrt 1.0) (tan x)))
  (+ (pow (sqrt 1.0) 3) (pow (tan x) 3))
  (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x))))
  (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x)))
  (- (sqrt 1.0) (tan x))
  (+ (sqrt 1.0) (tan x))
  (- (+ (log (+ (sqrt 1.0) (tan x))) (log (- (sqrt 1.0) (tan x)))) (log (+ 1.0 (* (tan x) (tan x)))))
  (- (log (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (log (+ 1.0 (* (tan x) (tan x)))))
  (log (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (exp (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (/ (* (* (* (+ (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (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)) (- (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (* (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))))
  (* (cbrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x))))))
  (cbrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (* (* (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (sqrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (sqrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (neg (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (neg (+ 1.0 (* (tan x) (tan x))))
  (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- (sqrt 1.0) (tan x)) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) 1)
  (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ (+ 1.0 (* (tan x) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) 1)
  (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)))
  (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3)))
  (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))))
  (* (+ 1.0 (* (tan x) (tan x))) (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x))))))
  (* (+ 1.0 (* (tan x) (tan x))) (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (+ (sqrt 1.0) (tan x))))
  (* (+ 1.0 (* (tan x) (tan x))) (* (- (sqrt 1.0) (tan x)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x))))))
  (* (+ 1.0 (* (tan x) (tan x))) (* (- (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x))))
  (* (+ 1.0 (* (tan x) (tan x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))))
  (* (+ 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)))
  (* (+ 1.0 (* (tan x) (tan x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))))
  (* (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (- (pow (sqrt 1.0) 2) (+ (pow x 2) (* 2/3 (pow x 4))))
  (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x))))
  (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x))))
  (+ (* 1/3 (pow x 3)) (+ (sqrt 1.0) x))
  (+ (sqrt 1.0) (/ (sin x) (cos x)))
  (+ (sqrt 1.0) (/ (sin x) (cos x)))
  (- (+ (* 0.33333333333333337 (pow x 4)) (+ (* 0.33333333333333337 (* (pow x 4) (pow (sqrt 1.0) 2))) (* 1.0 (pow (sqrt 1.0) 2)))) (+ (* 1.0 (* (pow x 2) (pow (sqrt 1.0) 2))) (* 1.0 (pow x 2))))
  (/ (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
  (/ (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
1.741 * * [simplify]: iteration  0 :  517  enodes  (cost  1120 )
1.752 * * [simplify]: iteration  1 :  2851  enodes  (cost  938 )
1.805 * * [simplify]: iteration  2 :  5001  enodes  (cost  923 )
1.810 * [simplify]: Simplified to:
   2
  (* (tan x) (tan x))
  2
  (* 2 (log (tan x)))
  (* 2 (log (tan x)))
  (exp (* (tan x) (tan x)))
  (pow (tan x) 6)
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (pow (tan x) 6)
  (fabs (tan x))
  (fabs (tan x))
  (pow (sin x) 2)
  (pow (cos x) 2)
  (pow (cbrt (tan x)) 4)
  (* (cbrt (tan x)) (cbrt (tan x)))
  (tan x)
  (tan x)
  1
  (* (tan x) (tan x))
  (tan x)
  (tan x)
  2
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (pow (sqrt (tan x)) 3)
  (tan x)
  (pow (cbrt (tan x)) 4)
  (pow (sqrt (tan x)) 3)
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (tan x) (sin x))
  (- 1.0 (* (tan x) (tan x)))
  (log (- 1.0 (* (tan x) (tan x))))
  (log (- 1.0 (* (tan x) (tan x))))
  (exp (- 1.0 (* (tan x) (tan x))))
  (pow (- 1.0 (* (tan x) (tan x))) 3)
  (* (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))))
  (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (pow (- 1.0 (* (tan x) (tan x))) 3)
  (sqrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (sqrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))
  (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)))
  (* (+ (* (tan x) (+ (tan x) (sqrt 1.0))) 1.0) (+ (* (tan x) (- (tan x) (sqrt 1.0))) 1.0))
  (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- 1.0 (* (tan x) (tan x))))
  (* (+ (sqrt 1.0) (tan x)) (+ (* (tan x) (- (tan x) (sqrt 1.0))) 1.0))
  (* (- 1.0 (* (tan x) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)))
  (* (+ (* (tan x) (+ (tan x) (sqrt 1.0))) 1.0) (- (sqrt 1.0) (tan x)))
  (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))
  (- 1.0 (* (tan x) (tan x)))
  (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))))
  (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))))
  (+ 1.0 (* (sqrt 1.0) (tan x)))
  (* (neg (tan x)) (+ (sqrt 1.0) (tan x)))
  (+ 1.0 (* (sqrt 1.0) (tan x)))
  (* (neg (tan x)) (+ (sqrt 1.0) (tan x)))
  (+ 1.0 (* (sqrt 1.0) (tan x)))
  (* (neg (tan x)) (+ (sqrt 1.0) (tan x)))
  (+ 1.0 (* (sqrt 1.0) (tan x)))
  (* (neg (tan x)) (+ (sqrt 1.0) (tan x)))
  (* (+ (sqrt 1.0) (tan x)) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))))
  (* (+ (sqrt 1.0) (tan x)) (sqrt (- (sqrt 1.0) (tan x))))
  (+ (sqrt 1.0) (tan x))
  (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))))
  (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))))
  (+ (sqrt 1.0) (tan x))
  (* (cbrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x)))
  (* (sqrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x)))
  (- 1.0 (* (tan x) (tan x)))
  (- 1.0 (* (tan x) (tan x)))
  (* (+ (sqrt 1.0) (tan x)) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)))
  (* (- 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)))
  (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- (sqrt 1.0) (tan x)))
  (* (- (sqrt 1.0) (tan x)) (- 1.0 (* (tan x) (tan x))))
  (exp (+ (sqrt 1.0) (tan x)))
  (log (+ (sqrt 1.0) (tan x)))
  (exp (+ (sqrt 1.0) (tan x)))
  (* (cbrt (+ (sqrt 1.0) (tan x))) (cbrt (+ (sqrt 1.0) (tan x))))
  (cbrt (+ (sqrt 1.0) (tan x)))
  (pow (+ (sqrt 1.0) (tan x)) 3)
  (sqrt (+ (sqrt 1.0) (tan x)))
  (sqrt (+ (sqrt 1.0) (tan x)))
  (+ (pow (sqrt 1.0) 3) (pow (tan x) 3))
  (+ (* (tan x) (- (tan x) (sqrt 1.0))) 1.0)
  (- 1.0 (* (tan x) (tan x)))
  (- (sqrt 1.0) (tan x))
  (+ (sqrt 1.0) (tan x))
  (- (log (- 1.0 (* (tan x) (tan x)))) (log (+ 1.0 (* (tan x) (tan x)))))
  (- (log (- 1.0 (* (tan x) (tan x)))) (log (+ 1.0 (* (tan x) (tan x)))))
  (- (log (- 1.0 (* (tan x) (tan x)))) (log (+ 1.0 (* (tan x) (tan x)))))
  (exp (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (pow (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) 3))
  (/ 1 (pow (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) 3))
  (* (cbrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x))))))
  (cbrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (/ 1 (pow (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) 3))
  (sqrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (sqrt (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))
  (neg (- 1.0 (* (tan x) (tan x))))
  (neg (+ 1.0 (* (tan x) (tan x))))
  (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))))
  (/ (- (sqrt 1.0) (tan x)) (cbrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (+ (sqrt 1.0) (tan x))
  (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x))))
  (/ 1 (+ 1.0 (* (tan x) (tan x))))
  (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))
  (/ (/ (- 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))) (sqrt (+ 1.0 (* (tan x) (tan x)))))
  (- 1.0 (* (tan x) (tan x)))
  (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)))
  (/ (- 1.0 (* (tan x) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3)))
  (* (/ 1 (- (* 1.0 1.0) (pow (tan x) 4))) (- 1.0 (* (tan x) (tan x))))
  (* (* (+ (* (tan x) (+ (tan x) (sqrt 1.0))) 1.0) (+ (* (tan x) (- (tan x) (sqrt 1.0))) 1.0)) (+ 1.0 (* (tan x) (tan x))))
  (* (* (+ (sqrt 1.0) (tan x)) (+ (* (tan x) (- (tan x) (sqrt 1.0))) 1.0)) (+ 1.0 (* (tan x) (tan x))))
  (* (* (+ (* (tan x) (+ (tan x) (sqrt 1.0))) 1.0) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x))))
  (- (* 1.0 1.0) (pow (tan x) 4))
  (* (+ (* (tan x) (+ (tan x) (sqrt 1.0))) 1.0) (+ 1.0 (* (tan x) (tan x))))
  (* (+ 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)))
  (* (+ (* (tan x) (- (tan x) (sqrt 1.0))) 1.0) (+ 1.0 (* (tan x) (tan x))))
  (* (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)))
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (- (- 1.0 (pow x 2)) (* 2/3 (pow x 4)))
  (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x))))
  (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x))))
  (+ (* 1/3 (pow x 3)) (+ (sqrt 1.0) x))
  (+ (sqrt 1.0) (/ (sin x) (cos x)))
  (+ (sqrt 1.0) (/ (sin x) (cos x)))
  (+ (* 0.33333333333333337 (+ (pow x 4) (* 1.0 (pow x 4)))) (- (* 1.0 1.0) (* (+ 1.0 1) (* 1.0 (pow x 2)))))
  (/ (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
  (/ (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))
1.811 * * * [progress]: adding candidates to table
2.280 * * [progress]: iteration 4 / 4
2.281 * * * [progress]: picking best candidate
2.314 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))))>
2.314 * * * [progress]: localizing error
2.329 * * * [progress]: generating rewritten candidates
2.329 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
2.332 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.337 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
2.339 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.352 * * * [progress]: generating series expansions
2.352 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
2.352 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0
2.352 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.352 * [taylor]: Taking taylor expansion of (cos x) in x
2.352 * [taylor]: Taking taylor expansion of x in x
2.352 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.352 * [taylor]: Taking taylor expansion of (cos x) in x
2.352 * [taylor]: Taking taylor expansion of x in x
2.353 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0
2.353 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.353 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.353 * [taylor]: Taking taylor expansion of x in x
2.353 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.353 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.353 * [taylor]: Taking taylor expansion of x in x
2.354 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0
2.354 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.354 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.354 * [taylor]: Taking taylor expansion of -1 in x
2.354 * [taylor]: Taking taylor expansion of x in x
2.354 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.354 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.354 * [taylor]: Taking taylor expansion of -1 in x
2.354 * [taylor]: Taking taylor expansion of x in x
2.355 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.355 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0
2.355 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
2.355 * [taylor]: Taking taylor expansion of (tan x) in x
2.355 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.355 * [taylor]: Taking taylor expansion of (sin x) in x
2.355 * [taylor]: Taking taylor expansion of x in x
2.356 * [taylor]: Taking taylor expansion of (cos x) in x
2.356 * [taylor]: Taking taylor expansion of x in x
2.356 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x
2.356 * [taylor]: Taking taylor expansion of (tan x) in x
2.356 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.356 * [taylor]: Taking taylor expansion of (sin x) in x
2.356 * [taylor]: Taking taylor expansion of x in x
2.356 * [taylor]: Taking taylor expansion of (cos x) in x
2.356 * [taylor]: Taking taylor expansion of x in x
2.358 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0
2.358 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
2.358 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.358 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.358 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.358 * [taylor]: Taking taylor expansion of x in x
2.358 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.358 * [taylor]: Taking taylor expansion of x in x
2.358 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x
2.358 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.358 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.358 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.358 * [taylor]: Taking taylor expansion of x in x
2.358 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.358 * [taylor]: Taking taylor expansion of x in x
2.361 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0
2.361 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
2.361 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
2.361 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
2.361 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.361 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.361 * [taylor]: Taking taylor expansion of -1 in x
2.361 * [taylor]: Taking taylor expansion of x in x
2.361 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.361 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.361 * [taylor]: Taking taylor expansion of -1 in x
2.361 * [taylor]: Taking taylor expansion of x in x
2.362 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x
2.362 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
2.362 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
2.362 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.362 * [taylor]: Taking taylor expansion of -1 in x
2.362 * [taylor]: Taking taylor expansion of x in x
2.362 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.362 * [taylor]: Taking taylor expansion of -1 in x
2.362 * [taylor]: Taking taylor expansion of x in x
2.364 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
2.365 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0
2.365 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
2.365 * [taylor]: Taking taylor expansion of (sin x) in x
2.365 * [taylor]: Taking taylor expansion of x in x
2.365 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
2.365 * [taylor]: Taking taylor expansion of (sin x) in x
2.365 * [taylor]: Taking taylor expansion of x in x
2.366 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0
2.366 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
2.366 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.366 * [taylor]: Taking taylor expansion of x in x
2.366 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
2.366 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.366 * [taylor]: Taking taylor expansion of x in x
2.367 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0
2.367 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
2.367 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.367 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.367 * [taylor]: Taking taylor expansion of -1 in x
2.367 * [taylor]: Taking taylor expansion of x in x
2.367 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
2.367 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.367 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.367 * [taylor]: Taking taylor expansion of -1 in x
2.367 * [taylor]: Taking taylor expansion of x in x
2.368 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
2.368 * [approximate]: Taking taylor expansion of (/ (pow (sin x) 2) (pow (cos x) 2)) in (x) around 0
2.368 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (pow (cos x) 2)) in x
2.368 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
2.368 * [taylor]: Taking taylor expansion of (sin x) in x
2.368 * [taylor]: Taking taylor expansion of x in x
2.368 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.368 * [taylor]: Taking taylor expansion of (cos x) in x
2.368 * [taylor]: Taking taylor expansion of x in x
2.368 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (pow (cos x) 2)) in x
2.368 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
2.368 * [taylor]: Taking taylor expansion of (sin x) in x
2.368 * [taylor]: Taking taylor expansion of x in x
2.369 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.369 * [taylor]: Taking taylor expansion of (cos x) in x
2.369 * [taylor]: Taking taylor expansion of x in x
2.371 * [approximate]: Taking taylor expansion of (/ (pow (sin (/ 1 x)) 2) (pow (cos (/ 1 x)) 2)) in (x) around 0
2.371 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 x)) 2) (pow (cos (/ 1 x)) 2)) in x
2.371 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
2.371 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.371 * [taylor]: Taking taylor expansion of x in x
2.371 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.371 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.371 * [taylor]: Taking taylor expansion of x in x
2.371 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 x)) 2) (pow (cos (/ 1 x)) 2)) in x
2.374 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
2.374 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.374 * [taylor]: Taking taylor expansion of x in x
2.374 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.374 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.374 * [taylor]: Taking taylor expansion of x in x
2.378 * [approximate]: Taking taylor expansion of (/ (pow (sin (/ -1 x)) 2) (pow (cos (/ -1 x)) 2)) in (x) around 0
2.378 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 x)) 2) (pow (cos (/ -1 x)) 2)) in x
2.378 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
2.378 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.378 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.378 * [taylor]: Taking taylor expansion of -1 in x
2.378 * [taylor]: Taking taylor expansion of x in x
2.378 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.379 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.379 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.379 * [taylor]: Taking taylor expansion of -1 in x
2.379 * [taylor]: Taking taylor expansion of x in x
2.379 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 x)) 2) (pow (cos (/ -1 x)) 2)) in x
2.379 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
2.379 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.379 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.379 * [taylor]: Taking taylor expansion of -1 in x
2.379 * [taylor]: Taking taylor expansion of x in x
2.379 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.379 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.379 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.379 * [taylor]: Taking taylor expansion of -1 in x
2.379 * [taylor]: Taking taylor expansion of x in x
2.383 * * * [progress]: simplifying candidates
2.386 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log (cos x)) 2)
  (* (log (cos x)) 2)
  (* 1 2)
  (pow (cos x) (* (cbrt 2) (cbrt 2)))
  (pow (cos x) (sqrt 2))
  (pow (cos x) 1)
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 2)
  (pow (cbrt (cos x)) 2)
  (pow (sqrt (cos x)) 2)
  (pow (sqrt (cos x)) 2)
  (pow 1 2)
  (pow (cos x) 2)
  (log (pow (cos x) 2))
  (exp (pow (cos x) 2))
  (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2)))
  (cbrt (pow (cos x) 2))
  (* (* (pow (cos x) 2) (pow (cos x) 2)) (pow (cos x) 2))
  (sqrt (pow (cos x) 2))
  (sqrt (pow (cos x) 2))
  (pow (cos x) (/ 2 2))
  (pow (cos x) (/ 2 2))
  (+ 1 1)
  (* (tan x) (tan x))
  (+ 1 1)
  (+ (log (tan x)) (log (tan x)))
  (log (* (tan x) (tan x)))
  (exp (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x)))
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (sqrt (* (tan x) (tan x)))
  (* (sin x) (sin x))
  (* (cos x) (cos x))
  (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (cbrt (tan x)) (cbrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 1 1)
  (* (tan x) (tan x))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* (sqrt (tan x)) (sqrt (tan x)))
  (* 2 1)
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (* (tan x) (sqrt (tan x)))
  (* (tan x) 1)
  (* (cbrt (tan x)) (tan x))
  (* (sqrt (tan x)) (tan x))
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (sin x) (tan x))
  (* (log (sin x)) 2)
  (* (log (sin x)) 2)
  (* 1 2)
  (pow (sin x) (* (cbrt 2) (cbrt 2)))
  (pow (sin x) (sqrt 2))
  (pow (sin x) 1)
  (pow (* (cbrt (sin x)) (cbrt (sin x))) 2)
  (pow (cbrt (sin x)) 2)
  (pow (sqrt (sin x)) 2)
  (pow (sqrt (sin x)) 2)
  (pow 1 2)
  (pow (sin x) 2)
  (log (pow (sin x) 2))
  (exp (pow (sin x) 2))
  (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2)))
  (cbrt (pow (sin x) 2))
  (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2))
  (sqrt (pow (sin x) 2))
  (sqrt (pow (sin x) 2))
  (pow (sin x) (/ 2 2))
  (pow (sin x) (/ 2 2))
  (- (* (log (sin x)) 2) (* (log (cos x)) 2))
  (- (* (log (sin x)) 2) (* (log (cos x)) 2))
  (- (* (log (sin x)) 2) (log (pow (cos x) 2)))
  (- (* (log (sin x)) 2) (* (log (cos x)) 2))
  (- (* (log (sin x)) 2) (* (log (cos x)) 2))
  (- (* (log (sin x)) 2) (log (pow (cos x) 2)))
  (- (log (pow (sin x) 2)) (* (log (cos x)) 2))
  (- (log (pow (sin x) 2)) (* (log (cos x)) 2))
  (- (log (pow (sin x) 2)) (log (pow (cos x) 2)))
  (log (/ (pow (sin x) 2) (pow (cos x) 2)))
  (exp (/ (pow (sin x) 2) (pow (cos x) 2)))
  (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (pow (cos x) 2) (pow (cos x) 2)) (pow (cos x) 2)))
  (* (cbrt (/ (pow (sin x) 2) (pow (cos x) 2))) (cbrt (/ (pow (sin x) 2) (pow (cos x) 2))))
  (cbrt (/ (pow (sin x) 2) (pow (cos x) 2)))
  (* (* (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2))) (/ (pow (sin x) 2) (pow (cos x) 2)))
  (sqrt (/ (pow (sin x) 2) (pow (cos x) 2)))
  (sqrt (/ (pow (sin x) 2) (pow (cos x) 2)))
  (neg (pow (sin x) 2))
  (neg (pow (cos x) 2))
  (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (pow (cbrt (sin x)) 2) (pow (cbrt (cos x)) 2))
  (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow (sqrt (cos x)) 2))
  (/ (pow (cbrt (sin x)) 2) (pow (sqrt (cos x)) 2))
  (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow 1 2))
  (/ (pow (cbrt (sin x)) 2) (pow (cos x) 2))
  (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (cos x))
  (/ (pow (cbrt (sin x)) 2) (cos x))
  (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (cbrt (sin x)) 2) (cbrt (pow (cos x) 2)))
  (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (sqrt (pow (cos x) 2)))
  (/ (pow (cbrt (sin x)) 2) (sqrt (pow (cos x) 2)))
  (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) 1)
  (/ (pow (cbrt (sin x)) 2) (pow (cos x) 2))
  (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow (cos x) (/ 2 2)))
  (/ (pow (cbrt (sin x)) 2) (pow (cos x) (/ 2 2)))
  (/ (pow (sqrt (sin x)) 2) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (pow (sqrt (sin x)) 2) (pow (cbrt (cos x)) 2))
  (/ (pow (sqrt (sin x)) 2) (pow (sqrt (cos x)) 2))
  (/ (pow (sqrt (sin x)) 2) (pow (sqrt (cos x)) 2))
  (/ (pow (sqrt (sin x)) 2) (pow 1 2))
  (/ (pow (sqrt (sin x)) 2) (pow (cos x) 2))
  (/ (pow (sqrt (sin x)) 2) (cos x))
  (/ (pow (sqrt (sin x)) 2) (cos x))
  (/ (pow (sqrt (sin x)) 2) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (sqrt (sin x)) 2) (cbrt (pow (cos x) 2)))
  (/ (pow (sqrt (sin x)) 2) (sqrt (pow (cos x) 2)))
  (/ (pow (sqrt (sin x)) 2) (sqrt (pow (cos x) 2)))
  (/ (pow (sqrt (sin x)) 2) 1)
  (/ (pow (sqrt (sin x)) 2) (pow (cos x) 2))
  (/ (pow (sqrt (sin x)) 2) (pow (cos x) (/ 2 2)))
  (/ (pow (sqrt (sin x)) 2) (pow (cos x) (/ 2 2)))
  (/ (pow 1 2) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (pow (sin x) 2) (pow (cbrt (cos x)) 2))
  (/ (pow 1 2) (pow (sqrt (cos x)) 2))
  (/ (pow (sin x) 2) (pow (sqrt (cos x)) 2))
  (/ (pow 1 2) (pow 1 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow 1 2) (cos x))
  (/ (pow (sin x) 2) (cos x))
  (/ (pow 1 2) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (sin x) 2) (cbrt (pow (cos x) 2)))
  (/ (pow 1 2) (sqrt (pow (cos x) 2)))
  (/ (pow (sin x) 2) (sqrt (pow (cos x) 2)))
  (/ (pow 1 2) 1)
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow 1 2) (pow (cos x) (/ 2 2)))
  (/ (pow (sin x) 2) (pow (cos x) (/ 2 2)))
  (/ (sin x) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (sin x) (pow (cbrt (cos x)) 2))
  (/ (sin x) (pow (sqrt (cos x)) 2))
  (/ (sin x) (pow (sqrt (cos x)) 2))
  (/ (sin x) (pow 1 2))
  (/ (sin x) (pow (cos x) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (/ (sin x) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (sin x) (cbrt (pow (cos x) 2)))
  (/ (sin x) (sqrt (pow (cos x) 2)))
  (/ (sin x) (sqrt (pow (cos x) 2)))
  (/ (sin x) 1)
  (/ (sin x) (pow (cos x) 2))
  (/ (sin x) (pow (cos x) (/ 2 2)))
  (/ (sin x) (pow (cos x) (/ 2 2)))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (cbrt (pow (sin x) 2)) (pow (cbrt (cos x)) 2))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow (sqrt (cos x)) 2))
  (/ (cbrt (pow (sin x) 2)) (pow (sqrt (cos x)) 2))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow 1 2))
  (/ (cbrt (pow (sin x) 2)) (pow (cos x) 2))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cos x))
  (/ (cbrt (pow (sin x) 2)) (cos x))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (cbrt (pow (sin x) 2)) (cbrt (pow (cos x) 2)))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (sqrt (pow (cos x) 2)))
  (/ (cbrt (pow (sin x) 2)) (sqrt (pow (cos x) 2)))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) 1)
  (/ (cbrt (pow (sin x) 2)) (pow (cos x) 2))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow (cos x) (/ 2 2)))
  (/ (cbrt (pow (sin x) 2)) (pow (cos x) (/ 2 2)))
  (/ (sqrt (pow (sin x) 2)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (sqrt (pow (sin x) 2)) (pow (cbrt (cos x)) 2))
  (/ (sqrt (pow (sin x) 2)) (pow (sqrt (cos x)) 2))
  (/ (sqrt (pow (sin x) 2)) (pow (sqrt (cos x)) 2))
  (/ (sqrt (pow (sin x) 2)) (pow 1 2))
  (/ (sqrt (pow (sin x) 2)) (pow (cos x) 2))
  (/ (sqrt (pow (sin x) 2)) (cos x))
  (/ (sqrt (pow (sin x) 2)) (cos x))
  (/ (sqrt (pow (sin x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (sqrt (pow (sin x) 2)) (cbrt (pow (cos x) 2)))
  (/ (sqrt (pow (sin x) 2)) (sqrt (pow (cos x) 2)))
  (/ (sqrt (pow (sin x) 2)) (sqrt (pow (cos x) 2)))
  (/ (sqrt (pow (sin x) 2)) 1)
  (/ (sqrt (pow (sin x) 2)) (pow (cos x) 2))
  (/ (sqrt (pow (sin x) 2)) (pow (cos x) (/ 2 2)))
  (/ (sqrt (pow (sin x) 2)) (pow (cos x) (/ 2 2)))
  (/ 1 (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (pow (sin x) 2) (pow (cbrt (cos x)) 2))
  (/ 1 (pow (sqrt (cos x)) 2))
  (/ (pow (sin x) 2) (pow (sqrt (cos x)) 2))
  (/ 1 (pow 1 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ 1 (cos x))
  (/ (pow (sin x) 2) (cos x))
  (/ 1 (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (sin x) 2) (cbrt (pow (cos x) 2)))
  (/ 1 (sqrt (pow (cos x) 2)))
  (/ (pow (sin x) 2) (sqrt (pow (cos x) 2)))
  (/ 1 1)
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ 1 (pow (cos x) (/ 2 2)))
  (/ (pow (sin x) 2) (pow (cos x) (/ 2 2)))
  (/ (pow (sin x) (/ 2 2)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (pow (sin x) (/ 2 2)) (pow (cbrt (cos x)) 2))
  (/ (pow (sin x) (/ 2 2)) (pow (sqrt (cos x)) 2))
  (/ (pow (sin x) (/ 2 2)) (pow (sqrt (cos x)) 2))
  (/ (pow (sin x) (/ 2 2)) (pow 1 2))
  (/ (pow (sin x) (/ 2 2)) (pow (cos x) 2))
  (/ (pow (sin x) (/ 2 2)) (cos x))
  (/ (pow (sin x) (/ 2 2)) (cos x))
  (/ (pow (sin x) (/ 2 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (sin x) (/ 2 2)) (cbrt (pow (cos x) 2)))
  (/ (pow (sin x) (/ 2 2)) (sqrt (pow (cos x) 2)))
  (/ (pow (sin x) (/ 2 2)) (sqrt (pow (cos x) 2)))
  (/ (pow (sin x) (/ 2 2)) 1)
  (/ (pow (sin x) (/ 2 2)) (pow (cos x) 2))
  (/ (pow (sin x) (/ 2 2)) (pow (cos x) (/ 2 2)))
  (/ (pow (sin x) (/ 2 2)) (pow (cos x) (/ 2 2)))
  (/ 1 (pow (cos x) 2))
  (/ (pow (cos x) 2) (pow (sin x) 2))
  (/ (pow (sin x) 2) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))
  (/ (pow (sin x) 2) (pow (sqrt (cos x)) 2))
  (/ (pow (sin x) 2) (pow 1 2))
  (/ (pow (sin x) 2) (cos x))
  (/ (pow (sin x) 2) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (sin x) 2) (sqrt (pow (cos x) 2)))
  (/ (pow (sin x) 2) 1)
  (/ (pow (sin x) 2) (pow (cos x) (/ 2 2)))
  (/ (pow (cos x) 2) (pow (cbrt (sin x)) 2))
  (/ (pow (cos x) 2) (pow (sqrt (sin x)) 2))
  (/ (pow (cos x) 2) (pow (sin x) 2))
  (/ (pow (cos x) 2) (sin x))
  (/ (pow (cos x) 2) (cbrt (pow (sin x) 2)))
  (/ (pow (cos x) 2) (sqrt (pow (sin x) 2)))
  (/ (pow (cos x) 2) (pow (sin x) 2))
  (/ (pow (cos x) 2) (pow (sin x) (/ 2 2)))
  (- (+ (* 1/3 (pow x 4)) 1) (pow x 2))
  (pow (cos x) 2)
  (pow (cos x) 2)
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4)))
  (pow (sin x) 2)
  (pow (sin x) 2)
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
2.393 * * [simplify]: iteration  0 :  375  enodes  (cost  1244 )
2.400 * * [simplify]: iteration  1 :  1542  enodes  (cost  1063 )
2.424 * * [simplify]: iteration  2 :  5002  enodes  (cost  1029 )
2.431 * [simplify]: Simplified to:
   (log (pow (cos x) 2))
  (log (pow (cos x) 2))
  2
  (pow (cos x) (* (cbrt 2) (cbrt 2)))
  (pow (cos x) (sqrt 2))
  (cos x)
  (pow (cbrt (cos x)) 4)
  (pow (cbrt (cos x)) 2)
  (cos x)
  (cos x)
  1
  (pow (cos x) 2)
  (log (pow (cos x) 2))
  (exp (pow (cos x) 2))
  (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2)))
  (cbrt (pow (cos x) 2))
  (pow (pow (cos x) 2) 3)
  (fabs (cos x))
  (fabs (cos x))
  (cos x)
  (cos x)
  2
  (* (tan x) (tan x))
  2
  (* 2 (log (tan x)))
  (* 2 (log (tan x)))
  (exp (* (tan x) (tan x)))
  (pow (tan x) 6)
  (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))
  (cbrt (* (tan x) (tan x)))
  (pow (tan x) 6)
  (fabs (tan x))
  (fabs (tan x))
  (pow (sin x) 2)
  (pow (cos x) 2)
  (pow (cbrt (tan x)) 4)
  (* (cbrt (tan x)) (cbrt (tan x)))
  (tan x)
  (tan x)
  1
  (* (tan x) (tan x))
  (tan x)
  (tan x)
  2
  (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))
  (pow (sqrt (tan x)) 3)
  (tan x)
  (pow (cbrt (tan x)) 4)
  (pow (sqrt (tan x)) 3)
  (* (tan x) (tan x))
  (* (tan x) (sin x))
  (* (tan x) (sin x))
  (log (pow (sin x) 2))
  (log (pow (sin x) 2))
  2
  (pow (sin x) (* (cbrt 2) (cbrt 2)))
  (pow (sin x) (sqrt 2))
  (sin x)
  (pow (cbrt (sin x)) 4)
  (pow (cbrt (sin x)) 2)
  (sin x)
  (sin x)
  1
  (pow (sin x) 2)
  (log (pow (sin x) 2))
  (exp (pow (sin x) 2))
  (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2)))
  (cbrt (pow (sin x) 2))
  (pow (pow (sin x) 2) 3)
  (fabs (sin x))
  (fabs (sin x))
  (sin x)
  (sin x)
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (* 2 (- (log (sin x)) (log (cos x))))
  (exp (/ (pow (sin x) 2) (pow (cos x) 2)))
  (pow (/ (pow (sin x) 2) (pow (cos x) 2)) 3)
  (* (cbrt (/ (pow (sin x) 2) (pow (cos x) 2))) (cbrt (/ (pow (sin x) 2) (pow (cos x) 2))))
  (cbrt (/ (pow (sin x) 2) (pow (cos x) 2)))
  (pow (/ (pow (sin x) 2) (pow (cos x) 2)) 3)
  (fabs (/ (sin x) (cos x)))
  (fabs (/ (sin x) (cos x)))
  (neg (pow (sin x) 2))
  (neg (pow (cos x) 2))
  (/ (pow (cbrt (sin x)) 4) (* (pow (cbrt (cos x)) 4) 1))
  (/ (pow (cbrt (sin x)) 2) (pow (cbrt (cos x)) 2))
  (/ (pow (cbrt (sin x)) 4) (cos x))
  (/ (pow (cbrt (sin x)) 2) (cos x))
  (pow (cbrt (sin x)) 4)
  (/ (pow (cbrt (sin x)) 2) (pow (cos x) 2))
  (/ (pow (cbrt (sin x)) 4) (cos x))
  (/ (pow (cbrt (sin x)) 2) (cos x))
  (/ (pow (cbrt (sin x)) 4) (* (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) 1))
  (/ (pow (cbrt (sin x)) 2) (cbrt (pow (cos x) 2)))
  (/ (pow (cbrt (sin x)) 4) (* (fabs (cos x)) 1))
  (/ (pow (cbrt (sin x)) 2) (sqrt (pow (cos x) 2)))
  (pow (cbrt (sin x)) 4)
  (/ (pow (cbrt (sin x)) 2) (pow (cos x) 2))
  (/ (pow (cbrt (sin x)) 4) (cos x))
  (/ (pow (cbrt (sin x)) 2) (cos x))
  (/ (sin x) (pow (cbrt (cos x)) 4))
  (/ (sin x) (pow (cbrt (cos x)) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (sin x)
  (/ (sin x) (pow (cos x) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (/ (sin x) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (sin x) (cbrt (pow (cos x) 2)))
  (/ (sin x) (fabs (cos x)))
  (/ (sin x) (fabs (cos x)))
  (sin x)
  (/ (sin x) (pow (cos x) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (/ 1 (pow (cbrt (cos x)) 4))
  (/ (pow (sin x) 2) (pow (cbrt (cos x)) 2))
  (/ 1 (cos x))
  (/ (pow (sin x) 2) (cos x))
  1
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ 1 (cos x))
  (/ (pow (sin x) 2) (cos x))
  (/ 1 (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (sin x) 2) (cbrt (pow (cos x) 2)))
  (/ 1 (fabs (cos x)))
  (/ (pow (sin x) 2) (sqrt (pow (cos x) 2)))
  1
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ 1 (cos x))
  (/ (pow (sin x) 2) (cos x))
  (/ (sin x) (pow (cbrt (cos x)) 4))
  (/ (sin x) (pow (cbrt (cos x)) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (sin x)
  (/ (sin x) (pow (cos x) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (/ (sin x) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (sin x) (cbrt (pow (cos x) 2)))
  (/ (sin x) (fabs (cos x)))
  (/ (sin x) (fabs (cos x)))
  (sin x)
  (/ (sin x) (pow (cos x) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (* (/ (cbrt (pow (sin x) 2)) (pow (cbrt (cos x)) 4)) (cbrt (pow (sin x) 2)))
  (/ (cbrt (pow (sin x) 2)) (pow (cbrt (cos x)) 2))
  (/ (cbrt (pow (sin x) 2)) (/ (cos x) (cbrt (pow (sin x) 2))))
  (/ (cbrt (pow (sin x) 2)) (cos x))
  (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2)))
  (/ (cbrt (pow (sin x) 2)) (pow (cos x) 2))
  (/ (cbrt (pow (sin x) 2)) (/ (cos x) (cbrt (pow (sin x) 2))))
  (/ (cbrt (pow (sin x) 2)) (cos x))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (cbrt (pow (sin x) 2)) (cbrt (pow (cos x) 2)))
  (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (fabs (cos x)))
  (/ (/ (cbrt (pow (sin x) 2)) 1) (fabs (cos x)))
  (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2)))
  (/ (cbrt (pow (sin x) 2)) (pow (cos x) 2))
  (/ (cbrt (pow (sin x) 2)) (/ (cos x) (cbrt (pow (sin x) 2))))
  (/ (cbrt (pow (sin x) 2)) (cos x))
  (/ (fabs (sin x)) (pow (cbrt (cos x)) 4))
  (/ (fabs (sin x)) (pow (cbrt (cos x)) 2))
  (/ (fabs (sin x)) (cos x))
  (/ (fabs (sin x)) (cos x))
  (fabs (sin x))
  (/ (fabs (sin x)) (pow (cos x) 2))
  (/ (fabs (sin x)) (cos x))
  (/ (fabs (sin x)) (cos x))
  (/ (/ (fabs (sin x)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)))
  (/ (fabs (sin x)) (cbrt (pow (cos x) 2)))
  (/ (fabs (sin x)) (fabs (cos x)))
  (/ (fabs (sin x)) (fabs (cos x)))
  (fabs (sin x))
  (/ (fabs (sin x)) (pow (cos x) 2))
  (/ (fabs (sin x)) (cos x))
  (/ (fabs (sin x)) (cos x))
  (/ 1 (pow (cbrt (cos x)) 4))
  (/ (pow (sin x) 2) (pow (cbrt (cos x)) 2))
  (/ 1 (cos x))
  (/ (pow (sin x) 2) (cos x))
  1
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ 1 (cos x))
  (/ (pow (sin x) 2) (cos x))
  (/ 1 (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (sin x) 2) (cbrt (pow (cos x) 2)))
  (/ 1 (fabs (cos x)))
  (/ (pow (sin x) 2) (sqrt (pow (cos x) 2)))
  1
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ 1 (cos x))
  (/ (pow (sin x) 2) (cos x))
  (/ (sin x) (pow (cbrt (cos x)) 4))
  (/ (sin x) (pow (cbrt (cos x)) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (sin x)
  (/ (sin x) (pow (cos x) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (/ (sin x) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (sin x) (cbrt (pow (cos x) 2)))
  (/ (sin x) (fabs (cos x)))
  (/ (sin x) (fabs (cos x)))
  (sin x)
  (/ (sin x) (pow (cos x) 2))
  (/ (sin x) (cos x))
  (/ (sin x) (cos x))
  (/ 1 (pow (cos x) 2))
  (/ (pow (cos x) 2) (pow (sin x) 2))
  (/ (sin x) (/ (pow (cbrt (cos x)) 4) (sin x)))
  (/ (pow (sin x) 2) (cos x))
  (pow (sin x) 2)
  (/ (pow (sin x) 2) (cos x))
  (/ (pow (sin x) 2) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))
  (/ (pow (sin x) 2) (sqrt (pow (cos x) 2)))
  (pow (sin x) 2)
  (/ (pow (sin x) 2) (cos x))
  (/ (pow (cos x) 2) (pow (cbrt (sin x)) 2))
  (/ (pow (cos x) 2) (sin x))
  (/ (pow (cos x) 2) (pow (sin x) 2))
  (/ (pow (cos x) 2) (sin x))
  (/ (pow (cos x) 2) (cbrt (pow (sin x) 2)))
  (/ (pow (cos x) 2) (fabs (sin x)))
  (/ (pow (cos x) 2) (pow (sin x) 2))
  (/ (pow (cos x) 2) (sin x))
  (- (+ (* 1/3 (pow x 4)) 1) (pow x 2))
  (pow (cos x) 2)
  (pow (cos x) 2)
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4)))
  (pow (sin x) 2)
  (pow (sin x) 2)
  (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4))))
  (/ (pow (sin x) 2) (pow (cos x) 2))
  (/ (pow (sin x) 2) (pow (cos x) 2))
2.432 * * * [progress]: adding candidates to table
3.196 * [progress]: [Phase 3 of 3] Extracting.
3.196 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x)))))))> #<alt (λ (x) (- (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (* (tan x) (tan x))))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))))> #<alt (λ (x) (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))))> #<alt (λ (x) (* (* (/ 1 (- (* 1.0 1.0) (pow (tan x) 4))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (* (tan x) (tan x))) 3)) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- 1.0 (cbrt (pow (tan x) 6))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (cbrt (tan x))))))>)
3.199 * * * [regime-changes]: Trying 4 branch expressions: ((tan x) (* (tan x) (tan x)) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) x)
3.199 * * * * [regimes]: Trying to branch on (tan x) from (#<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x)))))))> #<alt (λ (x) (- (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (* (tan x) (tan x))))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))))> #<alt (λ (x) (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))))> #<alt (λ (x) (* (* (/ 1 (- (* 1.0 1.0) (pow (tan x) 4))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (* (tan x) (tan x))) 3)) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- 1.0 (cbrt (pow (tan x) 6))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (cbrt (tan x))))))>)
3.267 * * * * [regimes]: Trying to branch on (* (tan x) (tan x)) from (#<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x)))))))> #<alt (λ (x) (- (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (* (tan x) (tan x))))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))))> #<alt (λ (x) (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))))> #<alt (λ (x) (* (* (/ 1 (- (* 1.0 1.0) (pow (tan x) 4))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (* (tan x) (tan x))) 3)) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- 1.0 (cbrt (pow (tan x) 6))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (cbrt (tan x))))))>)
3.330 * * * * [regimes]: Trying to branch on (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) from (#<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x)))))))> #<alt (λ (x) (- (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (* (tan x) (tan x))))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))))> #<alt (λ (x) (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))))> #<alt (λ (x) (* (* (/ 1 (- (* 1.0 1.0) (pow (tan x) 4))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (* (tan x) (tan x))) 3)) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- 1.0 (cbrt (pow (tan x) 6))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (cbrt (tan x))))))>)
3.390 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x)))))))> #<alt (λ (x) (- (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (* (tan x) (tan x))))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))))> #<alt (λ (x) (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (pow (sin x) 2) (pow (cos x) 2)))))> #<alt (λ (x) (* (* (/ 1 (- (* 1.0 1.0) (pow (tan x) 4))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (* (tan x) (tan x))) 3)) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (- 1.0 (cbrt (pow (tan x) 6))) (+ 1.0 (* (tan x) (tan x)))))> #<alt (λ (x) (/ (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ 1.0 (* (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (cbrt (tan x))))))>)
3.452 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
3.453 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
3.453 * * [simplify]: iteration  0 :  12  enodes  (cost  10 )
3.453 * * [simplify]: iteration  1 :  12  enodes  (cost  10 )
3.454 * [simplify]: Simplified to:
   (/ 1 (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))))
5.173 * [regime-testing]: Baseline error score: 0.38105923075718884
5.174 * [regime-testing]: Oracle error score: 0.0822514255399457
5.176 * [regime-testing]: End program error score: 0.38105923075718884