0.839 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.308 * * * [progress]: [2/2] Setting up program. 0.311 * [progress]: [Phase 2 of 3] Improving. 0.314 * [simplify]: Simplifying using # : (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 0.318 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 0.322 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.324 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 0.326 * * [simplify]: iteration 3 : 29 enodes (cost 14 ) 0.329 * * [simplify]: iteration 4 : 37 enodes (cost 14 ) 0.334 * * [simplify]: iteration 5 : 42 enodes (cost 14 ) 0.338 * * [simplify]: iteration 6 : 44 enodes (cost 14 ) 0.343 * * [simplify]: iteration done : 44 enodes (cost 14 ) 0.343 * [simplify]: Simplified to: (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 0.356 * * [progress]: iteration 1 / 4 0.356 * * * [progress]: picking best candidate 0.360 * * * * [pick]: Picked # 0.360 * * * [progress]: localizing error 0.370 * * * [progress]: generating rewritten candidates 0.371 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.378 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.384 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.393 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.400 * * * [progress]: generating series expansions 0.401 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.405 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.406 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.406 * [taylor]: Taking taylor expansion of (tan x) in x 0.407 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.407 * [taylor]: Taking taylor expansion of (sin x) in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.407 * [taylor]: Taking taylor expansion of (cos x) in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.409 * [taylor]: Taking taylor expansion of (tan x) in x 0.409 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.409 * [taylor]: Taking taylor expansion of (sin x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (cos x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.426 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.426 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.426 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.426 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.426 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.426 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.427 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.427 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.427 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.427 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.427 * [taylor]: Taking taylor expansion of x in x 0.427 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.427 * [taylor]: Taking taylor expansion of x in x 0.435 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.435 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.435 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.435 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.435 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.435 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.435 * [taylor]: Taking taylor expansion of -1 in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.436 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.436 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.436 * [taylor]: Taking taylor expansion of -1 in x 0.436 * [taylor]: Taking taylor expansion of x in x 0.436 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.436 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.436 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.436 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.436 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.436 * [taylor]: Taking taylor expansion of -1 in x 0.436 * [taylor]: Taking taylor expansion of x in x 0.437 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.437 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.437 * [taylor]: Taking taylor expansion of -1 in x 0.437 * [taylor]: Taking taylor expansion of x in x 0.444 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.444 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.444 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.444 * [taylor]: Taking taylor expansion of (tan x) in x 0.444 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.445 * [taylor]: Taking taylor expansion of (sin x) in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.445 * [taylor]: Taking taylor expansion of (cos x) in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.445 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.445 * [taylor]: Taking taylor expansion of (tan x) in x 0.445 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.445 * [taylor]: Taking taylor expansion of (sin x) in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.445 * [taylor]: Taking taylor expansion of (cos x) in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.466 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.466 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.466 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.466 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.466 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.467 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.467 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.467 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.467 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.467 * [taylor]: Taking taylor expansion of x in x 0.467 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.467 * [taylor]: Taking taylor expansion of x in x 0.475 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.475 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.475 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.475 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.475 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.475 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.475 * [taylor]: Taking taylor expansion of -1 in x 0.475 * [taylor]: Taking taylor expansion of x in x 0.476 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.476 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.476 * [taylor]: Taking taylor expansion of -1 in x 0.476 * [taylor]: Taking taylor expansion of x in x 0.476 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.476 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.476 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.476 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.476 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.476 * [taylor]: Taking taylor expansion of -1 in x 0.476 * [taylor]: Taking taylor expansion of x in x 0.477 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.477 * [taylor]: Taking taylor expansion of -1 in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.484 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.484 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0 0.484 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.484 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.484 * [taylor]: Taking taylor expansion of 1.0 in x 0.485 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.485 * [taylor]: Taking taylor expansion of (tan x) in x 0.485 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.485 * [taylor]: Taking taylor expansion of (sin x) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.485 * [taylor]: Taking taylor expansion of (cos x) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.486 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.486 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.486 * [taylor]: Taking taylor expansion of (tan x) in x 0.486 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.486 * [taylor]: Taking taylor expansion of (sin x) in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.486 * [taylor]: Taking taylor expansion of (cos x) in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.487 * [taylor]: Taking taylor expansion of 1.0 in x 0.488 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.488 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.488 * [taylor]: Taking taylor expansion of 1.0 in x 0.488 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.488 * [taylor]: Taking taylor expansion of (tan x) in x 0.488 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.488 * [taylor]: Taking taylor expansion of (sin x) in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of (cos x) in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.489 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.489 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.489 * [taylor]: Taking taylor expansion of (tan x) in x 0.489 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.489 * [taylor]: Taking taylor expansion of (sin x) in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.489 * [taylor]: Taking taylor expansion of (cos x) in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of 1.0 in x 0.510 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 0.510 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.510 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.510 * [taylor]: Taking taylor expansion of 1.0 in x 0.510 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.510 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.511 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.511 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.511 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.511 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.511 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.511 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of 1.0 in x 0.514 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.514 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.514 * [taylor]: Taking taylor expansion of 1.0 in x 0.514 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.514 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.514 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.514 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.514 * [taylor]: Taking taylor expansion of x in x 0.514 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.514 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.515 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.515 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.515 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.515 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.516 * [taylor]: Taking taylor expansion of 1.0 in x 0.545 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 0.545 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.545 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.545 * [taylor]: Taking taylor expansion of 1.0 in x 0.545 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.545 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.545 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.545 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.545 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.545 * [taylor]: Taking taylor expansion of -1 in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.545 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.545 * [taylor]: Taking taylor expansion of -1 in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.546 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.546 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.546 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.546 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.546 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.546 * [taylor]: Taking taylor expansion of -1 in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.546 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.546 * [taylor]: Taking taylor expansion of -1 in x 0.547 * [taylor]: Taking taylor expansion of x in x 0.547 * [taylor]: Taking taylor expansion of 1.0 in x 0.548 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.548 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.548 * [taylor]: Taking taylor expansion of 1.0 in x 0.548 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.548 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.548 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.548 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.548 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.548 * [taylor]: Taking taylor expansion of -1 in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.549 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.549 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.549 * [taylor]: Taking taylor expansion of -1 in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.549 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.549 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.549 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.549 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.549 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.549 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.549 * [taylor]: Taking taylor expansion of -1 in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.550 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.550 * [taylor]: Taking taylor expansion of -1 in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of 1.0 in x 0.584 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.585 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in (x) around 0 0.585 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.585 * [taylor]: Taking taylor expansion of 1.0 in x 0.585 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.585 * [taylor]: Taking taylor expansion of (tan x) in x 0.585 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.585 * [taylor]: Taking taylor expansion of (sin x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (cos x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.586 * [taylor]: Taking taylor expansion of 1.0 in x 0.586 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.586 * [taylor]: Taking taylor expansion of (tan x) in x 0.586 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.586 * [taylor]: Taking taylor expansion of (sin x) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (cos x) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.593 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0 0.593 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.593 * [taylor]: Taking taylor expansion of 1.0 in x 0.593 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.593 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.593 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.593 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.594 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.594 * [taylor]: Taking taylor expansion of x in x 0.594 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.594 * [taylor]: Taking taylor expansion of 1.0 in x 0.594 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.594 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.594 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.594 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.594 * [taylor]: Taking taylor expansion of x in x 0.594 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.595 * [taylor]: Taking taylor expansion of x in x 0.606 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0 0.606 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.606 * [taylor]: Taking taylor expansion of 1.0 in x 0.606 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.606 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.606 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.606 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.606 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.606 * [taylor]: Taking taylor expansion of -1 in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.606 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.606 * [taylor]: Taking taylor expansion of -1 in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.607 * [taylor]: Taking taylor expansion of 1.0 in x 0.607 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.607 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.607 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.607 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.607 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.607 * [taylor]: Taking taylor expansion of -1 in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.607 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.607 * [taylor]: Taking taylor expansion of -1 in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.618 * * * [progress]: simplifying candidates 0.620 * [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)) (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)))) (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))) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4)))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 0.626 * * [simplify]: iteration 0 : 151 enodes (cost 1789 ) 0.657 * * [simplify]: iteration 1 : 336 enodes (cost 1638 ) 0.774 * * [simplify]: iteration 2 : 909 enodes (cost 1453 ) 1.544 * * [simplify]: iteration 3 : 3217 enodes (cost 1419 ) 2.468 * * [simplify]: iteration done : 5000 enodes (cost 1418 ) 2.469 * [simplify]: Simplified to: (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (pow (sqrt (tan x)) 4) 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 (pow (sqrt (tan x)) 4) (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) (pow (sqrt (tan x)) 4) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (pow (sqrt (tan x)) 4) 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 (pow (sqrt (tan x)) 4) (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) (pow (sqrt (tan x)) 4) (* (tan x) (sin x)) (* (tan x) (sin 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))) (- (pow (sqrt (tan x)) 4) 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)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (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))))) (/ (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)) (/ (+ (tan x) (sqrt 1.0)) (* (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))) (/ (+ (tan x) (sqrt 1.0)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (+ (tan x) (sqrt 1.0)) (/ (- (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 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 (tan x) (tan x) 1.0)) (fma (tan x) (- (tan x)) (pow (cbrt 1.0) 3)) (* (* 0 (tan x)) (tan x)) (- 1.0 (* (tan x) (tan x))) (* (* 0 (tan x)) (tan x)) (- 1.0 (* (tan x) (tan x))) (* (* 0 (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 (* (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) (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x)) (- (* (tan x) (tan x))) (fma x x (fma 17/45 (pow x 6) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (fma x x (fma 17/45 (pow x 6) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (fma 0.6666666666666669 (pow x 4) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- 1.0 (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))) 2.469 * * * [progress]: adding candidates to table 2.758 * * [progress]: iteration 2 / 4 2.758 * * * [progress]: picking best candidate 2.783 * * * * [pick]: Picked # 2.783 * * * [progress]: localizing error 2.794 * * * [progress]: generating rewritten candidates 2.794 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 2.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.837 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 2.856 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 2.862 * * * [progress]: generating series expansions 2.862 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 2.862 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in (x) around 0 2.863 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 2.863 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.863 * [taylor]: Taking taylor expansion of 1.0 in x 2.863 * [taylor]: Taking taylor expansion of (tan x) in x 2.864 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.864 * [taylor]: Taking taylor expansion of (sin x) in x 2.864 * [taylor]: Taking taylor expansion of x in x 2.864 * [taylor]: Taking taylor expansion of (cos x) in x 2.864 * [taylor]: Taking taylor expansion of x in x 2.865 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan 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.865 * [taylor]: Taking taylor expansion of (tan x) in x 2.866 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.866 * [taylor]: Taking taylor expansion of (sin x) in x 2.866 * [taylor]: Taking taylor expansion of x in x 2.866 * [taylor]: Taking taylor expansion of (cos x) in x 2.866 * [taylor]: Taking taylor expansion of x in x 2.874 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in (x) around 0 2.874 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 2.874 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.874 * [taylor]: Taking taylor expansion of 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 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 x in x 2.876 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 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.877 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.877 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.877 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.877 * [taylor]: Taking taylor expansion of (/ 1 x) 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 x in x 2.887 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in (x) around 0 2.887 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 2.887 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.887 * [taylor]: Taking taylor expansion of 1.0 in x 2.888 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.888 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.888 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.888 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.888 * [taylor]: Taking taylor expansion of -1 in x 2.888 * [taylor]: Taking taylor expansion of x in x 2.889 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.889 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.889 * [taylor]: Taking taylor expansion of -1 in x 2.889 * [taylor]: Taking taylor expansion of x in x 2.889 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 2.889 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.889 * [taylor]: Taking taylor expansion of 1.0 in x 2.890 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.890 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.890 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.890 * [taylor]: Taking taylor expansion of -1 in x 2.890 * [taylor]: Taking taylor expansion of x in x 2.890 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.890 * [taylor]: Taking taylor expansion of -1 in x 2.890 * [taylor]: Taking taylor expansion of x in x 2.900 * * * * [progress]: [ 2 / 4 ] generating series at (2) 2.901 * [approximate]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (fma (tan x) (tan x) 1.0)) in (x) around 0 2.901 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (fma (tan x) (tan x) 1.0)) in x 2.901 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x 2.901 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 2.901 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.901 * [taylor]: Taking taylor expansion of 1.0 in x 2.902 * [taylor]: Taking taylor expansion of (tan x) in x 2.902 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.902 * [taylor]: Taking taylor expansion of (sin x) in x 2.902 * [taylor]: Taking taylor expansion of x in x 2.902 * [taylor]: Taking taylor expansion of (cos x) in x 2.902 * [taylor]: Taking taylor expansion of x in x 2.903 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 2.903 * [taylor]: Taking taylor expansion of (tan x) in x 2.903 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.903 * [taylor]: Taking taylor expansion of (sin x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.903 * [taylor]: Taking taylor expansion of (cos x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.904 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.904 * [taylor]: Taking taylor expansion of 1.0 in x 2.904 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 2.905 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 2.905 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 2.905 * [taylor]: Taking taylor expansion of (tan x) in x 2.905 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.905 * [taylor]: Taking taylor expansion of (sin x) in x 2.905 * [taylor]: Taking taylor expansion of x in x 2.905 * [taylor]: Taking taylor expansion of (cos x) in x 2.905 * [taylor]: Taking taylor expansion of x in x 2.905 * [taylor]: Taking taylor expansion of (tan x) in x 2.906 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.906 * [taylor]: Taking taylor expansion of (sin x) in x 2.906 * [taylor]: Taking taylor expansion of x in x 2.906 * [taylor]: Taking taylor expansion of (cos x) in x 2.906 * [taylor]: Taking taylor expansion of x in x 2.906 * [taylor]: Taking taylor expansion of 1.0 in x 2.910 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (fma (tan x) (tan x) 1.0)) in x 2.910 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x 2.910 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 2.910 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.910 * [taylor]: Taking taylor expansion of 1.0 in x 2.910 * [taylor]: Taking taylor expansion of (tan x) in x 2.910 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.910 * [taylor]: Taking taylor expansion of (sin x) in x 2.911 * [taylor]: Taking taylor expansion of x in x 2.911 * [taylor]: Taking taylor expansion of (cos x) in x 2.911 * [taylor]: Taking taylor expansion of x in x 2.911 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 2.911 * [taylor]: Taking taylor expansion of (tan x) in x 2.911 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.911 * [taylor]: Taking taylor expansion of (sin x) in x 2.911 * [taylor]: Taking taylor expansion of x in x 2.911 * [taylor]: Taking taylor expansion of (cos x) in x 2.911 * [taylor]: Taking taylor expansion of x in x 2.912 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.912 * [taylor]: Taking taylor expansion of 1.0 in x 2.913 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 2.913 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 2.913 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 2.913 * [taylor]: Taking taylor expansion of (tan x) in x 2.913 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.913 * [taylor]: Taking taylor expansion of (sin x) in x 2.913 * [taylor]: Taking taylor expansion of x in x 2.913 * [taylor]: Taking taylor expansion of (cos x) in x 2.913 * [taylor]: Taking taylor expansion of x in x 2.914 * [taylor]: Taking taylor expansion of (tan x) in x 2.914 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.914 * [taylor]: Taking taylor expansion of (sin x) in x 2.914 * [taylor]: Taking taylor expansion of x in x 2.914 * [taylor]: Taking taylor expansion of (cos x) in x 2.914 * [taylor]: Taking taylor expansion of x in x 2.915 * [taylor]: Taking taylor expansion of 1.0 in x 2.982 * [approximate]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in (x) around 0 2.982 * [taylor]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 2.982 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x 2.982 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 2.982 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.982 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.982 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.982 * [taylor]: Taking taylor expansion of x in x 2.982 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.982 * [taylor]: Taking taylor expansion of x in x 2.983 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.983 * [taylor]: Taking taylor expansion of 1.0 in x 2.983 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 2.983 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.983 * [taylor]: Taking taylor expansion of 1.0 in x 2.984 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.984 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.984 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.984 * [taylor]: Taking taylor expansion of x in x 2.985 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.985 * [taylor]: Taking taylor expansion of x in x 2.985 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 2.985 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 2.985 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 2.985 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.985 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.985 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.985 * [taylor]: Taking taylor expansion of x in x 2.986 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.986 * [taylor]: Taking taylor expansion of x in x 2.986 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.986 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.986 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.986 * [taylor]: Taking taylor expansion of x in x 2.986 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.986 * [taylor]: Taking taylor expansion of x in x 2.987 * [taylor]: Taking taylor expansion of 1.0 in x 2.990 * [taylor]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 2.990 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x 2.990 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 2.990 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.990 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.990 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.990 * [taylor]: Taking taylor expansion of x in x 2.990 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.990 * [taylor]: Taking taylor expansion of x in x 2.991 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.991 * [taylor]: Taking taylor expansion of 1.0 in x 2.991 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 2.991 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.991 * [taylor]: Taking taylor expansion of 1.0 in x 2.992 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.992 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.992 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.992 * [taylor]: Taking taylor expansion of x in x 2.993 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.993 * [taylor]: Taking taylor expansion of x in x 2.993 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 2.993 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 2.993 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 2.993 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.993 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.993 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.993 * [taylor]: Taking taylor expansion of x in x 2.994 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.994 * [taylor]: Taking taylor expansion of x in x 2.994 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.994 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.994 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.994 * [taylor]: Taking taylor expansion of x in x 2.994 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.994 * [taylor]: Taking taylor expansion of x in x 2.995 * [taylor]: Taking taylor expansion of 1.0 in x 3.052 * [approximate]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in (x) around 0 3.052 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 3.052 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x 3.052 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 3.052 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.052 * [taylor]: Taking taylor expansion of 1.0 in x 3.053 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.053 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.053 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.053 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.053 * [taylor]: Taking taylor expansion of -1 in x 3.053 * [taylor]: Taking taylor expansion of x in x 3.053 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.053 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.053 * [taylor]: Taking taylor expansion of -1 in x 3.053 * [taylor]: Taking taylor expansion of x in x 3.054 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 3.054 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.054 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.054 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.054 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.054 * [taylor]: Taking taylor expansion of -1 in x 3.054 * [taylor]: Taking taylor expansion of x in x 3.054 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.054 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.054 * [taylor]: Taking taylor expansion of -1 in x 3.054 * [taylor]: Taking taylor expansion of x in x 3.055 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.055 * [taylor]: Taking taylor expansion of 1.0 in x 3.056 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 3.056 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 3.056 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 3.056 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.056 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.056 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.056 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.056 * [taylor]: Taking taylor expansion of -1 in x 3.056 * [taylor]: Taking taylor expansion of x in x 3.056 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.056 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.056 * [taylor]: Taking taylor expansion of -1 in x 3.056 * [taylor]: Taking taylor expansion of x in x 3.057 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.057 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.057 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.057 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.057 * [taylor]: Taking taylor expansion of -1 in x 3.057 * [taylor]: Taking taylor expansion of x in x 3.057 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.057 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.057 * [taylor]: Taking taylor expansion of -1 in x 3.057 * [taylor]: Taking taylor expansion of x in x 3.058 * [taylor]: Taking taylor expansion of 1.0 in x 3.060 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 3.060 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x 3.060 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 3.060 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.060 * [taylor]: Taking taylor expansion of 1.0 in x 3.061 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.061 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.061 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.061 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.061 * [taylor]: Taking taylor expansion of -1 in x 3.061 * [taylor]: Taking taylor expansion of x in x 3.062 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.062 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.062 * [taylor]: Taking taylor expansion of -1 in x 3.062 * [taylor]: Taking taylor expansion of x in x 3.062 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 3.062 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.062 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.062 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.062 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.062 * [taylor]: Taking taylor expansion of -1 in x 3.062 * [taylor]: Taking taylor expansion of x in x 3.063 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.063 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.063 * [taylor]: Taking taylor expansion of -1 in x 3.063 * [taylor]: Taking taylor expansion of x in x 3.063 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.063 * [taylor]: Taking taylor expansion of 1.0 in x 3.064 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 3.064 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 3.064 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 3.064 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.064 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.064 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.064 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.064 * [taylor]: Taking taylor expansion of -1 in x 3.064 * [taylor]: Taking taylor expansion of x in x 3.064 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.064 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.064 * [taylor]: Taking taylor expansion of -1 in x 3.064 * [taylor]: Taking taylor expansion of x in x 3.065 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.065 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.065 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.065 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.065 * [taylor]: Taking taylor expansion of -1 in x 3.065 * [taylor]: Taking taylor expansion of x in x 3.065 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.065 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.066 * [taylor]: Taking taylor expansion of -1 in x 3.066 * [taylor]: Taking taylor expansion of x in x 3.066 * [taylor]: Taking taylor expansion of 1.0 in x 3.121 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 3.122 * [approximate]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) in (x) around 0 3.122 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) in x 3.122 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 3.122 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.122 * [taylor]: Taking taylor expansion of 1.0 in x 3.123 * [taylor]: Taking taylor expansion of (tan x) in x 3.123 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.123 * [taylor]: Taking taylor expansion of (sin x) in x 3.123 * [taylor]: Taking taylor expansion of x in x 3.123 * [taylor]: Taking taylor expansion of (cos x) in x 3.123 * [taylor]: Taking taylor expansion of x in x 3.124 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 3.124 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 3.124 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 3.124 * [taylor]: Taking taylor expansion of (tan x) in x 3.124 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.124 * [taylor]: Taking taylor expansion of (sin x) in x 3.124 * [taylor]: Taking taylor expansion of x in x 3.124 * [taylor]: Taking taylor expansion of (cos x) in x 3.124 * [taylor]: Taking taylor expansion of x in x 3.125 * [taylor]: Taking taylor expansion of (tan x) in x 3.125 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.125 * [taylor]: Taking taylor expansion of (sin x) in x 3.125 * [taylor]: Taking taylor expansion of x in x 3.125 * [taylor]: Taking taylor expansion of (cos x) in x 3.125 * [taylor]: Taking taylor expansion of x in x 3.126 * [taylor]: Taking taylor expansion of 1.0 in x 3.127 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) in x 3.127 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 3.127 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.127 * [taylor]: Taking taylor expansion of 1.0 in x 3.128 * [taylor]: Taking taylor expansion of (tan x) in x 3.128 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.128 * [taylor]: Taking taylor expansion of (sin x) in x 3.128 * [taylor]: Taking taylor expansion of x in x 3.128 * [taylor]: Taking taylor expansion of (cos x) in x 3.128 * [taylor]: Taking taylor expansion of x in x 3.129 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 3.129 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 3.129 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 3.129 * [taylor]: Taking taylor expansion of (tan x) in x 3.129 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.129 * [taylor]: Taking taylor expansion of (sin x) in x 3.129 * [taylor]: Taking taylor expansion of x in x 3.129 * [taylor]: Taking taylor expansion of (cos x) in x 3.129 * [taylor]: Taking taylor expansion of x in x 3.130 * [taylor]: Taking taylor expansion of (tan x) in x 3.130 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.130 * [taylor]: Taking taylor expansion of (sin x) in x 3.130 * [taylor]: Taking taylor expansion of x in x 3.130 * [taylor]: Taking taylor expansion of (cos x) in x 3.130 * [taylor]: Taking taylor expansion of x in x 3.130 * [taylor]: Taking taylor expansion of 1.0 in x 3.144 * [approximate]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ 1 x))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in (x) around 0 3.144 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ 1 x))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 3.144 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 3.144 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.144 * [taylor]: Taking taylor expansion of 1.0 in x 3.145 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.145 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.145 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.145 * [taylor]: Taking taylor expansion of x in x 3.145 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.145 * [taylor]: Taking taylor expansion of x in x 3.146 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 3.146 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 3.146 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 3.146 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.146 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.146 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.146 * [taylor]: Taking taylor expansion of x in x 3.146 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.146 * [taylor]: Taking taylor expansion of x in x 3.147 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.147 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.147 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.147 * [taylor]: Taking taylor expansion of x in x 3.147 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.147 * [taylor]: Taking taylor expansion of x in x 3.148 * [taylor]: Taking taylor expansion of 1.0 in x 3.149 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ 1 x))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 3.149 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 3.149 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.149 * [taylor]: Taking taylor expansion of 1.0 in x 3.150 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.150 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.150 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.150 * [taylor]: Taking taylor expansion of x in x 3.150 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.150 * [taylor]: Taking taylor expansion of x in x 3.151 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 3.151 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 3.151 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 3.151 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.151 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.151 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.151 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.152 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.152 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.152 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.152 * [taylor]: Taking taylor expansion of x in x 3.152 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.152 * [taylor]: Taking taylor expansion of x in x 3.152 * [taylor]: Taking taylor expansion of 1.0 in x 3.185 * [approximate]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ -1 x))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in (x) around 0 3.185 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ -1 x))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 3.185 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 3.185 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.185 * [taylor]: Taking taylor expansion of 1.0 in x 3.186 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.186 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.186 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.186 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.186 * [taylor]: Taking taylor expansion of -1 in x 3.186 * [taylor]: Taking taylor expansion of x in x 3.186 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.186 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.186 * [taylor]: Taking taylor expansion of -1 in x 3.186 * [taylor]: Taking taylor expansion of x in x 3.187 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 3.187 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 3.187 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 3.187 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.187 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.187 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.187 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.187 * [taylor]: Taking taylor expansion of -1 in x 3.187 * [taylor]: Taking taylor expansion of x in x 3.188 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.188 * [taylor]: Taking taylor expansion of -1 in x 3.188 * [taylor]: Taking taylor expansion of x in x 3.188 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.188 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.188 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.188 * [taylor]: Taking taylor expansion of -1 in x 3.188 * [taylor]: Taking taylor expansion of x in x 3.188 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.189 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.189 * [taylor]: Taking taylor expansion of -1 in x 3.189 * [taylor]: Taking taylor expansion of x in x 3.189 * [taylor]: Taking taylor expansion of 1.0 in x 3.190 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ -1 x))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 3.190 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 3.190 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.190 * [taylor]: Taking taylor expansion of 1.0 in x 3.191 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.191 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.191 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.191 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.191 * [taylor]: Taking taylor expansion of -1 in x 3.191 * [taylor]: Taking taylor expansion of x in x 3.192 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.192 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.192 * [taylor]: Taking taylor expansion of -1 in x 3.192 * [taylor]: Taking taylor expansion of x in x 3.192 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 3.192 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 3.192 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 3.192 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.192 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.192 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.192 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.192 * [taylor]: Taking taylor expansion of -1 in x 3.192 * [taylor]: Taking taylor expansion of x in x 3.193 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.193 * [taylor]: Taking taylor expansion of -1 in x 3.193 * [taylor]: Taking taylor expansion of x in x 3.193 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.193 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.193 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.193 * [taylor]: Taking taylor expansion of -1 in x 3.193 * [taylor]: Taking taylor expansion of x in x 3.194 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.194 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.194 * [taylor]: Taking taylor expansion of -1 in x 3.194 * [taylor]: Taking taylor expansion of x in x 3.194 * [taylor]: Taking taylor expansion of 1.0 in x 3.231 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 3.231 * [approximate]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in (x) around 0 3.231 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 3.231 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 3.231 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 3.231 * [taylor]: Taking taylor expansion of (tan x) in x 3.231 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.231 * [taylor]: Taking taylor expansion of (sin x) in x 3.231 * [taylor]: Taking taylor expansion of x in x 3.232 * [taylor]: Taking taylor expansion of (cos x) in x 3.232 * [taylor]: Taking taylor expansion of x in x 3.232 * [taylor]: Taking taylor expansion of (tan x) in x 3.232 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.232 * [taylor]: Taking taylor expansion of (sin x) in x 3.232 * [taylor]: Taking taylor expansion of x in x 3.232 * [taylor]: Taking taylor expansion of (cos x) in x 3.232 * [taylor]: Taking taylor expansion of x in x 3.233 * [taylor]: Taking taylor expansion of 1.0 in x 3.233 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 3.233 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 3.233 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 3.233 * [taylor]: Taking taylor expansion of (tan x) in x 3.233 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.233 * [taylor]: Taking taylor expansion of (sin x) in x 3.233 * [taylor]: Taking taylor expansion of x in x 3.233 * [taylor]: Taking taylor expansion of (cos x) in x 3.233 * [taylor]: Taking taylor expansion of x in x 3.234 * [taylor]: Taking taylor expansion of (tan x) in x 3.234 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.234 * [taylor]: Taking taylor expansion of (sin x) in x 3.234 * [taylor]: Taking taylor expansion of x in x 3.234 * [taylor]: Taking taylor expansion of (cos x) in x 3.234 * [taylor]: Taking taylor expansion of x in x 3.235 * [taylor]: Taking taylor expansion of 1.0 in x 3.244 * [approximate]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in (x) around 0 3.244 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 3.244 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 3.244 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 3.244 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.244 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.244 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.244 * [taylor]: Taking taylor expansion of x in x 3.245 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.245 * [taylor]: Taking taylor expansion of x in x 3.245 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.245 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.245 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.245 * [taylor]: Taking taylor expansion of x in x 3.246 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.246 * [taylor]: Taking taylor expansion of x in x 3.246 * [taylor]: Taking taylor expansion of 1.0 in x 3.246 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 3.246 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 3.246 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 3.246 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.246 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.246 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.246 * [taylor]: Taking taylor expansion of x in x 3.247 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.247 * [taylor]: Taking taylor expansion of x in x 3.247 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.247 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.247 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.247 * [taylor]: Taking taylor expansion of x in x 3.247 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.247 * [taylor]: Taking taylor expansion of x in x 3.248 * [taylor]: Taking taylor expansion of 1.0 in x 3.259 * [approximate]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in (x) around 0 3.259 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 3.259 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 3.259 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 3.259 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.259 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.259 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.260 * [taylor]: Taking taylor expansion of -1 in x 3.260 * [taylor]: Taking taylor expansion of x in x 3.260 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.260 * [taylor]: Taking taylor expansion of -1 in x 3.260 * [taylor]: Taking taylor expansion of x in x 3.260 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.260 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.260 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.260 * [taylor]: Taking taylor expansion of -1 in x 3.260 * [taylor]: Taking taylor expansion of x in x 3.261 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.261 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.261 * [taylor]: Taking taylor expansion of -1 in x 3.261 * [taylor]: Taking taylor expansion of x in x 3.261 * [taylor]: Taking taylor expansion of 1.0 in x 3.261 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 3.261 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 3.261 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 3.261 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.262 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.262 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.262 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.262 * [taylor]: Taking taylor expansion of -1 in x 3.262 * [taylor]: Taking taylor expansion of x in x 3.262 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.262 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.262 * [taylor]: Taking taylor expansion of -1 in x 3.262 * [taylor]: Taking taylor expansion of x in x 3.262 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.262 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.262 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.262 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.262 * [taylor]: Taking taylor expansion of -1 in x 3.263 * [taylor]: Taking taylor expansion of x in x 3.263 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.263 * [taylor]: Taking taylor expansion of -1 in x 3.263 * [taylor]: Taking taylor expansion of x in x 3.263 * [taylor]: Taking taylor expansion of 1.0 in x 3.275 * * * [progress]: simplifying candidates 3.277 * [simplify]: Simplifying using # : (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 (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (log1p (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (+ (log (+ (tan x) (sqrt 1.0))) (- (log (- (sqrt 1.0) (tan x))) (log (fma (tan x) (tan x) 1.0)))) (+ (log (+ (tan x) (sqrt 1.0))) (log (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (log (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (exp (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (* (* (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0))) (+ (tan x) (sqrt 1.0))) (/ (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (* (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (fma (tan x) (tan x) 1.0)))) (* (* (* (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0))) (+ (tan x) (sqrt 1.0))) (* (* (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (cbrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (cbrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))))) (cbrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (* (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (sqrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (sqrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (pow (tan x) 3) (pow (sqrt 1.0) 3)) (- (sqrt 1.0) (tan x))) (* (+ (* (tan x) (tan x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (sqrt 1.0)))) (fma (tan x) (tan x) 1.0)) (* (- (* (tan x) (tan x)) (* (sqrt 1.0) (sqrt 1.0))) (- (sqrt 1.0) (tan x))) (* (- (tan x) (sqrt 1.0)) (fma (tan x) (tan x) 1.0)) (* (sqrt (+ (tan x) (sqrt 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (* (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) 1)) (* (+ (tan x) (sqrt 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) 1)) (* (+ (tan x) (sqrt 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ 1 (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ 1 1)) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) 1)) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) 1)) (* (+ (tan x) (sqrt 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ 1 (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ 1 1)) (* (+ (tan x) (sqrt 1.0)) 1) (* (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x))) (* (cbrt (+ (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x))) (* (+ (pow (tan x) 3) (pow (sqrt 1.0) 3)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (- (* (tan x) (tan x)) (* (sqrt 1.0) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (expm1 (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (log1p (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (- (log (- (sqrt 1.0) (tan x))) (log (fma (tan x) (tan x) 1.0))) (log (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (exp (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (/ (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (* (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (fma (tan x) (tan x) 1.0))) (* (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (* (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (- (- (sqrt 1.0) (tan x))) (- (fma (tan x) (tan x) 1.0)) (/ (sqrt 1.0) (fma (tan x) (tan x) 1.0)) (/ (tan x) (fma (tan x) (tan x) 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (cbrt (- (sqrt 1.0) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) 1) (/ (cbrt (- (sqrt 1.0) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (sqrt (- (sqrt 1.0) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) 1) (/ (sqrt (- (sqrt 1.0) (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)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (/ 1 1) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) 1) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) 1) (/ (- (sqrt (sqrt 1.0)) (sqrt (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)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (/ 1 1) (/ (- (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) (- (sqrt 1.0) (tan x))) (/ (- (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)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) 1) (/ (fma (tan x) (tan x) 1.0) (cbrt (- (sqrt 1.0) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- (sqrt 1.0) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (* (fma (tan x) (tan x) 1.0) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x))))) (* (fma (tan x) (tan x) 1.0) (+ (sqrt 1.0) (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)) (- (sqrt 1.0) (+ (* 1/3 (pow x 3)) x)) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (+ (* 0.33333333333333337 (pow x 4)) (+ (* 0.33333333333333337 (* (pow x 4) (pow (sqrt 1.0) 2))) (* 1.0 (pow (sqrt 1.0) 2)))) (+ (* 1.0 (* (pow x 2) (pow (sqrt 1.0) 2))) (* 1.0 (pow x 2)))) (/ (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- (* 1.0 (sqrt 1.0)) (+ (* 1.0 x) (* 1.0 (* (pow x 2) (sqrt 1.0))))) (/ (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (/ (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)) 1.0) 3.285 * * [simplify]: iteration 0 : 224 enodes (cost 3085 ) 3.343 * * [simplify]: iteration 1 : 545 enodes (cost 2688 ) 3.648 * * [simplify]: iteration 2 : 1845 enodes (cost 2370 ) 4.318 * * [simplify]: iteration done : 5000 enodes (cost 2370 ) 4.319 * [simplify]: Simplified to: (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (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)) (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))) (/ (- 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))) (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) (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))) (* (- (sqrt 1.0) (tan x)) (fma (sqrt 1.0) 1.0 (pow (tan x) 3))) (* (fma (tan x) (tan x) 1.0) (- (fma (tan x) (tan x) 1.0) (* (sqrt 1.0) (tan x)))) (* (- (sqrt 1.0) (tan x)) (- (* (tan x) (tan x)) 1.0)) (* (- (tan x) (sqrt 1.0)) (fma (tan x) (tan x) 1.0)) (* (sqrt (+ (tan x) (sqrt 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (* (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (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))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (sqrt 1.0) (tan x)) (sqrt (- (sqrt 1.0) (tan x)))) (/ (+ (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)) (sqrt (fma (tan x) (tan x) 1.0))) (+ (sqrt 1.0) (tan x)) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (+ (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)) (sqrt (fma (tan x) (tan x) 1.0))) (+ (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x)) (- 1.0 (* (tan x) (tan x))) (* (cbrt (+ (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (/ (- 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)) (- 1.0 (* (tan x) (tan x))) (/ (fma (sqrt 1.0) 1.0 (pow (tan x) 3)) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x)))) (* (- (* (tan x) (tan x)) 1.0) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (expm1 (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (log1p (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (log (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (log (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (exp (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (pow (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) 3) (* (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (pow (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) 3) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (- (- (sqrt 1.0) (tan x))) (- (fma (tan x) (tan x) 1.0)) (/ (sqrt 1.0) (fma (tan x) (tan x) 1.0)) (/ (tan x) (fma (tan x) (tan x) 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (cbrt (- (sqrt 1.0) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (/ (cbrt (- (sqrt 1.0) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (sqrt (- (sqrt 1.0) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (sqrt (- (sqrt 1.0) (tan x))) (/ (sqrt (- (sqrt 1.0) (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)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (/ (- (sqrt (sqrt 1.0)) (sqrt (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)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- (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) (- (sqrt 1.0) (tan x))) (/ (- (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)) (sqrt (fma (tan x) (tan x) 1.0))) (- (sqrt 1.0) (tan x)) (/ (fma (tan x) (tan x) 1.0) (cbrt (- (sqrt 1.0) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- (sqrt 1.0) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (* (fma (tan x) (+ (sqrt 1.0) (tan x)) 1.0) (fma (tan x) (tan x) 1.0)) (* (fma (tan x) (tan x) 1.0) (+ (sqrt 1.0) (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)) (- (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 (pow x 4) 0.33333333333333337 (- (* 1.0 (+ 1.0 (* 0.33333333333333337 (pow x 4)))) (* (* (+ 1.0 1) (pow x 2)) 1.0))) (/ (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- (* 1.0 (sqrt 1.0)) (* 1.0 (+ x (* (pow x 2) (sqrt 1.0))))) (/ (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (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) 4.320 * * * [progress]: adding candidates to table 4.679 * * [progress]: iteration 3 / 4 4.679 * * * [progress]: picking best candidate 4.702 * * * * [pick]: Picked # 4.703 * * * [progress]: localizing error 4.716 * * * [progress]: generating rewritten candidates 4.716 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.722 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 4.727 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 4.732 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 4.756 * * * [progress]: generating series expansions 4.756 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.756 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 4.756 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.756 * [taylor]: Taking taylor expansion of (tan x) in x 4.756 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.756 * [taylor]: Taking taylor expansion of (sin x) in x 4.756 * [taylor]: Taking taylor expansion of x in x 4.756 * [taylor]: Taking taylor expansion of (cos x) in x 4.756 * [taylor]: Taking taylor expansion of x in x 4.757 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.757 * [taylor]: Taking taylor expansion of (tan x) in x 4.757 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.757 * [taylor]: Taking taylor expansion of (sin x) in x 4.757 * [taylor]: Taking taylor expansion of x in x 4.757 * [taylor]: Taking taylor expansion of (cos x) in x 4.757 * [taylor]: Taking taylor expansion of x in x 4.771 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 4.771 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.771 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.771 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.771 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.771 * [taylor]: Taking taylor expansion of x in x 4.771 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.771 * [taylor]: Taking taylor expansion of x in x 4.772 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.772 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.772 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.772 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.772 * [taylor]: Taking taylor expansion of x in x 4.772 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.772 * [taylor]: Taking taylor expansion of x in x 4.780 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 4.780 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.780 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.780 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.780 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.780 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.780 * [taylor]: Taking taylor expansion of -1 in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.780 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.780 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.780 * [taylor]: Taking taylor expansion of -1 in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.781 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.781 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.781 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.781 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.781 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.781 * [taylor]: Taking taylor expansion of -1 in x 4.781 * [taylor]: Taking taylor expansion of x in x 4.781 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.781 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.781 * [taylor]: Taking taylor expansion of -1 in x 4.781 * [taylor]: Taking taylor expansion of x in x 4.793 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 4.793 * [approximate]: Taking taylor expansion of (* (tan x) (sin x)) in (x) around 0 4.793 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.793 * [taylor]: Taking taylor expansion of (tan x) in x 4.793 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.793 * [taylor]: Taking taylor expansion of (sin x) in x 4.793 * [taylor]: Taking taylor expansion of x in x 4.793 * [taylor]: Taking taylor expansion of (cos x) in x 4.793 * [taylor]: Taking taylor expansion of x in x 4.794 * [taylor]: Taking taylor expansion of (sin x) in x 4.794 * [taylor]: Taking taylor expansion of x in x 4.794 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.794 * [taylor]: Taking taylor expansion of (tan x) in x 4.794 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.794 * [taylor]: Taking taylor expansion of (sin x) in x 4.794 * [taylor]: Taking taylor expansion of x in x 4.794 * [taylor]: Taking taylor expansion of (cos x) in x 4.794 * [taylor]: Taking taylor expansion of x in x 4.795 * [taylor]: Taking taylor expansion of (sin x) in x 4.795 * [taylor]: Taking taylor expansion of x in x 4.817 * [approximate]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in (x) around 0 4.817 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.817 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.817 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.817 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.817 * [taylor]: Taking taylor expansion of x in x 4.818 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.818 * [taylor]: Taking taylor expansion of x in x 4.818 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.818 * [taylor]: Taking taylor expansion of x in x 4.818 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.818 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.818 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.818 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.818 * [taylor]: Taking taylor expansion of x in x 4.819 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.819 * [taylor]: Taking taylor expansion of x in x 4.819 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.819 * [taylor]: Taking taylor expansion of x in x 4.826 * [approximate]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in (x) around 0 4.826 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.826 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.826 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.826 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.826 * [taylor]: Taking taylor expansion of -1 in x 4.826 * [taylor]: Taking taylor expansion of x in x 4.827 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.827 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.827 * [taylor]: Taking taylor expansion of -1 in x 4.827 * [taylor]: Taking taylor expansion of x in x 4.827 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.827 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.827 * [taylor]: Taking taylor expansion of -1 in x 4.827 * [taylor]: Taking taylor expansion of x in x 4.828 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.828 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.828 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.828 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.828 * [taylor]: Taking taylor expansion of -1 in x 4.828 * [taylor]: Taking taylor expansion of x in x 4.828 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.828 * [taylor]: Taking taylor expansion of -1 in x 4.828 * [taylor]: Taking taylor expansion of x in x 4.829 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.829 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.829 * [taylor]: Taking taylor expansion of -1 in x 4.829 * [taylor]: Taking taylor expansion of x in x 4.836 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 4.836 * [approximate]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in (x) around 0 4.836 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 4.836 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.836 * [taylor]: Taking taylor expansion of (tan x) in x 4.836 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.836 * [taylor]: Taking taylor expansion of (sin x) in x 4.836 * [taylor]: Taking taylor expansion of x in x 4.836 * [taylor]: Taking taylor expansion of (cos x) in x 4.836 * [taylor]: Taking taylor expansion of x in x 4.837 * [taylor]: Taking taylor expansion of (sin x) in x 4.837 * [taylor]: Taking taylor expansion of x in x 4.838 * [taylor]: Taking taylor expansion of (cos x) in x 4.838 * [taylor]: Taking taylor expansion of x in x 4.840 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 4.840 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.840 * [taylor]: Taking taylor expansion of (tan x) in x 4.840 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.840 * [taylor]: Taking taylor expansion of (sin x) in x 4.840 * [taylor]: Taking taylor expansion of x in x 4.840 * [taylor]: Taking taylor expansion of (cos x) in x 4.840 * [taylor]: Taking taylor expansion of x in x 4.841 * [taylor]: Taking taylor expansion of (sin x) in x 4.841 * [taylor]: Taking taylor expansion of x in x 4.841 * [taylor]: Taking taylor expansion of (cos x) in x 4.841 * [taylor]: Taking taylor expansion of x in x 4.868 * [approximate]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in (x) around 0 4.868 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 4.868 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.868 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.868 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.868 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.869 * [taylor]: Taking taylor expansion of x in x 4.869 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.869 * [taylor]: Taking taylor expansion of x in x 4.869 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.869 * [taylor]: Taking taylor expansion of x in x 4.870 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.870 * [taylor]: Taking taylor expansion of x in x 4.875 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 4.875 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.875 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.875 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.875 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.875 * [taylor]: Taking taylor expansion of x in x 4.876 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.876 * [taylor]: Taking taylor expansion of x in x 4.876 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.876 * [taylor]: Taking taylor expansion of x in x 4.877 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.877 * [taylor]: Taking taylor expansion of x in x 4.886 * [approximate]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in (x) around 0 4.887 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 4.887 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.887 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.887 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.887 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.887 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.887 * [taylor]: Taking taylor expansion of -1 in x 4.887 * [taylor]: Taking taylor expansion of x in x 4.887 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.887 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.887 * [taylor]: Taking taylor expansion of -1 in x 4.887 * [taylor]: Taking taylor expansion of x in x 4.888 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.888 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.888 * [taylor]: Taking taylor expansion of -1 in x 4.888 * [taylor]: Taking taylor expansion of x in x 4.888 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.888 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.888 * [taylor]: Taking taylor expansion of -1 in x 4.888 * [taylor]: Taking taylor expansion of x in x 4.889 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 4.889 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.889 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.889 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.889 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.889 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.889 * [taylor]: Taking taylor expansion of -1 in x 4.889 * [taylor]: Taking taylor expansion of x in x 4.889 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.889 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.889 * [taylor]: Taking taylor expansion of -1 in x 4.889 * [taylor]: Taking taylor expansion of x in x 4.890 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.890 * [taylor]: Taking taylor expansion of -1 in x 4.890 * [taylor]: Taking taylor expansion of x in x 4.890 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.890 * [taylor]: Taking taylor expansion of -1 in x 4.890 * [taylor]: Taking taylor expansion of x in x 4.900 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.900 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in (x) around 0 4.900 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in x 4.900 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan x) (sin x)) (cos x))) in x 4.900 * [taylor]: Taking taylor expansion of 1.0 in x 4.900 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 4.900 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.900 * [taylor]: Taking taylor expansion of (tan x) in x 4.901 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.901 * [taylor]: Taking taylor expansion of (sin x) in x 4.901 * [taylor]: Taking taylor expansion of x in x 4.901 * [taylor]: Taking taylor expansion of (cos x) in x 4.901 * [taylor]: Taking taylor expansion of x in x 4.901 * [taylor]: Taking taylor expansion of (sin x) in x 4.901 * [taylor]: Taking taylor expansion of x in x 4.901 * [taylor]: Taking taylor expansion of (cos x) in x 4.901 * [taylor]: Taking taylor expansion of x in x 4.904 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 4.904 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.904 * [taylor]: Taking taylor expansion of (tan x) in x 4.904 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.904 * [taylor]: Taking taylor expansion of (sin x) in x 4.904 * [taylor]: Taking taylor expansion of x in x 4.904 * [taylor]: Taking taylor expansion of (cos x) in x 4.904 * [taylor]: Taking taylor expansion of x in x 4.905 * [taylor]: Taking taylor expansion of 1.0 in x 4.905 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in x 4.905 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan x) (sin x)) (cos x))) in x 4.905 * [taylor]: Taking taylor expansion of 1.0 in x 4.905 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 4.905 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.905 * [taylor]: Taking taylor expansion of (tan x) in x 4.906 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.906 * [taylor]: Taking taylor expansion of (sin x) in x 4.906 * [taylor]: Taking taylor expansion of x in x 4.906 * [taylor]: Taking taylor expansion of (cos x) in x 4.906 * [taylor]: Taking taylor expansion of x in x 4.906 * [taylor]: Taking taylor expansion of (sin x) in x 4.906 * [taylor]: Taking taylor expansion of x in x 4.906 * [taylor]: Taking taylor expansion of (cos x) in x 4.906 * [taylor]: Taking taylor expansion of x in x 4.909 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 4.909 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.909 * [taylor]: Taking taylor expansion of (tan x) in x 4.909 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.909 * [taylor]: Taking taylor expansion of (sin x) in x 4.909 * [taylor]: Taking taylor expansion of x in x 4.909 * [taylor]: Taking taylor expansion of (cos x) in x 4.909 * [taylor]: Taking taylor expansion of x in x 4.910 * [taylor]: Taking taylor expansion of 1.0 in x 4.934 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 4.934 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 4.934 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) in x 4.934 * [taylor]: Taking taylor expansion of 1.0 in x 4.934 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 4.934 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.934 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.934 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.934 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.934 * [taylor]: Taking taylor expansion of x in x 4.935 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.935 * [taylor]: Taking taylor expansion of x in x 4.935 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.935 * [taylor]: Taking taylor expansion of x in x 4.935 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.935 * [taylor]: Taking taylor expansion of x in x 4.936 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 4.936 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.936 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.936 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.936 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.936 * [taylor]: Taking taylor expansion of x in x 4.937 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.937 * [taylor]: Taking taylor expansion of x in x 4.937 * [taylor]: Taking taylor expansion of 1.0 in x 4.938 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 4.938 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) in x 4.938 * [taylor]: Taking taylor expansion of 1.0 in x 4.938 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 4.938 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.939 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.939 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.939 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.939 * [taylor]: Taking taylor expansion of x in x 4.939 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.939 * [taylor]: Taking taylor expansion of x in x 4.939 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.939 * [taylor]: Taking taylor expansion of x in x 4.940 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.940 * [taylor]: Taking taylor expansion of x in x 4.940 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 4.940 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.940 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.940 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.940 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.940 * [taylor]: Taking taylor expansion of x in x 4.941 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.941 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.941 * [taylor]: Taking taylor expansion of x in x 4.941 * [taylor]: Taking taylor expansion of 1.0 in x 4.977 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 4.977 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 4.977 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) in x 4.977 * [taylor]: Taking taylor expansion of 1.0 in x 4.977 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 4.977 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.977 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.977 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.977 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.977 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.977 * [taylor]: Taking taylor expansion of -1 in x 4.977 * [taylor]: Taking taylor expansion of x in x 4.977 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.977 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.977 * [taylor]: Taking taylor expansion of -1 in x 4.977 * [taylor]: Taking taylor expansion of x in x 4.978 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.978 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.978 * [taylor]: Taking taylor expansion of -1 in x 4.978 * [taylor]: Taking taylor expansion of x in x 4.978 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.978 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.978 * [taylor]: Taking taylor expansion of -1 in x 4.978 * [taylor]: Taking taylor expansion of x in x 4.979 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 4.979 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.979 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.979 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.979 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.979 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.979 * [taylor]: Taking taylor expansion of -1 in x 4.979 * [taylor]: Taking taylor expansion of x in x 4.979 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.980 * [taylor]: Taking taylor expansion of -1 in x 4.980 * [taylor]: Taking taylor expansion of x in x 4.980 * [taylor]: Taking taylor expansion of 1.0 in x 4.981 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 4.981 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) in x 4.981 * [taylor]: Taking taylor expansion of 1.0 in x 4.981 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 4.981 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.981 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.981 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.981 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.981 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.981 * [taylor]: Taking taylor expansion of -1 in x 4.981 * [taylor]: Taking taylor expansion of x in x 4.982 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.982 * [taylor]: Taking taylor expansion of -1 in x 4.982 * [taylor]: Taking taylor expansion of x in x 4.982 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.982 * [taylor]: Taking taylor expansion of -1 in x 4.982 * [taylor]: Taking taylor expansion of x in x 4.983 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.983 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.983 * [taylor]: Taking taylor expansion of -1 in x 4.983 * [taylor]: Taking taylor expansion of x in x 4.983 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 4.983 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.983 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.983 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.983 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.983 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.983 * [taylor]: Taking taylor expansion of -1 in x 4.983 * [taylor]: Taking taylor expansion of x in x 4.984 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.984 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.984 * [taylor]: Taking taylor expansion of -1 in x 4.984 * [taylor]: Taking taylor expansion of x in x 4.984 * [taylor]: Taking taylor expansion of 1.0 in x 5.015 * * * [progress]: simplifying candidates 5.017 * [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) (sin x))) (log1p (* (tan x) (sin x))) (* (tan x) (sin x)) (+ (log (tan x)) (log (sin x))) (log (* (tan x) (sin x))) (exp (* (tan x) (sin x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (* (tan x) (sin x))) (cbrt (* (tan x) (sin x)))) (cbrt (* (tan x) (sin x))) (* (* (* (tan x) (sin x)) (* (tan x) (sin x))) (* (tan x) (sin x))) (sqrt (* (tan x) (sin x))) (sqrt (* (tan x) (sin x))) (* (sqrt (tan x)) (sqrt (sin x))) (* (sqrt (tan x)) (sqrt (sin x))) (* (tan x) (* (cbrt (sin x)) (cbrt (sin x)))) (* (tan x) (sqrt (sin x))) (* (tan x) 1) (* (cbrt (tan x)) (sin x)) (* (sqrt (tan x)) (sin x)) (* (tan x) (sin x)) (* (sin x) (sin x)) (expm1 (/ (* (tan x) (sin x)) (cos x))) (log1p (/ (* (tan x) (sin x)) (cos x))) (- (+ (log (tan x)) (log (sin x))) (log (cos x))) (- (log (* (tan x) (sin x))) (log (cos x))) (log (/ (* (tan x) (sin x)) (cos x))) (exp (/ (* (tan x) (sin x)) (cos x))) (/ (* (* (* (tan x) (tan x)) (tan x)) (* (* (sin x) (sin x)) (sin x))) (* (* (cos x) (cos x)) (cos x))) (/ (* (* (* (tan x) (sin x)) (* (tan x) (sin x))) (* (tan x) (sin x))) (* (* (cos x) (cos x)) (cos x))) (* (cbrt (/ (* (tan x) (sin x)) (cos x))) (cbrt (/ (* (tan x) (sin x)) (cos x)))) (cbrt (/ (* (tan x) (sin x)) (cos x))) (* (* (/ (* (tan x) (sin x)) (cos x)) (/ (* (tan x) (sin x)) (cos x))) (/ (* (tan x) (sin x)) (cos x))) (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt (/ (* (tan x) (sin x)) (cos x))) (- (* (tan x) (sin x))) (- (cos x)) (/ (tan x) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (sin x) (cbrt (cos x))) (/ (tan x) (sqrt (cos x))) (/ (sin x) (sqrt (cos x))) (/ (tan x) 1) (/ (sin x) (cos x)) (/ 1 (cos x)) (/ (cos x) (* (tan x) (sin x))) (/ (* (tan x) (sin x)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (* (tan x) (sin x)) (sqrt (cos x))) (/ (* (tan x) (sin x)) 1) (/ (cos x) (sin x)) (* (cos x) (cos x)) (expm1 (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (log1p (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (- (log (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (log (+ 1.0 (* (tan x) (tan x))))) (log (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (exp (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (/ (* (* (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (* (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))) (* (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (* (* (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (- (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (- (+ 1.0 (* (tan x) (tan x)))) (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (/ (* (tan x) (sin x)) (cos x)) (+ 1.0 (* (tan x) (tan x)))) (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) 1) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) 1) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos 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) (sin x)) (cos x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 1) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) 1) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos 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) (sin x)) (cos x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 1) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) 1) (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos 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) (sin x)) (cos x)) (/ (* (tan x) (sin x)) (cos x))) (* 1.0 (/ (* (tan x) (sin x)) (cos x)))))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (* (tan x) (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 x 2) (+ (* 31/360 (pow x 6)) (* 1/6 (pow x 4)))) (/ (pow (sin x) 2) (cos x)) (/ (pow (sin x) 2) (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)) (- (+ (* 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)) 5.023 * * [simplify]: iteration 0 : 198 enodes (cost 2029 ) 5.066 * * [simplify]: iteration 1 : 452 enodes (cost 1923 ) 5.232 * * [simplify]: iteration 2 : 1468 enodes (cost 1712 ) 5.726 * * [simplify]: iteration done : 5000 enodes (cost 1712 ) 5.727 * [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) (* (cbrt (tan x)) (pow (cbrt (tan x)) 3)) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (pow (sqrt (tan x)) 3) (tan x) (* (cbrt (tan x)) (tan x)) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (sin x) (tan x)) (* (sin x) (tan x)) (expm1 (* (tan x) (sin x))) (log1p (* (tan x) (sin x))) (* (sin x) (tan x)) (log (* (tan x) (sin x))) (log (* (tan x) (sin x))) (exp (* (tan x) (sin x))) (* (pow (tan x) 3) (pow (sin x) 3)) (* (cbrt (* (tan x) (sin x))) (cbrt (* (tan x) (sin x)))) (cbrt (* (tan x) (sin x))) (* (pow (tan x) 3) (pow (sin x) 3)) (sqrt (* (tan x) (sin x))) (sqrt (* (tan x) (sin x))) (* (sqrt (tan x)) (sqrt (sin x))) (* (sqrt (tan x)) (sqrt (sin x))) (* (tan x) (* (cbrt (sin x)) (cbrt (sin x)))) (* (tan x) (sqrt (sin x))) (tan x) (* (cbrt (tan x)) (sin x)) (* (sqrt (tan x)) (sin x)) (* (sin x) (tan x)) (pow (sin x) 2) (expm1 (/ (* (tan x) (sin x)) (cos x))) (log1p (/ (* (tan x) (sin x)) (cos x))) (log (/ (* (tan x) (sin x)) (cos x))) (log (/ (* (tan x) (sin x)) (cos x))) (log (/ (* (tan x) (sin x)) (cos x))) (exp (/ (* (tan x) (sin x)) (cos x))) (pow (/ (* (tan x) (sin x)) (cos x)) 3) (pow (/ (* (tan x) (sin x)) (cos x)) 3) (* (cbrt (/ (* (tan x) (sin x)) (cos x))) (cbrt (/ (* (tan x) (sin x)) (cos x)))) (cbrt (/ (* (tan x) (sin x)) (cos x))) (pow (/ (* (tan x) (sin x)) (cos x)) 3) (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt (/ (* (tan x) (sin x)) (cos x))) (- (* (tan x) (sin x))) (- (cos x)) (/ (tan x) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (sin x) (cbrt (cos x))) (/ (tan x) (sqrt (cos x))) (/ (sin x) (sqrt (cos x))) (tan x) (/ (sin x) (cos x)) (/ 1 (cos x)) (/ (cos x) (* (tan x) (sin x))) (/ (* (tan x) (sin x)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (* (tan x) (sin x)) (sqrt (cos x))) (* (sin x) (tan x)) (/ (cos x) (sin x)) (pow (cos x) 2) (expm1 (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (log1p (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (exp (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)) 3) (* (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)) 3) (sqrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (- (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (- (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)) (/ (sin x) (cos x))) (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (fma (tan x) (tan x) 1.0))) (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (fma (tan x) (tan x) 1.0)) (/ (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (fma (tan x) (tan x) 1.0))) (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos 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) (sin x)) (cos x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt 1.0)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt 1.0)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (sqrt (fma (tan x) (tan x) 1.0))) (+ (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos 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) (sin x)) (cos x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- 1.0 (/ (* (tan x) (sin x)) (cos 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) (sin x)) (cos x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (fma (tan x) (tan x) 1.0))) (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (/ (fma (tan x) (tan x) 1.0) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 6) (pow 1.0 3))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma 1.0 1.0 (* (- (tan x)) (pow (tan x) 3)))) (* (fma (tan x) (tan x) 1.0) (fma 1.0 1.0 (* (/ (* (tan x) (sin x)) (cos x)) (+ 1.0 (/ (* (tan x) (sin x)) (cos x)))))) (* (+ 1.0 (/ (* (tan x) (sin x)) (cos x))) (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 31/360 (pow x 6) (* 1/6 (pow x 4)))) (/ (pow (sin x) 2) (cos x)) (/ (pow (sin x) 2) (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)) (- (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)) 5.727 * * * [progress]: adding candidates to table 6.073 * * [progress]: iteration 4 / 4 6.073 * * * [progress]: picking best candidate 6.097 * * * * [pick]: Picked # 6.097 * * * [progress]: localizing error 6.111 * * * [progress]: generating rewritten candidates 6.111 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.117 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 6.123 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 6.127 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 6.211 * * * [progress]: generating series expansions 6.211 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.211 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 6.211 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 6.211 * [taylor]: Taking taylor expansion of (tan x) in x 6.211 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.211 * [taylor]: Taking taylor expansion of (sin x) in x 6.211 * [taylor]: Taking taylor expansion of x in x 6.211 * [taylor]: Taking taylor expansion of (cos x) in x 6.211 * [taylor]: Taking taylor expansion of x in x 6.212 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 6.212 * [taylor]: Taking taylor expansion of (tan x) in x 6.212 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.212 * [taylor]: Taking taylor expansion of (sin x) in x 6.212 * [taylor]: Taking taylor expansion of x in x 6.212 * [taylor]: Taking taylor expansion of (cos x) in x 6.212 * [taylor]: Taking taylor expansion of x in x 6.226 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 6.226 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 6.226 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.226 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.226 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.226 * [taylor]: Taking taylor expansion of x in x 6.226 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.226 * [taylor]: Taking taylor expansion of x in x 6.227 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 6.227 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.227 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.227 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.227 * [taylor]: Taking taylor expansion of x in x 6.227 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.227 * [taylor]: Taking taylor expansion of x in x 6.235 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 6.235 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 6.235 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.235 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.235 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.235 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.235 * [taylor]: Taking taylor expansion of -1 in x 6.235 * [taylor]: Taking taylor expansion of x in x 6.235 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.236 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.236 * [taylor]: Taking taylor expansion of -1 in x 6.236 * [taylor]: Taking taylor expansion of x in x 6.236 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 6.236 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.236 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.236 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.236 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.236 * [taylor]: Taking taylor expansion of -1 in x 6.236 * [taylor]: Taking taylor expansion of x in x 6.236 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.236 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.237 * [taylor]: Taking taylor expansion of -1 in x 6.237 * [taylor]: Taking taylor expansion of x in x 6.249 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 6.249 * [approximate]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in (x) around 0 6.249 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 6.249 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 6.249 * [taylor]: Taking taylor expansion of (tan x) in x 6.249 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.249 * [taylor]: Taking taylor expansion of (sin x) in x 6.249 * [taylor]: Taking taylor expansion of x in x 6.249 * [taylor]: Taking taylor expansion of (cos x) in x 6.249 * [taylor]: Taking taylor expansion of x in x 6.250 * [taylor]: Taking taylor expansion of (sin x) in x 6.250 * [taylor]: Taking taylor expansion of x in x 6.250 * [taylor]: Taking taylor expansion of (cos x) in x 6.250 * [taylor]: Taking taylor expansion of x in x 6.252 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 6.252 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 6.252 * [taylor]: Taking taylor expansion of (tan x) in x 6.252 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.252 * [taylor]: Taking taylor expansion of (sin x) in x 6.252 * [taylor]: Taking taylor expansion of x in x 6.252 * [taylor]: Taking taylor expansion of (cos x) in x 6.252 * [taylor]: Taking taylor expansion of x in x 6.253 * [taylor]: Taking taylor expansion of (sin x) in x 6.253 * [taylor]: Taking taylor expansion of x in x 6.253 * [taylor]: Taking taylor expansion of (cos x) in x 6.253 * [taylor]: Taking taylor expansion of x in x 6.281 * [approximate]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in (x) around 0 6.281 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 6.281 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 6.281 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.281 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.281 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.281 * [taylor]: Taking taylor expansion of x in x 6.282 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.282 * [taylor]: Taking taylor expansion of x in x 6.282 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.282 * [taylor]: Taking taylor expansion of x in x 6.282 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.282 * [taylor]: Taking taylor expansion of x in x 6.283 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 6.283 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 6.283 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.283 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.283 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.283 * [taylor]: Taking taylor expansion of x in x 6.283 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.283 * [taylor]: Taking taylor expansion of x in x 6.284 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.284 * [taylor]: Taking taylor expansion of x in x 6.284 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.284 * [taylor]: Taking taylor expansion of x in x 6.294 * [approximate]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in (x) around 0 6.294 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 6.294 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 6.294 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.294 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.294 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.294 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.294 * [taylor]: Taking taylor expansion of -1 in x 6.294 * [taylor]: Taking taylor expansion of x in x 6.295 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.295 * [taylor]: Taking taylor expansion of -1 in x 6.295 * [taylor]: Taking taylor expansion of x in x 6.295 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.295 * [taylor]: Taking taylor expansion of -1 in x 6.295 * [taylor]: Taking taylor expansion of x in x 6.295 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.296 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.296 * [taylor]: Taking taylor expansion of -1 in x 6.296 * [taylor]: Taking taylor expansion of x in x 6.296 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 6.296 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 6.296 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.296 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.296 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.296 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.296 * [taylor]: Taking taylor expansion of -1 in x 6.296 * [taylor]: Taking taylor expansion of x in x 6.297 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.297 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.297 * [taylor]: Taking taylor expansion of -1 in x 6.297 * [taylor]: Taking taylor expansion of x in x 6.297 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.297 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.297 * [taylor]: Taking taylor expansion of -1 in x 6.297 * [taylor]: Taking taylor expansion of x in x 6.298 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.298 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.298 * [taylor]: Taking taylor expansion of -1 in x 6.298 * [taylor]: Taking taylor expansion of x in x 6.308 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 6.308 * [approximate]: Taking taylor expansion of (/ (cos x) (sin x)) in (x) around 0 6.308 * [taylor]: Taking taylor expansion of (/ (cos x) (sin x)) in x 6.308 * [taylor]: Taking taylor expansion of (cos x) in x 6.308 * [taylor]: Taking taylor expansion of x in x 6.308 * [taylor]: Taking taylor expansion of (sin x) in x 6.308 * [taylor]: Taking taylor expansion of x in x 6.309 * [taylor]: Taking taylor expansion of (/ (cos x) (sin x)) in x 6.309 * [taylor]: Taking taylor expansion of (cos x) in x 6.309 * [taylor]: Taking taylor expansion of x in x 6.309 * [taylor]: Taking taylor expansion of (sin x) in x 6.309 * [taylor]: Taking taylor expansion of x in x 6.319 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 x)) (sin (/ 1 x))) in (x) around 0 6.319 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 x)) (sin (/ 1 x))) in x 6.319 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.319 * [taylor]: Taking taylor expansion of x in x 6.320 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.320 * [taylor]: Taking taylor expansion of x in x 6.320 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 x)) (sin (/ 1 x))) in x 6.320 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.320 * [taylor]: Taking taylor expansion of x in x 6.320 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.320 * [taylor]: Taking taylor expansion of x in x 6.323 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 x)) (sin (/ -1 x))) in (x) around 0 6.323 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 x)) (sin (/ -1 x))) in x 6.323 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.323 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.323 * [taylor]: Taking taylor expansion of -1 in x 6.323 * [taylor]: Taking taylor expansion of x in x 6.323 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.323 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.323 * [taylor]: Taking taylor expansion of -1 in x 6.324 * [taylor]: Taking taylor expansion of x in x 6.324 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 x)) (sin (/ -1 x))) in x 6.324 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.324 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.324 * [taylor]: Taking taylor expansion of -1 in x 6.324 * [taylor]: Taking taylor expansion of x in x 6.324 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.324 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.324 * [taylor]: Taking taylor expansion of -1 in x 6.324 * [taylor]: Taking taylor expansion of x in x 6.327 * * * * [progress]: [ 4 / 4 ] generating series at (2) 6.327 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in (x) around 0 6.327 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in x 6.327 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan x) (sin x)) (cos x))) in x 6.327 * [taylor]: Taking taylor expansion of 1.0 in x 6.327 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 6.327 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 6.327 * [taylor]: Taking taylor expansion of (tan x) in x 6.327 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.327 * [taylor]: Taking taylor expansion of (sin x) in x 6.327 * [taylor]: Taking taylor expansion of x in x 6.327 * [taylor]: Taking taylor expansion of (cos x) in x 6.327 * [taylor]: Taking taylor expansion of x in x 6.333 * [taylor]: Taking taylor expansion of (sin x) in x 6.333 * [taylor]: Taking taylor expansion of x in x 6.333 * [taylor]: Taking taylor expansion of (cos x) in x 6.333 * [taylor]: Taking taylor expansion of x in x 6.335 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 6.335 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 6.335 * [taylor]: Taking taylor expansion of (tan x) in x 6.335 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.335 * [taylor]: Taking taylor expansion of (sin x) in x 6.335 * [taylor]: Taking taylor expansion of x in x 6.336 * [taylor]: Taking taylor expansion of (cos x) in x 6.336 * [taylor]: Taking taylor expansion of x in x 6.336 * [taylor]: Taking taylor expansion of 1.0 in x 6.337 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in x 6.337 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan x) (sin x)) (cos x))) in x 6.337 * [taylor]: Taking taylor expansion of 1.0 in x 6.337 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 6.337 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 6.337 * [taylor]: Taking taylor expansion of (tan x) in x 6.337 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.337 * [taylor]: Taking taylor expansion of (sin x) in x 6.337 * [taylor]: Taking taylor expansion of x in x 6.337 * [taylor]: Taking taylor expansion of (cos x) in x 6.337 * [taylor]: Taking taylor expansion of x in x 6.338 * [taylor]: Taking taylor expansion of (sin x) in x 6.338 * [taylor]: Taking taylor expansion of x in x 6.338 * [taylor]: Taking taylor expansion of (cos x) in x 6.338 * [taylor]: Taking taylor expansion of x in x 6.340 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 6.340 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 6.340 * [taylor]: Taking taylor expansion of (tan x) in x 6.341 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 6.341 * [taylor]: Taking taylor expansion of (sin x) in x 6.341 * [taylor]: Taking taylor expansion of x in x 6.341 * [taylor]: Taking taylor expansion of (cos x) in x 6.341 * [taylor]: Taking taylor expansion of x in x 6.341 * [taylor]: Taking taylor expansion of 1.0 in x 6.366 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 6.366 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 6.367 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) in x 6.367 * [taylor]: Taking taylor expansion of 1.0 in x 6.367 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 6.367 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 6.367 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.367 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.367 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.367 * [taylor]: Taking taylor expansion of x in x 6.367 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.367 * [taylor]: Taking taylor expansion of x in x 6.367 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.368 * [taylor]: Taking taylor expansion of x in x 6.368 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.368 * [taylor]: Taking taylor expansion of x in x 6.368 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 6.369 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 6.369 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.369 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.369 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.369 * [taylor]: Taking taylor expansion of x in x 6.369 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.369 * [taylor]: Taking taylor expansion of x in x 6.369 * [taylor]: Taking taylor expansion of 1.0 in x 6.371 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 6.371 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) in x 6.371 * [taylor]: Taking taylor expansion of 1.0 in x 6.371 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 6.371 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 6.371 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.371 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.371 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.371 * [taylor]: Taking taylor expansion of x in x 6.371 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.371 * [taylor]: Taking taylor expansion of x in x 6.372 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.372 * [taylor]: Taking taylor expansion of x in x 6.372 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.372 * [taylor]: Taking taylor expansion of x in x 6.373 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 6.373 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 6.373 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.373 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.373 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.373 * [taylor]: Taking taylor expansion of x in x 6.373 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.373 * [taylor]: Taking taylor expansion of x in x 6.373 * [taylor]: Taking taylor expansion of 1.0 in x 6.405 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 6.405 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 6.405 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) in x 6.405 * [taylor]: Taking taylor expansion of 1.0 in x 6.405 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 6.405 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 6.405 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.405 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.405 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.405 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.405 * [taylor]: Taking taylor expansion of -1 in x 6.405 * [taylor]: Taking taylor expansion of x in x 6.406 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.406 * [taylor]: Taking taylor expansion of -1 in x 6.406 * [taylor]: Taking taylor expansion of x in x 6.406 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.406 * [taylor]: Taking taylor expansion of -1 in x 6.406 * [taylor]: Taking taylor expansion of x in x 6.406 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.406 * [taylor]: Taking taylor expansion of -1 in x 6.406 * [taylor]: Taking taylor expansion of x in x 6.407 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 6.407 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 6.407 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.407 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.407 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.407 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.407 * [taylor]: Taking taylor expansion of -1 in x 6.407 * [taylor]: Taking taylor expansion of x in x 6.408 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.408 * [taylor]: Taking taylor expansion of -1 in x 6.408 * [taylor]: Taking taylor expansion of x in x 6.408 * [taylor]: Taking taylor expansion of 1.0 in x 6.409 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 6.409 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) in x 6.409 * [taylor]: Taking taylor expansion of 1.0 in x 6.409 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 6.409 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 6.409 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.410 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.410 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.410 * [taylor]: Taking taylor expansion of -1 in x 6.410 * [taylor]: Taking taylor expansion of x in x 6.410 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.410 * [taylor]: Taking taylor expansion of -1 in x 6.410 * [taylor]: Taking taylor expansion of x in x 6.410 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.410 * [taylor]: Taking taylor expansion of -1 in x 6.410 * [taylor]: Taking taylor expansion of x in x 6.411 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.411 * [taylor]: Taking taylor expansion of -1 in x 6.411 * [taylor]: Taking taylor expansion of x in x 6.412 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 6.412 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 6.412 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.412 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.412 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.412 * [taylor]: Taking taylor expansion of -1 in x 6.412 * [taylor]: Taking taylor expansion of x in x 6.412 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.412 * [taylor]: Taking taylor expansion of -1 in x 6.412 * [taylor]: Taking taylor expansion of x in x 6.412 * [taylor]: Taking taylor expansion of 1.0 in x 6.449 * * * [progress]: simplifying candidates 6.452 * [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) (/ (cos x) (sin x)))) (log1p (/ (tan x) (/ (cos x) (sin x)))) (- (log (tan x)) (- (log (cos x)) (log (sin x)))) (- (log (tan x)) (log (/ (cos x) (sin x)))) (log (/ (tan x) (/ (cos x) (sin x)))) (exp (/ (tan x) (/ (cos x) (sin x)))) (/ (* (* (tan x) (tan x)) (tan x)) (/ (* (* (cos x) (cos x)) (cos x)) (* (* (sin x) (sin x)) (sin x)))) (/ (* (* (tan x) (tan x)) (tan x)) (* (* (/ (cos x) (sin x)) (/ (cos x) (sin x))) (/ (cos x) (sin x)))) (* (cbrt (/ (tan x) (/ (cos x) (sin x)))) (cbrt (/ (tan x) (/ (cos x) (sin x))))) (cbrt (/ (tan x) (/ (cos x) (sin x)))) (* (* (/ (tan x) (/ (cos x) (sin x))) (/ (tan x) (/ (cos x) (sin x)))) (/ (tan x) (/ (cos x) (sin x)))) (sqrt (/ (tan x) (/ (cos x) (sin x)))) (sqrt (/ (tan x) (/ (cos x) (sin x)))) (- (tan x)) (- (/ (cos x) (sin x))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x))))) (/ (cbrt (tan x)) (cbrt (/ (cos x) (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (sqrt (/ (cos x) (sin x)))) (/ (cbrt (tan x)) (sqrt (/ (cos x) (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (cbrt (tan x)) (/ (cbrt (cos x)) (cbrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x)))) (/ (cbrt (tan x)) (/ (cbrt (cos x)) (sqrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) 1)) (/ (cbrt (tan x)) (/ (cbrt (cos x)) (sin x))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (cbrt (tan x)) (/ (sqrt (cos x)) (cbrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (cbrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (sqrt (cos x)) 1)) (/ (cbrt (tan x)) (/ (sqrt (cos x)) (sin x))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (/ (cbrt (tan x)) (/ (cos x) (cbrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ 1 (sqrt (sin x)))) (/ (cbrt (tan x)) (/ (cos x) (sqrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ 1 1)) (/ (cbrt (tan x)) (/ (cos x) (sin x))) (/ (* (cbrt (tan x)) (cbrt (tan x))) 1) (/ (cbrt (tan x)) (/ (cos x) (sin x))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (cos x)) (/ (cbrt (tan x)) (/ 1 (sin x))) (/ (sqrt (tan x)) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x))))) (/ (sqrt (tan x)) (cbrt (/ (cos x) (sin x)))) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))) (/ (sqrt (tan x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (sqrt (tan x)) (/ (cbrt (cos x)) (cbrt (sin x)))) (/ (sqrt (tan x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x)))) (/ (sqrt (tan x)) (/ (cbrt (cos x)) (sqrt (sin x)))) (/ (sqrt (tan x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) 1)) (/ (sqrt (tan x)) (/ (cbrt (cos x)) (sin x))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (cbrt (sin x)))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) 1)) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sin x))) (/ (sqrt (tan x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (/ (sqrt (tan x)) (/ (cos x) (cbrt (sin x)))) (/ (sqrt (tan x)) (/ 1 (sqrt (sin x)))) (/ (sqrt (tan x)) (/ (cos x) (sqrt (sin x)))) (/ (sqrt (tan x)) (/ 1 1)) (/ (sqrt (tan x)) (/ (cos x) (sin x))) (/ (sqrt (tan x)) 1) (/ (sqrt (tan x)) (/ (cos x) (sin x))) (/ (sqrt (tan x)) (cos x)) (/ (sqrt (tan x)) (/ 1 (sin x))) (/ 1 (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x))))) (/ (tan x) (cbrt (/ (cos x) (sin x)))) (/ 1 (sqrt (/ (cos x) (sin x)))) (/ (tan x) (sqrt (/ (cos x) (sin x)))) (/ 1 (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (tan x) (/ (cbrt (cos x)) (cbrt (sin x)))) (/ 1 (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x)))) (/ (tan x) (/ (cbrt (cos x)) (sqrt (sin x)))) (/ 1 (/ (* (cbrt (cos x)) (cbrt (cos x))) 1)) (/ (tan x) (/ (cbrt (cos x)) (sin x))) (/ 1 (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (tan x) (/ (sqrt (cos x)) (cbrt (sin x)))) (/ 1 (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (tan x) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ 1 (/ (sqrt (cos x)) 1)) (/ (tan x) (/ (sqrt (cos x)) (sin x))) (/ 1 (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (/ (tan x) (/ (cos x) (cbrt (sin x)))) (/ 1 (/ 1 (sqrt (sin x)))) (/ (tan x) (/ (cos x) (sqrt (sin x)))) (/ 1 (/ 1 1)) (/ (tan x) (/ (cos x) (sin x))) (/ 1 1) (/ (tan x) (/ (cos x) (sin x))) (/ 1 (cos x)) (/ (tan x) (/ 1 (sin x))) (/ 1 (/ (cos x) (sin x))) (/ (/ (cos x) (sin x)) (tan x)) (/ (tan x) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x))))) (/ (tan x) (sqrt (/ (cos x) (sin x)))) (/ (tan x) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (tan x) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x)))) (/ (tan x) (/ (* (cbrt (cos x)) (cbrt (cos x))) 1)) (/ (tan x) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (tan x) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (tan x) (/ (sqrt (cos x)) 1)) (/ (tan x) (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (/ (tan x) (/ 1 (sqrt (sin x)))) (/ (tan x) (/ 1 1)) (/ (tan x) 1) (/ (tan x) (cos x)) (/ (/ (cos x) (sin x)) (cbrt (tan x))) (/ (/ (cos x) (sin x)) (sqrt (tan x))) (/ (/ (cos x) (sin x)) (tan x)) (/ (tan x) (cos x)) (* (/ (cos x) (sin x)) (cos x)) (expm1 (/ (cos x) (sin x))) (log1p (/ (cos x) (sin x))) (- (log (cos x)) (log (sin x))) (log (/ (cos x) (sin x))) (exp (/ (cos x) (sin x))) (/ (* (* (cos x) (cos x)) (cos x)) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x)))) (cbrt (/ (cos x) (sin x))) (* (* (/ (cos x) (sin x)) (/ (cos x) (sin x))) (/ (cos x) (sin x))) (sqrt (/ (cos x) (sin x))) (sqrt (/ (cos x) (sin x))) (- (cos x)) (- (sin x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (cos x)) (cbrt (sin x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x))) (/ (cbrt (cos x)) (sqrt (sin x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) 1) (/ (cbrt (cos x)) (sin x)) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (cos x)) (cbrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x))) (/ (sqrt (cos x)) 1) (/ (sqrt (cos x)) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cos x) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (cos x) (sqrt (sin x))) (/ 1 1) (/ (cos x) (sin x)) (/ 1 (sin x)) (/ (sin x) (cos x)) (/ (cos x) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cos x) (sqrt (sin x))) (/ (cos x) 1) (/ (sin x) (cbrt (cos x))) (/ (sin x) (sqrt (cos x))) (/ (sin x) (cos x)) (expm1 (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (log1p (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (- (log (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (log (+ 1.0 (* (tan x) (tan x))))) (log (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (exp (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (/ (* (* (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (* (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))) (* (cbrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (* (* (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x))))) (- (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (- (+ 1.0 (* (tan x) (tan x)))) (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (/ (tan x) (/ (cos x) (sin x))) (+ 1.0 (* (tan x) (tan x)))) (/ (* (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) 1) (/ (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) 1) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin 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) (/ (cos x) (sin x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 1) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) 1) (/ (- (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) 1) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x))))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x))))) 1) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin 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) (/ (cos x) (sin x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 1) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) 1) (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x)))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x)))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin 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) (/ (cos x) (sin x))) (/ (tan x) (/ (cos x) (sin x)))) (* 1.0 (/ (tan x) (/ (cos x) (sin x))))))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (tan x) (/ (cos x) (sin 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 x) (+ (* 1/45 (pow x 3)) (* 1/3 x))) (/ (cos x) (sin x)) (/ (cos x) (sin x)) (- (+ (* 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)) 6.463 * * [simplify]: iteration 0 : 311 enodes (cost 3413 ) 6.548 * * [simplify]: iteration 1 : 695 enodes (cost 3238 ) 6.881 * * [simplify]: iteration 2 : 2165 enodes (cost 2997 ) 7.452 * * [simplify]: iteration done : 5001 enodes (cost 2997 ) 7.454 * [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) (* (cbrt (tan x)) (pow (cbrt (tan x)) 3)) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (tan x) (* (cbrt (tan x)) (tan x)) (* (tan x) (sqrt (tan x))) (* (tan x) (tan x)) (* (sin x) (tan x)) (* (sin x) (tan x)) (expm1 (/ (tan x) (/ (cos x) (sin x)))) (log1p (/ (tan x) (/ (cos x) (sin x)))) (log (/ (tan x) (/ (cos x) (sin x)))) (log (/ (tan x) (/ (cos x) (sin x)))) (log (/ (tan x) (/ (cos x) (sin x)))) (exp (/ (tan x) (/ (cos x) (sin x)))) (pow (/ (tan x) (/ (cos x) (sin x))) 3) (pow (/ (tan x) (/ (cos x) (sin x))) 3) (* (cbrt (/ (tan x) (/ (cos x) (sin x)))) (cbrt (/ (tan x) (/ (cos x) (sin x))))) (cbrt (/ (tan x) (/ (cos x) (sin x)))) (pow (/ (tan x) (/ (cos x) (sin x))) 3) (sqrt (/ (tan x) (/ (cos x) (sin x)))) (sqrt (/ (tan x) (/ (cos x) (sin x)))) (- (tan x)) (- (/ (cos x) (sin x))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x))))) (/ (cbrt (tan x)) (cbrt (/ (cos x) (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (sqrt (/ (cos x) (sin x)))) (/ (cbrt (tan x)) (sqrt (/ (cos x) (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (cbrt (tan x)) (/ (cbrt (cos x)) (cbrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x)))) (/ (cbrt (tan x)) (/ (cbrt (cos x)) (sqrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (cbrt (tan x)) (/ (cbrt (cos x)) (sin x))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (cbrt (tan x)) (/ (sqrt (cos x)) (cbrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (cbrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (sqrt (cos x))) (/ (cbrt (tan x)) (/ (sqrt (cos x)) (sin x))) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (tan x)) (/ (cos x) (cbrt (sin x)))) (* (* (cbrt (tan x)) (cbrt (tan x))) (sqrt (sin x))) (/ (cbrt (tan x)) (/ (cos x) (sqrt (sin x)))) (* (cbrt (tan x)) (cbrt (tan x))) (/ (cbrt (tan x)) (/ (cos x) (sin x))) (* (cbrt (tan x)) (cbrt (tan x))) (/ (cbrt (tan x)) (/ (cos x) (sin x))) (/ (* (cbrt (tan x)) (cbrt (tan x))) (cos x)) (* (sin x) (cbrt (tan x))) (/ (sqrt (tan x)) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x))))) (/ (sqrt (tan x)) (cbrt (/ (cos x) (sin x)))) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))) (/ (sqrt (tan x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (sqrt (tan x)) (/ (cbrt (cos x)) (cbrt (sin x)))) (/ (sqrt (tan x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x)))) (/ (sqrt (tan x)) (/ (cbrt (cos x)) (sqrt (sin x)))) (/ (sqrt (tan x)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (sqrt (tan x)) (/ (cbrt (cos x)) (sin x))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (cbrt (sin x)))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (sqrt (tan x)) (sqrt (cos x))) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sin x))) (* (sqrt (tan x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (tan x)) (/ (cos x) (cbrt (sin x)))) (* (sqrt (tan x)) (sqrt (sin x))) (/ (sqrt (tan x)) (/ (cos x) (sqrt (sin x)))) (sqrt (tan x)) (/ (sqrt (tan x)) (/ (cos x) (sin x))) (sqrt (tan x)) (/ (sqrt (tan x)) (/ (cos x) (sin x))) (/ (sqrt (tan x)) (cos x)) (* (sqrt (tan x)) (sin x)) (/ 1 (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x))))) (/ (tan x) (cbrt (/ (cos x) (sin x)))) (/ 1 (sqrt (/ (cos x) (sin x)))) (/ (tan x) (sqrt (/ (cos x) (sin x)))) (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (tan x) (/ (cbrt (cos x)) (cbrt (sin x)))) (/ (sqrt (sin x)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (tan x) (/ (cbrt (cos x)) (sqrt (sin x)))) (/ 1 (* (cbrt (cos x)) (cbrt (cos x)))) (/ (tan x) (/ (cbrt (cos x)) (sin x))) (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt (cos x))) (/ (tan x) (/ (sqrt (cos x)) (cbrt (sin x)))) (/ (sqrt (sin x)) (sqrt (cos x))) (/ (tan x) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ 1 (sqrt (cos x))) (/ (tan x) (/ (sqrt (cos x)) (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (/ (tan x) (/ (cos x) (cbrt (sin x)))) (sqrt (sin x)) (/ (tan x) (/ (cos x) (sqrt (sin x)))) 1 (/ (* (sin x) (tan x)) (cos x)) 1 (/ (* (sin x) (tan x)) (cos x)) (/ 1 (cos x)) (* (sin x) (tan x)) (/ 1 (/ (cos x) (sin x))) (/ (/ (cos x) (sin x)) (tan x)) (/ (tan x) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x))))) (/ (tan x) (sqrt (/ (cos x) (sin x)))) (/ (tan x) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (tan x) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x)))) (/ (tan x) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (tan x) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))) (/ (tan x) (/ (sqrt (cos x)) (sqrt (sin x)))) (/ (tan x) (sqrt (cos x))) (* (tan x) (* (cbrt (sin x)) (cbrt (sin x)))) (* (tan x) (sqrt (sin x))) (tan x) (tan x) (/ (tan x) (cos x)) (/ (/ (cos x) (sin x)) (cbrt (tan x))) (/ (/ (cos x) (sin x)) (sqrt (tan x))) (/ (/ (cos x) (sin x)) (tan x)) (/ (tan x) (cos x)) (/ (pow (cos x) 2) (sin x)) (expm1 (/ (cos x) (sin x))) (log1p (/ (cos x) (sin x))) (log (/ (cos x) (sin x))) (log (/ (cos x) (sin x))) (exp (/ (cos x) (sin x))) (pow (/ (cos x) (sin x)) 3) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x)))) (cbrt (/ (cos x) (sin x))) (pow (/ (cos x) (sin x)) 3) (sqrt (/ (cos x) (sin x))) (sqrt (/ (cos x) (sin x))) (- (cos x)) (- (sin x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (cos x)) (cbrt (sin x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x))) (/ (cbrt (cos x)) (sqrt (sin x))) (* (cbrt (cos x)) (cbrt (cos x))) (/ (cbrt (cos x)) (sin x)) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (cos x)) (cbrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x))) (sqrt (cos x)) (/ (sqrt (cos x)) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cos x) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (cos x) (sqrt (sin x))) 1 (/ (cos x) (sin x)) (/ 1 (sin x)) (/ (sin x) (cos x)) (/ (cos x) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cos x) (sqrt (sin x))) (cos x) (/ (sin x) (cbrt (cos x))) (/ (sin x) (sqrt (cos x))) (/ (sin x) (cos x)) (expm1 (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (log1p (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (exp (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0)) 3) (* (cbrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0)) 3) (sqrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0))) (- (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (- (fma (tan x) (tan x) 1.0)) (/ 1.0 (fma (tan x) (tan x) 1.0)) (/ (tan x) (* (/ (cos x) (sin x)) (fma (tan x) (tan x) 1.0))) (/ (* (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (/ (sqrt (fma (tan x) (tan x) 1.0)) (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))))) (/ (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (sqrt (fma (tan x) (tan x) 1.0))) (* (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) (/ (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (fma (tan x) (tan x) 1.0)) (/ (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (sqrt (fma (tan x) (tan x) 1.0))) (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (/ (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin 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) (/ (cos x) (sin x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma (tan x) (tan x) 1.0)) (/ (/ (+ (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (sqrt (fma (tan x) (tan x) 1.0))) (+ (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (/ (- (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x))))) (fma (tan x) (tan x) 1.0)) (/ (/ (+ (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))) (sqrt 1.0)) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))) (sqrt 1.0)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) (sqrt (fma (tan x) (tan x) 1.0))) (+ (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))) (sqrt 1.0)) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x))))) (fma (tan x) (tan x) 1.0)) (/ (/ (fma (/ (sqrt (tan x)) (sqrt (cos x))) (sqrt (sin x)) (sqrt 1.0)) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x))))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (fma (/ (sqrt (tan x)) (sqrt (cos x))) (sqrt (sin x)) (sqrt 1.0)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x))))) (sqrt (fma (tan x) (tan x) 1.0))) (fma (/ (sqrt (tan x)) (sqrt (cos x))) (sqrt (sin x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin 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) (/ (cos x) (sin x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- 1.0 (/ (tan x) (/ (cos x) (sin 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) (/ (cos x) (sin x))))) (/ (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (sqrt (fma (tan x) (tan x) 1.0))) (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (/ (fma (tan x) (tan x) 1.0) (cbrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- 1.0 (/ (tan x) (/ (cos x) (sin x)))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (sqrt (/ (tan x) (/ (cos x) (sin x)))))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (/ (sqrt (tan x)) (sqrt (/ (cos x) (sin x)))))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (/ (sqrt (tan x)) (/ (sqrt (cos x)) (sqrt (sin x)))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (/ (tan x) (/ (cos x) (sin x))))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (+ (pow (tan x) 6) (pow 1.0 3))) (/ (- 1.0 (/ (tan x) (/ (cos x) (sin x)))) (fma 1.0 1.0 (* (- (tan x)) (pow (tan x) 3)))) (* (fma (tan x) (tan x) 1.0) (fma (/ (tan x) (/ (cos x) (sin x))) (fma (/ (tan x) (cos x)) (sin x) 1.0) (* 1.0 1.0))) (* (fma (/ (tan x) (cos x)) (sin 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 x) (fma 1/45 (pow x 3) (* 1/3 x))) (/ (cos x) (sin x)) (/ (cos x) (sin x)) (- (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)) 7.455 * * * [progress]: adding candidates to table 8.010 * [progress]: [Phase 3 of 3] Extracting. 8.010 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 8.014 * * * [regime-changes]: Trying 2 branch expressions: ((tan x) x) 8.014 * * * * [regimes]: Trying to branch on (tan x) from (# # # # # # # # # # #) 8.058 * * * * [regimes]: Trying to branch on (tan x) from (# # # # #) 8.083 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 8.121 * * * [regime]: Found split indices: #