0.874 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.284 * * * [progress]: [2/2] Setting up program. 0.287 * [progress]: [Phase 2 of 3] Improving. 0.289 * [simplify]: Simplifying using # : (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 0.294 * * [simplify]: iteration 0 : 13 enodes (cost 9 ) 0.295 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 0.297 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 0.298 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 0.299 * * [simplify]: iteration 4 : 43 enodes (cost 9 ) 0.301 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 0.302 * * [simplify]: iteration 6 : 45 enodes (cost 9 ) 0.302 * [simplify]: Simplified to: (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 0.304 * * [progress]: iteration 1 / 4 0.304 * * * [progress]: picking best candidate 0.306 * * * * [pick]: Picked # 0.306 * * * [progress]: localizing error 0.316 * * * [progress]: generating rewritten candidates 0.316 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.322 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.325 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.330 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.334 * * * [progress]: generating series expansions 0.334 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.338 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.338 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.338 * [taylor]: Taking taylor expansion of (tan x) in x 0.339 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.339 * [taylor]: Taking taylor expansion of (sin x) in x 0.340 * [taylor]: Taking taylor expansion of x in x 0.340 * [taylor]: Taking taylor expansion of (cos x) in x 0.340 * [taylor]: Taking taylor expansion of x in x 0.342 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.342 * [taylor]: Taking taylor expansion of (tan x) in x 0.342 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.342 * [taylor]: Taking taylor expansion of (sin x) in x 0.342 * [taylor]: Taking taylor expansion of x in x 0.342 * [taylor]: Taking taylor expansion of (cos x) in x 0.342 * [taylor]: Taking taylor expansion of x in x 0.358 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.358 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.358 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.358 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.358 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.358 * [taylor]: Taking taylor expansion of x in x 0.359 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.359 * [taylor]: Taking taylor expansion of x in x 0.359 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.359 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.359 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.359 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.359 * [taylor]: Taking taylor expansion of x in x 0.360 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.360 * [taylor]: Taking taylor expansion of x in x 0.367 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.367 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.367 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.367 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.367 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.367 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.367 * [taylor]: Taking taylor expansion of -1 in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.368 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.368 * [taylor]: Taking taylor expansion of -1 in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.368 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.368 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.369 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.369 * [taylor]: Taking taylor expansion of -1 in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.369 * [taylor]: Taking taylor expansion of -1 in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.393 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.394 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.394 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.394 * [taylor]: Taking taylor expansion of (tan x) in x 0.394 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.394 * [taylor]: Taking taylor expansion of (sin x) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of (cos x) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.395 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.395 * [taylor]: Taking taylor expansion of (tan x) in x 0.395 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.395 * [taylor]: Taking taylor expansion of (sin x) in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.395 * [taylor]: Taking taylor expansion of (cos x) in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.408 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 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 x in x 0.409 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.409 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.409 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.409 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.410 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.418 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.418 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.418 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.418 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.418 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.418 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.418 * [taylor]: Taking taylor expansion of -1 in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.419 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.419 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.419 * [taylor]: Taking taylor expansion of -1 in x 0.419 * [taylor]: Taking taylor expansion of x in x 0.419 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.419 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.419 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.419 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.419 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.419 * [taylor]: Taking taylor expansion of -1 in x 0.419 * [taylor]: Taking taylor expansion of x in x 0.420 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.420 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.420 * [taylor]: Taking taylor expansion of -1 in x 0.420 * [taylor]: Taking taylor expansion of x in x 0.427 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.427 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0 0.427 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.427 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.427 * [taylor]: Taking taylor expansion of 1.0 in x 0.427 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.427 * [taylor]: Taking taylor expansion of (tan x) in x 0.427 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.427 * [taylor]: Taking taylor expansion of (sin x) in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.428 * [taylor]: Taking taylor expansion of (cos x) in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.429 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.429 * [taylor]: Taking taylor expansion of (tan x) in x 0.429 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.429 * [taylor]: Taking taylor expansion of (sin x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (cos x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.430 * [taylor]: Taking taylor expansion of 1.0 in x 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.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.454 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 0.454 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.454 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.454 * [taylor]: Taking taylor expansion of 1.0 in x 0.454 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.454 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.454 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.454 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.455 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.455 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.455 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.455 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.456 * [taylor]: Taking taylor expansion of x in x 0.456 * [taylor]: Taking taylor expansion of 1.0 in x 0.457 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.457 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.457 * [taylor]: Taking taylor expansion of 1.0 in x 0.457 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.457 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.457 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.457 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.458 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.458 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.458 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.458 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of 1.0 in x 0.490 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 0.490 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.490 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.490 * [taylor]: Taking taylor expansion of 1.0 in x 0.490 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.490 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.490 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.490 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.490 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.490 * [taylor]: Taking taylor expansion of -1 in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.490 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.490 * [taylor]: Taking taylor expansion of -1 in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.491 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.491 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.491 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.491 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.491 * [taylor]: Taking taylor expansion of -1 in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.491 * [taylor]: Taking taylor expansion of -1 in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of 1.0 in x 0.493 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.493 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.493 * [taylor]: Taking taylor expansion of 1.0 in x 0.493 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.493 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.493 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.493 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.493 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.493 * [taylor]: Taking taylor expansion of -1 in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.494 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.494 * [taylor]: Taking taylor expansion of -1 in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.494 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.494 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.494 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.494 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.494 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.494 * [taylor]: Taking taylor expansion of -1 in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.495 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.495 * [taylor]: Taking taylor expansion of -1 in x 0.495 * [taylor]: Taking taylor expansion of x in x 0.495 * [taylor]: Taking taylor expansion of 1.0 in x 0.522 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.522 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in (x) around 0 0.522 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.522 * [taylor]: Taking taylor expansion of 1.0 in x 0.522 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.522 * [taylor]: Taking taylor expansion of (tan x) in x 0.522 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.522 * [taylor]: Taking taylor expansion of (sin x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of (cos x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.523 * [taylor]: Taking taylor expansion of 1.0 in x 0.523 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.523 * [taylor]: Taking taylor expansion of (tan x) in x 0.523 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.523 * [taylor]: Taking taylor expansion of (sin x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of (cos x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.531 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0 0.531 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.531 * [taylor]: Taking taylor expansion of 1.0 in x 0.531 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.531 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.531 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.531 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.531 * [taylor]: Taking taylor expansion of x in x 0.531 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.531 * [taylor]: Taking taylor expansion of x in x 0.532 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.532 * [taylor]: Taking taylor expansion of 1.0 in x 0.532 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.532 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.532 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.532 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.532 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.532 * [taylor]: Taking taylor expansion of x in x 0.532 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.532 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.532 * [taylor]: Taking taylor expansion of x in x 0.543 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0 0.543 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.543 * [taylor]: Taking taylor expansion of 1.0 in x 0.543 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.543 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.543 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.543 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.543 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.543 * [taylor]: Taking taylor expansion of -1 in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.543 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.543 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.543 * [taylor]: Taking taylor expansion of -1 in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.544 * [taylor]: Taking taylor expansion of 1.0 in x 0.544 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.544 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.544 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.544 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.544 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.544 * [taylor]: Taking taylor expansion of -1 in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.544 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.544 * [taylor]: Taking taylor expansion of -1 in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.554 * * * [progress]: simplifying candidates 0.555 * [simplify]: Simplifying using # : (* (sin x) (sin x)) (* (cos x) (cos x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (- (- 1.0 (* (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 (+ 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (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 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))))) (- (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))) (- (* (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))) 0.559 * * [simplify]: iteration 0 : 159 enodes (cost 224 ) 0.562 * * [simplify]: iteration 1 : 448 enodes (cost 214 ) 0.569 * * [simplify]: iteration 2 : 1307 enodes (cost 213 ) 0.599 * * [simplify]: iteration 3 : 5002 enodes (cost 199 ) 0.601 * [simplify]: Simplified to: (pow (sin x) 2) (pow (cos x) 2) (* (tan x) (sin x)) (* (tan x) (sin x)) (pow (sin x) 2) (pow (cos x) 2) (* (tan x) (sin x)) (* (tan x) (sin x)) (fma (tan x) (tan x) (- 1.0)) (- (+ 1.0 (* (tan x) (tan x)))) (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (* (/ (tan x) (fma (tan x) (tan x) 1.0)) (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))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (* (fma (fma (tan x) 1.0 (pow (tan x) 3)) (tan x) (* 1.0 1.0)) (+ 1.0 (* (tan x) (tan x)))) (* (fma (tan x) (tan x) 1.0) (+ 1.0 (* (tan x) (tan x)))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (fma (fma (tan x) 1.0 (pow (tan x) 3)) (tan x) (* 1.0 1.0)) (- (* (tan x) (tan x))) (fma (- (pow (tan x) 3)) (tan x) (* 1.0 1.0)) (fma (tan x) (tan x) 1.0) (- (* (tan x) (tan x))) (fma x x (fma 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)) (fma x x (fma 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)) (fma (pow x 4) 0.6666666666666669 (- 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))) 0.601 * * * [progress]: adding candidates to table 0.671 * * [progress]: iteration 2 / 4 0.671 * * * [progress]: picking best candidate 0.684 * * * * [pick]: Picked # 0.684 * * * [progress]: localizing error 0.693 * * * [progress]: generating rewritten candidates 0.693 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.697 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 0.700 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.706 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.712 * * * [progress]: generating series expansions 0.712 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.712 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.712 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.712 * [taylor]: Taking taylor expansion of (tan x) in x 0.712 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.712 * [taylor]: Taking taylor expansion of (sin x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (cos x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.713 * [taylor]: Taking taylor expansion of (tan x) in x 0.713 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.713 * [taylor]: Taking taylor expansion of (sin x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (cos x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.727 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.727 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.727 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.727 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.727 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.727 * [taylor]: Taking taylor expansion of x in x 0.727 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.727 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.728 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.728 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.728 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.735 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.735 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.735 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.735 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.735 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.735 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.735 * [taylor]: Taking taylor expansion of -1 in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.736 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.736 * [taylor]: Taking taylor expansion of -1 in x 0.736 * [taylor]: Taking taylor expansion of x in x 0.736 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.736 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.736 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.736 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.736 * [taylor]: Taking taylor expansion of -1 in x 0.736 * [taylor]: Taking taylor expansion of x in x 0.737 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.737 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.737 * [taylor]: Taking taylor expansion of -1 in x 0.737 * [taylor]: Taking taylor expansion of x in x 0.744 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 0.744 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.744 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.744 * [taylor]: Taking taylor expansion of (tan x) in x 0.744 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.744 * [taylor]: Taking taylor expansion of (sin x) in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.744 * [taylor]: Taking taylor expansion of (cos x) in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.745 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.745 * [taylor]: Taking taylor expansion of (tan x) in x 0.745 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.745 * [taylor]: Taking taylor expansion of (sin x) in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.745 * [taylor]: Taking taylor expansion of (cos x) in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.761 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.761 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.761 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.761 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.761 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.762 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.762 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.762 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.762 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.762 * [taylor]: Taking taylor expansion of x in x 0.762 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.762 * [taylor]: Taking taylor expansion of x in x 0.769 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.769 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.769 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.770 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.770 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.770 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.770 * [taylor]: Taking taylor expansion of -1 in x 0.770 * [taylor]: Taking taylor expansion of x in x 0.770 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.770 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.770 * [taylor]: Taking taylor expansion of -1 in x 0.770 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.771 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.771 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.771 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.771 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.771 * [taylor]: Taking taylor expansion of -1 in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.771 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.771 * [taylor]: Taking taylor expansion of -1 in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.779 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.779 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0 0.779 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.779 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.779 * [taylor]: Taking taylor expansion of 1.0 in x 0.779 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.779 * [taylor]: Taking taylor expansion of (tan x) in x 0.779 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.779 * [taylor]: Taking taylor expansion of (sin x) in x 0.779 * [taylor]: Taking taylor expansion of x in x 0.779 * [taylor]: Taking taylor expansion of (cos x) in x 0.779 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.780 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.780 * [taylor]: Taking taylor expansion of (tan x) in x 0.780 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.780 * [taylor]: Taking taylor expansion of (sin x) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (cos x) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of 1.0 in x 0.781 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.781 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.782 * [taylor]: Taking taylor expansion of 1.0 in x 0.782 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.782 * [taylor]: Taking taylor expansion of (tan x) in x 0.782 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.782 * [taylor]: Taking taylor expansion of (sin x) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (cos x) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.782 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.782 * [taylor]: Taking taylor expansion of (tan x) in x 0.783 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.783 * [taylor]: Taking taylor expansion of (sin x) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of (cos x) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of 1.0 in x 0.804 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 0.804 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.804 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.804 * [taylor]: Taking taylor expansion of 1.0 in x 0.804 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.804 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.804 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.804 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.804 * [taylor]: Taking taylor expansion of x in x 0.805 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.805 * [taylor]: Taking taylor expansion of x in x 0.805 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.805 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.805 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.805 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.805 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.805 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of 1.0 in x 0.807 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.807 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.807 * [taylor]: Taking taylor expansion of 1.0 in x 0.807 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.807 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.807 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.807 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.808 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.808 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.808 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.808 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.809 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of 1.0 in x 0.836 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 0.836 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.836 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.836 * [taylor]: Taking taylor expansion of 1.0 in x 0.836 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.836 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.836 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.836 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.836 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.836 * [taylor]: Taking taylor expansion of -1 in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.837 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.837 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.837 * [taylor]: Taking taylor expansion of -1 in x 0.837 * [taylor]: Taking taylor expansion of x in x 0.837 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.837 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.837 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.837 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.837 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.837 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.837 * [taylor]: Taking taylor expansion of -1 in x 0.837 * [taylor]: Taking taylor expansion of x in x 0.838 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.838 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.838 * [taylor]: Taking taylor expansion of -1 in x 0.838 * [taylor]: Taking taylor expansion of x in x 0.838 * [taylor]: Taking taylor expansion of 1.0 in x 0.839 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.839 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.839 * [taylor]: Taking taylor expansion of 1.0 in x 0.839 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.839 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.840 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.840 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.840 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.840 * [taylor]: Taking taylor expansion of -1 in x 0.840 * [taylor]: Taking taylor expansion of x in x 0.840 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.840 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.840 * [taylor]: Taking taylor expansion of -1 in x 0.840 * [taylor]: Taking taylor expansion of x in x 0.840 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.840 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.840 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.841 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.841 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.841 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.841 * [taylor]: Taking taylor expansion of -1 in x 0.841 * [taylor]: Taking taylor expansion of x in x 0.841 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.841 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.841 * [taylor]: Taking taylor expansion of -1 in x 0.841 * [taylor]: Taking taylor expansion of x in x 0.845 * [taylor]: Taking taylor expansion of 1.0 in x 0.872 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.873 * [approximate]: Taking taylor expansion of (/ (+ (pow (tan x) 2) 1.0) (- 1.0 (pow (tan x) 2))) in (x) around 0 0.873 * [taylor]: Taking taylor expansion of (/ (+ (pow (tan x) 2) 1.0) (- 1.0 (pow (tan x) 2))) in x 0.873 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.873 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.873 * [taylor]: Taking taylor expansion of (tan x) in x 0.873 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.873 * [taylor]: Taking taylor expansion of (sin x) in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.873 * [taylor]: Taking taylor expansion of (cos x) in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of 1.0 in x 0.874 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.874 * [taylor]: Taking taylor expansion of 1.0 in x 0.874 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.874 * [taylor]: Taking taylor expansion of (tan x) in x 0.874 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.874 * [taylor]: Taking taylor expansion of (sin x) in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of (cos x) in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.875 * [taylor]: Taking taylor expansion of (/ (+ (pow (tan x) 2) 1.0) (- 1.0 (pow (tan x) 2))) in x 0.875 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.875 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.875 * [taylor]: Taking taylor expansion of (tan x) in x 0.875 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.875 * [taylor]: Taking taylor expansion of (sin x) in x 0.876 * [taylor]: Taking taylor expansion of x in x 0.876 * [taylor]: Taking taylor expansion of (cos x) in x 0.876 * [taylor]: Taking taylor expansion of x in x 0.876 * [taylor]: Taking taylor expansion of 1.0 in x 0.876 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.876 * [taylor]: Taking taylor expansion of 1.0 in x 0.876 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.876 * [taylor]: Taking taylor expansion of (tan x) in x 0.876 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.876 * [taylor]: Taking taylor expansion of (sin x) in x 0.876 * [taylor]: Taking taylor expansion of x in x 0.876 * [taylor]: Taking taylor expansion of (cos x) in x 0.876 * [taylor]: Taking taylor expansion of x in x 0.896 * [approximate]: Taking taylor expansion of (/ (+ (pow (tan (/ 1 x)) 2) 1.0) (- 1.0 (pow (tan (/ 1 x)) 2))) in (x) around 0 0.896 * [taylor]: Taking taylor expansion of (/ (+ (pow (tan (/ 1 x)) 2) 1.0) (- 1.0 (pow (tan (/ 1 x)) 2))) in x 0.896 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.896 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.896 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.897 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.897 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.897 * [taylor]: Taking taylor expansion of x in x 0.897 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.897 * [taylor]: Taking taylor expansion of x in x 0.897 * [taylor]: Taking taylor expansion of 1.0 in x 0.897 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.897 * [taylor]: Taking taylor expansion of 1.0 in x 0.897 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.897 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.897 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.897 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.898 * [taylor]: Taking taylor expansion of x in x 0.898 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.898 * [taylor]: Taking taylor expansion of x in x 0.899 * [taylor]: Taking taylor expansion of (/ (+ (pow (tan (/ 1 x)) 2) 1.0) (- 1.0 (pow (tan (/ 1 x)) 2))) in x 0.899 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.899 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.899 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.900 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.900 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of 1.0 in x 0.900 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.900 * [taylor]: Taking taylor expansion of 1.0 in x 0.900 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.900 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.900 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.900 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.901 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.928 * [approximate]: Taking taylor expansion of (/ (+ (pow (tan (/ -1 x)) 2) 1.0) (- 1.0 (pow (tan (/ -1 x)) 2))) in (x) around 0 0.928 * [taylor]: Taking taylor expansion of (/ (+ (pow (tan (/ -1 x)) 2) 1.0) (- 1.0 (pow (tan (/ -1 x)) 2))) in x 0.928 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.928 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.928 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.928 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.928 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.928 * [taylor]: Taking taylor expansion of -1 in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.929 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.929 * [taylor]: Taking taylor expansion of -1 in x 0.929 * [taylor]: Taking taylor expansion of x in x 0.929 * [taylor]: Taking taylor expansion of 1.0 in x 0.929 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.929 * [taylor]: Taking taylor expansion of 1.0 in x 0.929 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.929 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.929 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.929 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.929 * [taylor]: Taking taylor expansion of -1 in x 0.929 * [taylor]: Taking taylor expansion of x in x 0.930 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.930 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.930 * [taylor]: Taking taylor expansion of -1 in x 0.930 * [taylor]: Taking taylor expansion of x in x 0.931 * [taylor]: Taking taylor expansion of (/ (+ (pow (tan (/ -1 x)) 2) 1.0) (- 1.0 (pow (tan (/ -1 x)) 2))) in x 0.931 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.931 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.931 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.932 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.932 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.932 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.932 * [taylor]: Taking taylor expansion of -1 in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.932 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.932 * [taylor]: Taking taylor expansion of -1 in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of 1.0 in x 0.932 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.932 * [taylor]: Taking taylor expansion of 1.0 in x 0.932 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.932 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.933 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.933 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.933 * [taylor]: Taking taylor expansion of -1 in x 0.933 * [taylor]: Taking taylor expansion of x in x 0.933 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.933 * [taylor]: Taking taylor expansion of -1 in x 0.933 * [taylor]: Taking taylor expansion of x in x 0.964 * * * [progress]: simplifying candidates 0.965 * [simplify]: Simplifying using # : (* (sin x) (sin x)) (* (cos x) (cos x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (tan x) (sin x)) (* (sin 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.0 (* (tan x) (tan x))) (- 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 (* (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 1) (/ 1 (+ (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.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))) (- (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)) (- (+ (* 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)) (+ (* 2.0 (pow x 2)) (+ (* 3.333333333333333 (pow x 4)) 1.0)) (/ (+ (/ (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 (sin x) 2) (pow (cos x) 2)))) 0.968 * * [simplify]: iteration 0 : 168 enodes (cost 277 ) 0.972 * * [simplify]: iteration 1 : 540 enodes (cost 268 ) 0.983 * * [simplify]: iteration 2 : 2336 enodes (cost 240 ) 1.040 * * [simplify]: iteration 3 : 5001 enodes (cost 240 ) 1.042 * [simplify]: Simplified to: (pow (sin x) 2) (pow (cos x) 2) (* (tan x) (sin x)) (* (tan x) (sin x)) (pow (sin x) 2) (pow (cos x) 2) (* (tan x) (sin x)) (* (tan x) (sin x)) (- 1) (/ (- (fma (tan x) (tan x) 1.0)) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (* (tan x) (tan x)))) (/ 1 (fma (tan x) (tan x) 1.0)) (/ (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (fma (tan x) (tan x) 1.0)) (- 1.0 (* (tan x) (tan x))) (/ 1 (fma (tan x) (tan x) 1.0)) (/ 1 (- (+ 1.0 (* (tan x) (tan x))))) 1 (/ 1 (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (* (/ 1/2 (fma (- (pow (tan x) 3)) (tan x) (* 1.0 1.0))) 2) (- (fma (tan x) (tan x) 1.0)) (- (* (tan x) (tan x)) 1.0) (/ 1 (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (+ 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)))) (pow (tan x) 4)) 1) (- 1.0 (* (tan x) (tan x)))) (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (fma x x (fma 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)) (fma x x (fma 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)) (fma (pow x 4) 0.6666666666666669 (- 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)) (fma 2.0 (pow x 2) (fma 3.333333333333333 (pow x 4) 1.0)) (/ (+ (/ (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 (sin x) 2) (pow (cos x) 2)))) 1.042 * * * [progress]: adding candidates to table 1.129 * * [progress]: iteration 3 / 4 1.129 * * * [progress]: picking best candidate 1.143 * * * * [pick]: Picked # 1.143 * * * [progress]: localizing error 1.155 * * * [progress]: generating rewritten candidates 1.155 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 1.164 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.169 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2) 1.172 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 1.178 * * * [progress]: generating series expansions 1.178 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 1.178 * [approximate]: Taking taylor expansion of (pow (tan x) 4) in (x) around 0 1.178 * [taylor]: Taking taylor expansion of (pow (tan x) 4) in x 1.178 * [taylor]: Taking taylor expansion of (tan x) in x 1.178 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.179 * [taylor]: Taking taylor expansion of (sin x) in x 1.179 * [taylor]: Taking taylor expansion of x in x 1.179 * [taylor]: Taking taylor expansion of (cos x) in x 1.179 * [taylor]: Taking taylor expansion of x in x 1.180 * [taylor]: Taking taylor expansion of (pow (tan x) 4) in x 1.180 * [taylor]: Taking taylor expansion of (tan x) in x 1.180 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.180 * [taylor]: Taking taylor expansion of (sin x) in x 1.180 * [taylor]: Taking taylor expansion of x in x 1.180 * [taylor]: Taking taylor expansion of (cos x) in x 1.180 * [taylor]: Taking taylor expansion of x in x 1.196 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 4) in (x) around 0 1.196 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 4) in x 1.196 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.196 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.196 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.196 * [taylor]: Taking taylor expansion of x in x 1.196 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.197 * [taylor]: Taking taylor expansion of x in x 1.197 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 4) in x 1.197 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.197 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.197 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.197 * [taylor]: Taking taylor expansion of x in x 1.197 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.197 * [taylor]: Taking taylor expansion of x in x 1.215 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 4) in (x) around 0 1.215 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 4) in x 1.215 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.215 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.215 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.215 * [taylor]: Taking taylor expansion of -1 in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.215 * [taylor]: Taking taylor expansion of -1 in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.216 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 4) in x 1.216 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.216 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.216 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.216 * [taylor]: Taking taylor expansion of -1 in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.216 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.216 * [taylor]: Taking taylor expansion of -1 in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.230 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.230 * [approximate]: Taking taylor expansion of (pow (- 1.0 (pow (tan x) 2)) 2) in (x) around 0 1.230 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow (tan x) 2)) 2) in x 1.230 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 1.230 * [taylor]: Taking taylor expansion of 1.0 in x 1.230 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.230 * [taylor]: Taking taylor expansion of (tan x) in x 1.230 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.230 * [taylor]: Taking taylor expansion of (sin x) in x 1.230 * [taylor]: Taking taylor expansion of x in x 1.230 * [taylor]: Taking taylor expansion of (cos x) in x 1.230 * [taylor]: Taking taylor expansion of x in x 1.231 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow (tan x) 2)) 2) in x 1.231 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 1.231 * [taylor]: Taking taylor expansion of 1.0 in x 1.231 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.231 * [taylor]: Taking taylor expansion of (tan x) in x 1.231 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.231 * [taylor]: Taking taylor expansion of (sin x) in x 1.231 * [taylor]: Taking taylor expansion of x in x 1.231 * [taylor]: Taking taylor expansion of (cos x) in x 1.231 * [taylor]: Taking taylor expansion of x in x 1.246 * [approximate]: Taking taylor expansion of (pow (- 1.0 (pow (tan (/ 1 x)) 2)) 2) in (x) around 0 1.246 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow (tan (/ 1 x)) 2)) 2) in x 1.246 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 1.246 * [taylor]: Taking taylor expansion of 1.0 in x 1.246 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.246 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.246 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.246 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.246 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow (tan (/ 1 x)) 2)) 2) in x 1.247 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 1.247 * [taylor]: Taking taylor expansion of 1.0 in x 1.248 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.248 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.248 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.248 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.248 * [taylor]: Taking taylor expansion of x in x 1.248 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.248 * [taylor]: Taking taylor expansion of x in x 1.265 * [approximate]: Taking taylor expansion of (pow (- 1.0 (pow (tan (/ -1 x)) 2)) 2) in (x) around 0 1.265 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow (tan (/ -1 x)) 2)) 2) in x 1.265 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 1.265 * [taylor]: Taking taylor expansion of 1.0 in x 1.265 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.265 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.265 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.265 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.265 * [taylor]: Taking taylor expansion of -1 in x 1.265 * [taylor]: Taking taylor expansion of x in x 1.266 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.266 * [taylor]: Taking taylor expansion of -1 in x 1.266 * [taylor]: Taking taylor expansion of x in x 1.267 * [taylor]: Taking taylor expansion of (pow (- 1.0 (pow (tan (/ -1 x)) 2)) 2) in x 1.267 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 1.267 * [taylor]: Taking taylor expansion of 1.0 in x 1.267 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.267 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.267 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.267 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.267 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.267 * [taylor]: Taking taylor expansion of -1 in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.267 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.267 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.267 * [taylor]: Taking taylor expansion of -1 in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.284 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2) 1.284 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 1.284 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.284 * [taylor]: Taking taylor expansion of (tan x) in x 1.285 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.285 * [taylor]: Taking taylor expansion of (sin x) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of (cos x) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.285 * [taylor]: Taking taylor expansion of (tan x) in x 1.285 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.285 * [taylor]: Taking taylor expansion of (sin x) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of (cos x) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.299 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 1.299 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.299 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.299 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.299 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.300 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.300 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.300 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.300 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.300 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.312 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 1.312 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.312 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.312 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.312 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.312 * [taylor]: Taking taylor expansion of -1 in x 1.312 * [taylor]: Taking taylor expansion of x in x 1.312 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.312 * [taylor]: Taking taylor expansion of -1 in x 1.312 * [taylor]: Taking taylor expansion of x in x 1.313 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.313 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.313 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.313 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.313 * [taylor]: Taking taylor expansion of -1 in x 1.313 * [taylor]: Taking taylor expansion of x in x 1.313 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.313 * [taylor]: Taking taylor expansion of -1 in x 1.313 * [taylor]: Taking taylor expansion of x in x 1.320 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 1.321 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 1.321 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.321 * [taylor]: Taking taylor expansion of (tan x) in x 1.321 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.321 * [taylor]: Taking taylor expansion of (sin x) in x 1.321 * [taylor]: Taking taylor expansion of x in x 1.321 * [taylor]: Taking taylor expansion of (cos x) in x 1.321 * [taylor]: Taking taylor expansion of x in x 1.321 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.321 * [taylor]: Taking taylor expansion of (tan x) in x 1.321 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.321 * [taylor]: Taking taylor expansion of (sin x) in x 1.322 * [taylor]: Taking taylor expansion of x in x 1.322 * [taylor]: Taking taylor expansion of (cos x) in x 1.322 * [taylor]: Taking taylor expansion of x in x 1.335 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 1.335 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.335 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.335 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.335 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.335 * [taylor]: Taking taylor expansion of x in x 1.335 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.335 * [taylor]: Taking taylor expansion of x in x 1.336 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.336 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.336 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.336 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.336 * [taylor]: Taking taylor expansion of x in x 1.336 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.336 * [taylor]: Taking taylor expansion of x in x 1.343 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 1.343 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.343 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.344 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.344 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.344 * [taylor]: Taking taylor expansion of -1 in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.344 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.344 * [taylor]: Taking taylor expansion of -1 in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.344 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.344 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.345 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.345 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.345 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of x in x 1.345 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.345 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of x in x 1.352 * * * [progress]: simplifying candidates 1.353 * [simplify]: Simplifying using # : (+ 2 2) (* (tan x) (tan x)) (* (* (sin x) (sin x)) (* (sin x) (sin x))) (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (* (sin x) (sin x)) (* (tan x) (sin x))) (* (* (cos x) (cos x)) (cos x)) (* (* (sin x) (sin x)) (* (sin x) (tan x))) (* (* (cos x) (cos x)) (cos x)) (* (* (tan x) (sin x)) (* (sin x) (sin x))) (* (cos x) (* (cos x) (cos x))) (* (* (tan x) (sin x)) (* (tan x) (sin x))) (* (cos x) (cos x)) (* (* (tan x) (sin x)) (* (sin x) (tan x))) (* (cos x) (cos x)) (* (* (sin x) (tan x)) (* (sin x) (sin x))) (* (cos x) (* (cos x) (cos x))) (* (* (sin x) (tan x)) (* (tan x) (sin x))) (* (cos x) (cos x)) (* (* (sin x) (tan x)) (* (sin x) (tan x))) (* (cos x) (cos x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* 2 2) (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x)) (* (tan x) (* (tan x) (tan x))) (* (tan x) (* (tan x) (tan x))) (* (* (tan x) (tan x)) (* (sin x) (sin x))) (* (* (tan x) (tan x)) (* (tan x) (sin x))) (* (* (tan x) (tan x)) (* (sin x) (tan x))) (* (* (sin x) (sin x)) (* (tan x) (tan x))) (* (* (tan x) (sin x)) (* (tan x) (tan x))) (* (* (sin x) (tan x)) (* (tan x) (tan x))) (* (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (- (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))))) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 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 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x))))) (+ 1.0 (* (tan x) (tan x)))) (* (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (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 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))) 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 (- 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))) (- (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))))) (* (- (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)))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (+ (* 6/5 (pow x 8)) (+ (* 4/3 (pow x 6)) (pow x 4))) (/ (pow (sin x) 4) (pow (cos x) 4)) (/ (pow (sin x) 4) (pow (cos x) 4)) (- 1.0 (+ (* 2.0 (pow x 2)) (* 0.33333333333333326 (pow x 4)))) (pow (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 2) (pow (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 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) (+ (* 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.358 * * [simplify]: iteration 0 : 256 enodes (cost 490 ) 1.363 * * [simplify]: iteration 1 : 808 enodes (cost 470 ) 1.377 * * [simplify]: iteration 2 : 3082 enodes (cost 456 ) 1.434 * * [simplify]: iteration 3 : 5002 enodes (cost 429 ) 1.437 * [simplify]: Simplified to: 4 (pow (tan x) 2) (pow (sin x) 4) (pow (cos x) 4) (* (pow (sin x) 3) (tan x)) (pow (cos x) 3) (* (pow (sin x) 3) (tan x)) (pow (cos x) 3) (* (pow (sin x) 3) (tan x)) (pow (cos x) 3) (* (* (tan x) (tan x)) (pow (sin x) 2)) (pow (cos x) 2) (* (* (tan x) (tan x)) (pow (sin x) 2)) (pow (cos x) 2) (* (pow (sin x) 3) (tan x)) (pow (cos x) 3) (* (* (tan x) (tan x)) (pow (sin x) 2)) (pow (cos x) 2) (* (* (tan x) (tan x)) (pow (sin x) 2)) (pow (cos x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) 4 (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 3) (* (* (tan x) (tan x)) (pow (sin x) 2)) (* (sin x) (pow (tan x) 3)) (* (sin x) (pow (tan x) 3)) (* (* (tan x) (tan x)) (pow (sin x) 2)) (* (sin x) (pow (tan x) 3)) (* (sin x) (pow (tan x) 3)) (* (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (fma (pow (tan x) 4) (fma 1.0 (fma (tan x) (tan x) 1.0) (pow (tan x) 4)) (* (fma 1.0 (fma (tan x) (tan x) 1.0) (pow (tan x) 4)) (* 1.0 (+ 1.0 (* (tan x) (tan x)))))) (* (* (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (fma (tan x) (tan x) 1.0)) (- 1.0 (* (tan x) (tan x)))) (fma (+ (pow (tan x) 4) (* 1.0 1.0)) (fma (tan x) (tan x) 1.0) (* (* 1.0 (tan x)) (fma (tan x) 1.0 (pow (tan x) 3)))) (* (* (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (fma (tan x) (tan x) 1.0)) (- 1.0 (* (tan x) (tan x)))) (fma (+ (pow (tan x) 4) (* 1.0 1.0)) (fma (tan x) (tan x) 1.0) (* (* 1.0 (tan x)) (fma (tan x) 1.0 (pow (tan x) 3)))) (* (* (fma (tan x) (tan x) 1.0) (fma (- (pow (tan x) 3)) (tan x) (* 1.0 1.0))) (- 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) (fma (- (* (tan x) (tan x))) 1.0 (pow (tan x) 4)) (* (- 1.0 (* (tan x) (tan x))) 1.0) (fma (- (* (tan x) (tan x))) 1.0 (pow (tan x) 4)) (* (- 1.0 (* (tan x) (tan x))) 1.0) (fma (- (* (tan x) (tan x))) 1.0 (pow (tan x) 4)) (* (- 1.0 (* (tan x) (tan x))) 1.0) (fma (- (* (tan x) (tan x))) 1.0 (pow (tan x) 4)) (* (- 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (* (* (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (- 1.0 (* (tan x) (tan x)))) (* (- 1.0 (* (tan x) (tan x))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (* (* (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (- 1.0 (* (tan x) (tan x)))) (pow (sin x) 2) (pow (cos x) 2) (* (tan x) (sin x)) (* (tan x) (sin x)) (pow (sin x) 2) (pow (cos x) 2) (* (tan x) (sin x)) (* (tan x) (sin x)) (fma 6/5 (pow x 8) (fma 4/3 (pow x 6) (pow x 4))) (/ (pow (sin x) 4) (pow (cos x) 4)) (/ (pow (sin x) 4) (pow (cos x) 4)) (- 1.0 (+ (* 2.0 (pow x 2)) (* 0.33333333333333326 (pow x 4)))) (pow (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 2) (pow (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 2) (fma x x (fma 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)) (fma x x (fma 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.437 * * * [progress]: adding candidates to table 1.542 * * [progress]: iteration 4 / 4 1.542 * * * [progress]: picking best candidate 1.562 * * * * [pick]: Picked # 1.562 * * * [progress]: localizing error 1.582 * * * [progress]: generating rewritten candidates 1.582 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 1.592 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 1.595 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2) 1.599 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2) 1.604 * * * [progress]: generating series expansions 1.604 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 1.605 * [approximate]: Taking taylor expansion of (pow (tan x) 4) in (x) around 0 1.605 * [taylor]: Taking taylor expansion of (pow (tan x) 4) in x 1.605 * [taylor]: Taking taylor expansion of (tan x) in x 1.605 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.605 * [taylor]: Taking taylor expansion of (sin x) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [taylor]: Taking taylor expansion of (cos x) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.606 * [taylor]: Taking taylor expansion of (pow (tan x) 4) in x 1.606 * [taylor]: Taking taylor expansion of (tan x) in x 1.606 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.606 * [taylor]: Taking taylor expansion of (sin x) in x 1.606 * [taylor]: Taking taylor expansion of x in x 1.606 * [taylor]: Taking taylor expansion of (cos x) in x 1.606 * [taylor]: Taking taylor expansion of x in x 1.621 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 4) in (x) around 0 1.621 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 4) in x 1.621 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.621 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.621 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.621 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 4) in x 1.622 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.622 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.622 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.623 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.636 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 4) in (x) around 0 1.636 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 4) in x 1.636 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.636 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.636 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.636 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.636 * [taylor]: Taking taylor expansion of -1 in x 1.636 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.637 * [taylor]: Taking taylor expansion of -1 in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 4) in x 1.637 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.637 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.637 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.637 * [taylor]: Taking taylor expansion of -1 in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.638 * [taylor]: Taking taylor expansion of -1 in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.650 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 1.651 * [approximate]: Taking taylor expansion of (* (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0)) in (x) around 0 1.651 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0)) in x 1.651 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 1.651 * [taylor]: Taking taylor expansion of 1.0 in x 1.651 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.651 * [taylor]: Taking taylor expansion of (tan x) in x 1.651 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.651 * [taylor]: Taking taylor expansion of (sin x) in x 1.651 * [taylor]: Taking taylor expansion of x in x 1.651 * [taylor]: Taking taylor expansion of (cos x) in x 1.651 * [taylor]: Taking taylor expansion of x in x 1.652 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 1.652 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 1.652 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 1.652 * [taylor]: Taking taylor expansion of (tan x) in x 1.652 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.652 * [taylor]: Taking taylor expansion of (sin x) in x 1.652 * [taylor]: Taking taylor expansion of x in x 1.652 * [taylor]: Taking taylor expansion of (cos x) in x 1.652 * [taylor]: Taking taylor expansion of x 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.653 * [taylor]: Taking taylor expansion of 1.0 in x 1.653 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0)) in x 1.653 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 1.654 * [taylor]: Taking taylor expansion of 1.0 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.654 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 1.654 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 1.654 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 1.654 * [taylor]: Taking taylor expansion of (tan x) in x 1.655 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.655 * [taylor]: Taking taylor expansion of (sin x) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.655 * [taylor]: Taking taylor expansion of (cos x) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.655 * [taylor]: Taking taylor expansion of (tan x) in x 1.655 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.655 * [taylor]: Taking taylor expansion of (sin x) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.655 * [taylor]: Taking taylor expansion of (cos x) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.656 * [taylor]: Taking taylor expansion of 1.0 in x 1.715 * [approximate]: Taking taylor expansion of (* (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) (- 1.0 (pow (tan (/ 1 x)) 2))) in (x) around 0 1.715 * [taylor]: Taking taylor expansion of (* (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) (- 1.0 (pow (tan (/ 1 x)) 2))) in x 1.715 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 1.715 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 1.715 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) 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 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 x 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 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 x in x 1.717 * [taylor]: Taking taylor expansion of 1.0 in x 1.717 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 1.717 * [taylor]: Taking taylor expansion of 1.0 in x 1.717 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) 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 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 x in x 1.718 * [taylor]: Taking taylor expansion of (* (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) (- 1.0 (pow (tan (/ 1 x)) 2))) in x 1.718 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 1.718 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 1.718 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) 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 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 x in x 1.719 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.719 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.719 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.719 * [taylor]: Taking taylor expansion of x in x 1.719 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.719 * [taylor]: Taking taylor expansion of x in x 1.719 * [taylor]: Taking taylor expansion of 1.0 in x 1.720 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 1.720 * [taylor]: Taking taylor expansion of 1.0 in x 1.720 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.720 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.720 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.720 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.720 * [taylor]: Taking taylor expansion of x in x 1.720 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.720 * [taylor]: Taking taylor expansion of x in x 1.747 * [approximate]: Taking taylor expansion of (* (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in (x) around 0 1.747 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 1.747 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 1.747 * [taylor]: Taking taylor expansion of 1.0 in x 1.747 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.747 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.747 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.747 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.747 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.747 * [taylor]: Taking taylor expansion of -1 in x 1.747 * [taylor]: Taking taylor expansion of x in x 1.747 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.747 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.747 * [taylor]: Taking taylor expansion of -1 in x 1.747 * [taylor]: Taking taylor expansion of x in x 1.752 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 1.753 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 1.753 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 1.753 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.753 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.753 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.753 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.753 * [taylor]: Taking taylor expansion of -1 in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.753 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.753 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.753 * [taylor]: Taking taylor expansion of -1 in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.754 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.754 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.754 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.754 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.754 * [taylor]: Taking taylor expansion of -1 in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.754 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.754 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.754 * [taylor]: Taking taylor expansion of -1 in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.755 * [taylor]: Taking taylor expansion of 1.0 in x 1.755 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 1.755 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 1.755 * [taylor]: Taking taylor expansion of 1.0 in x 1.755 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.755 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.755 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.755 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.755 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.755 * [taylor]: Taking taylor expansion of -1 in x 1.755 * [taylor]: Taking taylor expansion of x in x 1.755 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.755 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.755 * [taylor]: Taking taylor expansion of -1 in x 1.755 * [taylor]: Taking taylor expansion of x in x 1.756 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 1.756 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 1.756 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 1.756 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.756 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.756 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.756 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.756 * [taylor]: Taking taylor expansion of -1 in x 1.756 * [taylor]: Taking taylor expansion of x in x 1.756 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.756 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.756 * [taylor]: Taking taylor expansion of -1 in x 1.756 * [taylor]: Taking taylor expansion of x in x 1.757 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.757 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.757 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.757 * [taylor]: Taking taylor expansion of -1 in x 1.757 * [taylor]: Taking taylor expansion of x in x 1.757 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.757 * [taylor]: Taking taylor expansion of -1 in x 1.757 * [taylor]: Taking taylor expansion of x in x 1.758 * [taylor]: Taking taylor expansion of 1.0 in x 1.783 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2) 1.784 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 1.784 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.784 * [taylor]: Taking taylor expansion of (tan x) in x 1.784 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.784 * [taylor]: Taking taylor expansion of (sin x) in x 1.784 * [taylor]: Taking taylor expansion of x in x 1.784 * [taylor]: Taking taylor expansion of (cos x) in x 1.784 * [taylor]: Taking taylor expansion of x in x 1.784 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.784 * [taylor]: Taking taylor expansion of (tan x) in x 1.785 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.785 * [taylor]: Taking taylor expansion of (sin x) in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.785 * [taylor]: Taking taylor expansion of (cos x) in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.798 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 1.798 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.798 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.798 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.798 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.798 * [taylor]: Taking taylor expansion of x in x 1.798 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.798 * [taylor]: Taking taylor expansion of x in x 1.799 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.799 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.799 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.799 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.799 * [taylor]: Taking taylor expansion of x in x 1.799 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.799 * [taylor]: Taking taylor expansion of x in x 1.806 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 1.806 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.806 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.806 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.806 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.806 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.806 * [taylor]: Taking taylor expansion of -1 in x 1.806 * [taylor]: Taking taylor expansion of x in x 1.807 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.807 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.807 * [taylor]: Taking taylor expansion of -1 in x 1.807 * [taylor]: Taking taylor expansion of x in x 1.807 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.807 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.807 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.807 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.807 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.807 * [taylor]: Taking taylor expansion of -1 in x 1.807 * [taylor]: Taking taylor expansion of x in x 1.808 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.808 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.808 * [taylor]: Taking taylor expansion of -1 in x 1.808 * [taylor]: Taking taylor expansion of x in x 1.815 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2) 1.815 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 1.815 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.815 * [taylor]: Taking taylor expansion of (tan x) in x 1.815 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.815 * [taylor]: Taking taylor expansion of (sin x) in x 1.815 * [taylor]: Taking taylor expansion of x in x 1.815 * [taylor]: Taking taylor expansion of (cos x) in x 1.815 * [taylor]: Taking taylor expansion of x in x 1.816 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.816 * [taylor]: Taking taylor expansion of (tan x) in x 1.816 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.816 * [taylor]: Taking taylor expansion of (sin x) in x 1.816 * [taylor]: Taking taylor expansion of x in x 1.816 * [taylor]: Taking taylor expansion of (cos x) in x 1.816 * [taylor]: Taking taylor expansion of x in x 1.829 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 1.829 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.829 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.829 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.829 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.830 * [taylor]: Taking taylor expansion of x in x 1.830 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.830 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.830 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.830 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.830 * [taylor]: Taking taylor expansion of x in x 1.830 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.830 * [taylor]: Taking taylor expansion of x in x 1.842 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 1.842 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.842 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.842 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.842 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.842 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.843 * [taylor]: Taking taylor expansion of -1 in x 1.843 * [taylor]: Taking taylor expansion of x in x 1.843 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.843 * [taylor]: Taking taylor expansion of -1 in x 1.843 * [taylor]: Taking taylor expansion of x in x 1.843 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.843 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.843 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.843 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.843 * [taylor]: Taking taylor expansion of -1 in x 1.843 * [taylor]: Taking taylor expansion of x in x 1.844 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.844 * [taylor]: Taking taylor expansion of -1 in x 1.844 * [taylor]: Taking taylor expansion of x in x 1.851 * * * [progress]: simplifying candidates 1.852 * [simplify]: Simplifying using # : (+ 2 2) (* (tan x) (tan x)) (* (* (sin x) (sin x)) (* (sin x) (sin x))) (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (* (sin x) (sin x)) (* (tan x) (sin x))) (* (* (cos x) (cos x)) (cos x)) (* (* (sin x) (sin x)) (* (sin x) (tan x))) (* (* (cos x) (cos x)) (cos x)) (* (* (tan x) (sin x)) (* (sin x) (sin x))) (* (cos x) (* (cos x) (cos x))) (* (* (tan x) (sin x)) (* (tan x) (sin x))) (* (cos x) (cos x)) (* (* (tan x) (sin x)) (* (sin x) (tan x))) (* (cos x) (cos x)) (* (* (sin x) (tan x)) (* (sin x) (sin x))) (* (cos x) (* (cos x) (cos x))) (* (* (sin x) (tan x)) (* (tan x) (sin x))) (* (cos x) (cos x)) (* (* (sin x) (tan x)) (* (sin x) (tan x))) (* (cos x) (cos x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* (tan x) (tan x)) (* 2 2) (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x)) (* (tan x) (* (tan x) (tan x))) (* (tan x) (* (tan x) (tan x))) (* (* (tan x) (tan x)) (* (sin x) (sin x))) (* (* (tan x) (tan x)) (* (tan x) (sin x))) (* (* (tan x) (tan x)) (* (sin x) (tan x))) (* (* (sin x) (sin x)) (* (tan x) (tan x))) (* (* (tan x) (sin x)) (* (tan x) (tan x))) (* (* (sin x) (tan x)) (* (tan x) (tan x))) (* (- 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)))) (* 1.0 (- 1.0 (* (tan x) (tan x)))) (* (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (fma (tan x) (tan x) 1.0)) (* (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (fma (tan x) (tan x) 1.0)) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (+ (* 6/5 (pow x 8)) (+ (* 4/3 (pow x 6)) (pow x 4))) (/ (pow (sin x) 4) (pow (cos x) 4)) (/ (pow (sin x) 4) (pow (cos x) 4)) (- 1.0 (+ (* 1.333333333333333 (pow x 6)) (* 0.9999999999999999 (pow x 4)))) (* (+ (/ (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 (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)) (+ (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.856 * * [simplify]: iteration 0 : 209 enodes (cost 303 ) 1.860 * * [simplify]: iteration 1 : 588 enodes (cost 293 ) 1.869 * * [simplify]: iteration 2 : 1800 enodes (cost 290 ) 1.905 * * [simplify]: iteration 3 : 5001 enodes (cost 267 ) 1.907 * [simplify]: Simplified to: 4 (pow (tan x) 2) (pow (sin x) 4) (pow (cos x) 4) (* (pow (sin x) 3) (tan x)) (pow (cos x) 3) (* (pow (sin x) 3) (tan x)) (pow (cos x) 3) (* (pow (sin x) 3) (tan x)) (pow (cos x) 3) (* (pow (sin x) 2) (pow (tan x) 2)) (pow (cos x) 2) (* (pow (sin x) 2) (pow (tan x) 2)) (pow (cos x) 2) (* (pow (sin x) 3) (tan x)) (pow (cos x) 3) (* (pow (sin x) 2) (pow (tan x) 2)) (pow (cos x) 2) (* (pow (sin x) 2) (pow (tan x) 2)) (pow (cos x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) (pow (tan x) 2) 4 (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 3) (* (pow (sin x) 2) (pow (tan x) 2)) (* (sin x) (pow (tan x) 3)) (* (sin x) (pow (tan x) 3)) (* (pow (sin x) 2) (pow (tan x) 2)) (* (sin x) (pow (tan x) 3)) (* (sin x) (pow (tan x) 3)) (- (* (* (tan x) (tan x)) 1.0) (pow (tan x) 4)) (* (- 1.0 (* (tan x) (tan x))) 1.0) (- (* (* (tan x) (tan x)) 1.0) (pow (tan x) 4)) (* (- 1.0 (* (tan x) (tan x))) 1.0) (* (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (fma (tan x) (tan x) 1.0)) (* (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (- 1.0 (* (tan x) (tan x)))) (pow (sin x) 2) (pow (cos x) 2) (* (tan x) (sin x)) (* (tan x) (sin x)) (pow (sin x) 2) (pow (cos x) 2) (* (tan x) (sin x)) (* (tan x) (sin x)) (fma 6/5 (pow x 8) (fma 4/3 (pow x 6) (pow x 4))) (/ (pow (sin x) 4) (pow (cos x) 4)) (/ (pow (sin x) 4) (pow (cos x) 4)) (- 1.0 (+ (* 1.333333333333333 (pow x 6)) (* 0.9999999999999999 (pow x 4)))) (* (+ (/ (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 (sin x) 2) (pow (cos x) 2)))) (fma x x (fma 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)) (fma x x (fma 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.907 * * * [progress]: adding candidates to table 2.015 * [progress]: [Phase 3 of 3] Extracting. 2.015 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 2.020 * * * [regime-changes]: Trying 3 branch expressions: ((tan x) (* (tan x) (tan x)) x) 2.021 * * * * [regimes]: Trying to branch on (tan x) from (# # # # # # # # # #) 2.063 * * * * [regimes]: Trying to branch on (* (tan x) (tan x)) from (# # # # # # # # # #) 2.099 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 2.136 * * * [regime]: Found split indices: #