0.800 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.274 * * * [progress]: [2/2] Setting up program. 0.277 * [progress]: [Phase 2 of 3] Improving. 0.280 * [simplify]: Simplifying using # : (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 0.283 * * [simplify]: iteration 0 : 13 enodes (cost 9 ) 0.284 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 0.286 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 0.287 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 0.289 * * [simplify]: iteration 4 : 43 enodes (cost 9 ) 0.290 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 0.291 * * [simplify]: iteration 6 : 45 enodes (cost 9 ) 0.292 * [simplify]: Simplified to: (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 0.293 * * [progress]: iteration 1 / 4 0.293 * * * [progress]: picking best candidate 0.295 * * * * [pick]: Picked # 0.295 * * * [progress]: localizing error 0.305 * * * [progress]: generating rewritten candidates 0.305 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.313 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.318 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.339 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.372 * * * [progress]: generating series expansions 0.372 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.377 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.378 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.378 * [taylor]: Taking taylor expansion of (tan x) in x 0.379 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.379 * [taylor]: Taking taylor expansion of (sin x) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.379 * [taylor]: Taking taylor expansion of (cos x) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.381 * [taylor]: Taking taylor expansion of (tan x) in x 0.381 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.381 * [taylor]: Taking taylor expansion of (sin x) in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of (cos x) in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.399 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.399 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.399 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.399 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.399 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.400 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.400 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.400 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.410 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.410 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.410 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.410 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.410 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.410 * [taylor]: Taking taylor expansion of -1 in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.410 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.411 * [taylor]: Taking taylor expansion of -1 in x 0.411 * [taylor]: Taking taylor expansion of x in x 0.411 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.411 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.411 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.411 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.411 * [taylor]: Taking taylor expansion of -1 in x 0.411 * [taylor]: Taking taylor expansion of x in x 0.411 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.412 * [taylor]: Taking taylor expansion of -1 in x 0.412 * [taylor]: Taking taylor expansion of x in x 0.420 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.420 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.420 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.420 * [taylor]: Taking taylor expansion of (tan x) in x 0.420 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.420 * [taylor]: Taking taylor expansion of (sin x) in x 0.420 * [taylor]: Taking taylor expansion of x in x 0.420 * [taylor]: Taking taylor expansion of (cos x) in x 0.420 * [taylor]: Taking taylor expansion of x in x 0.421 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.421 * [taylor]: Taking taylor expansion of (tan x) in x 0.421 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.421 * [taylor]: Taking taylor expansion of (sin x) in x 0.421 * [taylor]: Taking taylor expansion of x in x 0.421 * [taylor]: Taking taylor expansion of (cos x) in x 0.421 * [taylor]: Taking taylor expansion of x in x 0.434 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.434 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.434 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.434 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.434 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.435 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.435 * [taylor]: Taking taylor expansion of x in x 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 x in x 0.436 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.436 * [taylor]: Taking taylor expansion of x in x 0.443 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.443 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.444 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.444 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.444 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.444 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.444 * [taylor]: Taking taylor expansion of -1 in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.444 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.444 * [taylor]: Taking taylor expansion of -1 in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.444 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.445 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.445 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.445 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.445 * [taylor]: Taking taylor expansion of -1 in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.445 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.445 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.445 * [taylor]: Taking taylor expansion of -1 in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.453 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.454 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0 0.454 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.454 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.454 * [taylor]: Taking taylor expansion of 1.0 in x 0.454 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.454 * [taylor]: Taking taylor expansion of (tan x) in x 0.454 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.454 * [taylor]: Taking taylor expansion of (sin x) in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.454 * [taylor]: Taking taylor expansion of (cos x) in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.455 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.455 * [taylor]: Taking taylor expansion of (tan x) in x 0.455 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.455 * [taylor]: Taking taylor expansion of (sin x) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (cos x) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.456 * [taylor]: Taking taylor expansion of 1.0 in x 0.457 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.457 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.457 * [taylor]: Taking taylor expansion of 1.0 in x 0.457 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.457 * [taylor]: Taking taylor expansion of (tan x) in x 0.457 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.457 * [taylor]: Taking taylor expansion of (sin x) in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [taylor]: Taking taylor expansion of (cos x) in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.464 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.464 * [taylor]: Taking taylor expansion of (tan x) in x 0.464 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.464 * [taylor]: Taking taylor expansion of (sin x) in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.464 * [taylor]: Taking taylor expansion of (cos x) in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.465 * [taylor]: Taking taylor expansion of 1.0 in x 0.487 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 0.487 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.487 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.487 * [taylor]: Taking taylor expansion of 1.0 in x 0.487 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.487 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.487 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.487 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.487 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.488 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.488 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.488 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.488 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.489 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.489 * [taylor]: Taking taylor expansion of 1.0 in x 0.491 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.491 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.491 * [taylor]: Taking taylor expansion of 1.0 in x 0.491 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.491 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.491 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.491 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.492 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.492 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.492 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.492 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of 1.0 in x 0.522 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 0.523 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.523 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.523 * [taylor]: Taking taylor expansion of 1.0 in x 0.523 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.523 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.523 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.523 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.523 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.523 * [taylor]: Taking taylor expansion of -1 in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.523 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.523 * [taylor]: Taking taylor expansion of -1 in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.524 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.524 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.524 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.524 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.524 * [taylor]: Taking taylor expansion of -1 in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.524 * [taylor]: Taking taylor expansion of -1 in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.525 * [taylor]: Taking taylor expansion of 1.0 in x 0.526 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.526 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.526 * [taylor]: Taking taylor expansion of 1.0 in x 0.526 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.526 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.526 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.526 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.526 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.526 * [taylor]: Taking taylor expansion of -1 in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.527 * [taylor]: Taking taylor expansion of -1 in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.527 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.527 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.527 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.527 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.527 * [taylor]: Taking taylor expansion of -1 in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.528 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.528 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.528 * [taylor]: Taking taylor expansion of -1 in x 0.528 * [taylor]: Taking taylor expansion of x in x 0.528 * [taylor]: Taking taylor expansion of 1.0 in x 0.559 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.559 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in (x) around 0 0.559 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.559 * [taylor]: Taking taylor expansion of 1.0 in x 0.559 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.559 * [taylor]: Taking taylor expansion of (tan x) in x 0.559 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.559 * [taylor]: Taking taylor expansion of (sin x) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.559 * [taylor]: Taking taylor expansion of (cos x) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.560 * [taylor]: Taking taylor expansion of 1.0 in x 0.560 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.560 * [taylor]: Taking taylor expansion of (tan x) in x 0.560 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.560 * [taylor]: Taking taylor expansion of (sin x) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of (cos x) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.570 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0 0.570 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.570 * [taylor]: Taking taylor expansion of 1.0 in x 0.570 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.570 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.570 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.570 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.571 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.571 * [taylor]: Taking taylor expansion of x in x 0.571 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.571 * [taylor]: Taking taylor expansion of 1.0 in x 0.571 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.571 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.571 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.571 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.571 * [taylor]: Taking taylor expansion of x in x 0.572 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.572 * [taylor]: Taking taylor expansion of x in x 0.584 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0 0.584 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.584 * [taylor]: Taking taylor expansion of 1.0 in x 0.584 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.584 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.584 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.584 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.584 * [taylor]: Taking taylor expansion of -1 in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.584 * [taylor]: Taking taylor expansion of -1 in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.585 * [taylor]: Taking taylor expansion of 1.0 in x 0.585 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.585 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.585 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.585 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.585 * [taylor]: Taking taylor expansion of -1 in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.585 * [taylor]: Taking taylor expansion of -1 in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.597 * * * [progress]: simplifying candidates 0.601 * [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)))) (/ (* (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)))) (/ (* (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)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 1) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 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)))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 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)))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (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)))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (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)))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 1) (/ (- 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)))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (* (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))) 1) (/ (- 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))) (- (sqrt 1.0) (sqrt (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (/ (- 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))) (* (+ 1.0 (* (tan x) (tan x))) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x)))))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (* (tan x) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))))) (fma (- (cbrt (* (tan x) (tan x)))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (* (cbrt (* (tan x) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x)))))) (fma (- (sqrt (* (tan x) (tan x)))) (sqrt (* (tan x) (tan x))) (* (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (tan x) (tan x)) 1))) (fma (- (* (tan x) (tan x))) 1 (* (* (tan x) (tan x)) 1)) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (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)))) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x)))))) (fma (- (* (sqrt (tan x)) (sqrt (tan x)))) (* (sqrt (tan x)) (sqrt (tan x))) (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (tan x) (tan x)) (* 1 1)))) (fma (- (* (tan x) (tan x))) (* 1 1) (* (* (tan x) (tan x)) (* 1 1))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x)))))) (fma (- (* (sqrt (tan x)) (sqrt (tan x)))) (* (sqrt (tan x)) (sqrt (tan x))) (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (tan x)) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (cbrt (tan x))) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (tan x)) (* (tan x) (sqrt (tan x)))))) (fma (- (sqrt (tan x))) (* (tan x) (sqrt (tan x))) (* (sqrt (tan x)) (* (tan x) (sqrt (tan x))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (* (tan x) 1)))) (fma (- (tan x)) (* (tan x) 1) (* (tan x) (* (tan x) 1))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (cbrt (tan x)) (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (* (cbrt (tan x)) (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (sqrt (tan x)) (tan x)) (sqrt (tan x))))) (fma (- (* (sqrt (tan x)) (tan x))) (sqrt (tan x)) (* (* (sqrt (tan x)) (tan x)) (sqrt (tan x)))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (tan x) (tan x)) 1))) (fma (- (* (tan x) (tan x))) 1 (* (* (tan x) (tan x)) 1)) (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 (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (* (tan x) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))))) (fma (- (cbrt (* (tan x) (tan x)))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (* (cbrt (* (tan x) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x)))))) (fma (- (sqrt (* (tan x) (tan x)))) (sqrt (* (tan x) (tan x))) (* (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (tan x) (tan x)) 1))) (fma (- (* (tan x) (tan x))) 1 (* (* (tan x) (tan x)) 1)) (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (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)))) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x)))))) (fma (- (* (sqrt (tan x)) (sqrt (tan x)))) (* (sqrt (tan x)) (sqrt (tan x))) (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (tan x) (tan x)) (* 1 1)))) (fma (- (* (tan x) (tan x))) (* 1 1) (* (* (tan x) (tan x)) (* 1 1))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x)))))) (fma (- (* (sqrt (tan x)) (sqrt (tan x)))) (* (sqrt (tan x)) (sqrt (tan x))) (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (tan x)) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (cbrt (tan x))) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (tan x)) (* (tan x) (sqrt (tan x)))))) (fma (- (sqrt (tan x))) (* (tan x) (sqrt (tan x))) (* (sqrt (tan x)) (* (tan x) (sqrt (tan x))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (tan x) (* (tan x) 1)))) (fma (- (tan x)) (* (tan x) 1) (* (tan x) (* (tan x) 1))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (cbrt (tan x)) (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (* (cbrt (tan x)) (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (sqrt (tan x)) (tan x)) (sqrt (tan x))))) (fma (- (* (sqrt (tan x)) (tan x))) (sqrt (tan x)) (* (* (sqrt (tan x)) (tan x)) (sqrt (tan x)))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (tan x) (tan x)) 1))) (fma (- (* (tan x) (tan x))) 1 (* (* (tan x) (tan x)) 1)) (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))) (fma 1 1.0 (- (* (cbrt (* (tan x) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x))))))) (fma (- (cbrt (* (tan x) (tan x)))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (* (cbrt (* (tan x) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))))) (fma 1 1.0 (- (* (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x)))))) (fma (- (sqrt (* (tan x) (tan x)))) (sqrt (* (tan x) (tan x))) (* (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))))) (fma 1 1.0 (- (* (* (tan x) (tan x)) 1))) (fma (- (* (tan x) (tan x))) 1 (* (* (tan x) (tan x)) 1)) (fma 1 1.0 (- (* (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (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)))) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma 1 1.0 (- (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x)))))) (fma (- (* (sqrt (tan x)) (sqrt (tan x)))) (* (sqrt (tan x)) (sqrt (tan x))) (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))))) (fma 1 1.0 (- (* (* (tan x) (tan x)) (* 1 1)))) (fma (- (* (tan x) (tan x))) (* 1 1) (* (* (tan x) (tan x)) (* 1 1))) (fma 1 1.0 (- (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x)))))) (fma (- (* (sqrt (tan x)) (sqrt (tan x)))) (* (sqrt (tan x)) (sqrt (tan x))) (* (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))))) (fma 1 1.0 (- (* (cbrt (tan x)) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (cbrt (tan x))) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma 1 1.0 (- (* (sqrt (tan x)) (* (tan x) (sqrt (tan x)))))) (fma (- (sqrt (tan x))) (* (tan x) (sqrt (tan x))) (* (sqrt (tan x)) (* (tan x) (sqrt (tan x))))) (fma 1 1.0 (- (* (tan x) (* (tan x) 1)))) (fma (- (tan x)) (* (tan x) 1) (* (tan x) (* (tan x) 1))) (fma 1 1.0 (- (* (* (cbrt (tan x)) (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (* (cbrt (tan x)) (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (* (cbrt (tan x)) (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma 1 1.0 (- (* (* (sqrt (tan x)) (tan x)) (sqrt (tan x))))) (fma (- (* (sqrt (tan x)) (tan x))) (sqrt (tan x)) (* (* (sqrt (tan x)) (tan x)) (sqrt (tan x)))) (fma 1 1.0 (- (* (* (tan x) (tan x)) 1))) (fma (- (* (tan x) (tan x))) 1 (* (* (tan x) (tan x)) 1)) (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)) (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)) (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))) (- (* (tan x) (tan x))) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4)))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 0.611 * * [simplify]: iteration 0 : 559 enodes (cost 2609 ) 0.620 * * [simplify]: iteration 1 : 1880 enodes (cost 2152 ) 0.671 * * [simplify]: iteration 2 : 5001 enodes (cost 2008 ) 0.680 * [simplify]: Simplified to: (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (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))) (+ 1.0 (* (tan x) (tan x))))) (log (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (pow (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 3) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (pow (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 3) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (- (- 1.0 (* (tan x) (tan x)))) (- (+ 1.0 (* (tan x) (tan x)))) (/ 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 (+ 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))))) (hypot (tan x) (sqrt 1.0))) (/ (/ (cbrt (- 1.0 (* (tan x) (tan x)))) 1) (hypot (tan x) (sqrt 1.0))) (* (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)))) (* (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)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (hypot (tan x) (sqrt 1.0))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (hypot (tan x) (sqrt 1.0))) (sqrt (- 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (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)) (sqrt (- 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (fma (tan x) (tan x) 1.0)) (/ 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))))) (* (/ 2 (hypot (tan x) (sqrt 1.0))) 1/2) (/ (- 1.0 (* (tan x) (tan x))) (hypot (tan x) (sqrt 1.0))) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 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))))) (/ (+ (tan x) (sqrt 1.0)) (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (/ (+ (fabs (tan x)) (sqrt 1.0)) (cbrt (+ 1.0 (* (tan x) (tan x))))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (fabs (tan x)) (sqrt 1.0)) (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (fabs (tan x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (+ (fabs (tan x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (+ (fabs (tan x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (* (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))))) (/ (+ (tan x) (sqrt 1.0)) (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (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))))) (/ (+ (tan x) (sqrt 1.0)) (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (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))))) (/ (+ (tan x) (sqrt 1.0)) (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (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))))) (* (/ 2 (hypot (tan x) (sqrt 1.0))) 1/2) (/ (- 1.0 (* (tan x) (tan x))) (hypot (tan x) (sqrt 1.0))) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ 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))))) (* (/ 2 (hypot (tan x) (sqrt 1.0))) 1/2) (/ (- 1.0 (* (tan x) (tan x))) (hypot (tan x) (sqrt 1.0))) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (hypot (tan x) (sqrt 1.0))) (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (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)))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (sqrt (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (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)))) (/ (- 1.0 (* (tan x) (tan x))) (fma (pow (tan x) 6) 1 (pow 1.0 3))) (/ (- 1.0 (* (tan x) (tan x))) (fma 1.0 1.0 (* (- (pow (tan x) 3)) (tan x)))) (* (+ (* (* (tan x) (tan x)) (+ (* (tan x) (tan x)) 1.0)) (* 1.0 1.0)) (+ 1.0 (* (tan x) (tan x)))) (* (fma (tan x) (tan x) 1.0) (+ 1.0 (* (tan x) (tan x)))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (tan x))) (* (tan x) (+ (- (tan x)) (tan x))) (- 1.0 (* (tan x) (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 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (pow (- 1.0 (* (tan x) (tan x))) 3) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (fma (* (tan x) (tan x)) (fma (tan x) (tan x) 1.0) (* 1.0 1.0)) (- (* (tan x) (tan x))) (fma 1.0 1.0 (* (- (pow (tan x) 3)) (tan x))) (fma (tan x) (tan x) 1.0) (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x)) (+ (fabs (tan x)) (sqrt 1.0)) (- (sqrt 1.0) (fabs (tan x))) (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x)) (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (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 (pow x 4) 0.6666666666666669 (- 1.0 (* 2.0 (pow x 2)))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4)))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 0.682 * * * [progress]: adding candidates to table 0.974 * * [progress]: iteration 2 / 4 0.974 * * * [progress]: picking best candidate 0.994 * * * * [pick]: Picked # 0.994 * * * [progress]: localizing error 1.007 * * * [progress]: generating rewritten candidates 1.007 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.011 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.014 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 1.016 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 1.020 * * * [progress]: generating series expansions 1.020 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.021 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0 1.021 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.021 * [taylor]: Taking taylor expansion of (sin x) in x 1.021 * [taylor]: Taking taylor expansion of x in x 1.021 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.021 * [taylor]: Taking taylor expansion of (sin x) in x 1.021 * [taylor]: Taking taylor expansion of x in x 1.029 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0 1.029 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.030 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.030 * [taylor]: Taking taylor expansion of x in x 1.030 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.030 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.030 * [taylor]: Taking taylor expansion of x in x 1.035 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0 1.035 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.035 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.035 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.035 * [taylor]: Taking taylor expansion of -1 in x 1.035 * [taylor]: Taking taylor expansion of x in x 1.036 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.036 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.036 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.036 * [taylor]: Taking taylor expansion of -1 in x 1.036 * [taylor]: Taking taylor expansion of x in x 1.041 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.041 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0 1.041 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.041 * [taylor]: Taking taylor expansion of (sin x) in x 1.041 * [taylor]: Taking taylor expansion of x in x 1.041 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.042 * [taylor]: Taking taylor expansion of (sin x) in x 1.042 * [taylor]: Taking taylor expansion of x in x 1.049 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0 1.049 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.049 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.049 * [taylor]: Taking taylor expansion of x in x 1.049 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.049 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.049 * [taylor]: Taking taylor expansion of x in x 1.058 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0 1.058 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.058 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.058 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.058 * [taylor]: Taking taylor expansion of -1 in x 1.058 * [taylor]: Taking taylor expansion of x in x 1.058 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.058 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.058 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.058 * [taylor]: Taking taylor expansion of -1 in x 1.058 * [taylor]: Taking taylor expansion of x in x 1.063 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 1.063 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0 1.063 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.063 * [taylor]: Taking taylor expansion of (cos x) in x 1.063 * [taylor]: Taking taylor expansion of x in x 1.064 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.064 * [taylor]: Taking taylor expansion of (cos x) in x 1.064 * [taylor]: Taking taylor expansion of x in x 1.069 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0 1.070 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.070 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.070 * [taylor]: Taking taylor expansion of x in x 1.070 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.070 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.070 * [taylor]: Taking taylor expansion of x in x 1.075 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0 1.075 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.075 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.075 * [taylor]: Taking taylor expansion of -1 in x 1.075 * [taylor]: Taking taylor expansion of x in x 1.076 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.076 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.076 * [taylor]: Taking taylor expansion of -1 in x 1.076 * [taylor]: Taking taylor expansion of x in x 1.081 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 1.081 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0 1.081 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.081 * [taylor]: Taking taylor expansion of (cos x) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.081 * [taylor]: Taking taylor expansion of (cos x) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.087 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0 1.087 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.087 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.087 * [taylor]: Taking taylor expansion of x in x 1.088 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.088 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.088 * [taylor]: Taking taylor expansion of x in x 1.093 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0 1.093 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.093 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.093 * [taylor]: Taking taylor expansion of -1 in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.093 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.093 * [taylor]: Taking taylor expansion of -1 in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.098 * * * [progress]: simplifying candidates 1.099 * [simplify]: Simplifying using # : (expm1 (pow (sin x) 2)) (log1p (pow (sin x) 2)) (* (log (sin x)) 2) (* (log (sin x)) 2) (* 1 2) (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (pow (sin x) 1) (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow (cbrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow 1 2) (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (pow (sin x) (/ 2 2)) (pow (sin x) (/ 2 2)) (expm1 (pow (sin x) 2)) (log1p (pow (sin x) 2)) (* (log (sin x)) 2) (* (log (sin x)) 2) (* 1 2) (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (pow (sin x) 1) (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow (cbrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow 1 2) (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (pow (sin x) (/ 2 2)) (pow (sin x) (/ 2 2)) (expm1 (pow (cos x) 2)) (log1p (pow (cos x) 2)) (* (log (cos x)) 2) (* (log (cos x)) 2) (* 1 2) (pow (cos x) (* (cbrt 2) (cbrt 2))) (pow (cos x) (sqrt 2)) (pow (cos x) 1) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2) (pow (cbrt (cos x)) 2) (pow (sqrt (cos x)) 2) (pow (sqrt (cos x)) 2) (pow 1 2) (pow (cos x) 2) (log (pow (cos x) 2)) (exp (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)) (* (* (pow (cos x) 2) (pow (cos x) 2)) (pow (cos x) 2)) (sqrt (pow (cos x) 2)) (sqrt (pow (cos x) 2)) (pow (cos x) (/ 2 2)) (pow (cos x) (/ 2 2)) (expm1 (pow (cos x) 2)) (log1p (pow (cos x) 2)) (* (log (cos x)) 2) (* (log (cos x)) 2) (* 1 2) (pow (cos x) (* (cbrt 2) (cbrt 2))) (pow (cos x) (sqrt 2)) (pow (cos x) 1) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2) (pow (cbrt (cos x)) 2) (pow (sqrt (cos x)) 2) (pow (sqrt (cos x)) 2) (pow 1 2) (pow (cos x) 2) (log (pow (cos x) 2)) (exp (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)) (* (* (pow (cos x) 2) (pow (cos x) 2)) (pow (cos x) 2)) (sqrt (pow (cos x) 2)) (sqrt (pow (cos x) 2)) (pow (cos x) (/ 2 2)) (pow (cos x) (/ 2 2)) (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4))) (pow (sin x) 2) (pow (sin x) 2) (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4))) (pow (sin x) 2) (pow (sin x) 2) (- (+ (* 1/3 (pow x 4)) 1) (pow x 2)) (pow (cos x) 2) (pow (cos x) 2) (- (+ (* 1/3 (pow x 4)) 1) (pow x 2)) (pow (cos x) 2) (pow (cos x) 2) 1.103 * * [simplify]: iteration 0 : 146 enodes (cost 308 ) 1.106 * * [simplify]: iteration 1 : 487 enodes (cost 260 ) 1.116 * * [simplify]: iteration 2 : 1671 enodes (cost 260 ) 1.159 * * [simplify]: iteration 3 : 5001 enodes (cost 256 ) 1.161 * [simplify]: Simplified to: (expm1 (pow (sin x) 2)) (log1p (pow (sin x) 2)) (log (pow (sin x) 2)) (log (pow (sin x) 2)) 2 (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (sin x) (pow (cbrt (sin x)) 4) (pow (cbrt (sin x)) 2) (sin x) (sin x) 1 (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (pow (sin x) 6) (fabs (sin x)) (fabs (sin x)) (sin x) (sin x) (expm1 (pow (sin x) 2)) (log1p (pow (sin x) 2)) (log (pow (sin x) 2)) (log (pow (sin x) 2)) 2 (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (sin x) (pow (cbrt (sin x)) 4) (pow (cbrt (sin x)) 2) (sin x) (sin x) 1 (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (pow (sin x) 6) (fabs (sin x)) (fabs (sin x)) (sin x) (sin x) (expm1 (pow (cos x) 2)) (log1p (pow (cos x) 2)) (log (pow (cos x) 2)) (log (pow (cos x) 2)) 2 (pow (cos x) (* (cbrt 2) (cbrt 2))) (pow (cos x) (sqrt 2)) (cos x) (pow (cbrt (cos x)) 4) (pow (cbrt (cos x)) 2) (cos x) (cos x) 1 (pow (cos x) 2) (log (pow (cos x) 2)) (exp (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)) (pow (cos x) 6) (fabs (cos x)) (fabs (cos x)) (cos x) (cos x) (expm1 (pow (cos x) 2)) (log1p (pow (cos x) 2)) (log (pow (cos x) 2)) (log (pow (cos x) 2)) 2 (pow (cos x) (* (cbrt 2) (cbrt 2))) (pow (cos x) (sqrt 2)) (cos x) (pow (cbrt (cos x)) 4) (pow (cbrt (cos x)) 2) (cos x) (cos x) 1 (pow (cos x) 2) (log (pow (cos x) 2)) (exp (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)) (pow (cos x) 6) (fabs (cos x)) (fabs (cos x)) (cos x) (cos x) (fma x x (- (* 2/45 (pow x 6)) (* 1/3 (pow x 4)))) (pow (sin x) 2) (pow (sin x) 2) (fma x x (- (* 2/45 (pow x 6)) (* 1/3 (pow x 4)))) (pow (sin x) 2) (pow (sin x) 2) (fma (pow x 4) 1/3 (- 1 (pow x 2))) (pow (cos x) 2) (pow (cos x) 2) (fma (pow x 4) 1/3 (- 1 (pow x 2))) (pow (cos x) 2) (pow (cos x) 2) 1.161 * * * [progress]: adding candidates to table 1.385 * * [progress]: iteration 3 / 4 1.385 * * * [progress]: picking best candidate 1.402 * * * * [pick]: Picked # 1.402 * * * [progress]: localizing error 1.419 * * * [progress]: generating rewritten candidates 1.419 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.430 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 1.435 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 1) 1.441 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 1.451 * * * [progress]: generating series expansions 1.451 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.451 * [approximate]: Taking taylor expansion of (pow (pow (tan x) 2) 3) in (x) around 0 1.451 * [taylor]: Taking taylor expansion of (pow (pow (tan x) 2) 3) in x 1.451 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.451 * [taylor]: Taking taylor expansion of (tan x) in x 1.451 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.451 * [taylor]: Taking taylor expansion of (sin x) in x 1.451 * [taylor]: Taking taylor expansion of x in x 1.451 * [taylor]: Taking taylor expansion of (cos x) in x 1.451 * [taylor]: Taking taylor expansion of x in x 1.452 * [taylor]: Taking taylor expansion of (pow (pow (tan x) 2) 3) in x 1.453 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.453 * [taylor]: Taking taylor expansion of (tan x) in x 1.453 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.453 * [taylor]: Taking taylor expansion of (sin x) in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.453 * [taylor]: Taking taylor expansion of (cos x) in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.472 * [approximate]: Taking taylor expansion of (pow (pow (tan (/ 1 x)) 2) 3) in (x) around 0 1.472 * [taylor]: Taking taylor expansion of (pow (pow (tan (/ 1 x)) 2) 3) in x 1.472 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.472 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.472 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.472 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of (pow (pow (tan (/ 1 x)) 2) 3) in x 1.473 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.473 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.473 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.473 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.474 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.474 * [taylor]: Taking taylor expansion of x in x 1.494 * [approximate]: Taking taylor expansion of (pow (pow (tan (/ -1 x)) 2) 3) in (x) around 0 1.494 * [taylor]: Taking taylor expansion of (pow (pow (tan (/ -1 x)) 2) 3) in x 1.494 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.494 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.494 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.494 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.494 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.494 * [taylor]: Taking taylor expansion of -1 in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.495 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.495 * [taylor]: Taking taylor expansion of -1 in x 1.495 * [taylor]: Taking taylor expansion of x in x 1.495 * [taylor]: Taking taylor expansion of (pow (pow (tan (/ -1 x)) 2) 3) in x 1.495 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.495 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.496 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.496 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.496 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.496 * [taylor]: Taking taylor expansion of -1 in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.496 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.496 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.496 * [taylor]: Taking taylor expansion of -1 in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.517 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 1.517 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 1.517 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.517 * [taylor]: Taking taylor expansion of (tan x) in x 1.517 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.517 * [taylor]: Taking taylor expansion of (sin x) in x 1.517 * [taylor]: Taking taylor expansion of x in x 1.517 * [taylor]: Taking taylor expansion of (cos x) in x 1.517 * [taylor]: Taking taylor expansion of x in x 1.518 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.518 * [taylor]: Taking taylor expansion of (tan x) in x 1.518 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.518 * [taylor]: Taking taylor expansion of (sin x) in x 1.518 * [taylor]: Taking taylor expansion of x in x 1.518 * [taylor]: Taking taylor expansion of (cos x) in x 1.518 * [taylor]: Taking taylor expansion of x in x 1.535 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 1.535 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.535 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.535 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.535 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.535 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.536 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.536 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.536 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.536 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.536 * [taylor]: Taking taylor expansion of x in x 1.536 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.536 * [taylor]: Taking taylor expansion of x in x 1.544 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 1.544 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.544 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.544 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.544 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.544 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.544 * [taylor]: Taking taylor expansion of -1 in x 1.544 * [taylor]: Taking taylor expansion of x in x 1.545 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.545 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.545 * [taylor]: Taking taylor expansion of -1 in x 1.545 * [taylor]: Taking taylor expansion of x in x 1.545 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.545 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.545 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.545 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.545 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.545 * [taylor]: Taking taylor expansion of -1 in x 1.545 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.546 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.546 * [taylor]: Taking taylor expansion of -1 in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.554 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 1) 1.554 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 1.554 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.554 * [taylor]: Taking taylor expansion of (tan x) in x 1.554 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.554 * [taylor]: Taking taylor expansion of (sin x) in x 1.554 * [taylor]: Taking taylor expansion of x in x 1.554 * [taylor]: Taking taylor expansion of (cos x) in x 1.554 * [taylor]: Taking taylor expansion of x in x 1.555 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.555 * [taylor]: Taking taylor expansion of (tan x) in x 1.555 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.555 * [taylor]: Taking taylor expansion of (sin x) in x 1.555 * [taylor]: Taking taylor expansion of x in x 1.555 * [taylor]: Taking taylor expansion of (cos x) in x 1.555 * [taylor]: Taking taylor expansion of x in x 1.568 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 1.568 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.568 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.568 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.569 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.569 * [taylor]: Taking taylor expansion of x in x 1.569 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.569 * [taylor]: Taking taylor expansion of x in x 1.569 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.569 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.569 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.569 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.569 * [taylor]: Taking taylor expansion of x in x 1.570 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.570 * [taylor]: Taking taylor expansion of x in x 1.578 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 1.578 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.578 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.578 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.578 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.578 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.578 * [taylor]: Taking taylor expansion of -1 in x 1.578 * [taylor]: Taking taylor expansion of x in x 1.578 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.578 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.578 * [taylor]: Taking taylor expansion of -1 in x 1.578 * [taylor]: Taking taylor expansion of x in x 1.579 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.579 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.579 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.579 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.579 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.579 * [taylor]: Taking taylor expansion of -1 in x 1.579 * [taylor]: Taking taylor expansion of x in x 1.579 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.579 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.579 * [taylor]: Taking taylor expansion of -1 in x 1.579 * [taylor]: Taking taylor expansion of x in x 1.587 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 1.587 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 1.587 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.587 * [taylor]: Taking taylor expansion of (tan x) in x 1.587 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.587 * [taylor]: Taking taylor expansion of (sin x) in x 1.587 * [taylor]: Taking taylor expansion of x in x 1.587 * [taylor]: Taking taylor expansion of (cos x) in x 1.587 * [taylor]: Taking taylor expansion of x in x 1.588 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 1.588 * [taylor]: Taking taylor expansion of (tan x) in x 1.588 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.588 * [taylor]: Taking taylor expansion of (sin x) in x 1.588 * [taylor]: Taking taylor expansion of x in x 1.588 * [taylor]: Taking taylor expansion of (cos x) in x 1.588 * [taylor]: Taking taylor expansion of x in x 1.601 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 1.601 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.601 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.601 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.601 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.601 * [taylor]: Taking taylor expansion of x in x 1.602 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.602 * [taylor]: Taking taylor expansion of x in x 1.602 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 1.602 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.602 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.602 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.602 * [taylor]: Taking taylor expansion of x in x 1.602 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.603 * [taylor]: Taking taylor expansion of x in x 1.613 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 1.613 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.613 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.613 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.613 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.613 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.613 * [taylor]: Taking taylor expansion of -1 in x 1.613 * [taylor]: Taking taylor expansion of x in x 1.614 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.614 * [taylor]: Taking taylor expansion of -1 in x 1.614 * [taylor]: Taking taylor expansion of x in x 1.614 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 1.614 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.614 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.614 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.614 * [taylor]: Taking taylor expansion of -1 in x 1.614 * [taylor]: Taking taylor expansion of x in x 1.615 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.615 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.615 * [taylor]: Taking taylor expansion of -1 in x 1.615 * [taylor]: Taking taylor expansion of x in x 1.623 * * * [progress]: simplifying candidates 1.625 * [simplify]: Simplifying using # : (expm1 (pow (* (tan x) (tan x)) 3)) (log1p (pow (* (tan x) (tan x)) 3)) (* (+ (log (tan x)) (log (tan x))) 3) (* (log (* (tan x) (tan x))) 3) (* (log (* (tan x) (tan x))) 3) (* (+ 1 1) 3) (* 1 3) (* 2 3) (* (+ 1 1) 3) (* 1 3) (* (* 2 1) 3) (pow (* (tan x) (tan x)) (* (cbrt 3) (cbrt 3))) (pow (* (tan x) (tan x)) (sqrt 3)) (pow (* (tan x) (tan x)) 1) (pow (tan x) 3) (pow (tan x) 3) (pow (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) 3) (pow (cbrt (* (tan x) (tan x))) 3) (pow (sqrt (* (tan x) (tan x))) 3) (pow (sqrt (* (tan x) (tan x))) 3) (pow 1 3) (pow (* (tan x) (tan x)) 3) (pow (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) 3) (pow (* (cbrt (tan x)) (cbrt (tan x))) 3) (pow (* (sqrt (tan x)) (sqrt (tan x))) 3) (pow (* (sqrt (tan x)) (sqrt (tan x))) 3) (pow (* 1 1) 3) (pow (* (tan x) (tan x)) 3) (pow (* (sqrt (tan x)) (sqrt (tan x))) 3) (pow (* (sqrt (tan x)) (sqrt (tan x))) 3) (pow (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) 3) (pow (cbrt (tan x)) 3) (pow (* (tan x) (sqrt (tan x))) 3) (pow (sqrt (tan x)) 3) (pow (* (tan x) 1) 3) (pow (tan x) 3) (pow (* (cbrt (tan x)) (cbrt (tan x))) 3) (pow (* (cbrt (tan x)) (tan x)) 3) (pow (sqrt (tan x)) 3) (pow (* (sqrt (tan x)) (tan x)) 3) (pow 1 3) (pow (* (tan x) (tan x)) 3) (pow (tan x) 3) (pow (tan x) 3) (* (* (tan x) (tan x)) (* (tan x) (tan x))) (log (pow (* (tan x) (tan x)) 3)) (exp (pow (* (tan x) (tan x)) 3)) (* (cbrt (pow (* (tan x) (tan x)) 3)) (cbrt (pow (* (tan x) (tan x)) 3))) (cbrt (pow (* (tan x) (tan x)) 3)) (* (* (pow (* (tan x) (tan x)) 3) (pow (* (tan x) (tan x)) 3)) (pow (* (tan x) (tan x)) 3)) (pow (tan x) 3) (pow (tan x) 3) (pow (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) 3) (pow (cbrt (* (tan x) (tan x))) 3) (pow (sqrt (* (tan x) (tan x))) 3) (pow (sqrt (* (tan x) (tan x))) 3) (pow 1 3) (pow (* (tan x) (tan x)) 3) (pow (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) 3) (pow (* (cbrt (tan x)) (cbrt (tan x))) 3) (pow (* (sqrt (tan x)) (sqrt (tan x))) 3) (pow (* (sqrt (tan x)) (sqrt (tan x))) 3) (pow (* 1 1) 3) (pow (* (tan x) (tan x)) 3) (pow (* (sqrt (tan x)) (sqrt (tan x))) 3) (pow (* (sqrt (tan x)) (sqrt (tan x))) 3) (pow (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) 3) (pow (cbrt (tan x)) 3) (pow (* (tan x) (sqrt (tan x))) 3) (pow (sqrt (tan x)) 3) (pow (* (tan x) 1) 3) (pow (tan x) 3) (pow (* (cbrt (tan x)) (cbrt (tan x))) 3) (pow (* (cbrt (tan x)) (tan x)) 3) (pow (sqrt (tan x)) 3) (pow (* (sqrt (tan x)) (tan x)) 3) (pow 1 3) (pow (* (tan x) (tan x)) 3) (pow (tan x) 3) (pow (tan x) 3) (pow (* (sin x) (sin x)) 3) (pow (* (cos x) (cos x)) 3) (pow (* (tan x) (sin x)) 3) (pow (cos x) 3) (pow (* (sin x) (tan x)) 3) (pow (cos x) 3) (* (* (tan x) (tan x)) (* (tan x) (tan x))) (sqrt (pow (* (tan x) (tan x)) 3)) (sqrt (pow (* (tan x) (tan x)) 3)) (pow (* (tan x) (tan x)) (/ 3 2)) (pow (* (tan x) (tan x)) (/ 3 2)) (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 (* (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)) (+ (* 2 (pow x 8)) (+ (pow x 6) (* 37/15 (pow x 10)))) (/ (pow (sin x) 6) (pow (cos x) 6)) (/ (pow (sin x) 6) (pow (cos x) 6)) (+ (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)) (+ (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.630 * * [simplify]: iteration 0 : 311 enodes (cost 619 ) 1.638 * * [simplify]: iteration 1 : 1637 enodes (cost 515 ) 1.687 * * [simplify]: iteration 2 : 5001 enodes (cost 500 ) 1.690 * [simplify]: Simplified to: (expm1 (pow (* (tan x) (tan x)) 3)) (log1p (pow (* (tan x) (tan x)) 3)) (* 6 (log (tan x))) (* 6 (log (tan x))) (* 6 (log (tan x))) 6 3 6 6 3 6 (pow (* (tan x) (tan x)) (* (cbrt 3) (cbrt 3))) (pow (* (tan x) (tan x)) (sqrt 3)) (* (tan x) (tan x)) (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 4) (* (tan x) (tan x)) (pow (fabs (tan x)) 3) (pow (fabs (tan x)) 3) 1 (pow (tan x) 6) (pow (tan x) 4) (* (tan x) (tan x)) (pow (tan x) 3) (pow (tan x) 3) 1 (pow (tan x) 6) (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 5) (tan x) (pow (pow (sqrt (tan x)) 3) 3) (pow (sqrt (tan x)) 3) (pow (tan x) 3) (pow (tan x) 3) (* (tan x) (tan x)) (pow (tan x) 4) (pow (sqrt (tan x)) 3) (pow (pow (sqrt (tan x)) 3) 3) 1 (pow (tan x) 6) (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 4) (* 6 (log (tan x))) (exp (pow (* (tan x) (tan x)) 3)) (pow (tan x) 4) (* (tan x) (tan x)) (pow (pow (* (tan x) (tan x)) 3) 3) (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 4) (* (tan x) (tan x)) (pow (fabs (tan x)) 3) (pow (fabs (tan x)) 3) 1 (pow (tan x) 6) (pow (tan x) 4) (* (tan x) (tan x)) (pow (tan x) 3) (pow (tan x) 3) 1 (pow (tan x) 6) (pow (tan x) 3) (pow (tan x) 3) (pow (tan x) 5) (tan x) (pow (pow (sqrt (tan x)) 3) 3) (pow (sqrt (tan x)) 3) (pow (tan x) 3) (pow (tan x) 3) (* (tan x) (tan x)) (pow (tan x) 4) (pow (sqrt (tan x)) 3) (pow (pow (sqrt (tan x)) 3) 3) 1 (pow (tan x) 6) (pow (tan x) 3) (pow (tan x) 3) (pow (sin x) 6) (pow (cos x) 6) (pow (* (sin x) (tan x)) 3) (pow (cos x) 3) (pow (* (sin x) (tan x)) 3) (pow (cos x) 3) (pow (tan x) 4) (fabs (pow (tan x) 3)) (fabs (pow (tan x) 3)) (pow (fabs (tan x)) 3) (pow (fabs (tan x)) 3) (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) (pow (cbrt (tan x)) 4) (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) (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (pow (cbrt (tan x)) 5) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (pow (cbrt (tan x)) 4) (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) (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (pow (cbrt (tan x)) 5) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (pow (cbrt (tan x)) 4) (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) (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (pow (cbrt (tan x)) 5) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (fma (pow x 8) 2 (fma (pow x 10) 37/15 (pow x 6))) (/ (pow (sin x) 6) (pow (cos x) 6)) (/ (pow (sin x) 6) (pow (cos x) 6)) (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 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.691 * * * [progress]: adding candidates to table 1.997 * * [progress]: iteration 4 / 4 1.997 * * * [progress]: picking best candidate 2.014 * * * * [pick]: Picked # 2.014 * * * [progress]: localizing error 2.026 * * * [progress]: generating rewritten candidates 2.026 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 2.053 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 2.060 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 2.065 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.099 * * * [progress]: generating series expansions 2.100 * * * * [progress]: [ 1 / 4 ] generating series at (2) 2.100 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0 2.100 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 2.100 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 2.100 * [taylor]: Taking taylor expansion of 1.0 in x 2.100 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.100 * [taylor]: Taking taylor expansion of (tan x) in x 2.100 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.100 * [taylor]: Taking taylor expansion of (sin x) in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.100 * [taylor]: Taking taylor expansion of (cos x) in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.101 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 2.101 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.101 * [taylor]: Taking taylor expansion of (tan x) in x 2.101 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.101 * [taylor]: Taking taylor expansion of (sin x) in x 2.101 * [taylor]: Taking taylor expansion of x in x 2.101 * [taylor]: Taking taylor expansion of (cos x) in x 2.101 * [taylor]: Taking taylor expansion of x in x 2.102 * [taylor]: Taking taylor expansion of 1.0 in x 2.103 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 2.103 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 2.103 * [taylor]: Taking taylor expansion of 1.0 in x 2.103 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.103 * [taylor]: Taking taylor expansion of (tan x) in x 2.103 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.103 * [taylor]: Taking taylor expansion of (sin x) in x 2.103 * [taylor]: Taking taylor expansion of x in x 2.103 * [taylor]: Taking taylor expansion of (cos x) in x 2.103 * [taylor]: Taking taylor expansion of x in x 2.104 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 2.104 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.104 * [taylor]: Taking taylor expansion of (tan x) in x 2.104 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.104 * [taylor]: Taking taylor expansion of (sin x) in x 2.104 * [taylor]: Taking taylor expansion of x in x 2.104 * [taylor]: Taking taylor expansion of (cos x) in x 2.104 * [taylor]: Taking taylor expansion of x in x 2.105 * [taylor]: Taking taylor expansion of 1.0 in x 2.131 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 2.131 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 2.131 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 2.131 * [taylor]: Taking taylor expansion of 1.0 in x 2.131 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.131 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.131 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.131 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.131 * [taylor]: Taking taylor expansion of x in x 2.132 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.132 * [taylor]: Taking taylor expansion of x in x 2.132 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 2.132 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.132 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.132 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.132 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.132 * [taylor]: Taking taylor expansion of x in x 2.132 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.132 * [taylor]: Taking taylor expansion of x in x 2.133 * [taylor]: Taking taylor expansion of 1.0 in x 2.134 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 2.134 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 2.134 * [taylor]: Taking taylor expansion of 1.0 in x 2.134 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.134 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.134 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.134 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.134 * [taylor]: Taking taylor expansion of x in x 2.135 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.135 * [taylor]: Taking taylor expansion of x in x 2.135 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 2.135 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.135 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.135 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.135 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.135 * [taylor]: Taking taylor expansion of x in x 2.136 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.136 * [taylor]: Taking taylor expansion of x in x 2.136 * [taylor]: Taking taylor expansion of 1.0 in x 2.167 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 2.167 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 2.167 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 2.167 * [taylor]: Taking taylor expansion of 1.0 in x 2.167 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.167 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.167 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.167 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.167 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.167 * [taylor]: Taking taylor expansion of -1 in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.167 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.167 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.167 * [taylor]: Taking taylor expansion of -1 in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.168 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 2.168 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.168 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.168 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.168 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.168 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.168 * [taylor]: Taking taylor expansion of -1 in x 2.168 * [taylor]: Taking taylor expansion of x in x 2.168 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.168 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.168 * [taylor]: Taking taylor expansion of -1 in x 2.168 * [taylor]: Taking taylor expansion of x in x 2.169 * [taylor]: Taking taylor expansion of 1.0 in x 2.170 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 2.170 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 2.170 * [taylor]: Taking taylor expansion of 1.0 in x 2.170 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.170 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.171 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.171 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.171 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.171 * [taylor]: Taking taylor expansion of -1 in x 2.171 * [taylor]: Taking taylor expansion of x in x 2.171 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.171 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.171 * [taylor]: Taking taylor expansion of -1 in x 2.171 * [taylor]: Taking taylor expansion of x in x 2.171 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 2.171 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.171 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.172 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.172 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.172 * [taylor]: Taking taylor expansion of -1 in x 2.172 * [taylor]: Taking taylor expansion of x in x 2.172 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.172 * [taylor]: Taking taylor expansion of -1 in x 2.172 * [taylor]: Taking taylor expansion of x in x 2.172 * [taylor]: Taking taylor expansion of 1.0 in x 2.202 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 2.202 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 2.202 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.202 * [taylor]: Taking taylor expansion of (tan x) in x 2.202 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.202 * [taylor]: Taking taylor expansion of (sin x) in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (cos x) in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.203 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.203 * [taylor]: Taking taylor expansion of (tan x) in x 2.203 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.203 * [taylor]: Taking taylor expansion of (sin x) in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.203 * [taylor]: Taking taylor expansion of (cos x) in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.221 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 2.221 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.221 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.221 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.221 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.221 * [taylor]: Taking taylor expansion of x in x 2.222 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.222 * [taylor]: Taking taylor expansion of x in x 2.222 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.222 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.222 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.222 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.222 * [taylor]: Taking taylor expansion of x in x 2.223 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.223 * [taylor]: Taking taylor expansion of x in x 2.231 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 2.231 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.231 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.231 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.231 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.231 * [taylor]: Taking taylor expansion of -1 in x 2.231 * [taylor]: Taking taylor expansion of x in x 2.231 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.231 * [taylor]: Taking taylor expansion of -1 in x 2.231 * [taylor]: Taking taylor expansion of x in x 2.232 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.232 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.232 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.232 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.232 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.232 * [taylor]: Taking taylor expansion of -1 in x 2.232 * [taylor]: Taking taylor expansion of x in x 2.233 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.233 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.233 * [taylor]: Taking taylor expansion of -1 in x 2.233 * [taylor]: Taking taylor expansion of x in x 2.241 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 2.241 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 2.241 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.241 * [taylor]: Taking taylor expansion of (tan x) in x 2.241 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.241 * [taylor]: Taking taylor expansion of (sin x) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of (cos x) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.242 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.242 * [taylor]: Taking taylor expansion of (tan x) in x 2.242 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.242 * [taylor]: Taking taylor expansion of (sin x) in x 2.242 * [taylor]: Taking taylor expansion of x in x 2.242 * [taylor]: Taking taylor expansion of (cos x) in x 2.242 * [taylor]: Taking taylor expansion of x in x 2.256 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 2.256 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.256 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.256 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.256 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.256 * [taylor]: Taking taylor expansion of x in x 2.256 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.256 * [taylor]: Taking taylor expansion of x in x 2.257 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.257 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.257 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.257 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.257 * [taylor]: Taking taylor expansion of x in x 2.257 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.257 * [taylor]: Taking taylor expansion of x in x 2.266 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 2.266 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.266 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.266 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.266 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.266 * [taylor]: Taking taylor expansion of -1 in x 2.266 * [taylor]: Taking taylor expansion of x in x 2.266 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.266 * [taylor]: Taking taylor expansion of -1 in x 2.266 * [taylor]: Taking taylor expansion of x in x 2.267 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.267 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.267 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.267 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.267 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.267 * [taylor]: Taking taylor expansion of -1 in x 2.267 * [taylor]: Taking taylor expansion of x in x 2.267 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.267 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.267 * [taylor]: Taking taylor expansion of -1 in x 2.267 * [taylor]: Taking taylor expansion of x in x 2.275 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.276 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0 2.276 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 2.276 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 2.276 * [taylor]: Taking taylor expansion of 1.0 in x 2.276 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.276 * [taylor]: Taking taylor expansion of (tan x) in x 2.276 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.276 * [taylor]: Taking taylor expansion of (sin x) in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.276 * [taylor]: Taking taylor expansion of (cos x) in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.277 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 2.277 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.277 * [taylor]: Taking taylor expansion of (tan x) in x 2.277 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.277 * [taylor]: Taking taylor expansion of (sin x) in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.277 * [taylor]: Taking taylor expansion of (cos x) in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.277 * [taylor]: Taking taylor expansion of 1.0 in x 2.278 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 2.278 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 2.278 * [taylor]: Taking taylor expansion of 1.0 in x 2.278 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.278 * [taylor]: Taking taylor expansion of (tan x) in x 2.278 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.278 * [taylor]: Taking taylor expansion of (sin x) in x 2.278 * [taylor]: Taking taylor expansion of x in x 2.279 * [taylor]: Taking taylor expansion of (cos x) in x 2.279 * [taylor]: Taking taylor expansion of x in x 2.279 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 2.279 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.279 * [taylor]: Taking taylor expansion of (tan x) in x 2.280 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.280 * [taylor]: Taking taylor expansion of (sin x) in x 2.280 * [taylor]: Taking taylor expansion of x in x 2.280 * [taylor]: Taking taylor expansion of (cos x) in x 2.280 * [taylor]: Taking taylor expansion of x in x 2.280 * [taylor]: Taking taylor expansion of 1.0 in x 2.301 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 2.301 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 2.301 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 2.301 * [taylor]: Taking taylor expansion of 1.0 in x 2.301 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.301 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.301 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.301 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.301 * [taylor]: Taking taylor expansion of x in x 2.302 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.302 * [taylor]: Taking taylor expansion of x in x 2.302 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 2.302 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.302 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.302 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.302 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.302 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of 1.0 in x 2.304 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 2.305 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 2.305 * [taylor]: Taking taylor expansion of 1.0 in x 2.305 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.305 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.305 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.305 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.305 * [taylor]: Taking taylor expansion of x in x 2.305 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.305 * [taylor]: Taking taylor expansion of x in x 2.305 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 2.306 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.306 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.306 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.306 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.306 * [taylor]: Taking taylor expansion of x in x 2.306 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.306 * [taylor]: Taking taylor expansion of x in x 2.306 * [taylor]: Taking taylor expansion of 1.0 in x 2.342 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 2.342 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 2.342 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 2.342 * [taylor]: Taking taylor expansion of 1.0 in x 2.342 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.342 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.342 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.342 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.342 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.342 * [taylor]: Taking taylor expansion of -1 in x 2.343 * [taylor]: Taking taylor expansion of x in x 2.343 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.343 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.343 * [taylor]: Taking taylor expansion of -1 in x 2.343 * [taylor]: Taking taylor expansion of x in x 2.344 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 2.344 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.344 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.344 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.344 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.344 * [taylor]: Taking taylor expansion of -1 in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.344 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.344 * [taylor]: Taking taylor expansion of -1 in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.345 * [taylor]: Taking taylor expansion of 1.0 in x 2.346 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 2.346 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 2.346 * [taylor]: Taking taylor expansion of 1.0 in x 2.346 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.346 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.346 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.346 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.346 * [taylor]: Taking taylor expansion of -1 in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.347 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.347 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.347 * [taylor]: Taking taylor expansion of -1 in x 2.347 * [taylor]: Taking taylor expansion of x in x 2.347 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 2.347 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.347 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.347 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.347 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.347 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.347 * [taylor]: Taking taylor expansion of -1 in x 2.347 * [taylor]: Taking taylor expansion of x in x 2.348 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.348 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.348 * [taylor]: Taking taylor expansion of -1 in x 2.348 * [taylor]: Taking taylor expansion of x in x 2.348 * [taylor]: Taking taylor expansion of 1.0 in x 2.379 * * * [progress]: simplifying candidates 2.382 * [simplify]: Simplifying using # : (expm1 (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log1p (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log (* (cbrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))))) (log (cbrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log (sqrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log (sqrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log 1) (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (log (exp (/ 1.0 (+ 1.0 (* (tan x) (tan x)))))) (log (exp (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x)))))) (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (log (exp (* (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)))))))) (log (exp (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (* (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)))))))) (log (exp (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) 1))) (log (exp (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) 1))) (log (exp (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) 1))) (log (exp (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 1))) (log (exp (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 1))) (log (exp (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 1))) (log (exp (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (+ (sqrt 1.0) (tan x)) 1))) (log (exp (/ (+ (sqrt 1.0) (tan x)) 1))) (log (exp (/ (+ (sqrt 1.0) (tan x)) 1))) (log (exp (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1))) (log (exp (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (+ (sqrt 1.0) (tan x)) 1))) (log (exp (/ (+ (sqrt 1.0) (tan x)) 1))) (log (exp (/ (+ (sqrt 1.0) (tan x)) 1))) (log (exp (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))))) (log (exp (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp 1)) (log (exp (- 1.0 (* (tan x) (tan x))))) (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))))) (log (exp (/ (- 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))))) (log (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (exp (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (* (cbrt (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (cbrt (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))))) (cbrt (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (* (* (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (sqrt (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (sqrt (log (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan 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 (* (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)))) (/ (* (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)))) (/ (* (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)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 1) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 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)))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 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)))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (* (tan x) (tan x)))) 1) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x)))) 1) (/ (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (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)))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (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)))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 1) (/ (- 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)))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (* (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))) 1) (/ (- 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))) (- (sqrt 1.0) (sqrt (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (* (sqrt (tan x)) (sqrt (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (/ (- 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))) (* (+ 1.0 (* (tan x) (tan x))) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x)))))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (- (+ (* 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)) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) 2.392 * * [simplify]: iteration 0 : 425 enodes (cost 2103 ) 2.399 * * [simplify]: iteration 1 : 1302 enodes (cost 1982 ) 2.425 * * [simplify]: iteration 2 : 5002 enodes (cost 1954 ) 2.433 * [simplify]: Simplified to: (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))))) (* 2 (log (cbrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))))) (log (cbrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log (sqrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) (log (sqrt (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))))) 0 (/ (- 1.0 (* (tan x) (tan 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) (tan x))) (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (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 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) 1 1 1 (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0)) (/ (/ (+ (fabs (tan x)) (sqrt 1.0)) (cbrt (+ 1.0 (* (tan x) (tan x))))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (fabs (tan x)) (sqrt 1.0)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (fabs (tan x)) (sqrt 1.0)) (+ (fabs (tan x)) (sqrt 1.0)) (+ (fabs (tan x)) (sqrt 1.0)) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0)) (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) 1 1 1 (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) 1 1 1 1 (- 1.0 (* (tan x) (tan x))) (/ (- 1.0 (* (tan x) (tan x))) (fma (pow (tan x) 6) 1 (pow 1.0 3))) (/ (- 1.0 (* (tan x) (tan x))) (fma 1.0 1.0 (* (- (pow (tan x) 3)) (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))))) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (pow (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 3) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (pow (cbrt (tan x)) 4) (cbrt (tan x))) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (pow (cbrt (tan x)) 4) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (pow (cbrt (tan x)) 4) (cbrt (tan x))) (pow (sqrt (tan x)) 3) (tan x) (pow (cbrt (tan x)) 4) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (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))) (+ 1.0 (* (tan x) (tan x))))) (log (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (pow (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 3) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (pow (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 3) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (- (- 1.0 (* (tan x) (tan x)))) (- (+ 1.0 (* (tan x) (tan x)))) (/ 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 (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (* (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)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (sqrt (- 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (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)) (sqrt (- 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 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))))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (/ (+ (fabs (tan x)) (sqrt 1.0)) (cbrt (+ 1.0 (* (tan x) (tan x))))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (fabs (tan x)) (sqrt 1.0)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (+ (fabs (tan x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (+ (fabs (tan x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (+ (fabs (tan x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (* (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))))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (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))))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (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))))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x))) (/ (+ 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))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (sqrt (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (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)))) (/ (- 1.0 (* (tan x) (tan x))) (fma (pow (tan x) 6) 1 (pow 1.0 3))) (/ (- 1.0 (* (tan x) (tan x))) (fma 1.0 1.0 (* (- (pow (tan x) 3)) (tan x)))) (* (fma (* (tan x) (tan x)) (fma (tan x) (tan x) 1.0) (* 1.0 1.0)) (+ 1.0 (* (tan x) (tan x)))) (* (fma (tan x) (tan x) 1.0) (+ 1.0 (* (tan x) (tan x)))) (fma (pow x 4) 0.6666666666666669 (- 1.0 (* 2.0 (pow x 2)))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (fma x x (fma 17/45 (pow x 6) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (fma x x (fma 17/45 (pow x 6) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (fma (pow x 4) 0.6666666666666669 (- 1.0 (* 2.0 (pow x 2)))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) 2.434 * * * [progress]: adding candidates to table 2.824 * [progress]: [Phase 3 of 3] Extracting. 2.824 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 2.827 * * * [regime-changes]: Trying 3 branch expressions: ((tan x) (* (tan x) (tan x)) x) 2.828 * * * * [regimes]: Trying to branch on (tan x) from (# # # # # # # # #) 2.867 * * * * [regimes]: Trying to branch on (tan x) from (# # # # # # #) 2.898 * * * * [regimes]: Trying to branch on (* (tan x) (tan x)) from (# # # # # # # # #) 2.930 * * * * [regimes]: Trying to branch on (* (tan x) (tan x)) from (# # # #) 2.952 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 2.982 * * * [regime]: Found split indices: #