0.871 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.300 * * * [progress]: [2/2] Setting up program. 0.303 * [progress]: [Phase 2 of 3] Improving. 0.306 * [simplify]: Simplifying using # : (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 0.309 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 0.313 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.314 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 0.317 * * [simplify]: iteration 3 : 29 enodes (cost 14 ) 0.320 * * [simplify]: iteration 4 : 37 enodes (cost 14 ) 0.325 * * [simplify]: iteration 5 : 42 enodes (cost 14 ) 0.329 * * [simplify]: iteration 6 : 44 enodes (cost 14 ) 0.334 * * [simplify]: iteration done : 44 enodes (cost 14 ) 0.334 * [simplify]: Simplified to: (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 0.339 * * [progress]: iteration 1 / 4 0.339 * * * [progress]: picking best candidate 0.342 * * * * [pick]: Picked # 0.343 * * * [progress]: localizing error 0.361 * * * [progress]: generating rewritten candidates 0.361 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.368 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.373 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.376 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.387 * * * [progress]: generating series expansions 0.388 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.392 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.393 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.393 * [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.396 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.396 * [taylor]: Taking taylor expansion of (tan x) in x 0.396 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.396 * [taylor]: Taking taylor expansion of (sin x) in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.396 * [taylor]: Taking taylor expansion of (cos x) in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.413 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.413 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.413 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.413 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.413 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.413 * [taylor]: Taking taylor expansion of x in x 0.414 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.414 * [taylor]: Taking taylor expansion of x in x 0.414 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.414 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.414 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.414 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.415 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.422 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.422 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.422 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.423 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.423 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.423 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.423 * [taylor]: Taking taylor expansion of -1 in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.423 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.423 * [taylor]: Taking taylor expansion of -1 in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.424 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.424 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.424 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.424 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.424 * [taylor]: Taking taylor expansion of -1 in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.424 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.424 * [taylor]: Taking taylor expansion of -1 in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.431 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.431 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 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) 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.446 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.446 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.446 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.447 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.447 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.447 * [taylor]: Taking taylor expansion of x in x 0.447 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.447 * [taylor]: Taking taylor expansion of x in x 0.447 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.448 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.448 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.448 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.448 * [taylor]: Taking taylor expansion of x in x 0.448 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.448 * [taylor]: Taking taylor expansion of x in x 0.461 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.461 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.461 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.461 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.462 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.462 * [taylor]: Taking taylor expansion of -1 in x 0.462 * [taylor]: Taking taylor expansion of x in x 0.462 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.462 * [taylor]: Taking taylor expansion of -1 in x 0.462 * [taylor]: Taking taylor expansion of x in x 0.462 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.462 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.462 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.462 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.462 * [taylor]: Taking taylor expansion of -1 in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.463 * [taylor]: Taking taylor expansion of -1 in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.470 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in (x) around 0 0.470 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.470 * [taylor]: Taking taylor expansion of 1.0 in x 0.471 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.471 * [taylor]: Taking taylor expansion of (tan x) in x 0.471 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.471 * [taylor]: Taking taylor expansion of (sin x) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.471 * [taylor]: Taking taylor expansion of (cos x) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.472 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.472 * [taylor]: Taking taylor expansion of 1.0 in x 0.472 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.472 * [taylor]: Taking taylor expansion of (tan x) in x 0.472 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.472 * [taylor]: Taking taylor expansion of (sin x) in x 0.472 * [taylor]: Taking taylor expansion of x in x 0.472 * [taylor]: Taking taylor expansion of (cos x) in x 0.472 * [taylor]: Taking taylor expansion of x in x 0.480 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0 0.480 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.480 * [taylor]: Taking taylor expansion of 1.0 in x 0.480 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.480 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.480 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.480 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.480 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.480 * [taylor]: Taking taylor expansion of x in x 0.480 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.480 * [taylor]: Taking taylor expansion of 1.0 in x 0.481 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.481 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.481 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.481 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.492 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0 0.492 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.492 * [taylor]: Taking taylor expansion of 1.0 in x 0.492 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.492 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.492 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.492 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.492 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.492 * [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 (cos (/ -1 x)) in x 0.492 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.492 * [taylor]: Taking taylor expansion of -1 in x 0.492 * [taylor]: Taking taylor expansion of x 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.493 * [taylor]: Taking taylor expansion of (cos (/ -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.504 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.504 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0 0.504 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.504 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.504 * [taylor]: Taking taylor expansion of 1.0 in x 0.504 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.504 * [taylor]: Taking taylor expansion of (tan x) in x 0.504 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.504 * [taylor]: Taking taylor expansion of (sin x) in x 0.504 * [taylor]: Taking taylor expansion of x in x 0.504 * [taylor]: Taking taylor expansion of (cos x) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.505 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.505 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.505 * [taylor]: Taking taylor expansion of (tan x) in x 0.505 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.505 * [taylor]: Taking taylor expansion of (sin x) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.505 * [taylor]: Taking taylor expansion of (cos x) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of 1.0 in x 0.507 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.507 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.507 * [taylor]: Taking taylor expansion of 1.0 in x 0.507 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.507 * [taylor]: Taking taylor expansion of (tan x) in x 0.507 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.507 * [taylor]: Taking taylor expansion of (sin x) in x 0.507 * [taylor]: Taking taylor expansion of x in x 0.507 * [taylor]: Taking taylor expansion of (cos x) in x 0.507 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.508 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.508 * [taylor]: Taking taylor expansion of (tan x) in x 0.508 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.508 * [taylor]: Taking taylor expansion of (sin x) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of (cos x) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.509 * [taylor]: Taking taylor expansion of 1.0 in x 0.530 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 0.530 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.530 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.530 * [taylor]: Taking taylor expansion of 1.0 in x 0.530 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.530 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.530 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.530 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.531 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 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 in x 0.533 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.533 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.533 * [taylor]: Taking taylor expansion of 1.0 in x 0.533 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.533 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.533 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.533 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.533 * [taylor]: Taking taylor expansion of x in x 0.533 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.533 * [taylor]: Taking taylor expansion of x in x 0.534 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.534 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.534 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.534 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.534 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.534 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.535 * [taylor]: Taking taylor expansion of 1.0 in x 0.565 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 0.565 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.565 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.565 * [taylor]: Taking taylor expansion of 1.0 in x 0.565 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.565 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.565 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.565 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.565 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.565 * [taylor]: Taking taylor expansion of -1 in x 0.565 * [taylor]: Taking taylor expansion of x in x 0.566 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.566 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.566 * [taylor]: Taking taylor expansion of -1 in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.566 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.566 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.566 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.566 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.566 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.566 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.566 * [taylor]: Taking taylor expansion of -1 in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.567 * [taylor]: Taking taylor expansion of -1 in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of 1.0 in x 0.568 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.568 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.568 * [taylor]: Taking taylor expansion of 1.0 in x 0.568 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.568 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.568 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.568 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.568 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.568 * [taylor]: Taking taylor expansion of -1 in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.569 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.569 * [taylor]: Taking taylor expansion of -1 in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.569 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.569 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.569 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.569 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.569 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.569 * [taylor]: Taking taylor expansion of -1 in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.570 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.570 * [taylor]: Taking taylor expansion of -1 in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of 1.0 in x 0.597 * * * [progress]: simplifying candidates 0.599 * [simplify]: Simplifying using # : (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) (+ 1 1) (* (tan x) (tan x)) (+ 1 1) (+ (log (tan x)) (log (tan x))) (log (* (tan x) (tan x))) (exp (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (cbrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 1 1) (* (tan x) (tan x)) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 2 1) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (* (tan x) 1) (* (cbrt (tan x)) (tan x)) (* (sqrt (tan x)) (tan x)) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) (+ 1 1) (* (tan x) (tan x)) (+ 1 1) (+ (log (tan x)) (log (tan x))) (log (* (tan x) (tan x))) (exp (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (cbrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 1 1) (* (tan x) (tan x)) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 2 1) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (* (tan x) 1) (* (cbrt (tan x)) (tan x)) (* (sqrt (tan x)) (tan x)) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (fma 1 1.0 (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (expm1 (- 1.0 (* (tan x) (tan x)))) (log1p (- 1.0 (* (tan x) (tan x)))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (/ (exp 1.0) (exp (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (* (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x))))) (- (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)) (- (* (tan x) (tan x))) (expm1 (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (log1p (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (- (log (- 1.0 (* (tan x) (tan x)))) (log (+ 1.0 (* (tan x) (tan x))))) (log (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (/ (* (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))) (* (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (* (* (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (- (- 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)))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) 1) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 1) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (tan x)) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) 1) (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 1.0 (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (- 1.0 (* (tan x) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (/ (- 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))) (* (+ 1.0 (* (tan x) (tan x))) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x)))))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4)))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) 0.604 * * [simplify]: iteration 0 : 151 enodes (cost 1789 ) 0.635 * * [simplify]: iteration 1 : 336 enodes (cost 1638 ) 0.748 * * [simplify]: iteration 2 : 918 enodes (cost 1453 ) 1.504 * * [simplify]: iteration 3 : 3278 enodes (cost 1419 ) 2.281 * * [simplify]: iteration done : 5000 enodes (cost 1418 ) 2.282 * [simplify]: Simplified to: (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (pow (cbrt (tan x)) 4) (cbrt (tan x))) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (pow (cbrt (tan x)) 4) (cbrt (tan x))) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (- (pow (cbrt 1.0) 3) (* (tan x) (tan x))) (* (* (tan x) 0) (tan x)) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (tan x)) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (tan x)) (expm1 (- 1.0 (* (tan x) (tan x)))) (log1p (- 1.0 (* (tan x) (tan x)))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (exp (- 1.0 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (pow (- 1.0 (* (tan x) (tan x))) 3) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (- (pow 1.0 3) (pow (tan x) 6)) (fma 1.0 (fma (tan x) (tan x) 1.0) (pow (tan x) 4)) (- (* (tan x) (tan x))) (- (* 1.0 1.0) (pow (tan x) 4)) (fma (tan x) (tan x) 1.0) (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)) (- (* (tan x) (tan x))) (expm1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (exp (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 3) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 3) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (- (* (tan x) (tan x)) 1.0) (- (fma (tan x) (tan x) 1.0)) (/ 1.0 (fma (tan x) (tan x) 1.0)) (/ (tan x) (/ (fma (tan x) (tan x) 1.0) (tan x))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (/ (sqrt (fma (tan x) (tan x) 1.0)) (cbrt (- 1.0 (* (tan x) (tan x)))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (fma (tan x) (tan x) 1.0)) (/ (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (sqrt (- 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- 1.0 (* (tan x) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (/ (+ (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (+ (sqrt 1.0) (tan x)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ 1 (fma (tan x) (tan x) 1.0)) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (* (tan x) (tan x)))) (/ (/ (- 1.0 (* (tan x) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (- 1.0 (* (tan x) (tan x))) (/ (fma (tan x) (tan x) 1.0) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- 1.0 (* (tan x) (tan x))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (* (tan x) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (/ (- 1.0 (* (tan x) (tan x))) (+ (pow (tan x) 6) (pow 1.0 3))) (/ (- 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (pow (tan x) 4))) (* (fma (tan x) (tan x) 1.0) (fma 1.0 (fma (tan x) (tan x) 1.0) (pow (tan x) 4))) (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (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.0 (fma x x (* 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))) (- (fma 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.283 * * * [progress]: adding candidates to table 2.576 * * [progress]: iteration 2 / 4 2.576 * * * [progress]: picking best candidate 2.602 * * * * [pick]: Picked # 2.602 * * * [progress]: localizing error 2.613 * * * [progress]: generating rewritten candidates 2.613 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 2.618 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 2.653 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 2.659 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.669 * * * [progress]: generating series expansions 2.670 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 2.670 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 2.670 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.670 * [taylor]: Taking taylor expansion of (tan x) in x 2.670 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.670 * [taylor]: Taking taylor expansion of (sin x) in x 2.670 * [taylor]: Taking taylor expansion of x in x 2.670 * [taylor]: Taking taylor expansion of (cos x) in x 2.670 * [taylor]: Taking taylor expansion of x in x 2.671 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.671 * [taylor]: Taking taylor expansion of (tan x) in x 2.671 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.671 * [taylor]: Taking taylor expansion of (sin x) in x 2.671 * [taylor]: Taking taylor expansion of x in x 2.671 * [taylor]: Taking taylor expansion of (cos x) in x 2.671 * [taylor]: Taking taylor expansion of x in x 2.685 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 2.685 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.685 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.685 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.685 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.685 * [taylor]: Taking taylor expansion of x in x 2.685 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.685 * [taylor]: Taking taylor expansion of x in x 2.686 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.686 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.686 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.686 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.686 * [taylor]: Taking taylor expansion of x in x 2.686 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.686 * [taylor]: Taking taylor expansion of x in x 2.694 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 2.694 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.694 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.694 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.694 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.694 * [taylor]: Taking taylor expansion of -1 in x 2.694 * [taylor]: Taking taylor expansion of x in x 2.694 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.694 * [taylor]: Taking taylor expansion of -1 in x 2.694 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.695 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.695 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.695 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.703 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 2.703 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in (x) around 0 2.703 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x 2.703 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 2.704 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.704 * [taylor]: Taking taylor expansion of 1.0 in x 2.704 * [taylor]: Taking taylor expansion of (tan x) in x 2.704 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.704 * [taylor]: Taking taylor expansion of (sin x) in x 2.704 * [taylor]: Taking taylor expansion of x in x 2.704 * [taylor]: Taking taylor expansion of (cos x) in x 2.705 * [taylor]: Taking taylor expansion of x in x 2.705 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 2.705 * [taylor]: Taking taylor expansion of (tan x) in x 2.705 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.705 * [taylor]: Taking taylor expansion of (sin x) in x 2.705 * [taylor]: Taking taylor expansion of x in x 2.705 * [taylor]: Taking taylor expansion of (cos x) in x 2.705 * [taylor]: Taking taylor expansion of x in x 2.706 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.706 * [taylor]: Taking taylor expansion of 1.0 in x 2.707 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x 2.707 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 2.707 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.707 * [taylor]: Taking taylor expansion of 1.0 in x 2.708 * [taylor]: Taking taylor expansion of (tan x) in x 2.708 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.708 * [taylor]: Taking taylor expansion of (sin x) in x 2.708 * [taylor]: Taking taylor expansion of x in x 2.708 * [taylor]: Taking taylor expansion of (cos x) in x 2.708 * [taylor]: Taking taylor expansion of x in x 2.708 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 2.708 * [taylor]: Taking taylor expansion of (tan x) in x 2.709 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.709 * [taylor]: Taking taylor expansion of (sin x) in x 2.709 * [taylor]: Taking taylor expansion of x in x 2.709 * [taylor]: Taking taylor expansion of (cos x) in x 2.709 * [taylor]: Taking taylor expansion of x in x 2.709 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.709 * [taylor]: Taking taylor expansion of 1.0 in x 2.744 * [approximate]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in (x) around 0 2.744 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x 2.744 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 2.744 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.744 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.744 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.744 * [taylor]: Taking taylor expansion of x in x 2.745 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.745 * [taylor]: Taking taylor expansion of x in x 2.745 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.745 * [taylor]: Taking taylor expansion of 1.0 in x 2.746 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 2.746 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.746 * [taylor]: Taking taylor expansion of 1.0 in x 2.747 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.747 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.747 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.747 * [taylor]: Taking taylor expansion of x in x 2.747 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.747 * [taylor]: Taking taylor expansion of x in x 2.748 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x 2.748 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 2.748 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.748 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.748 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.748 * [taylor]: Taking taylor expansion of x in x 2.748 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.748 * [taylor]: Taking taylor expansion of x in x 2.748 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.748 * [taylor]: Taking taylor expansion of 1.0 in x 2.749 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 2.749 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.749 * [taylor]: Taking taylor expansion of 1.0 in x 2.750 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.750 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.750 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.750 * [taylor]: Taking taylor expansion of x in x 2.750 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.750 * [taylor]: Taking taylor expansion of x in x 2.778 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in (x) around 0 2.778 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x 2.778 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 2.778 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.778 * [taylor]: Taking taylor expansion of 1.0 in x 2.778 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.779 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.779 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.779 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.779 * [taylor]: Taking taylor expansion of -1 in x 2.779 * [taylor]: Taking taylor expansion of x in x 2.779 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.779 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.779 * [taylor]: Taking taylor expansion of -1 in x 2.779 * [taylor]: Taking taylor expansion of x in x 2.779 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 2.779 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.780 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.780 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.780 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.780 * [taylor]: Taking taylor expansion of -1 in x 2.780 * [taylor]: Taking taylor expansion of x in x 2.780 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.780 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.780 * [taylor]: Taking taylor expansion of -1 in x 2.780 * [taylor]: Taking taylor expansion of x in x 2.780 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.780 * [taylor]: Taking taylor expansion of 1.0 in x 2.781 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x 2.781 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 2.781 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.781 * [taylor]: Taking taylor expansion of 1.0 in x 2.782 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.782 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.782 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.782 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.782 * [taylor]: Taking taylor expansion of -1 in x 2.782 * [taylor]: Taking taylor expansion of x in x 2.783 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.783 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.783 * [taylor]: Taking taylor expansion of -1 in x 2.783 * [taylor]: Taking taylor expansion of x in x 2.783 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 2.783 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.783 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.783 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.783 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.783 * [taylor]: Taking taylor expansion of -1 in x 2.783 * [taylor]: Taking taylor expansion of x in x 2.784 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.784 * [taylor]: Taking taylor expansion of -1 in x 2.784 * [taylor]: Taking taylor expansion of x in x 2.784 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.784 * [taylor]: Taking taylor expansion of 1.0 in x 2.814 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 2.814 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in (x) around 0 2.814 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 2.814 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.814 * [taylor]: Taking taylor expansion of 1.0 in x 2.815 * [taylor]: Taking taylor expansion of (tan x) in x 2.815 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.815 * [taylor]: Taking taylor expansion of (sin x) in x 2.815 * [taylor]: Taking taylor expansion of x in x 2.815 * [taylor]: Taking taylor expansion of (cos x) in x 2.815 * [taylor]: Taking taylor expansion of x in x 2.816 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 2.816 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.816 * [taylor]: Taking taylor expansion of 1.0 in x 2.817 * [taylor]: Taking taylor expansion of (tan x) in x 2.817 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.817 * [taylor]: Taking taylor expansion of (sin x) in x 2.817 * [taylor]: Taking taylor expansion of x in x 2.817 * [taylor]: Taking taylor expansion of (cos x) in x 2.817 * [taylor]: Taking taylor expansion of x in x 2.826 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in (x) around 0 2.826 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 2.826 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.826 * [taylor]: Taking taylor expansion of 1.0 in x 2.826 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.827 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.827 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.827 * [taylor]: Taking taylor expansion of x in x 2.827 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.827 * [taylor]: Taking taylor expansion of x in x 2.827 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 2.827 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.827 * [taylor]: Taking taylor expansion of 1.0 in x 2.828 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.828 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.828 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.828 * [taylor]: Taking taylor expansion of x in x 2.829 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.829 * [taylor]: Taking taylor expansion of x in x 2.839 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in (x) around 0 2.839 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 2.839 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.839 * [taylor]: Taking taylor expansion of 1.0 in x 2.839 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.840 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.840 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.840 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.840 * [taylor]: Taking taylor expansion of -1 in x 2.840 * [taylor]: Taking taylor expansion of x in x 2.840 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.840 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.840 * [taylor]: Taking taylor expansion of -1 in x 2.840 * [taylor]: Taking taylor expansion of x in x 2.840 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 2.840 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.841 * [taylor]: Taking taylor expansion of 1.0 in x 2.841 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.841 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.841 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.841 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.841 * [taylor]: Taking taylor expansion of -1 in x 2.841 * [taylor]: Taking taylor expansion of x in x 2.842 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.842 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.842 * [taylor]: Taking taylor expansion of -1 in x 2.842 * [taylor]: Taking taylor expansion of x in x 2.852 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.852 * [approximate]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in (x) around 0 2.852 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 2.852 * [taylor]: Taking taylor expansion of (tan x) in x 2.853 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.853 * [taylor]: Taking taylor expansion of (sin x) in x 2.853 * [taylor]: Taking taylor expansion of x in x 2.853 * [taylor]: Taking taylor expansion of (cos x) in x 2.853 * [taylor]: Taking taylor expansion of x in x 2.853 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.853 * [taylor]: Taking taylor expansion of 1.0 in x 2.854 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 2.854 * [taylor]: Taking taylor expansion of (tan x) in x 2.854 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.854 * [taylor]: Taking taylor expansion of (sin x) in x 2.854 * [taylor]: Taking taylor expansion of x in x 2.854 * [taylor]: Taking taylor expansion of (cos x) in x 2.854 * [taylor]: Taking taylor expansion of x in x 2.855 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.855 * [taylor]: Taking taylor expansion of 1.0 in x 2.863 * [approximate]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in (x) around 0 2.863 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 2.863 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.863 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.863 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.863 * [taylor]: Taking taylor expansion of x in x 2.863 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.863 * [taylor]: Taking taylor expansion of x in x 2.864 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.864 * [taylor]: Taking taylor expansion of 1.0 in x 2.864 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 2.864 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.864 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.864 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.864 * [taylor]: Taking taylor expansion of x in x 2.865 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.865 * [taylor]: Taking taylor expansion of x in x 2.865 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.865 * [taylor]: Taking taylor expansion of 1.0 in x 2.874 * [approximate]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in (x) around 0 2.875 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 2.875 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.875 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.875 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.875 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.875 * [taylor]: Taking taylor expansion of -1 in x 2.875 * [taylor]: Taking taylor expansion of x in x 2.875 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.875 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.875 * [taylor]: Taking taylor expansion of -1 in x 2.875 * [taylor]: Taking taylor expansion of x in x 2.876 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.876 * [taylor]: Taking taylor expansion of 1.0 in x 2.876 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 2.876 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.876 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.876 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.876 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.876 * [taylor]: Taking taylor expansion of -1 in x 2.877 * [taylor]: Taking taylor expansion of x in x 2.877 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.877 * [taylor]: Taking taylor expansion of -1 in x 2.877 * [taylor]: Taking taylor expansion of x in x 2.877 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.877 * [taylor]: Taking taylor expansion of 1.0 in x 2.886 * * * [progress]: simplifying candidates 2.889 * [simplify]: Simplifying using # : (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) (+ 1 1) (* (tan x) (tan x)) (+ 1 1) (+ (log (tan x)) (log (tan x))) (log (* (tan x) (tan x))) (exp (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (cbrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 1 1) (* (tan x) (tan x)) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 2 1) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (* (tan x) 1) (* (cbrt (tan x)) (tan x)) (* (sqrt (tan x)) (tan x)) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (expm1 (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (log1p (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (+ (log (+ (sqrt 1.0) (tan x))) (log (- (sqrt 1.0) (tan x)))) (log (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (exp (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (* (* (* (+ (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x)))) (* (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))))) (cbrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (* (* (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (sqrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (sqrt (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)))) (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- (pow (sqrt 1.0) 3) (pow (tan x) 3))) (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x))))) (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x)))) (* (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (+ (sqrt 1.0) (tan x))) (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3))) (* (- (sqrt 1.0) (tan x)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x))))) (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x)))) (* (- (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x))) (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x)))) (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x)))) (* (+ (sqrt 1.0) (tan x)) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (* (+ (sqrt 1.0) (tan x)) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (tan x) 1)))) (* (+ (sqrt 1.0) (tan x)) (fma (- (tan x)) 1 (* (tan x) 1))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (tan x) 1)))) (* (+ (sqrt 1.0) (tan x)) (fma (- (tan x)) 1 (* (tan x) 1))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1)))) (* (+ (sqrt 1.0) (tan x)) (fma (- (tan x)) 1 (* (tan x) 1))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt 1) (sqrt 1.0) (- (* (tan x) 1)))) (* (+ (sqrt 1.0) (tan x)) (fma (- (tan x)) 1 (* (tan x) 1))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (* (+ (sqrt 1.0) (tan x)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1)))) (* (+ (sqrt 1.0) (tan x)) (fma (- (tan x)) 1 (* (tan x) 1))) (* (+ (sqrt 1.0) (tan x)) (fma 1 (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma 1 (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (* (+ (sqrt 1.0) (tan x)) (fma 1 (sqrt 1.0) (- (* (tan x) 1)))) (* (+ (sqrt 1.0) (tan x)) (fma (- (tan x)) 1 (* (tan x) 1))) (* (+ (sqrt 1.0) (tan x)) (sqrt 1.0)) (* (+ (sqrt 1.0) (tan x)) (- (tan x))) (* (+ (sqrt 1.0) (tan x)) (sqrt 1.0)) (* (+ (sqrt 1.0) (tan x)) (- (tan x))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt 1.0) (tan x))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (tan x) 1))) (+ (sqrt 1.0) (tan x))) (* (fma (- (tan x)) 1 (* (tan x) 1)) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (tan x) 1))) (+ (sqrt 1.0) (tan x))) (* (fma (- (tan x)) 1 (* (tan x) 1)) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))) (+ (sqrt 1.0) (tan x))) (* (fma (- (tan x)) 1 (* (tan x) 1)) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt 1) (sqrt 1.0) (- (* (tan x) 1))) (+ (sqrt 1.0) (tan x))) (* (fma (- (tan x)) 1 (* (tan x) 1)) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt 1.0) (tan x))) (* (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))) (+ (sqrt 1.0) (tan x))) (* (fma (- (tan x)) 1 (* (tan x) 1)) (+ (sqrt 1.0) (tan x))) (* (fma 1 (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma 1 (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))) (+ (sqrt 1.0) (tan x))) (* (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt 1.0) (tan x))) (* (fma 1 (sqrt 1.0) (- (* (tan x) 1))) (+ (sqrt 1.0) (tan x))) (* (fma (- (tan x)) 1 (* (tan x) 1)) (+ (sqrt 1.0) (tan x))) (* (sqrt 1.0) (+ (sqrt 1.0) (tan x))) (* (- (tan x)) (+ (sqrt 1.0) (tan x))) (* (sqrt 1.0) (+ (sqrt 1.0) (tan x))) (* (- (tan x)) (+ (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x))))) (* (+ (sqrt 1.0) (tan x)) (sqrt (- (sqrt 1.0) (tan x)))) (* (+ (sqrt 1.0) (tan x)) 1) (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (* (+ (sqrt 1.0) (tan x)) 1) (* (cbrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (* (sqrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (pow (sqrt 1.0) 3) (pow (tan x) 3))) (* (+ (sqrt 1.0) (tan x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x)))) (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- (sqrt 1.0) (tan x))) (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt 1) (sqrt 1.0) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma 1 (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma 1 (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma 1 (sqrt 1.0) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (expm1 (- (sqrt 1.0) (tan x))) (log1p (- (sqrt 1.0) (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (/ (exp (sqrt 1.0)) (exp (tan x))) (log (- (sqrt 1.0) (tan x))) (exp (- (sqrt 1.0) (tan x))) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (cbrt (- (sqrt 1.0) (tan x))) (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (- (tan x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt 1.0) (tan x)) (- (tan x)) (expm1 (+ (sqrt 1.0) (tan x))) (log1p (+ (sqrt 1.0) (tan x))) (* (exp (sqrt 1.0)) (exp (tan x))) (log (+ (sqrt 1.0) (tan x))) (exp (+ (sqrt 1.0) (tan x))) (* (cbrt (+ (sqrt 1.0) (tan x))) (cbrt (+ (sqrt 1.0) (tan x)))) (cbrt (+ (sqrt 1.0) (tan x))) (* (* (+ (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x))) (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (+ (sqrt 1.0) (tan x))) (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x)) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (pow (sqrt 1.0) 2) (+ (pow x 2) (* 2/3 (pow x 4)))) (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (- (sqrt 1.0) (+ (* 1/3 (pow x 3)) x)) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (* 1/3 (pow x 3)) (+ (sqrt 1.0) x)) (+ (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x))) 2.900 * * [simplify]: iteration 0 : 210 enodes (cost 3440 ) 2.958 * * [simplify]: iteration 1 : 539 enodes (cost 2534 ) 3.223 * * [simplify]: iteration 2 : 1724 enodes (cost 1952 ) 3.721 * * [simplify]: iteration done : 5001 enodes (cost 1952 ) 3.722 * [simplify]: Simplified to: (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (cbrt (tan x)) (pow (cbrt (tan x)) 4)) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (- 1.0 (* (tan x) (tan x)))) (log1p (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x))) (log (- 1.0 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (pow (- 1.0 (* (tan x) (tan x))) 3) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (pow (- 1.0 (* (tan x) (tan x))) 3) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (* (fma (sqrt 1.0) 1.0 (pow (tan x) 3)) (- (pow (sqrt 1.0) 3) (pow (tan x) 3))) (* (fma (tan x) (- (tan x) (sqrt 1.0)) 1.0) (fma (tan x) (+ (sqrt 1.0) (tan x)) 1.0)) (* (fma (sqrt 1.0) 1.0 (pow (tan x) 3)) (- 1.0 (* (tan x) (tan x)))) (* (fma (tan x) (- (tan x) (sqrt 1.0)) 1.0) (+ (sqrt 1.0) (tan x))) (* (- (pow (sqrt 1.0) 3) (pow (tan x) 3)) (- 1.0 (* (tan x) (tan x)))) (* (- (sqrt 1.0) (tan x)) (fma (tan x) (+ (sqrt 1.0) (tan x)) 1.0)) (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x))) (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x)))) (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x)))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (+ 1.0 (* (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (tan x))) (+ 1.0 (* (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (tan x))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (* (tan x) 0) (+ (sqrt 1.0) (tan x))) (+ 1.0 (* (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (tan x))) (+ 1.0 (* (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (tan x))) (* (+ (sqrt 1.0) (tan x)) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x))))) (* (+ (sqrt 1.0) (tan x)) (sqrt (- (sqrt 1.0) (tan x)))) (+ (sqrt 1.0) (tan x)) (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (+ (sqrt 1.0) (tan x)) (* (cbrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (* (sqrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (pow (sqrt 1.0) 3) (pow (tan x) 3))) (* (+ (sqrt 1.0) (tan x)) (- 1.0 (* (tan x) (tan x)))) (* (- (sqrt 1.0) (tan x)) (fma (sqrt 1.0) 1.0 (pow (tan x) 3))) (* (- (sqrt 1.0) (tan x)) (- 1.0 (* (tan x) (tan x)))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* 0 (tan x)) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* 0 (tan x)) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* 0 (tan x)) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* 0 (tan x)) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* 0 (tan x)) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (- (sqrt 1.0) (tan x)) (* 0 (tan x)) (expm1 (- (sqrt 1.0) (tan x))) (log1p (- (sqrt 1.0) (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (exp (- (sqrt 1.0) (tan x))) (log (- (sqrt 1.0) (tan x))) (exp (- (sqrt 1.0) (tan x))) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (cbrt (- (sqrt 1.0) (tan x))) (pow (- (sqrt 1.0) (tan x)) 3) (sqrt (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)) (fma (tan x) (+ (sqrt 1.0) (tan x)) 1.0) (- (tan x)) (- 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt 1.0) (tan x)) (- (tan x)) (expm1 (+ (sqrt 1.0) (tan x))) (log1p (+ (sqrt 1.0) (tan x))) (exp (+ (sqrt 1.0) (tan x))) (log (+ (sqrt 1.0) (tan x))) (exp (+ (sqrt 1.0) (tan x))) (* (cbrt (+ (sqrt 1.0) (tan x))) (cbrt (+ (sqrt 1.0) (tan x)))) (cbrt (+ (sqrt 1.0) (tan x))) (pow (+ (sqrt 1.0) (tan x)) 3) (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (+ (sqrt 1.0) (tan x))) (fma (sqrt 1.0) 1.0 (pow (tan x) 3)) (fma (tan x) (- (tan x) (sqrt 1.0)) 1.0) (- 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x)) (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.0 (fma x x (* 2/3 (pow x 4)))) (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (- (sqrt 1.0) (fma 1/3 (pow x 3) x)) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x))) (fma 1/3 (pow x 3) (+ (sqrt 1.0) x)) (+ (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x))) 3.724 * * * [progress]: adding candidates to table 4.053 * * [progress]: iteration 3 / 4 4.053 * * * [progress]: picking best candidate 4.080 * * * * [pick]: Picked # 4.080 * * * [progress]: localizing error 4.093 * * * [progress]: generating rewritten candidates 4.093 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.094 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 4.099 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 4.102 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 4.103 * * * [progress]: generating series expansions 4.103 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.104 * [approximate]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0))) in (x) around 0 4.104 * [taylor]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0))) in x 4.104 * [taylor]: Rewrote expression to (log (+ 1 (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0)))) 4.104 * [taylor]: Taking taylor expansion of (+ 1 (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0))) in x 4.104 * [taylor]: Taking taylor expansion of 1 in x 4.104 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0)) in x 4.104 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 4.104 * [taylor]: Taking taylor expansion of 1.0 in x 4.104 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.104 * [taylor]: Taking taylor expansion of (tan x) in x 4.104 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.104 * [taylor]: Taking taylor expansion of (sin x) in x 4.104 * [taylor]: Taking taylor expansion of x in x 4.104 * [taylor]: Taking taylor expansion of (cos x) in x 4.104 * [taylor]: Taking taylor expansion of x in x 4.105 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 4.105 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 4.105 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 4.105 * [taylor]: Taking taylor expansion of (tan x) in x 4.105 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.105 * [taylor]: Taking taylor expansion of (sin x) in x 4.105 * [taylor]: Taking taylor expansion of x in x 4.105 * [taylor]: Taking taylor expansion of (cos x) in x 4.105 * [taylor]: Taking taylor expansion of x in x 4.106 * [taylor]: Taking taylor expansion of (tan x) in x 4.106 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.106 * [taylor]: Taking taylor expansion of (sin x) in x 4.106 * [taylor]: Taking taylor expansion of x in x 4.106 * [taylor]: Taking taylor expansion of (cos x) in x 4.106 * [taylor]: Taking taylor expansion of x in x 4.107 * [taylor]: Taking taylor expansion of 1.0 in x 4.111 * [taylor]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0))) in x 4.111 * [taylor]: Rewrote expression to (log (+ 1 (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0)))) 4.111 * [taylor]: Taking taylor expansion of (+ 1 (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0))) in x 4.111 * [taylor]: Taking taylor expansion of 1 in x 4.112 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (fma (tan x) (tan x) 1.0)) in x 4.112 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 4.112 * [taylor]: Taking taylor expansion of 1.0 in x 4.112 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.112 * [taylor]: Taking taylor expansion of (tan x) in x 4.112 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.112 * [taylor]: Taking taylor expansion of (sin x) in x 4.112 * [taylor]: Taking taylor expansion of x in x 4.112 * [taylor]: Taking taylor expansion of (cos x) in x 4.112 * [taylor]: Taking taylor expansion of x in x 4.112 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 4.113 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 4.113 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 4.113 * [taylor]: Taking taylor expansion of (tan x) in x 4.113 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.113 * [taylor]: Taking taylor expansion of (sin x) in x 4.113 * [taylor]: Taking taylor expansion of x in x 4.113 * [taylor]: Taking taylor expansion of (cos x) in x 4.113 * [taylor]: Taking taylor expansion of x in x 4.113 * [taylor]: Taking taylor expansion of (tan x) in x 4.113 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.113 * [taylor]: Taking taylor expansion of (sin x) in x 4.113 * [taylor]: Taking taylor expansion of x in x 4.113 * [taylor]: Taking taylor expansion of (cos x) in x 4.114 * [taylor]: Taking taylor expansion of x in x 4.114 * [taylor]: Taking taylor expansion of 1.0 in x 4.177 * [approximate]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0))) in (x) around 0 4.177 * [taylor]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0))) in x 4.177 * [taylor]: Rewrote expression to (log (+ 1 (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)))) 4.177 * [taylor]: Taking taylor expansion of (+ 1 (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0))) in x 4.177 * [taylor]: Taking taylor expansion of 1 in x 4.177 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 4.177 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 4.177 * [taylor]: Taking taylor expansion of 1.0 in x 4.177 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.177 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.177 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.177 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.177 * [taylor]: Taking taylor expansion of x in x 4.178 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.178 * [taylor]: Taking taylor expansion of x in x 4.178 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 4.178 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 4.178 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 4.178 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.178 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.178 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.178 * [taylor]: Taking taylor expansion of x in x 4.179 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.179 * [taylor]: Taking taylor expansion of x in x 4.179 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.179 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.179 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.179 * [taylor]: Taking taylor expansion of x in x 4.180 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.180 * [taylor]: Taking taylor expansion of x in x 4.180 * [taylor]: Taking taylor expansion of 1.0 in x 4.182 * [taylor]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0))) in x 4.182 * [taylor]: Rewrote expression to (log (+ 1 (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)))) 4.182 * [taylor]: Taking taylor expansion of (+ 1 (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0))) in x 4.182 * [taylor]: Taking taylor expansion of 1 in x 4.182 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 4.182 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 4.182 * [taylor]: Taking taylor expansion of 1.0 in x 4.182 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.182 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.182 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.182 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.182 * [taylor]: Taking taylor expansion of x in x 4.183 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.183 * [taylor]: Taking taylor expansion of x in x 4.183 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 4.183 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 4.183 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 4.183 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.183 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.183 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.184 * [taylor]: Taking taylor expansion of x in x 4.184 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.184 * [taylor]: Taking taylor expansion of x in x 4.184 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.184 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.184 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.184 * [taylor]: Taking taylor expansion of x in x 4.185 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.185 * [taylor]: Taking taylor expansion of x in x 4.185 * [taylor]: Taking taylor expansion of 1.0 in x 4.257 * [approximate]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0))) in (x) around 0 4.258 * [taylor]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0))) in x 4.258 * [taylor]: Rewrote expression to (log (+ 1 (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)))) 4.258 * [taylor]: Taking taylor expansion of (+ 1 (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0))) in x 4.258 * [taylor]: Taking taylor expansion of 1 in x 4.258 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 4.258 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 4.258 * [taylor]: Taking taylor expansion of 1.0 in x 4.258 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.258 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.258 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.258 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.258 * [taylor]: Taking taylor expansion of -1 in x 4.258 * [taylor]: Taking taylor expansion of x in x 4.258 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.258 * [taylor]: Taking taylor expansion of -1 in x 4.258 * [taylor]: Taking taylor expansion of x in x 4.259 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 4.259 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 4.259 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 4.259 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.259 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.259 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.259 * [taylor]: Taking taylor expansion of -1 in x 4.259 * [taylor]: Taking taylor expansion of x in x 4.259 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.259 * [taylor]: Taking taylor expansion of -1 in x 4.259 * [taylor]: Taking taylor expansion of x in x 4.260 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.260 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.260 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.260 * [taylor]: Taking taylor expansion of -1 in x 4.260 * [taylor]: Taking taylor expansion of x in x 4.260 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.260 * [taylor]: Taking taylor expansion of -1 in x 4.260 * [taylor]: Taking taylor expansion of x in x 4.261 * [taylor]: Taking taylor expansion of 1.0 in x 4.263 * [taylor]: Taking taylor expansion of (log1p (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0))) in x 4.263 * [taylor]: Rewrote expression to (log (+ 1 (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)))) 4.263 * [taylor]: Taking taylor expansion of (+ 1 (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0))) in x 4.263 * [taylor]: Taking taylor expansion of 1 in x 4.263 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 4.263 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 4.263 * [taylor]: Taking taylor expansion of 1.0 in x 4.263 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.263 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.263 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.263 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.263 * [taylor]: Taking taylor expansion of -1 in x 4.263 * [taylor]: Taking taylor expansion of x in x 4.264 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.264 * [taylor]: Taking taylor expansion of -1 in x 4.264 * [taylor]: Taking taylor expansion of x in x 4.264 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 4.264 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 4.264 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 4.264 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.265 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.265 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.265 * [taylor]: Taking taylor expansion of -1 in x 4.265 * [taylor]: Taking taylor expansion of x in x 4.265 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.265 * [taylor]: Taking taylor expansion of -1 in x 4.265 * [taylor]: Taking taylor expansion of x in x 4.265 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.265 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.266 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.266 * [taylor]: Taking taylor expansion of -1 in x 4.266 * [taylor]: Taking taylor expansion of x in x 4.266 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.266 * [taylor]: Taking taylor expansion of -1 in x 4.266 * [taylor]: Taking taylor expansion of x in x 4.266 * [taylor]: Taking taylor expansion of 1.0 in x 4.338 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 4.338 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 4.338 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.338 * [taylor]: Taking taylor expansion of (tan x) in x 4.338 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.338 * [taylor]: Taking taylor expansion of (sin x) in x 4.338 * [taylor]: Taking taylor expansion of x in x 4.338 * [taylor]: Taking taylor expansion of (cos x) in x 4.338 * [taylor]: Taking taylor expansion of x in x 4.339 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.339 * [taylor]: Taking taylor expansion of (tan x) in x 4.339 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.339 * [taylor]: Taking taylor expansion of (sin x) in x 4.339 * [taylor]: Taking taylor expansion of x in x 4.339 * [taylor]: Taking taylor expansion of (cos x) in x 4.339 * [taylor]: Taking taylor expansion of x in x 4.353 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 4.353 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.353 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.353 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.353 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.353 * [taylor]: Taking taylor expansion of x in x 4.354 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.354 * [taylor]: Taking taylor expansion of x in x 4.354 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.354 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.354 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.354 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.354 * [taylor]: Taking taylor expansion of x in x 4.354 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.354 * [taylor]: Taking taylor expansion of x in x 4.362 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 4.362 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.362 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.362 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.362 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.362 * [taylor]: Taking taylor expansion of -1 in x 4.362 * [taylor]: Taking taylor expansion of x in x 4.362 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.362 * [taylor]: Taking taylor expansion of -1 in x 4.362 * [taylor]: Taking taylor expansion of x in x 4.363 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.363 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.363 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.363 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.363 * [taylor]: Taking taylor expansion of -1 in x 4.363 * [taylor]: Taking taylor expansion of x in x 4.363 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.363 * [taylor]: Taking taylor expansion of -1 in x 4.363 * [taylor]: Taking taylor expansion of x in x 4.370 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 4.370 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in (x) around 0 4.370 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 4.371 * [taylor]: Taking taylor expansion of 1.0 in x 4.371 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.371 * [taylor]: Taking taylor expansion of (tan x) in x 4.371 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.371 * [taylor]: Taking taylor expansion of (sin x) in x 4.371 * [taylor]: Taking taylor expansion of x in x 4.371 * [taylor]: Taking taylor expansion of (cos x) in x 4.371 * [taylor]: Taking taylor expansion of x in x 4.371 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 4.371 * [taylor]: Taking taylor expansion of 1.0 in x 4.371 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.371 * [taylor]: Taking taylor expansion of (tan x) in x 4.372 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.372 * [taylor]: Taking taylor expansion of (sin x) in x 4.372 * [taylor]: Taking taylor expansion of x in x 4.372 * [taylor]: Taking taylor expansion of (cos x) in x 4.372 * [taylor]: Taking taylor expansion of x in x 4.381 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0 4.381 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 4.381 * [taylor]: Taking taylor expansion of 1.0 in x 4.381 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.381 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.381 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.381 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.381 * [taylor]: Taking taylor expansion of x in x 4.382 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.382 * [taylor]: Taking taylor expansion of x in x 4.382 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 4.382 * [taylor]: Taking taylor expansion of 1.0 in x 4.382 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.382 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.382 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.382 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.382 * [taylor]: Taking taylor expansion of x in x 4.383 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.383 * [taylor]: Taking taylor expansion of x in x 4.393 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0 4.393 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 4.393 * [taylor]: Taking taylor expansion of 1.0 in x 4.393 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.393 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.393 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.393 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.393 * [taylor]: Taking taylor expansion of -1 in x 4.393 * [taylor]: Taking taylor expansion of x in x 4.394 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.394 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.394 * [taylor]: Taking taylor expansion of -1 in x 4.394 * [taylor]: Taking taylor expansion of x in x 4.394 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 4.394 * [taylor]: Taking taylor expansion of 1.0 in x 4.394 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.394 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.394 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.394 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.394 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.394 * [taylor]: Taking taylor expansion of -1 in x 4.394 * [taylor]: Taking taylor expansion of x in x 4.395 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.395 * [taylor]: Taking taylor expansion of -1 in x 4.395 * [taylor]: Taking taylor expansion of x in x 4.405 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 4.405 * [approximate]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in (x) around 0 4.406 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 4.406 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 4.406 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 4.406 * [taylor]: Taking taylor expansion of (tan x) in x 4.406 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.406 * [taylor]: Taking taylor expansion of (sin x) in x 4.406 * [taylor]: Taking taylor expansion of x in x 4.406 * [taylor]: Taking taylor expansion of (cos x) in x 4.406 * [taylor]: Taking taylor expansion of x in x 4.406 * [taylor]: Taking taylor expansion of (tan x) in x 4.407 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.407 * [taylor]: Taking taylor expansion of (sin x) in x 4.407 * [taylor]: Taking taylor expansion of x in x 4.407 * [taylor]: Taking taylor expansion of (cos x) in x 4.407 * [taylor]: Taking taylor expansion of x in x 4.407 * [taylor]: Taking taylor expansion of 1.0 in x 4.407 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 4.407 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 4.407 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 4.407 * [taylor]: Taking taylor expansion of (tan x) in x 4.408 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.408 * [taylor]: Taking taylor expansion of (sin x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [taylor]: Taking taylor expansion of (cos x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [taylor]: Taking taylor expansion of (tan x) in x 4.408 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.408 * [taylor]: Taking taylor expansion of (sin x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [taylor]: Taking taylor expansion of (cos x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.409 * [taylor]: Taking taylor expansion of 1.0 in x 4.418 * [approximate]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in (x) around 0 4.418 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 4.418 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 4.418 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 4.418 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.418 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.418 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.418 * [taylor]: Taking taylor expansion of x in x 4.419 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.419 * [taylor]: Taking taylor expansion of x in x 4.419 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.419 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.419 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.419 * [taylor]: Taking taylor expansion of x in x 4.420 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.420 * [taylor]: Taking taylor expansion of x in x 4.420 * [taylor]: Taking taylor expansion of 1.0 in x 4.420 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 4.420 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 4.420 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 4.420 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.420 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.420 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.420 * [taylor]: Taking taylor expansion of x in x 4.421 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.421 * [taylor]: Taking taylor expansion of x in x 4.421 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.421 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.421 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.421 * [taylor]: Taking taylor expansion of x in x 4.421 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.421 * [taylor]: Taking taylor expansion of x in x 4.422 * [taylor]: Taking taylor expansion of 1.0 in x 4.432 * [approximate]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in (x) around 0 4.432 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 4.432 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 4.432 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 4.432 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.432 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.432 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.432 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.432 * [taylor]: Taking taylor expansion of -1 in x 4.432 * [taylor]: Taking taylor expansion of x in x 4.432 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.432 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.432 * [taylor]: Taking taylor expansion of -1 in x 4.432 * [taylor]: Taking taylor expansion of x in x 4.433 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.433 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.433 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.433 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.433 * [taylor]: Taking taylor expansion of -1 in x 4.433 * [taylor]: Taking taylor expansion of x in x 4.433 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.433 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.433 * [taylor]: Taking taylor expansion of -1 in x 4.433 * [taylor]: Taking taylor expansion of x in x 4.434 * [taylor]: Taking taylor expansion of 1.0 in x 4.434 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 4.434 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 4.434 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 4.434 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.434 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.434 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.434 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.434 * [taylor]: Taking taylor expansion of -1 in x 4.434 * [taylor]: Taking taylor expansion of x in x 4.434 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.434 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.434 * [taylor]: Taking taylor expansion of -1 in x 4.434 * [taylor]: Taking taylor expansion of x in x 4.435 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.435 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.435 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.435 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.435 * [taylor]: Taking taylor expansion of -1 in x 4.435 * [taylor]: Taking taylor expansion of x in x 4.435 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.435 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.435 * [taylor]: Taking taylor expansion of -1 in x 4.435 * [taylor]: Taking taylor expansion of x in x 4.436 * [taylor]: Taking taylor expansion of 1.0 in x 4.446 * * * [progress]: simplifying candidates 4.447 * [simplify]: Simplifying using # : (+ 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (expm1 (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (log1p (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (log (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (exp (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (* (cbrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (cbrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))))) (cbrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (* (* (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (sqrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (sqrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) (+ 1 1) (* (tan x) (tan x)) (+ 1 1) (+ (log (tan x)) (log (tan x))) (log (* (tan x) (tan x))) (exp (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (cbrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 1 1) (* (tan x) (tan x)) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 2 1) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (* (tan x) 1) (* (cbrt (tan x)) (tan x)) (* (sqrt (tan x)) (tan x)) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (fma 1 1.0 (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (expm1 (- 1.0 (* (tan x) (tan x)))) (log1p (- 1.0 (* (tan x) (tan x)))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (/ (exp 1.0) (exp (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (* (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x))))) (- (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)) (- (* (tan x) (tan x))) (expm1 (fma (tan x) (tan x) 1.0)) (log1p (fma (tan x) (tan x) 1.0)) (* (tan x) (tan x)) (log (fma (tan x) (tan x) 1.0)) (exp (fma (tan x) (tan x) 1.0)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0)) (* (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (fma (tan x) (tan x) 1.0)) (sqrt (fma (tan x) (tan x) 1.0)) (sqrt (fma (tan x) (tan x) 1.0)) (- (+ (log 2.0) (* 0.33333333333333337 (pow x 4))) (+ (* 1.0 (pow x 2)) (* 2.0 (/ (pow x 4) (pow 2.0 2))))) (log (- (+ (* 1.0 (/ 1 (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))) 1) (/ (pow (sin x) 2) (* (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) (pow (cos x) 2))))) (log (- (+ (* 1.0 (/ 1 (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0))) 1) (/ (pow (sin x) 2) (* (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) (pow (cos x) 2))))) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4)))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (pow x 2) (+ (* 2/3 (pow x 4)) 1.0)) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) 4.451 * * [simplify]: iteration 0 : 131 enodes (cost 993 ) 4.475 * * [simplify]: iteration 1 : 262 enodes (cost 914 ) 4.547 * * [simplify]: iteration 2 : 715 enodes (cost 820 ) 4.921 * * [simplify]: iteration 3 : 2535 enodes (cost 793 ) 5.552 * * [simplify]: iteration done : 5000 enodes (cost 793 ) 5.553 * [simplify]: Simplified to: (+ 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (log1p (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (log (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (exp (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (* (cbrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (cbrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))))) (cbrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (pow (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) 3) (sqrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (sqrt (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (pow (cbrt (tan x)) 4) (cbrt (tan x))) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (sin x) (tan x)) (* (sin x) (tan x)) (fma (- (tan x)) (tan x) (pow (cbrt 1.0) 3)) (* (tan x) (* 0 (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (* 0 (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (* 0 (tan x))) (expm1 (- 1.0 (* (tan x) (tan x)))) (log1p (- 1.0 (* (tan x) (tan x)))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (exp (- 1.0 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (pow (- 1.0 (* (tan x) (tan x))) 3) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (- (pow 1.0 3) (pow (tan x) 6)) (+ (pow (tan x) 4) (* (fma (tan x) (tan x) 1.0) 1.0)) (- (* (tan x) (tan x))) (fma 1.0 1.0 (- (pow (tan x) 4))) (fma (tan x) (tan x) 1.0) (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)) (- (* (tan x) (tan x))) (expm1 (fma (tan x) (tan x) 1.0)) (log1p (fma (tan x) (tan x) 1.0)) (* (tan x) (tan x)) (log (fma (tan x) (tan x) 1.0)) (exp (fma (tan x) (tan x) 1.0)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0)) (pow (fma (tan x) (tan x) 1.0) 3) (sqrt (fma (tan x) (tan x) 1.0)) (sqrt (fma (tan x) (tan x) 1.0)) (fma 0.33333333333333337 (pow x 4) (- (log 2.0) (fma (pow x 2) 1.0 (* 1 (/ (pow x 4) 2.0))))) (log1p (- (/ 1.0 (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (pow (sin x) 2) (* (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) (pow (cos x) 2))))) (log1p (- (/ 1.0 (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (pow (sin x) 2) (* (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) (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.0 (fma 2/3 (pow x 4) (pow x 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (fma x x (fma 2/3 (pow x 4) 1.0)) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) 5.553 * * * [progress]: adding candidates to table 5.790 * * [progress]: iteration 4 / 4 5.790 * * * [progress]: picking best candidate 5.820 * * * * [pick]: Picked # 5.820 * * * [progress]: localizing error 5.835 * * * [progress]: generating rewritten candidates 5.835 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 5.849 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 5.854 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 5.921 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 5.935 * * * [progress]: generating series expansions 5.935 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 5.935 * [approximate]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan x))) in (x) around 0 5.935 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan x))) in x 5.936 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 5.936 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.936 * [taylor]: Taking taylor expansion of 1.0 in x 5.936 * [taylor]: Taking taylor expansion of (tan x) in x 5.937 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 5.937 * [taylor]: Taking taylor expansion of (sin x) in x 5.937 * [taylor]: Taking taylor expansion of x in x 5.937 * [taylor]: Taking taylor expansion of (cos x) in x 5.937 * [taylor]: Taking taylor expansion of x in x 5.939 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan x))) in x 5.939 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 5.939 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.939 * [taylor]: Taking taylor expansion of 1.0 in x 5.939 * [taylor]: Taking taylor expansion of (tan x) in x 5.940 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 5.940 * [taylor]: Taking taylor expansion of (sin x) in x 5.940 * [taylor]: Taking taylor expansion of x in x 5.940 * [taylor]: Taking taylor expansion of (cos x) in x 5.940 * [taylor]: Taking taylor expansion of x in x 5.958 * [approximate]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan (/ 1 x)))) in (x) around 0 5.958 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan (/ 1 x)))) in x 5.958 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 5.958 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.958 * [taylor]: Taking taylor expansion of 1.0 in x 5.959 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 5.959 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 5.959 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.959 * [taylor]: Taking taylor expansion of x in x 5.959 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.959 * [taylor]: Taking taylor expansion of x in x 5.960 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan (/ 1 x)))) in x 5.960 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 5.960 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.960 * [taylor]: Taking taylor expansion of 1.0 in x 5.961 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 5.961 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 5.961 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.961 * [taylor]: Taking taylor expansion of x in x 5.961 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.962 * [taylor]: Taking taylor expansion of x in x 5.983 * [approximate]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan (/ -1 x)))) in (x) around 0 5.983 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan (/ -1 x)))) in x 5.983 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 5.983 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.983 * [taylor]: Taking taylor expansion of 1.0 in x 5.984 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 5.984 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 5.984 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.984 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.984 * [taylor]: Taking taylor expansion of -1 in x 5.984 * [taylor]: Taking taylor expansion of x in x 5.985 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.985 * [taylor]: Taking taylor expansion of -1 in x 5.985 * [taylor]: Taking taylor expansion of x in x 5.986 * [taylor]: Taking taylor expansion of (exp (- (sqrt 1.0) (tan (/ -1 x)))) in x 5.986 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 5.986 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.986 * [taylor]: Taking taylor expansion of 1.0 in x 5.987 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 5.987 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 5.987 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.987 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.987 * [taylor]: Taking taylor expansion of -1 in x 5.987 * [taylor]: Taking taylor expansion of x in x 5.987 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.987 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.987 * [taylor]: Taking taylor expansion of -1 in x 5.987 * [taylor]: Taking taylor expansion of x in x 6.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 6.008 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 6.008 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 6.008 * [taylor]: Taking taylor expansion of (tan x) in x 6.008 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.008 * [taylor]: Taking taylor expansion of (sin x) in x 6.008 * [taylor]: Taking taylor expansion of x in x 6.008 * [taylor]: Taking taylor expansion of (cos x) in x 6.008 * [taylor]: Taking taylor expansion of x in x 6.009 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 6.009 * [taylor]: Taking taylor expansion of (tan x) in x 6.009 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.009 * [taylor]: Taking taylor expansion of (sin x) in x 6.009 * [taylor]: Taking taylor expansion of x in x 6.009 * [taylor]: Taking taylor expansion of (cos x) in x 6.009 * [taylor]: Taking taylor expansion of x in x 6.023 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 6.023 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 6.023 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.023 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.023 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.023 * [taylor]: Taking taylor expansion of x in x 6.024 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.024 * [taylor]: Taking taylor expansion of x in x 6.024 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 6.024 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.024 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.024 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.024 * [taylor]: Taking taylor expansion of x in x 6.025 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.025 * [taylor]: Taking taylor expansion of x in x 6.032 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 6.032 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 6.032 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.032 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.032 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.032 * [taylor]: Taking taylor expansion of -1 in x 6.032 * [taylor]: Taking taylor expansion of x in x 6.033 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.033 * [taylor]: Taking taylor expansion of -1 in x 6.033 * [taylor]: Taking taylor expansion of x in x 6.033 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 6.033 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.033 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.033 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.033 * [taylor]: Taking taylor expansion of -1 in x 6.033 * [taylor]: Taking taylor expansion of x in x 6.034 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.034 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.034 * [taylor]: Taking taylor expansion of -1 in x 6.034 * [taylor]: Taking taylor expansion of x in x 6.045 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 6.046 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in (x) around 0 6.046 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x 6.046 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 6.046 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.046 * [taylor]: Taking taylor expansion of 1.0 in x 6.046 * [taylor]: Taking taylor expansion of (tan x) in x 6.047 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.047 * [taylor]: Taking taylor expansion of (sin x) in x 6.047 * [taylor]: Taking taylor expansion of x in x 6.047 * [taylor]: Taking taylor expansion of (cos x) in x 6.047 * [taylor]: Taking taylor expansion of x in x 6.047 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 6.047 * [taylor]: Taking taylor expansion of (tan x) in x 6.047 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.047 * [taylor]: Taking taylor expansion of (sin x) in x 6.047 * [taylor]: Taking taylor expansion of x in x 6.047 * [taylor]: Taking taylor expansion of (cos x) in x 6.047 * [taylor]: Taking taylor expansion of x in x 6.048 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.048 * [taylor]: Taking taylor expansion of 1.0 in x 6.049 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x 6.049 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 6.049 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.049 * [taylor]: Taking taylor expansion of 1.0 in x 6.050 * [taylor]: Taking taylor expansion of (tan x) in x 6.050 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.050 * [taylor]: Taking taylor expansion of (sin x) in x 6.050 * [taylor]: Taking taylor expansion of x in x 6.050 * [taylor]: Taking taylor expansion of (cos x) in x 6.050 * [taylor]: Taking taylor expansion of x in x 6.050 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 6.050 * [taylor]: Taking taylor expansion of (tan x) in x 6.051 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.051 * [taylor]: Taking taylor expansion of (sin x) in x 6.051 * [taylor]: Taking taylor expansion of x in x 6.051 * [taylor]: Taking taylor expansion of (cos x) in x 6.051 * [taylor]: Taking taylor expansion of x in x 6.051 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.051 * [taylor]: Taking taylor expansion of 1.0 in x 6.082 * [approximate]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in (x) around 0 6.082 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x 6.082 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 6.082 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.082 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.082 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.082 * [taylor]: Taking taylor expansion of x in x 6.082 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.082 * [taylor]: Taking taylor expansion of x in x 6.083 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.083 * [taylor]: Taking taylor expansion of 1.0 in x 6.084 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 6.084 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.084 * [taylor]: Taking taylor expansion of 1.0 in x 6.084 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.084 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.084 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.084 * [taylor]: Taking taylor expansion of x in x 6.085 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.085 * [taylor]: Taking taylor expansion of x in x 6.085 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x 6.085 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 6.085 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.085 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.085 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.085 * [taylor]: Taking taylor expansion of x in x 6.086 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.086 * [taylor]: Taking taylor expansion of x in x 6.086 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.086 * [taylor]: Taking taylor expansion of 1.0 in x 6.087 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 6.087 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.087 * [taylor]: Taking taylor expansion of 1.0 in x 6.088 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.088 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.088 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.088 * [taylor]: Taking taylor expansion of x in x 6.088 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.088 * [taylor]: Taking taylor expansion of x in x 6.114 * [approximate]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in (x) around 0 6.115 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x 6.115 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 6.115 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.115 * [taylor]: Taking taylor expansion of 1.0 in x 6.115 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.115 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.115 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.115 * [taylor]: Taking taylor expansion of -1 in x 6.115 * [taylor]: Taking taylor expansion of x in x 6.116 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.116 * [taylor]: Taking taylor expansion of -1 in x 6.116 * [taylor]: Taking taylor expansion of x in x 6.116 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 6.116 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.116 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.117 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.117 * [taylor]: Taking taylor expansion of -1 in x 6.117 * [taylor]: Taking taylor expansion of x in x 6.117 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.117 * [taylor]: Taking taylor expansion of -1 in x 6.117 * [taylor]: Taking taylor expansion of x in x 6.117 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.117 * [taylor]: Taking taylor expansion of 1.0 in x 6.118 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x 6.118 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 6.118 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.118 * [taylor]: Taking taylor expansion of 1.0 in x 6.119 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.119 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.119 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.119 * [taylor]: Taking taylor expansion of -1 in x 6.119 * [taylor]: Taking taylor expansion of x in x 6.119 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.119 * [taylor]: Taking taylor expansion of -1 in x 6.119 * [taylor]: Taking taylor expansion of x in x 6.120 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 6.120 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.120 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.120 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.120 * [taylor]: Taking taylor expansion of -1 in x 6.120 * [taylor]: Taking taylor expansion of x in x 6.120 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.121 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.121 * [taylor]: Taking taylor expansion of -1 in x 6.121 * [taylor]: Taking taylor expansion of x in x 6.121 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.121 * [taylor]: Taking taylor expansion of 1.0 in x 6.150 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 6.150 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in (x) around 0 6.150 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 6.150 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.150 * [taylor]: Taking taylor expansion of 1.0 in x 6.151 * [taylor]: Taking taylor expansion of (tan x) in x 6.151 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.151 * [taylor]: Taking taylor expansion of (sin x) in x 6.151 * [taylor]: Taking taylor expansion of x in x 6.151 * [taylor]: Taking taylor expansion of (cos x) in x 6.151 * [taylor]: Taking taylor expansion of x in x 6.152 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 6.152 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.152 * [taylor]: Taking taylor expansion of 1.0 in x 6.153 * [taylor]: Taking taylor expansion of (tan x) in x 6.153 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.153 * [taylor]: Taking taylor expansion of (sin x) in x 6.153 * [taylor]: Taking taylor expansion of x in x 6.153 * [taylor]: Taking taylor expansion of (cos x) in x 6.153 * [taylor]: Taking taylor expansion of x in x 6.161 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in (x) around 0 6.161 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 6.161 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.161 * [taylor]: Taking taylor expansion of 1.0 in x 6.162 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.162 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.162 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.162 * [taylor]: Taking taylor expansion of x in x 6.162 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.162 * [taylor]: Taking taylor expansion of x in x 6.163 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 6.163 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.163 * [taylor]: Taking taylor expansion of 1.0 in x 6.163 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.164 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.164 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.164 * [taylor]: Taking taylor expansion of x in x 6.164 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.164 * [taylor]: Taking taylor expansion of x in x 6.175 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in (x) around 0 6.175 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 6.175 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.175 * [taylor]: Taking taylor expansion of 1.0 in x 6.175 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.176 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.176 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.176 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.176 * [taylor]: Taking taylor expansion of -1 in x 6.176 * [taylor]: Taking taylor expansion of x in x 6.176 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.176 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.176 * [taylor]: Taking taylor expansion of -1 in x 6.176 * [taylor]: Taking taylor expansion of x in x 6.176 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 6.176 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 6.177 * [taylor]: Taking taylor expansion of 1.0 in x 6.177 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.177 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.177 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.177 * [taylor]: Taking taylor expansion of -1 in x 6.177 * [taylor]: Taking taylor expansion of x in x 6.178 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.178 * [taylor]: Taking taylor expansion of -1 in x 6.178 * [taylor]: Taking taylor expansion of x in x 6.187 * * * [progress]: simplifying candidates 6.191 * [simplify]: Simplifying using # : (expm1 (exp (- (sqrt 1.0) (tan x)))) (log1p (exp (- (sqrt 1.0) (tan x)))) (exp (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x))))) (exp (sqrt (- (sqrt 1.0) (tan x)))) (exp 1) (exp (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (exp (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (exp 1) (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (tan x) 1)))) (exp (fma (- (tan x)) 1 (* (tan x) 1))) (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (tan x) 1)))) (exp (fma (- (tan x)) 1 (* (tan x) 1))) (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1)))) (exp (fma (- (tan x)) 1 (* (tan x) 1))) (exp (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (exp (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (exp (fma (sqrt 1) (sqrt 1.0) (- (* (tan x) 1)))) (exp (fma (- (tan x)) 1 (* (tan x) 1))) (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1)))) (exp (fma (- (tan x)) 1 (* (tan x) 1))) (exp (fma 1 (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (exp (fma 1 (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x)))))) (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))) (exp (fma 1 (sqrt 1.0) (- (* (tan x) 1)))) (exp (fma (- (tan x)) 1 (* (tan x) 1))) (exp (sqrt 1.0)) (exp (- (tan x))) (exp (sqrt 1.0)) (exp (- (tan x))) (exp (sqrt 1.0)) (exp (tan x)) (log (exp (- (sqrt 1.0) (tan x)))) (exp (exp (- (sqrt 1.0) (tan x)))) (* (cbrt (exp (- (sqrt 1.0) (tan x)))) (cbrt (exp (- (sqrt 1.0) (tan x))))) (cbrt (exp (- (sqrt 1.0) (tan x)))) (* (* (exp (- (sqrt 1.0) (tan x))) (exp (- (sqrt 1.0) (tan x)))) (exp (- (sqrt 1.0) (tan x)))) (sqrt (exp (- (sqrt 1.0) (tan x)))) (sqrt (exp (- (sqrt 1.0) (tan x)))) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) (+ 1 1) (* (tan x) (tan x)) (+ 1 1) (+ (log (tan x)) (log (tan x))) (log (* (tan x) (tan x))) (exp (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (cbrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 1 1) (* (tan x) (tan x)) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 2 1) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (* (tan x) 1) (* (cbrt (tan x)) (tan x)) (* (sqrt (tan x)) (tan x)) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (expm1 (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (log1p (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x))))) (+ (log (+ (sqrt 1.0) (tan x))) (log (log (exp (- (sqrt 1.0) (tan x)))))) (log (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (exp (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (* (* (* (+ (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x))) (* (* (log (exp (- (sqrt 1.0) (tan x)))) (log (exp (- (sqrt 1.0) (tan x))))) (log (exp (- (sqrt 1.0) (tan x)))))) (* (cbrt (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (cbrt (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x))))))) (cbrt (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (* (* (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (sqrt (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (sqrt (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x)))))) (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (log (exp (- (sqrt 1.0) (tan x)))))) (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (log (exp (- (sqrt 1.0) (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (tan x) 1)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (tan x)) 1 (* (tan x) 1))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (tan x) 1)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (tan x)) 1 (* (tan x) 1))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (tan x)) 1 (* (tan x) 1))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt 1) (sqrt 1.0) (- (* (tan x) 1)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (tan x)) 1 (* (tan x) 1))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (tan x)) 1 (* (tan x) 1))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma 1 (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma 1 (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x)))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma 1 (sqrt 1.0) (- (* (tan x) 1)))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (fma (- (tan x)) 1 (* (tan x) 1))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (sqrt 1.0)))) (* (+ (sqrt 1.0) (tan x)) (log (exp (- (tan x))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (sqrt 1.0)))) (* (+ (sqrt 1.0) (tan x)) (log (exp (- (tan x))))) (* (+ (sqrt 1.0) (tan x)) (log (* (cbrt (exp (- (sqrt 1.0) (tan x)))) (cbrt (exp (- (sqrt 1.0) (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (cbrt (exp (- (sqrt 1.0) (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (log (sqrt (exp (- (sqrt 1.0) (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (log (sqrt (exp (- (sqrt 1.0) (tan x)))))) (* (+ (sqrt 1.0) (tan x)) (log 1)) (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x))))) (* (log (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (tan x) 1))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (tan x)) 1 (* (tan x) 1)))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (tan x) 1))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (tan x)) 1 (* (tan x) 1)))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (tan x)) 1 (* (tan x) 1)))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt 1) (sqrt 1.0) (- (* (tan x) 1))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (tan x)) 1 (* (tan x) 1)))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (tan x)) 1 (* (tan x) 1)))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma 1 (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma 1 (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma 1 (sqrt 1.0) (- (* (tan x) 1))))) (+ (sqrt 1.0) (tan x))) (* (log (exp (fma (- (tan x)) 1 (* (tan x) 1)))) (+ (sqrt 1.0) (tan x))) (* (log (exp (sqrt 1.0))) (+ (sqrt 1.0) (tan x))) (* (log (exp (- (tan x)))) (+ (sqrt 1.0) (tan x))) (* (log (exp (sqrt 1.0))) (+ (sqrt 1.0) (tan x))) (* (log (exp (- (tan x)))) (+ (sqrt 1.0) (tan x))) (* (log (* (cbrt (exp (- (sqrt 1.0) (tan x)))) (cbrt (exp (- (sqrt 1.0) (tan x)))))) (+ (sqrt 1.0) (tan x))) (* (log (cbrt (exp (- (sqrt 1.0) (tan x))))) (+ (sqrt 1.0) (tan x))) (* (log (sqrt (exp (- (sqrt 1.0) (tan x))))) (+ (sqrt 1.0) (tan x))) (* (log (sqrt (exp (- (sqrt 1.0) (tan x))))) (+ (sqrt 1.0) (tan x))) (* (log 1) (+ (sqrt 1.0) (tan x))) (* (log (exp (- (sqrt 1.0) (tan x)))) (+ (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) 1) (* (+ (sqrt 1.0) (tan x)) (cbrt (- (sqrt 1.0) (tan x)))) (* (+ (sqrt 1.0) (tan x)) (sqrt (- (sqrt 1.0) (tan x)))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (* (+ (sqrt 1.0) (tan x)) (* (cbrt (log (exp (- (sqrt 1.0) (tan x))))) (cbrt (log (exp (- (sqrt 1.0) (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (sqrt (log (exp (- (sqrt 1.0) (tan x)))))) (* (+ (sqrt 1.0) (tan x)) 1) (* (cbrt (+ (sqrt 1.0) (tan x))) (log (exp (- (sqrt 1.0) (tan x))))) (* (sqrt (+ (sqrt 1.0) (tan x))) (log (exp (- (sqrt 1.0) (tan x))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x))))) (* (+ (sqrt 1.0) (tan x)) (log (exp (- (sqrt 1.0) (tan x))))) (* (+ (pow (sqrt 1.0) 3) (pow (tan x) 3)) (log (exp (- (sqrt 1.0) (tan x))))) (* (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (log (exp (- (sqrt 1.0) (tan x))))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt 1) (sqrt 1.0) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma 1 (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma 1 (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma 1 (sqrt 1.0) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (expm1 (- (sqrt 1.0) (tan x))) (log1p (- (sqrt 1.0) (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (/ (exp (sqrt 1.0)) (exp (tan x))) (log (- (sqrt 1.0) (tan x))) (exp (- (sqrt 1.0) (tan x))) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (cbrt (- (sqrt 1.0) (tan x))) (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (- (tan x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt 1.0) (tan x)) (- (tan x)) (- (+ (exp (sqrt 1.0)) (* 1/2 (* (exp (sqrt 1.0)) (pow x 2)))) (* (exp (sqrt 1.0)) x)) (exp (- (sqrt 1.0) (/ (sin x) (cos x)))) (exp (- (sqrt 1.0) (/ (sin x) (cos x)))) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (pow (sqrt 1.0) 2) (+ (pow x 2) (* 2/3 (pow x 4)))) (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (- (sqrt 1.0) (+ (* 1/3 (pow x 3)) x)) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x))) 6.201 * * [simplify]: iteration 0 : 272 enodes (cost 4294 ) 6.279 * * [simplify]: iteration 1 : 613 enodes (cost 2989 ) 6.558 * * [simplify]: iteration 2 : 1721 enodes (cost 1800 ) 7.091 * * [simplify]: iteration done : 5000 enodes (cost 1797 ) 7.092 * [simplify]: Simplified to: (expm1 (exp (- (sqrt 1.0) (tan x)))) (log1p (exp (- (sqrt 1.0) (tan x)))) (exp (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x))))) (exp (sqrt (- (sqrt 1.0) (tan x)))) E (exp (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (exp (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) E (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x)))) 1 (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x)))) 1 (exp (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x)))) 1 (exp (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x)))) 1 (exp (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x)))) 1 (exp (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x)))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (- (sqrt 1.0) (tan x))) 1 (exp (sqrt 1.0)) (exp (- (tan x))) (exp (sqrt 1.0)) (exp (- (tan x))) (exp (sqrt 1.0)) (exp (tan x)) (- (sqrt 1.0) (tan x)) (exp (exp (- (sqrt 1.0) (tan x)))) (* (cbrt (exp (- (sqrt 1.0) (tan x)))) (cbrt (exp (- (sqrt 1.0) (tan x))))) (cbrt (exp (- (sqrt 1.0) (tan x)))) (pow (exp (- (sqrt 1.0) (tan x))) 3) (sqrt (exp (- (sqrt 1.0) (tan x)))) (sqrt (exp (- (sqrt 1.0) (tan x)))) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (pow (cbrt (tan x)) 4) (cbrt (tan x))) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (- 1.0 (* (tan x) (tan x)))) (log1p (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x))) (log (- 1.0 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (pow (- 1.0 (* (tan x) (tan x))) 3) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (pow (- 1.0 (* (tan x) (tan x))) 3) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x)))) (* (sqrt (+ (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x)))) (* (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) (+ (sqrt 1.0) (tan x))) 0 (* (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) (+ (sqrt 1.0) (tan x))) 0 (* (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) (+ (sqrt 1.0) (tan x))) 0 (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) 0 (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) 0 (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (+ (* (sqrt 1.0) (tan x)) 1.0) (* (+ (tan x) (sqrt 1.0)) (- (tan x))) (+ (* (sqrt 1.0) (tan x)) 1.0) (* (+ (tan x) (sqrt 1.0)) (- (tan x))) (* (+ (sqrt 1.0) (tan x)) (* 2 (log (cbrt (exp (- (sqrt 1.0) (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (cbrt (exp (- (sqrt 1.0) (tan x)))))) (* (log (sqrt (exp (- (sqrt 1.0) (tan x))))) (+ (sqrt 1.0) (tan x))) (* (log (sqrt (exp (- (sqrt 1.0) (tan x))))) (+ (sqrt 1.0) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) (* (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) (+ (sqrt 1.0) (tan x))) 0 (* (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) (+ (sqrt 1.0) (tan x))) 0 (* (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) (+ (sqrt 1.0) (tan x))) 0 (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) 0 (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) 0 (* (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (+ (sqrt 1.0) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) 0 (+ (* (sqrt 1.0) (tan x)) 1.0) (* (+ (tan x) (sqrt 1.0)) (- (tan x))) (+ (* (sqrt 1.0) (tan x)) 1.0) (* (+ (tan x) (sqrt 1.0)) (- (tan x))) (* (+ (sqrt 1.0) (tan x)) (* 2 (log (cbrt (exp (- (sqrt 1.0) (tan x))))))) (* (+ (sqrt 1.0) (tan x)) (log (cbrt (exp (- (sqrt 1.0) (tan x)))))) (* (log (sqrt (exp (- (sqrt 1.0) (tan x))))) (+ (sqrt 1.0) (tan x))) (* (log (sqrt (exp (- (sqrt 1.0) (tan x))))) (+ (sqrt 1.0) (tan x))) 0 (- 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (* (+ (sqrt 1.0) (tan x)) (cbrt (- (sqrt 1.0) (tan x)))) (* (+ (tan x) (sqrt 1.0)) (sqrt (- (sqrt 1.0) (tan x)))) (- 1.0 (* (tan x) (tan x))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (* (+ (sqrt 1.0) (tan x)) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (- 1.0 (* (tan x) (tan x))) (* (* (+ (sqrt 1.0) (tan x)) (cbrt (- (sqrt 1.0) (tan x)))) (cbrt (- (sqrt 1.0) (tan x)))) (* (+ (tan x) (sqrt 1.0)) (sqrt (- (sqrt 1.0) (tan x)))) (+ (sqrt 1.0) (tan x)) (* (cbrt (+ (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (* (- (sqrt 1.0) (tan x)) (sqrt (+ (sqrt 1.0) (tan x)))) (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (- (sqrt 1.0) (tan x)) (fma 1.0 (sqrt 1.0) (pow (tan x) 3))) (* (- (sqrt 1.0) (tan x)) (- 1.0 (* (tan x) (tan x)))) (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) 0 (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) 0 (- (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0))) (tan x)) 0 (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) 0 (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) 0 (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (- (sqrt 1.0) (tan x)) 0 (expm1 (- (sqrt 1.0) (tan x))) (log1p (- (sqrt 1.0) (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (exp (- (sqrt 1.0) (tan x))) (log (- (sqrt 1.0) (tan x))) (exp (- (sqrt 1.0) (tan x))) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (cbrt (- (sqrt 1.0) (tan x))) (pow (- (sqrt 1.0) (tan x)) 3) (sqrt (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)) (fma (tan x) (+ (sqrt 1.0) (tan x)) 1.0) (- (tan x)) (- 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt 1.0) (tan x)) (- (tan x)) (+ (* (exp (sqrt 1.0)) (- (* (pow x 2) 1/2) x)) (exp (sqrt 1.0))) (exp (- (sqrt 1.0) (/ (sin x) (cos x)))) (exp (- (sqrt 1.0) (/ (sin x) (cos 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)) (- 1.0 (fma 2/3 (pow x 4) (pow x 2))) (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (- (sqrt 1.0) (fma 1/3 (pow x 3) x)) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x))) 7.093 * * * [progress]: adding candidates to table 7.448 * [progress]: [Phase 3 of 3] Extracting. 7.449 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 7.452 * * * [regime-changes]: Trying 3 branch expressions: ((tan x) (* (tan x) (tan x)) x) 7.452 * * * * [regimes]: Trying to branch on (tan x) from (# # # # # # # # # # #) 7.499 * * * * [regimes]: Trying to branch on (* (tan x) (tan x)) from (# # # # # # # # # # #) 7.540 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 7.580 * * * [regime]: Found split indices: #