0.804 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.296 * * * [progress]: [2/2] Setting up program. 0.299 * [progress]: [Phase 2 of 3] Improving. 0.302 * [simplify]: Simplifying using # : (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) 0.304 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 0.308 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.310 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 0.312 * * [simplify]: iteration 3 : 29 enodes (cost 14 ) 0.315 * * [simplify]: iteration 4 : 37 enodes (cost 14 ) 0.319 * * [simplify]: iteration 5 : 42 enodes (cost 14 ) 0.324 * * [simplify]: iteration 6 : 44 enodes (cost 14 ) 0.328 * * [simplify]: iteration done : 44 enodes (cost 14 ) 0.328 * [simplify]: Simplified to: (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 0.332 * * [progress]: iteration 1 / 4 0.333 * * * [progress]: picking best candidate 0.336 * * * * [pick]: Picked # 0.336 * * * [progress]: localizing error 0.354 * * * [progress]: generating rewritten candidates 0.354 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.361 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.366 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.375 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.382 * * * [progress]: generating series expansions 0.382 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.386 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.387 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.387 * [taylor]: Taking taylor expansion of (tan x) in x 0.388 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.388 * [taylor]: Taking taylor expansion of (sin x) in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.388 * [taylor]: Taking taylor expansion of (cos x) in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.390 * [taylor]: Taking taylor expansion of (tan x) in x 0.390 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.390 * [taylor]: Taking taylor expansion of (sin x) in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of (cos x) in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.406 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.406 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.406 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.406 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.406 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.406 * [taylor]: Taking taylor expansion of x in x 0.407 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.407 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.407 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.407 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.408 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.415 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.415 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.415 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.415 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.415 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.416 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.416 * [taylor]: Taking taylor expansion of -1 in x 0.416 * [taylor]: Taking taylor expansion of x in x 0.416 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.416 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.416 * [taylor]: Taking taylor expansion of -1 in x 0.416 * [taylor]: Taking taylor expansion of x in x 0.416 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.416 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.416 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.417 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.417 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.417 * [taylor]: Taking taylor expansion of -1 in x 0.417 * [taylor]: Taking taylor expansion of x in x 0.417 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.417 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.417 * [taylor]: Taking taylor expansion of -1 in x 0.417 * [taylor]: Taking taylor expansion of x in x 0.424 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.424 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 0.424 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.424 * [taylor]: Taking taylor expansion of (tan x) in x 0.424 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.424 * [taylor]: Taking taylor expansion of (sin x) in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of (cos x) in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.425 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.425 * [taylor]: Taking taylor expansion of (tan x) in x 0.425 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.425 * [taylor]: Taking taylor expansion of (sin x) in x 0.425 * [taylor]: Taking taylor expansion of x in x 0.425 * [taylor]: Taking taylor expansion of (cos x) in x 0.425 * [taylor]: Taking taylor expansion of x in x 0.438 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 0.438 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.438 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.438 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.438 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.439 * [taylor]: Taking taylor expansion of x in x 0.439 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.439 * [taylor]: Taking taylor expansion of x in x 0.439 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.439 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.439 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.439 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.439 * [taylor]: Taking taylor expansion of x in x 0.440 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.440 * [taylor]: Taking taylor expansion of x in x 0.453 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 0.453 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.453 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.453 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.453 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.453 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.453 * [taylor]: Taking taylor expansion of -1 in x 0.453 * [taylor]: Taking taylor expansion of x in x 0.453 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.453 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.453 * [taylor]: Taking taylor expansion of -1 in x 0.453 * [taylor]: Taking taylor expansion of x in x 0.454 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.454 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.454 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.454 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.454 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.454 * [taylor]: Taking taylor expansion of -1 in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.454 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.454 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.454 * [taylor]: Taking taylor expansion of -1 in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.461 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.462 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in (x) around 0 0.462 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.462 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.462 * [taylor]: Taking taylor expansion of 1.0 in x 0.462 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.462 * [taylor]: Taking taylor expansion of (tan x) in x 0.462 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.462 * [taylor]: Taking taylor expansion of (sin x) in x 0.462 * [taylor]: Taking taylor expansion of x in x 0.462 * [taylor]: Taking taylor expansion of (cos x) in x 0.462 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.463 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.463 * [taylor]: Taking taylor expansion of (tan x) in x 0.463 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.463 * [taylor]: Taking taylor expansion of (sin x) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (cos x) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.464 * [taylor]: Taking taylor expansion of 1.0 in x 0.465 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan x) 2)) (+ (pow (tan x) 2) 1.0)) in x 0.465 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.465 * [taylor]: Taking taylor expansion of 1.0 in x 0.465 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.465 * [taylor]: Taking taylor expansion of (tan x) in x 0.465 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.465 * [taylor]: Taking taylor expansion of (sin x) in x 0.465 * [taylor]: Taking taylor expansion of x in x 0.465 * [taylor]: Taking taylor expansion of (cos x) in x 0.465 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 0.466 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.466 * [taylor]: Taking taylor expansion of (tan x) in x 0.466 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.466 * [taylor]: Taking taylor expansion of (sin x) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of (cos x) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.467 * [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.487 * [taylor]: Taking taylor expansion of (cos (/ 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 (+ (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.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.489 * [taylor]: Taking taylor expansion of 1.0 in x 0.490 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ 1 x)) 2)) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 0.490 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.490 * [taylor]: Taking taylor expansion of 1.0 in x 0.490 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.490 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.490 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.490 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 0.491 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.491 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.491 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.491 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of 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 1.0 in x 0.519 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 0.519 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (tan (/ -1 x)) 2)) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 0.519 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.519 * [taylor]: Taking taylor expansion of 1.0 in x 0.519 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.519 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.520 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.520 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.520 * [taylor]: Taking taylor expansion of -1 in x 0.520 * [taylor]: Taking taylor expansion of x in x 0.520 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.520 * [taylor]: Taking taylor expansion of -1 in x 0.520 * [taylor]: Taking taylor expansion of x in x 0.520 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 0.520 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.520 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.521 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.521 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.521 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.521 * [taylor]: Taking taylor expansion of -1 in x 0.521 * [taylor]: Taking taylor expansion of x in x 0.521 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.521 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.521 * [taylor]: Taking taylor expansion of -1 in x 0.521 * [taylor]: Taking taylor expansion of x in x 0.521 * [taylor]: Taking taylor expansion of 1.0 in x 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.554 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.554 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in (x) around 0 0.554 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.554 * [taylor]: Taking taylor expansion of 1.0 in x 0.554 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.554 * [taylor]: Taking taylor expansion of (tan x) in x 0.555 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.555 * [taylor]: Taking taylor expansion of (sin x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (cos x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan x) 2)) in x 0.555 * [taylor]: Taking taylor expansion of 1.0 in x 0.555 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 0.555 * [taylor]: Taking taylor expansion of (tan x) in x 0.556 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.556 * [taylor]: Taking taylor expansion of (sin x) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of (cos x) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.563 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in (x) around 0 0.563 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.563 * [taylor]: Taking taylor expansion of 1.0 in x 0.563 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.563 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.563 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.563 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.563 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ 1 x)) 2)) in x 0.564 * [taylor]: Taking taylor expansion of 1.0 in x 0.564 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 0.564 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.564 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.564 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.575 * [approximate]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in (x) around 0 0.575 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.575 * [taylor]: Taking taylor expansion of 1.0 in x 0.575 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.575 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.575 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.575 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.575 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.575 * [taylor]: Taking taylor expansion of -1 in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.575 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.575 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.575 * [taylor]: Taking taylor expansion of -1 in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of (- 1.0 (pow (tan (/ -1 x)) 2)) in x 0.576 * [taylor]: Taking taylor expansion of 1.0 in x 0.576 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 0.576 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.576 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.576 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.576 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.576 * [taylor]: Taking taylor expansion of -1 in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.576 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.576 * [taylor]: Taking taylor expansion of -1 in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.586 * * * [progress]: simplifying candidates 0.589 * [simplify]: Simplifying using # : (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) (+ 1 1) (* (tan x) (tan x)) (+ 1 1) (+ (log (tan x)) (log (tan x))) (log (* (tan x) (tan x))) (exp (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (cbrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 1 1) (* (tan x) (tan x)) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 2 1) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (* (tan x) 1) (* (cbrt (tan x)) (tan x)) (* (sqrt (tan x)) (tan x)) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) (+ 1 1) (* (tan x) (tan x)) (+ 1 1) (+ (log (tan x)) (log (tan x))) (log (* (tan x) (tan x))) (exp (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (cbrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 1 1) (* (tan x) (tan x)) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 2 1) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (* (tan x) 1) (* (cbrt (tan x)) (tan x)) (* (sqrt (tan x)) (tan x)) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (expm1 (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (log1p (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (- (log (- 1.0 (* (tan x) (tan x)))) (log (+ 1.0 (* (tan x) (tan x))))) (log (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (exp (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (/ (* (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))) (* (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (* (* (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))) (- (- 1.0 (* (tan x) (tan x)))) (- (+ 1.0 (* (tan x) (tan x)))) (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (* (tan x) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) 1) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) 1) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 1) (/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (tan x)) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (tan x)) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (tan x)) 1) (/ (- (sqrt 1.0) (tan x)) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (* (tan x) (tan x))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (* (tan x) (tan x))) 1) (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 1.0 (* (tan x) (tan x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (tan x))) (/ (- 1.0 (* (tan x) (tan x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (/ (- 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))) (* (+ 1.0 (* (tan x) (tan x))) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x)))))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (fma 1 1.0 (- (* (tan x) (tan x)))) (fma (- (tan x)) (tan x) (* (tan x) (tan x))) (expm1 (- 1.0 (* (tan x) (tan x)))) (log1p (- 1.0 (* (tan x) (tan x)))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (/ (exp 1.0) (exp (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (* (* (- 1.0 (* (tan x) (tan x))) (- 1.0 (* (tan x) (tan x)))) (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (- (pow 1.0 3) (pow (* (tan x) (tan x)) 3)) (+ (* 1.0 1.0) (+ (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* 1.0 (* (tan x) (tan x))))) (- (* (tan x) (tan x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x)) (- (* (tan x) (tan x))) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- 1.0 (+ (pow x 2) (* 2/3 (pow x 4)))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 0.593 * * [simplify]: iteration 0 : 151 enodes (cost 1789 ) 0.620 * * [simplify]: iteration 1 : 339 enodes (cost 1638 ) 0.694 * * [simplify]: iteration 2 : 1140 enodes (cost 1453 ) 1.079 * * [simplify]: iteration done : 5001 enodes (cost 1453 ) 1.080 * [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)) 3) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (pow (sqrt (tan x)) 3) (tan x) (* (cbrt (tan x)) (tan x)) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (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)) 3) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (pow (sqrt (tan x)) 3) (tan x) (* (cbrt (tan x)) (tan x)) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (tan x) (sin x)) (expm1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (exp (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 3) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 3) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (- (- 1.0 (* (tan x) (tan x)))) (- (fma (tan x) (tan x) 1.0)) (/ 1.0 (fma (tan x) (tan x) 1.0)) (/ (* (tan x) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (* (tan x) (tan x)))) (fma (tan x) (tan x) 1.0)) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (sqrt (- 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (* (tan x) (tan x)))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- 1.0 (* (tan x) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (+ (tan x) (sqrt 1.0)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (tan x) (sqrt 1.0)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ 1 (fma (tan x) (tan x) 1.0)) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (* (tan x) (tan x)))) (/ (/ (- 1.0 (* (tan x) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (* (tan x) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (- 1.0 (* (tan x) (tan x))) (/ (fma (tan x) (tan x) 1.0) (cbrt (- 1.0 (* (tan x) (tan x))))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- 1.0 (* (tan x) (tan x))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (* (tan x) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (/ (- 1.0 (* (tan x) (tan x))) (+ (pow (tan x) 6) (pow 1.0 3))) (/ (- 1.0 (* (tan x) (tan x))) (- (* 1.0 1.0) (* (pow (tan x) 3) (tan x)))) (* (fma (tan x) (tan x) 1.0) (fma (* (tan x) (tan x)) (fma (tan x) (tan x) 1.0) (* 1.0 1.0))) (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (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))) (expm1 (- 1.0 (* (tan x) (tan x)))) (log1p (- 1.0 (* (tan x) (tan x)))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (- (* (tan x) (tan x))) (exp (- 1.0 (* (tan x) (tan x)))) (log (- 1.0 (* (tan x) (tan x)))) (exp (- 1.0 (* (tan x) (tan x)))) (* (cbrt (- 1.0 (* (tan x) (tan x)))) (cbrt (- 1.0 (* (tan x) (tan x))))) (cbrt (- 1.0 (* (tan x) (tan x)))) (pow (- 1.0 (* (tan x) (tan x))) 3) (sqrt (- 1.0 (* (tan x) (tan x)))) (sqrt (- 1.0 (* (tan x) (tan x)))) (- (pow 1.0 3) (pow (tan x) 6)) (fma (* (tan x) (tan x)) (fma (tan x) (tan x) 1.0) (* 1.0 1.0)) (- (* (tan x) (tan x))) (- (* 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)) (- (* (tan x) (tan x))) (fma x x (fma 17/45 (pow x 6) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (fma x x (fma 17/45 (pow x 6) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (fma 0.6666666666666669 (pow x 4) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- 1.0 (fma x x (* 2/3 (pow x 4)))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) 1.081 * * * [progress]: adding candidates to table 1.346 * * [progress]: iteration 2 / 4 1.346 * * * [progress]: picking best candidate 1.372 * * * * [pick]: Picked # 1.372 * * * [progress]: localizing error 1.382 * * * [progress]: generating rewritten candidates 1.382 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.388 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.403 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.438 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1.443 * * * [progress]: generating series expansions 1.443 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.444 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in (x) around 0 1.444 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 1.444 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.444 * [taylor]: Taking taylor expansion of 1.0 in x 1.445 * [taylor]: Taking taylor expansion of (tan x) in x 1.445 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.445 * [taylor]: Taking taylor expansion of (sin x) in x 1.445 * [taylor]: Taking taylor expansion of x in x 1.445 * [taylor]: Taking taylor expansion of (cos x) in x 1.445 * [taylor]: Taking taylor expansion of x in x 1.446 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 1.446 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.446 * [taylor]: Taking taylor expansion of 1.0 in x 1.447 * [taylor]: Taking taylor expansion of (tan x) in x 1.447 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.447 * [taylor]: Taking taylor expansion of (sin x) in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.447 * [taylor]: Taking taylor expansion of (cos x) in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.455 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in (x) around 0 1.455 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 1.455 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.455 * [taylor]: Taking taylor expansion of 1.0 in x 1.456 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.456 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.456 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.456 * [taylor]: Taking taylor expansion of x in x 1.456 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.456 * [taylor]: Taking taylor expansion of x in x 1.457 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 1.457 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.457 * [taylor]: Taking taylor expansion of 1.0 in x 1.458 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.458 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.458 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.458 * [taylor]: Taking taylor expansion of x in x 1.458 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.458 * [taylor]: Taking taylor expansion of x in x 1.468 * [approximate]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in (x) around 0 1.468 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 1.468 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.468 * [taylor]: Taking taylor expansion of 1.0 in x 1.468 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.468 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.468 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.468 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.468 * [taylor]: Taking taylor expansion of -1 in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.469 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.469 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.469 * [taylor]: Taking taylor expansion of -1 in x 1.469 * [taylor]: Taking taylor expansion of x in x 1.469 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 1.469 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.469 * [taylor]: Taking taylor expansion of 1.0 in x 1.470 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.470 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.470 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.470 * [taylor]: Taking taylor expansion of -1 in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.470 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.470 * [taylor]: Taking taylor expansion of -1 in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.480 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.480 * [approximate]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) in (x) around 0 1.480 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) in x 1.480 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 1.480 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.480 * [taylor]: Taking taylor expansion of 1.0 in x 1.481 * [taylor]: Taking taylor expansion of (tan x) in x 1.481 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.481 * [taylor]: Taking taylor expansion of (sin x) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.481 * [taylor]: Taking taylor expansion of (cos x) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.482 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 1.482 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 1.482 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 1.482 * [taylor]: Taking taylor expansion of (tan x) in x 1.482 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.482 * [taylor]: Taking taylor expansion of (sin x) in x 1.482 * [taylor]: Taking taylor expansion of x in x 1.482 * [taylor]: Taking taylor expansion of (cos x) in x 1.482 * [taylor]: Taking taylor expansion of x in x 1.483 * [taylor]: Taking taylor expansion of (tan x) in x 1.483 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.483 * [taylor]: Taking taylor expansion of (sin x) in x 1.483 * [taylor]: Taking taylor expansion of x in x 1.483 * [taylor]: Taking taylor expansion of (cos x) in x 1.483 * [taylor]: Taking taylor expansion of x in x 1.484 * [taylor]: Taking taylor expansion of 1.0 in x 1.485 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) in x 1.485 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 1.485 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.485 * [taylor]: Taking taylor expansion of 1.0 in x 1.486 * [taylor]: Taking taylor expansion of (tan x) in x 1.486 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.486 * [taylor]: Taking taylor expansion of (sin x) in x 1.486 * [taylor]: Taking taylor expansion of x in x 1.486 * [taylor]: Taking taylor expansion of (cos x) in x 1.486 * [taylor]: Taking taylor expansion of x in x 1.487 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 1.487 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 1.487 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 1.487 * [taylor]: Taking taylor expansion of (tan x) in x 1.487 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.487 * [taylor]: Taking taylor expansion of (sin x) in x 1.487 * [taylor]: Taking taylor expansion of x in x 1.487 * [taylor]: Taking taylor expansion of (cos x) in x 1.487 * [taylor]: Taking taylor expansion of x in x 1.488 * [taylor]: Taking taylor expansion of (tan x) in x 1.488 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.488 * [taylor]: Taking taylor expansion of (sin x) in x 1.488 * [taylor]: Taking taylor expansion of x in x 1.488 * [taylor]: Taking taylor expansion of (cos x) in x 1.488 * [taylor]: Taking taylor expansion of x in x 1.488 * [taylor]: Taking taylor expansion of 1.0 in x 1.501 * [approximate]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ 1 x))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in (x) around 0 1.502 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ 1 x))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 1.502 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 1.502 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.502 * [taylor]: Taking taylor expansion of 1.0 in x 1.502 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.502 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.502 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.502 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 1.503 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 1.503 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 1.503 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.503 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.503 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.504 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.504 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.505 * [taylor]: Taking taylor expansion of 1.0 in x 1.506 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ 1 x))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 1.506 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 1.506 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.506 * [taylor]: Taking taylor expansion of 1.0 in x 1.507 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.507 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.507 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.507 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 1.508 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 1.508 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 1.508 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.508 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.508 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.509 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.509 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.509 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.509 * [taylor]: Taking taylor expansion of x in x 1.509 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.509 * [taylor]: Taking taylor expansion of x in x 1.510 * [taylor]: Taking taylor expansion of 1.0 in x 1.542 * [approximate]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ -1 x))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in (x) around 0 1.542 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ -1 x))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 1.542 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 1.542 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.542 * [taylor]: Taking taylor expansion of 1.0 in x 1.543 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.543 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.543 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.543 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.543 * [taylor]: Taking taylor expansion of -1 in x 1.543 * [taylor]: Taking taylor expansion of x in x 1.544 * [taylor]: Taking taylor expansion of (cos (/ -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.544 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 1.544 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 1.544 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) 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 (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.546 * [taylor]: Taking taylor expansion of 1.0 in x 1.547 * [taylor]: Taking taylor expansion of (/ (- (sqrt 1.0) (tan (/ -1 x))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 1.547 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 1.547 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.547 * [taylor]: Taking taylor expansion of 1.0 in x 1.548 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.548 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.548 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.548 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.548 * [taylor]: Taking taylor expansion of -1 in x 1.548 * [taylor]: Taking taylor expansion of x in x 1.549 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.549 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.549 * [taylor]: Taking taylor expansion of -1 in x 1.549 * [taylor]: Taking taylor expansion of x in x 1.549 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 1.549 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 1.549 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 1.549 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.549 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.549 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.549 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.549 * [taylor]: Taking taylor expansion of -1 in x 1.549 * [taylor]: Taking taylor expansion of x in x 1.550 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.550 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.550 * [taylor]: Taking taylor expansion of -1 in x 1.550 * [taylor]: Taking taylor expansion of x in x 1.550 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.550 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.550 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.550 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.550 * [taylor]: Taking taylor expansion of -1 in x 1.550 * [taylor]: Taking taylor expansion of x in x 1.550 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.550 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.551 * [taylor]: Taking taylor expansion of -1 in x 1.551 * [taylor]: Taking taylor expansion of x in x 1.551 * [taylor]: Taking taylor expansion of 1.0 in x 1.580 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.581 * [approximate]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (fma (tan x) (tan x) 1.0)) in (x) around 0 1.581 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (fma (tan x) (tan x) 1.0)) in x 1.581 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x 1.581 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 1.581 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.581 * [taylor]: Taking taylor expansion of 1.0 in x 1.581 * [taylor]: Taking taylor expansion of (tan x) in x 1.581 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.582 * [taylor]: Taking taylor expansion of (sin x) in x 1.582 * [taylor]: Taking taylor expansion of x in x 1.582 * [taylor]: Taking taylor expansion of (cos x) in x 1.582 * [taylor]: Taking taylor expansion of x in x 1.582 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 1.582 * [taylor]: Taking taylor expansion of (tan x) in x 1.582 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.582 * [taylor]: Taking taylor expansion of (sin x) in x 1.582 * [taylor]: Taking taylor expansion of x in x 1.583 * [taylor]: Taking taylor expansion of (cos x) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.583 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.583 * [taylor]: Taking taylor expansion of 1.0 in x 1.584 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 1.584 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 1.584 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 1.584 * [taylor]: Taking taylor expansion of (tan x) in x 1.584 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.584 * [taylor]: Taking taylor expansion of (sin x) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [taylor]: Taking taylor expansion of (cos x) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.585 * [taylor]: Taking taylor expansion of (tan x) in x 1.585 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.585 * [taylor]: Taking taylor expansion of (sin x) in x 1.585 * [taylor]: Taking taylor expansion of x in x 1.585 * [taylor]: Taking taylor expansion of (cos x) in x 1.585 * [taylor]: Taking taylor expansion of x in x 1.586 * [taylor]: Taking taylor expansion of 1.0 in x 1.589 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) (fma (tan x) (tan x) 1.0)) in x 1.589 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan x)) (+ (tan x) (sqrt 1.0))) in x 1.589 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan x)) in x 1.589 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.589 * [taylor]: Taking taylor expansion of 1.0 in x 1.590 * [taylor]: Taking taylor expansion of (tan x) in x 1.590 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.590 * [taylor]: Taking taylor expansion of (sin x) in x 1.590 * [taylor]: Taking taylor expansion of x in x 1.590 * [taylor]: Taking taylor expansion of (cos x) in x 1.590 * [taylor]: Taking taylor expansion of x in x 1.590 * [taylor]: Taking taylor expansion of (+ (tan x) (sqrt 1.0)) in x 1.590 * [taylor]: Taking taylor expansion of (tan x) in x 1.591 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.591 * [taylor]: Taking taylor expansion of (sin x) in x 1.591 * [taylor]: Taking taylor expansion of x in x 1.591 * [taylor]: Taking taylor expansion of (cos x) in x 1.591 * [taylor]: Taking taylor expansion of x in x 1.591 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.591 * [taylor]: Taking taylor expansion of 1.0 in x 1.592 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 1.592 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 1.592 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 1.592 * [taylor]: Taking taylor expansion of (tan x) in x 1.592 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.592 * [taylor]: Taking taylor expansion of (sin x) in x 1.592 * [taylor]: Taking taylor expansion of x in x 1.592 * [taylor]: Taking taylor expansion of (cos x) in x 1.592 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of (tan x) in x 1.593 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.593 * [taylor]: Taking taylor expansion of (sin x) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of (cos x) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.594 * [taylor]: Taking taylor expansion of 1.0 in x 1.656 * [approximate]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in (x) around 0 1.656 * [taylor]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 1.656 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x 1.656 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 1.656 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.656 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.656 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.656 * [taylor]: Taking taylor expansion of x in x 1.657 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.657 * [taylor]: Taking taylor expansion of x in x 1.657 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.657 * [taylor]: Taking taylor expansion of 1.0 in x 1.658 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 1.658 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.658 * [taylor]: Taking taylor expansion of 1.0 in x 1.659 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.659 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.659 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 1.660 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 1.660 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 1.660 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.660 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.660 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.660 * [taylor]: Taking taylor expansion of x in x 1.660 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.660 * [taylor]: Taking taylor expansion of x in x 1.660 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.660 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.660 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.660 * [taylor]: Taking taylor expansion of x in x 1.661 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.661 * [taylor]: Taking taylor expansion of x in x 1.661 * [taylor]: Taking taylor expansion of 1.0 in x 1.664 * [taylor]: Taking taylor expansion of (/ (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0)) in x 1.664 * [taylor]: Taking taylor expansion of (* (+ (tan (/ 1 x)) (sqrt 1.0)) (- (sqrt 1.0) (tan (/ 1 x)))) in x 1.664 * [taylor]: Taking taylor expansion of (+ (tan (/ 1 x)) (sqrt 1.0)) in x 1.664 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.664 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.664 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.664 * [taylor]: Taking taylor expansion of x in x 1.664 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.664 * [taylor]: Taking taylor expansion of x in x 1.665 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.665 * [taylor]: Taking taylor expansion of 1.0 in x 1.665 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ 1 x))) in x 1.665 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.666 * [taylor]: Taking taylor expansion of 1.0 in x 1.666 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.666 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.666 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.666 * [taylor]: Taking taylor expansion of x in x 1.667 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.667 * [taylor]: Taking taylor expansion of x in x 1.667 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 1.667 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 1.667 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 1.667 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.667 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.667 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.667 * [taylor]: Taking taylor expansion of x in x 1.668 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.668 * [taylor]: Taking taylor expansion of x in x 1.668 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.668 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.668 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.668 * [taylor]: Taking taylor expansion of x in x 1.669 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.669 * [taylor]: Taking taylor expansion of x in x 1.669 * [taylor]: Taking taylor expansion of 1.0 in x 1.720 * [approximate]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in (x) around 0 1.720 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 1.720 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x 1.720 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 1.720 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.720 * [taylor]: Taking taylor expansion of 1.0 in x 1.721 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.721 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.721 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.721 * [taylor]: Taking taylor expansion of -1 in x 1.721 * [taylor]: Taking taylor expansion of x in x 1.721 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.721 * [taylor]: Taking taylor expansion of -1 in x 1.721 * [taylor]: Taking taylor expansion of x in x 1.722 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 1.722 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.722 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.722 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.722 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.722 * [taylor]: Taking taylor expansion of -1 in x 1.722 * [taylor]: Taking taylor expansion of x in x 1.722 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.722 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.722 * [taylor]: Taking taylor expansion of -1 in x 1.722 * [taylor]: Taking taylor expansion of x in x 1.723 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.723 * [taylor]: Taking taylor expansion of 1.0 in x 1.723 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 1.723 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 1.724 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 1.724 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.724 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.724 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.724 * [taylor]: Taking taylor expansion of -1 in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.724 * [taylor]: Taking taylor expansion of -1 in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.725 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.725 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.725 * [taylor]: Taking taylor expansion of -1 in x 1.725 * [taylor]: Taking taylor expansion of x in x 1.725 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.725 * [taylor]: Taking taylor expansion of -1 in x 1.725 * [taylor]: Taking taylor expansion of x in x 1.725 * [taylor]: Taking taylor expansion of 1.0 in x 1.728 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0)) in x 1.728 * [taylor]: Taking taylor expansion of (* (- (sqrt 1.0) (tan (/ -1 x))) (+ (tan (/ -1 x)) (sqrt 1.0))) in x 1.728 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (tan (/ -1 x))) in x 1.728 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.728 * [taylor]: Taking taylor expansion of 1.0 in x 1.729 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.729 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.729 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.729 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.729 * [taylor]: Taking taylor expansion of -1 in x 1.729 * [taylor]: Taking taylor expansion of x in x 1.729 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.729 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.729 * [taylor]: Taking taylor expansion of -1 in x 1.729 * [taylor]: Taking taylor expansion of x in x 1.730 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (sqrt 1.0)) in x 1.730 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.730 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.730 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.730 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.730 * [taylor]: Taking taylor expansion of -1 in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.730 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.730 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.730 * [taylor]: Taking taylor expansion of -1 in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.731 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.731 * [taylor]: Taking taylor expansion of 1.0 in x 1.731 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 1.731 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 1.732 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 1.732 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.732 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.732 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.732 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.732 * [taylor]: Taking taylor expansion of -1 in x 1.732 * [taylor]: Taking taylor expansion of x in x 1.732 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.732 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.732 * [taylor]: Taking taylor expansion of -1 in x 1.732 * [taylor]: Taking taylor expansion of x in x 1.732 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.732 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.733 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.733 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.733 * [taylor]: Taking taylor expansion of -1 in x 1.733 * [taylor]: Taking taylor expansion of x in x 1.733 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.733 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.733 * [taylor]: Taking taylor expansion of -1 in x 1.733 * [taylor]: Taking taylor expansion of x in x 1.733 * [taylor]: Taking taylor expansion of 1.0 in x 1.783 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1.783 * [approximate]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in (x) around 0 1.783 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 1.783 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 1.783 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 1.783 * [taylor]: Taking taylor expansion of (tan x) in x 1.783 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.783 * [taylor]: Taking taylor expansion of (sin x) in x 1.783 * [taylor]: Taking taylor expansion of x in x 1.783 * [taylor]: Taking taylor expansion of (cos x) in x 1.783 * [taylor]: Taking taylor expansion of x in x 1.784 * [taylor]: Taking taylor expansion of (tan x) in x 1.784 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.784 * [taylor]: Taking taylor expansion of (sin x) in x 1.784 * [taylor]: Taking taylor expansion of x in x 1.784 * [taylor]: Taking taylor expansion of (cos x) in x 1.784 * [taylor]: Taking taylor expansion of x in x 1.785 * [taylor]: Taking taylor expansion of 1.0 in x 1.785 * [taylor]: Taking taylor expansion of (fma (tan x) (tan x) 1.0) in x 1.785 * [taylor]: Rewrote expression to (+ (* (tan x) (tan x)) 1.0) 1.785 * [taylor]: Taking taylor expansion of (* (tan x) (tan x)) in x 1.785 * [taylor]: Taking taylor expansion of (tan x) in x 1.785 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.785 * [taylor]: Taking taylor expansion of (sin x) in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.785 * [taylor]: Taking taylor expansion of (cos x) in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.786 * [taylor]: Taking taylor expansion of (tan x) in x 1.786 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.786 * [taylor]: Taking taylor expansion of (sin x) in x 1.786 * [taylor]: Taking taylor expansion of x in x 1.786 * [taylor]: Taking taylor expansion of (cos x) in x 1.786 * [taylor]: Taking taylor expansion of x in x 1.786 * [taylor]: Taking taylor expansion of 1.0 in x 1.796 * [approximate]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in (x) around 0 1.796 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 1.796 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 1.796 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 1.796 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.796 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.796 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.796 * [taylor]: Taking taylor expansion of x in x 1.796 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.796 * [taylor]: Taking taylor expansion of x in x 1.797 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.797 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.797 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.797 * [taylor]: Taking taylor expansion of x in x 1.797 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.797 * [taylor]: Taking taylor expansion of x in x 1.797 * [taylor]: Taking taylor expansion of 1.0 in x 1.797 * [taylor]: Taking taylor expansion of (fma (tan (/ 1 x)) (tan (/ 1 x)) 1.0) in x 1.798 * [taylor]: Rewrote expression to (+ (* (tan (/ 1 x)) (tan (/ 1 x))) 1.0) 1.798 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (tan (/ 1 x))) in x 1.798 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.798 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.798 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.798 * [taylor]: Taking taylor expansion of x in x 1.798 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.798 * [taylor]: Taking taylor expansion of x in x 1.798 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.798 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.798 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.798 * [taylor]: Taking taylor expansion of x in x 1.799 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.799 * [taylor]: Taking taylor expansion of x in x 1.799 * [taylor]: Taking taylor expansion of 1.0 in x 1.809 * [approximate]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in (x) around 0 1.809 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 1.809 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 1.809 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 1.810 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.810 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.810 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.810 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.810 * [taylor]: Taking taylor expansion of -1 in x 1.810 * [taylor]: Taking taylor expansion of x in x 1.810 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.810 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.810 * [taylor]: Taking taylor expansion of -1 in x 1.810 * [taylor]: Taking taylor expansion of x in x 1.810 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.810 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.811 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.811 * [taylor]: Taking taylor expansion of -1 in x 1.811 * [taylor]: Taking taylor expansion of x in x 1.811 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.811 * [taylor]: Taking taylor expansion of -1 in x 1.811 * [taylor]: Taking taylor expansion of x in x 1.811 * [taylor]: Taking taylor expansion of 1.0 in x 1.811 * [taylor]: Taking taylor expansion of (fma (tan (/ -1 x)) (tan (/ -1 x)) 1.0) in x 1.811 * [taylor]: Rewrote expression to (+ (* (tan (/ -1 x)) (tan (/ -1 x))) 1.0) 1.811 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (tan (/ -1 x))) in x 1.812 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.812 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.812 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.812 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.812 * [taylor]: Taking taylor expansion of -1 in x 1.812 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.812 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.812 * [taylor]: Taking taylor expansion of -1 in x 1.812 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.812 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.812 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.812 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.813 * [taylor]: Taking taylor expansion of -1 in x 1.813 * [taylor]: Taking taylor expansion of x in x 1.813 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.813 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.813 * [taylor]: Taking taylor expansion of -1 in x 1.813 * [taylor]: Taking taylor expansion of x in x 1.813 * [taylor]: Taking taylor expansion of 1.0 in x 1.824 * * * [progress]: simplifying candidates 1.826 * [simplify]: Simplifying using # : (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt 1) (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt 1) (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt 1) (sqrt 1.0) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt (sqrt 1.0)) (sqrt (sqrt 1.0)) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma 1 (sqrt 1.0) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma 1 (sqrt 1.0) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma 1 (sqrt 1.0) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (expm1 (- (sqrt 1.0) (tan x))) (log1p (- (sqrt 1.0) (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (/ (exp (sqrt 1.0)) (exp (tan x))) (log (- (sqrt 1.0) (tan x))) (exp (- (sqrt 1.0) (tan x))) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (cbrt (- (sqrt 1.0) (tan x))) (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x)))) (- (tan x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt 1.0) (tan x)) (- (tan x)) (expm1 (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (log1p (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (- (log (- (sqrt 1.0) (tan x))) (log (fma (tan x) (tan x) 1.0))) (log (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (exp (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (/ (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (* (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (fma (tan x) (tan x) 1.0))) (* (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (* (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (- (- (sqrt 1.0) (tan x))) (- (fma (tan x) (tan x) 1.0)) (/ (sqrt 1.0) (fma (tan x) (tan x) 1.0)) (/ (tan x) (fma (tan x) (tan x) 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (cbrt (- (sqrt 1.0) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) 1) (/ (cbrt (- (sqrt 1.0) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (sqrt (- (sqrt 1.0) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) 1) (/ (sqrt (- (sqrt 1.0) (tan x))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (/ 1 1) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) 1) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) 1) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (/ 1 1) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ 1 (fma (tan x) (tan x) 1.0)) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (/ (- (sqrt 1.0) (tan x)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (tan x)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) 1) (/ (fma (tan x) (tan x) 1.0) (cbrt (- (sqrt 1.0) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- (sqrt 1.0) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (* (fma (tan x) (tan x) 1.0) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (tan x) (tan x)) (* (sqrt 1.0) (tan x))))) (* (fma (tan x) (tan x) 1.0) (+ (sqrt 1.0) (tan x))) (expm1 (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (log1p (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (+ (log (+ (tan x) (sqrt 1.0))) (- (log (- (sqrt 1.0) (tan x))) (log (fma (tan x) (tan x) 1.0)))) (+ (log (+ (tan x) (sqrt 1.0))) (log (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (log (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (exp (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (* (* (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0))) (+ (tan x) (sqrt 1.0))) (/ (* (* (- (sqrt 1.0) (tan x)) (- (sqrt 1.0) (tan x))) (- (sqrt 1.0) (tan x))) (* (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (fma (tan x) (tan x) 1.0)))) (* (* (* (+ (tan x) (sqrt 1.0)) (+ (tan x) (sqrt 1.0))) (+ (tan x) (sqrt 1.0))) (* (* (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (cbrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (cbrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))))) (cbrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (* (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (sqrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (sqrt (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (pow (tan x) 3) (pow (sqrt 1.0) 3)) (- (sqrt 1.0) (tan x))) (* (+ (* (tan x) (tan x)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (tan x) (sqrt 1.0)))) (fma (tan x) (tan x) 1.0)) (* (- (* (tan x) (tan x)) (* (sqrt 1.0) (sqrt 1.0))) (- (sqrt 1.0) (tan x))) (* (- (tan x) (sqrt 1.0)) (fma (tan x) (tan x) 1.0)) (* (sqrt (+ (tan x) (sqrt 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (* (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) 1)) (* (+ (tan x) (sqrt 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) 1)) (* (+ (tan x) (sqrt 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ 1 (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ 1 1)) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) 1)) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) 1)) (* (+ (tan x) (sqrt 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (/ 1 (sqrt (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ 1 1)) (* (+ (tan x) (sqrt 1.0)) 1) (* (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x))) (* (cbrt (+ (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (+ (tan x) (sqrt 1.0)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (+ (tan x) (sqrt 1.0)) (- (sqrt 1.0) (tan x))) (* (+ (pow (tan x) 3) (pow (sqrt 1.0) 3)) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (- (* (tan x) (tan x)) (* (sqrt 1.0) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (expm1 (fma (tan x) (tan x) 1.0)) (log1p (fma (tan x) (tan x) 1.0)) (* (tan x) (tan x)) (log (fma (tan x) (tan x) 1.0)) (exp (fma (tan x) (tan x) 1.0)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0)) (* (* (fma (tan x) (tan x) 1.0) (fma (tan x) (tan x) 1.0)) (fma (tan x) (tan x) 1.0)) (sqrt (fma (tan x) (tan x) 1.0)) (sqrt (fma (tan x) (tan x) 1.0)) (- (sqrt 1.0) (+ (* 1/3 (pow x 3)) x)) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (* 1.0 (sqrt 1.0)) (+ (* 1.0 x) (* 1.0 (* (pow x 2) (sqrt 1.0))))) (/ (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (- (+ (* 0.33333333333333337 (pow x 4)) (+ (* 0.33333333333333337 (* (pow x 4) (pow (sqrt 1.0) 2))) (* 1.0 (pow (sqrt 1.0) 2)))) (+ (* 1.0 (* (pow x 2) (pow (sqrt 1.0) 2))) (* 1.0 (pow x 2)))) (/ (* (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (+ (pow x 2) (+ (* 2/3 (pow x 4)) 1.0)) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) 1.833 * * [simplify]: iteration 0 : 224 enodes (cost 3085 ) 1.871 * * [simplify]: iteration 1 : 562 enodes (cost 2688 ) 2.009 * * [simplify]: iteration 2 : 2315 enodes (cost 2322 ) 2.680 * * [simplify]: iteration done : 5000 enodes (cost 2322 ) 2.681 * [simplify]: Simplified to: (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* (tan x) 0) (fma (fabs (cbrt 1.0)) (sqrt (cbrt 1.0)) (- (tan x))) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (- (sqrt 1.0) (tan x)) (* (tan x) 0) (expm1 (- (sqrt 1.0) (tan x))) (log1p (- (sqrt 1.0) (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (- (tan x)) (exp (- (sqrt 1.0) (tan x))) (log (- (sqrt 1.0) (tan x))) (exp (- (sqrt 1.0) (tan x))) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (cbrt (- (sqrt 1.0) (tan x))) (pow (- (sqrt 1.0) (tan x)) 3) (sqrt (- (sqrt 1.0) (tan x))) (sqrt (- (sqrt 1.0) (tan x))) (- (pow (sqrt 1.0) 3) (pow (tan x) 3)) (fma (tan x) (+ (sqrt 1.0) (tan x)) 1.0) (- (tan x)) (- 1.0 (* (tan x) (tan x))) (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (- (sqrt 1.0) (tan x)) (- (tan x)) (expm1 (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (log1p (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (log (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (log (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (exp (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (pow (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) 3) (* (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (pow (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) 3) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (- (- (sqrt 1.0) (tan x))) (- (fma (tan x) (tan x) 1.0)) (/ (sqrt 1.0) (fma (tan x) (tan x) 1.0)) (/ (tan x) (fma (tan x) (tan x) 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (cbrt (- (sqrt 1.0) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (* (/ (cbrt (- (sqrt 1.0) (tan x))) (hypot (tan x) (sqrt 1.0))) (cbrt (- (sqrt 1.0) (tan x)))) (/ (cbrt (- (sqrt 1.0) (tan x))) (hypot (tan x) (sqrt 1.0))) (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (/ (cbrt (- (sqrt 1.0) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (sqrt (- (sqrt 1.0) (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (hypot (tan x) (sqrt 1.0))) (/ (sqrt (- (sqrt 1.0) (tan x))) (hypot (tan x) (sqrt 1.0))) (sqrt (- (sqrt 1.0) (tan x))) (/ (sqrt (- (sqrt 1.0) (tan x))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (hypot (tan x) (sqrt 1.0))) 1 (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (hypot (tan x) (sqrt 1.0))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (hypot (tan x) (sqrt 1.0))) (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (/ (- (sqrt (sqrt 1.0)) (sqrt (tan x))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (tan x)) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (hypot (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (hypot (tan x) (sqrt 1.0))) 1 (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (/ 1 (fma (tan x) (tan x) 1.0)) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (/ (- (sqrt 1.0) (tan x)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (tan x)) (hypot (tan x) (sqrt 1.0))) (- (sqrt 1.0) (tan x)) (/ (fma (tan x) (tan x) 1.0) (cbrt (- (sqrt 1.0) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- (sqrt 1.0) (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (tan x))) (* (fma (tan x) (tan x) 1.0) (fma (tan x) (+ (sqrt 1.0) (tan x)) 1.0)) (* (fma (tan x) (tan x) 1.0) (+ (sqrt 1.0) (tan x))) (expm1 (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log1p (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (log (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (exp (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 3) (pow (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 3) (* (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) 3) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))) (* (fma (sqrt 1.0) 1.0 (pow (tan x) 3)) (- (sqrt 1.0) (tan x))) (* (fma (tan x) (tan x) 1.0) (- (fma (tan x) (tan x) 1.0) (* (sqrt 1.0) (tan x)))) (* (- (* (tan x) (tan x)) 1.0) (- (sqrt 1.0) (tan x))) (* (- (tan x) (sqrt 1.0)) (fma (tan x) (tan x) 1.0)) (* (sqrt (+ (tan x) (sqrt 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (sqrt (+ (tan x) (sqrt 1.0))) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (/ (sqrt (+ (tan x) (sqrt 1.0))) (/ (hypot (tan x) (sqrt 1.0)) (sqrt (- (sqrt 1.0) (tan x))))) (/ (sqrt (+ (tan x) (sqrt 1.0))) (/ (hypot (tan x) (sqrt 1.0)) (sqrt (- (sqrt 1.0) (tan x))))) (* (+ (tan x) (sqrt 1.0)) (* (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))))) (* (+ (tan x) (sqrt 1.0)) (sqrt (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)))) (* (+ (tan x) (sqrt 1.0)) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (/ (* (cbrt (- (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x))) (/ (hypot (tan x) (sqrt 1.0)) (cbrt (- (sqrt 1.0) (tan x))))) (* (* (cbrt (- (sqrt 1.0) (tan x))) (cbrt (- (sqrt 1.0) (tan x)))) (+ (sqrt 1.0) (tan x))) (* (+ (tan x) (sqrt 1.0)) (/ (sqrt (- (sqrt 1.0) (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (/ (* (sqrt (- (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x))) (hypot (tan x) (sqrt 1.0))) (* (sqrt (- (sqrt 1.0) (tan x))) (+ (sqrt 1.0) (tan x))) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (+ (sqrt 1.0) (tan x)) (hypot (tan x) (sqrt 1.0))) (+ (sqrt 1.0) (tan x)) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (/ (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (hypot (tan x) (sqrt 1.0))) (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (* (+ (tan x) (sqrt 1.0)) (/ (+ (sqrt (sqrt 1.0)) (sqrt (tan x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))))) (/ (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (hypot (tan x) (sqrt 1.0))) (* (+ (sqrt 1.0) (tan x)) (+ (sqrt (sqrt 1.0)) (sqrt (tan x)))) (/ (+ (sqrt 1.0) (tan x)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (+ (sqrt 1.0) (tan x)) (hypot (tan x) (sqrt 1.0))) (+ (sqrt 1.0) (tan x)) (+ (sqrt 1.0) (tan x)) (- 1.0 (* (tan x) (tan x))) (* (cbrt (+ (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (* (sqrt (+ (tan x) (sqrt 1.0))) (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0)) (- 1.0 (* (tan x) (tan x))) (/ (* (fma (sqrt 1.0) 1.0 (pow (tan x) 3)) (- (sqrt 1.0) (tan x))) (fma (tan x) (tan x) 1.0)) (* (/ (- (sqrt 1.0) (tan x)) (fma (tan x) (tan x) 1.0)) (- (* (tan x) (tan x)) 1.0)) (expm1 (fma (tan x) (tan x) 1.0)) (log1p (fma (tan x) (tan x) 1.0)) (* (tan x) (tan x)) (log (fma (tan x) (tan x) 1.0)) (exp (fma (tan x) (tan x) 1.0)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0)) (pow (fma (tan x) (tan x) 1.0) 3) (hypot (tan x) (sqrt 1.0)) (hypot (tan x) (sqrt 1.0)) (- (sqrt 1.0) (fma 1/3 (pow x 3) x)) (- (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x))) (* 1.0 (- (sqrt 1.0) (+ x (* (pow x 2) (sqrt 1.0))))) (/ (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- (sqrt 1.0) (/ (sin x) (cos x))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (fma (pow x 4) 0.33333333333333337 (- (* 1.0 (+ 1.0 (* 0.33333333333333337 (pow x 4)))) (* 1.0 (* (+ 1.0 1) (pow x 2))))) (/ (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (* (+ (sqrt 1.0) (/ (sin x) (cos x))) (- (sqrt 1.0) (/ (sin x) (cos x)))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (fma x x (fma 2/3 (pow x 4) 1.0)) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0) 2.682 * * * [progress]: adding candidates to table 3.030 * * [progress]: iteration 3 / 4 3.030 * * * [progress]: picking best candidate 3.052 * * * * [pick]: Picked # 3.053 * * * [progress]: localizing error 3.067 * * * [progress]: generating rewritten candidates 3.067 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 3.069 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 3.070 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 3.072 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 3.075 * * * [progress]: generating series expansions 3.075 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 3.075 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0 3.075 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 3.075 * [taylor]: Taking taylor expansion of (cos x) in x 3.075 * [taylor]: Taking taylor expansion of x in x 3.075 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 3.075 * [taylor]: Taking taylor expansion of (cos x) in x 3.075 * [taylor]: Taking taylor expansion of x in x 3.081 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0 3.081 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 3.081 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.081 * [taylor]: Taking taylor expansion of x in x 3.081 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 3.082 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.082 * [taylor]: Taking taylor expansion of x in x 3.086 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0 3.086 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 3.086 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.086 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.086 * [taylor]: Taking taylor expansion of -1 in x 3.086 * [taylor]: Taking taylor expansion of x in x 3.087 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 3.087 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.087 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.087 * [taylor]: Taking taylor expansion of -1 in x 3.087 * [taylor]: Taking taylor expansion of x in x 3.091 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 3.091 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0 3.092 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 3.092 * [taylor]: Taking taylor expansion of (cos x) in x 3.092 * [taylor]: Taking taylor expansion of x in x 3.092 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 3.092 * [taylor]: Taking taylor expansion of (cos x) in x 3.092 * [taylor]: Taking taylor expansion of x in x 3.097 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0 3.097 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 3.097 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.097 * [taylor]: Taking taylor expansion of x in x 3.098 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 3.098 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.098 * [taylor]: Taking taylor expansion of x in x 3.102 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0 3.102 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 3.102 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.102 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.102 * [taylor]: Taking taylor expansion of -1 in x 3.102 * [taylor]: Taking taylor expansion of x in x 3.103 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 3.103 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.103 * [taylor]: Taking taylor expansion of -1 in x 3.103 * [taylor]: Taking taylor expansion of x in x 3.107 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 3.108 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0 3.108 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 3.108 * [taylor]: Taking taylor expansion of (sin x) in x 3.108 * [taylor]: Taking taylor expansion of x in x 3.108 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 3.108 * [taylor]: Taking taylor expansion of (sin x) in x 3.108 * [taylor]: Taking taylor expansion of x in x 3.115 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0 3.115 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 3.115 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.115 * [taylor]: Taking taylor expansion of x in x 3.116 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 3.116 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.116 * [taylor]: Taking taylor expansion of x in x 3.120 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0 3.120 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 3.120 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.121 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.121 * [taylor]: Taking taylor expansion of -1 in x 3.121 * [taylor]: Taking taylor expansion of x in x 3.121 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 3.121 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.121 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.121 * [taylor]: Taking taylor expansion of -1 in x 3.121 * [taylor]: Taking taylor expansion of x in x 3.125 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 3.126 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0 3.126 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 3.126 * [taylor]: Taking taylor expansion of (sin x) in x 3.126 * [taylor]: Taking taylor expansion of x in x 3.126 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 3.126 * [taylor]: Taking taylor expansion of (sin x) in x 3.126 * [taylor]: Taking taylor expansion of x in x 3.134 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0 3.134 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 3.134 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.134 * [taylor]: Taking taylor expansion of x in x 3.134 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 3.134 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.134 * [taylor]: Taking taylor expansion of x in x 3.139 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0 3.139 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 3.139 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.139 * [taylor]: Taking taylor expansion of -1 in x 3.139 * [taylor]: Taking taylor expansion of x in x 3.139 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 3.139 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.139 * [taylor]: Taking taylor expansion of -1 in x 3.139 * [taylor]: Taking taylor expansion of x in x 3.144 * * * [progress]: simplifying candidates 3.145 * [simplify]: Simplifying using # : (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)) (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)) (- (+ (* 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) (- (+ (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) 3.147 * * [simplify]: iteration 0 : 68 enodes (cost 616 ) 3.162 * * [simplify]: iteration 1 : 149 enodes (cost 530 ) 3.197 * * [simplify]: iteration 2 : 472 enodes (cost 466 ) 3.385 * * [simplify]: iteration 3 : 1504 enodes (cost 466 ) 4.317 * * [simplify]: iteration done : 5000 enodes (cost 466 ) 4.317 * [simplify]: Simplified to: (expm1 (pow (cos x) 2)) (log1p (pow (cos x) 2)) (* 2 (log (cos x))) (* 2 (log (cos x))) 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) (* 2 (log (cos x))) (exp (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)) (pow (pow (cos x) 2) 3) (fabs (cos x)) (fabs (cos x)) (cos x) (cos x) (expm1 (pow (cos x) 2)) (log1p (pow (cos x) 2)) (* 2 (log (cos x))) (* 2 (log (cos x))) 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) (* 2 (log (cos x))) (exp (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)) (pow (pow (cos x) 2) 3) (fabs (cos x)) (fabs (cos x)) (cos x) (cos x) (expm1 (pow (sin x) 2)) (log1p (pow (sin x) 2)) (/ (log (sin x)) 1/2) (/ (log (sin x)) 1/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 (sin x)) 1/2) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (pow (pow (sin x) 2) 3) (fabs (sin x)) (fabs (sin x)) (sin x) (sin x) (expm1 (pow (sin x) 2)) (log1p (pow (sin x) 2)) (/ (log (sin x)) 1/2) (/ (log (sin x)) 1/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 (sin x)) 1/2) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (pow (pow (sin x) 2) 3) (fabs (sin x)) (fabs (sin x)) (sin x) (sin x) (- (fma 1/3 (pow x 4) 1) (pow x 2)) (pow (cos x) 2) (pow (cos x) 2) (- (fma 1/3 (pow x 4) 1) (pow x 2)) (pow (cos x) 2) (pow (cos x) 2) (fma x x (fma (pow x 6) 2/45 (* (pow x 4) -1/3))) (pow (sin x) 2) (pow (sin x) 2) (fma x x (fma (pow x 6) 2/45 (* (pow x 4) -1/3))) (pow (sin x) 2) (pow (sin x) 2) 4.318 * * * [progress]: adding candidates to table 4.541 * * [progress]: iteration 4 / 4 4.541 * * * [progress]: picking best candidate 4.566 * * * * [pick]: Picked # 4.566 * * * [progress]: localizing error 4.579 * * * [progress]: generating rewritten candidates 4.579 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.584 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 4.589 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 4.594 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 4.618 * * * [progress]: generating series expansions 4.618 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.618 * [approximate]: Taking taylor expansion of (pow (tan x) 2) in (x) around 0 4.618 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.618 * [taylor]: Taking taylor expansion of (tan x) in x 4.618 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.618 * [taylor]: Taking taylor expansion of (sin x) in x 4.618 * [taylor]: Taking taylor expansion of x in x 4.618 * [taylor]: Taking taylor expansion of (cos x) in x 4.618 * [taylor]: Taking taylor expansion of x in x 4.619 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.619 * [taylor]: Taking taylor expansion of (tan x) in x 4.619 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.619 * [taylor]: Taking taylor expansion of (sin x) in x 4.619 * [taylor]: Taking taylor expansion of x in x 4.619 * [taylor]: Taking taylor expansion of (cos x) in x 4.619 * [taylor]: Taking taylor expansion of x in x 4.632 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in (x) around 0 4.632 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.632 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.632 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.632 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.632 * [taylor]: Taking taylor expansion of x in x 4.633 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.633 * [taylor]: Taking taylor expansion of x in x 4.633 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.633 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.633 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.633 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.633 * [taylor]: Taking taylor expansion of x in x 4.633 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.633 * [taylor]: Taking taylor expansion of x in x 4.641 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in (x) around 0 4.641 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.641 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.641 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.641 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.641 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.641 * [taylor]: Taking taylor expansion of -1 in x 4.641 * [taylor]: Taking taylor expansion of x in x 4.641 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.641 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.641 * [taylor]: Taking taylor expansion of -1 in x 4.641 * [taylor]: Taking taylor expansion of x in x 4.642 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.642 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.642 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.642 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.642 * [taylor]: Taking taylor expansion of -1 in x 4.642 * [taylor]: Taking taylor expansion of x in x 4.642 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.642 * [taylor]: Taking taylor expansion of -1 in x 4.642 * [taylor]: Taking taylor expansion of x in x 4.649 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 4.649 * [approximate]: Taking taylor expansion of (* (tan x) (sin x)) in (x) around 0 4.649 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.649 * [taylor]: Taking taylor expansion of (tan x) in x 4.650 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.650 * [taylor]: Taking taylor expansion of (sin x) in x 4.650 * [taylor]: Taking taylor expansion of x in x 4.650 * [taylor]: Taking taylor expansion of (cos x) in x 4.650 * [taylor]: Taking taylor expansion of x in x 4.650 * [taylor]: Taking taylor expansion of (sin x) in x 4.650 * [taylor]: Taking taylor expansion of x in x 4.650 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.650 * [taylor]: Taking taylor expansion of (tan x) in x 4.650 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.650 * [taylor]: Taking taylor expansion of (sin x) in x 4.650 * [taylor]: Taking taylor expansion of x in x 4.650 * [taylor]: Taking taylor expansion of (cos x) in x 4.650 * [taylor]: Taking taylor expansion of x in x 4.651 * [taylor]: Taking taylor expansion of (sin x) in x 4.651 * [taylor]: Taking taylor expansion of x in x 4.673 * [approximate]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in (x) around 0 4.673 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.673 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.673 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.673 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.673 * [taylor]: Taking taylor expansion of x in x 4.673 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.673 * [taylor]: Taking taylor expansion of x in x 4.674 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.674 * [taylor]: Taking taylor expansion of x in x 4.674 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.674 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.674 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.674 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.674 * [taylor]: Taking taylor expansion of x in x 4.674 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.675 * [taylor]: Taking taylor expansion of x in x 4.675 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.675 * [taylor]: Taking taylor expansion of x in x 4.682 * [approximate]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in (x) around 0 4.682 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.682 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.682 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.682 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.682 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.682 * [taylor]: Taking taylor expansion of -1 in x 4.682 * [taylor]: Taking taylor expansion of x in x 4.682 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.682 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.682 * [taylor]: Taking taylor expansion of -1 in x 4.682 * [taylor]: Taking taylor expansion of x in x 4.683 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.683 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.683 * [taylor]: Taking taylor expansion of -1 in x 4.683 * [taylor]: Taking taylor expansion of x in x 4.683 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.683 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.683 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.683 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.683 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.683 * [taylor]: Taking taylor expansion of -1 in x 4.683 * [taylor]: Taking taylor expansion of x in x 4.683 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.684 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.684 * [taylor]: Taking taylor expansion of -1 in x 4.684 * [taylor]: Taking taylor expansion of x in x 4.684 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.684 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.684 * [taylor]: Taking taylor expansion of -1 in x 4.684 * [taylor]: Taking taylor expansion of x in x 4.691 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 4.691 * [approximate]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in (x) around 0 4.691 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 4.691 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.691 * [taylor]: Taking taylor expansion of (tan x) in x 4.691 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.691 * [taylor]: Taking taylor expansion of (sin x) in x 4.691 * [taylor]: Taking taylor expansion of x in x 4.691 * [taylor]: Taking taylor expansion of (cos x) in x 4.691 * [taylor]: Taking taylor expansion of x in x 4.692 * [taylor]: Taking taylor expansion of (sin x) in x 4.692 * [taylor]: Taking taylor expansion of x in x 4.692 * [taylor]: Taking taylor expansion of (cos x) in x 4.692 * [taylor]: Taking taylor expansion of x in x 4.694 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 4.694 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.694 * [taylor]: Taking taylor expansion of (tan x) in x 4.694 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.694 * [taylor]: Taking taylor expansion of (sin x) in x 4.694 * [taylor]: Taking taylor expansion of x in x 4.694 * [taylor]: Taking taylor expansion of (cos x) in x 4.694 * [taylor]: Taking taylor expansion of x in x 4.695 * [taylor]: Taking taylor expansion of (sin x) in x 4.695 * [taylor]: Taking taylor expansion of x in x 4.695 * [taylor]: Taking taylor expansion of (cos x) in x 4.695 * [taylor]: Taking taylor expansion of x in x 4.725 * [approximate]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in (x) around 0 4.725 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 4.725 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.725 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.725 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.725 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.725 * [taylor]: Taking taylor expansion of x in x 4.725 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.725 * [taylor]: Taking taylor expansion of x in x 4.726 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.726 * [taylor]: Taking taylor expansion of x in x 4.726 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.726 * [taylor]: Taking taylor expansion of x in x 4.727 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 4.727 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.727 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.727 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.727 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.727 * [taylor]: Taking taylor expansion of x in x 4.727 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.727 * [taylor]: Taking taylor expansion of x in x 4.728 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.728 * [taylor]: Taking taylor expansion of x in x 4.728 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.728 * [taylor]: Taking taylor expansion of x in x 4.737 * [approximate]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in (x) around 0 4.737 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 4.737 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.737 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.737 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.737 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.737 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.737 * [taylor]: Taking taylor expansion of -1 in x 4.737 * [taylor]: Taking taylor expansion of x in x 4.738 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.738 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.738 * [taylor]: Taking taylor expansion of -1 in x 4.738 * [taylor]: Taking taylor expansion of x in x 4.738 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.738 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.738 * [taylor]: Taking taylor expansion of -1 in x 4.738 * [taylor]: Taking taylor expansion of x in x 4.739 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.739 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.739 * [taylor]: Taking taylor expansion of -1 in x 4.739 * [taylor]: Taking taylor expansion of x in x 4.739 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 4.739 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.739 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.739 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.739 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.739 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.739 * [taylor]: Taking taylor expansion of -1 in x 4.739 * [taylor]: Taking taylor expansion of x in x 4.740 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.740 * [taylor]: Taking taylor expansion of -1 in x 4.740 * [taylor]: Taking taylor expansion of x in x 4.740 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.740 * [taylor]: Taking taylor expansion of -1 in x 4.740 * [taylor]: Taking taylor expansion of x in x 4.740 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.741 * [taylor]: Taking taylor expansion of -1 in x 4.741 * [taylor]: Taking taylor expansion of x in x 4.750 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.750 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in (x) around 0 4.750 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in x 4.750 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan x) (sin x)) (cos x))) in x 4.750 * [taylor]: Taking taylor expansion of 1.0 in x 4.750 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 4.750 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.750 * [taylor]: Taking taylor expansion of (tan x) in x 4.750 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.750 * [taylor]: Taking taylor expansion of (sin x) in x 4.750 * [taylor]: Taking taylor expansion of x in x 4.750 * [taylor]: Taking taylor expansion of (cos x) in x 4.750 * [taylor]: Taking taylor expansion of x in x 4.751 * [taylor]: Taking taylor expansion of (sin x) in x 4.751 * [taylor]: Taking taylor expansion of x in x 4.751 * [taylor]: Taking taylor expansion of (cos x) in x 4.751 * [taylor]: Taking taylor expansion of x in x 4.753 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 4.753 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.753 * [taylor]: Taking taylor expansion of (tan x) in x 4.753 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.753 * [taylor]: Taking taylor expansion of (sin x) in x 4.753 * [taylor]: Taking taylor expansion of x in x 4.753 * [taylor]: Taking taylor expansion of (cos x) in x 4.753 * [taylor]: Taking taylor expansion of x in x 4.754 * [taylor]: Taking taylor expansion of 1.0 in x 4.755 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 2) 1.0)) in x 4.755 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan x) (sin x)) (cos x))) in x 4.755 * [taylor]: Taking taylor expansion of 1.0 in x 4.755 * [taylor]: Taking taylor expansion of (/ (* (tan x) (sin x)) (cos x)) in x 4.755 * [taylor]: Taking taylor expansion of (* (tan x) (sin x)) in x 4.755 * [taylor]: Taking taylor expansion of (tan x) in x 4.755 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.755 * [taylor]: Taking taylor expansion of (sin x) in x 4.755 * [taylor]: Taking taylor expansion of x in x 4.755 * [taylor]: Taking taylor expansion of (cos x) in x 4.755 * [taylor]: Taking taylor expansion of x in x 4.756 * [taylor]: Taking taylor expansion of (sin x) in x 4.756 * [taylor]: Taking taylor expansion of x in x 4.756 * [taylor]: Taking taylor expansion of (cos x) in x 4.756 * [taylor]: Taking taylor expansion of x in x 4.758 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) 1.0) in x 4.758 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 4.758 * [taylor]: Taking taylor expansion of (tan x) in x 4.758 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 4.758 * [taylor]: Taking taylor expansion of (sin x) in x 4.758 * [taylor]: Taking taylor expansion of x in x 4.758 * [taylor]: Taking taylor expansion of (cos x) in x 4.758 * [taylor]: Taking taylor expansion of x in x 4.759 * [taylor]: Taking taylor expansion of 1.0 in x 4.786 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in (x) around 0 4.786 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 4.786 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) in x 4.786 * [taylor]: Taking taylor expansion of 1.0 in x 4.786 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 4.786 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.786 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.786 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.786 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.786 * [taylor]: Taking taylor expansion of x in x 4.786 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.786 * [taylor]: Taking taylor expansion of x in x 4.787 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.787 * [taylor]: Taking taylor expansion of x in x 4.787 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.787 * [taylor]: Taking taylor expansion of x in x 4.788 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 4.788 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.788 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.788 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.788 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.788 * [taylor]: Taking taylor expansion of x in x 4.788 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.788 * [taylor]: Taking taylor expansion of x in x 4.789 * [taylor]: Taking taylor expansion of 1.0 in x 4.790 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) (+ (pow (tan (/ 1 x)) 2) 1.0)) in x 4.790 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x)))) in x 4.790 * [taylor]: Taking taylor expansion of 1.0 in x 4.790 * [taylor]: Taking taylor expansion of (/ (* (tan (/ 1 x)) (sin (/ 1 x))) (cos (/ 1 x))) in x 4.790 * [taylor]: Taking taylor expansion of (* (tan (/ 1 x)) (sin (/ 1 x))) in x 4.790 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.790 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.790 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.790 * [taylor]: Taking taylor expansion of x in x 4.790 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.790 * [taylor]: Taking taylor expansion of x in x 4.791 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.791 * [taylor]: Taking taylor expansion of x in x 4.791 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.791 * [taylor]: Taking taylor expansion of x in x 4.791 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) 1.0) in x 4.792 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 4.792 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 4.792 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 4.792 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.792 * [taylor]: Taking taylor expansion of x in x 4.792 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.792 * [taylor]: Taking taylor expansion of x in x 4.792 * [taylor]: Taking taylor expansion of 1.0 in x 4.821 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in (x) around 0 4.821 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 4.821 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) in x 4.821 * [taylor]: Taking taylor expansion of 1.0 in x 4.821 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 4.821 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.821 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.821 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.821 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.821 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.821 * [taylor]: Taking taylor expansion of -1 in x 4.821 * [taylor]: Taking taylor expansion of x in x 4.822 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.822 * [taylor]: Taking taylor expansion of -1 in x 4.822 * [taylor]: Taking taylor expansion of x in x 4.822 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.822 * [taylor]: Taking taylor expansion of -1 in x 4.822 * [taylor]: Taking taylor expansion of x in x 4.823 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.823 * [taylor]: Taking taylor expansion of -1 in x 4.823 * [taylor]: Taking taylor expansion of x in x 4.823 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 4.823 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.823 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.823 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.823 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.823 * [taylor]: Taking taylor expansion of -1 in x 4.823 * [taylor]: Taking taylor expansion of x in x 4.824 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.824 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.824 * [taylor]: Taking taylor expansion of -1 in x 4.824 * [taylor]: Taking taylor expansion of x in x 4.824 * [taylor]: Taking taylor expansion of 1.0 in x 4.825 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) (+ (pow (tan (/ -1 x)) 2) 1.0)) in x 4.825 * [taylor]: Taking taylor expansion of (- 1.0 (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x)))) in x 4.825 * [taylor]: Taking taylor expansion of 1.0 in x 4.825 * [taylor]: Taking taylor expansion of (/ (* (tan (/ -1 x)) (sin (/ -1 x))) (cos (/ -1 x))) in x 4.825 * [taylor]: Taking taylor expansion of (* (tan (/ -1 x)) (sin (/ -1 x))) in x 4.825 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.825 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.825 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.826 * [taylor]: Taking taylor expansion of -1 in x 4.826 * [taylor]: Taking taylor expansion of x in x 4.826 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.826 * [taylor]: Taking taylor expansion of -1 in x 4.826 * [taylor]: Taking taylor expansion of x in x 4.826 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.826 * [taylor]: Taking taylor expansion of -1 in x 4.826 * [taylor]: Taking taylor expansion of x in x 4.827 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.827 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.827 * [taylor]: Taking taylor expansion of -1 in x 4.827 * [taylor]: Taking taylor expansion of x in x 4.827 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) 1.0) in x 4.827 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 4.828 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 4.828 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 4.828 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.828 * [taylor]: Taking taylor expansion of -1 in x 4.828 * [taylor]: Taking taylor expansion of x in x 4.828 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.828 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.828 * [taylor]: Taking taylor expansion of -1 in x 4.828 * [taylor]: Taking taylor expansion of x in x 4.828 * [taylor]: Taking taylor expansion of 1.0 in x 4.857 * * * [progress]: simplifying candidates 4.858 * [simplify]: Simplifying using # : (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) (+ 1 1) (* (tan x) (tan x)) (+ 1 1) (+ (log (tan x)) (log (tan x))) (log (* (tan x) (tan x))) (exp (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (tan x) (tan x)) (tan x))) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (* (* (* (tan x) (tan x)) (* (tan x) (tan x))) (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (sqrt (* (tan x) (tan x))) (* (sin x) (sin x)) (* (cos x) (cos x)) (* (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x)))) (* (cbrt (tan x)) (cbrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 1 1) (* (tan x) (tan x)) (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt (tan x)) (sqrt (tan x))) (* 2 1) (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (* (tan x) (sqrt (tan x))) (* (tan x) 1) (* (cbrt (tan x)) (tan x)) (* (sqrt (tan x)) (tan x)) (* (tan x) (tan x)) (* (tan x) (sin x)) (* (sin x) (tan x)) (expm1 (* (tan x) (sin x))) (log1p (* (tan x) (sin x))) (* (tan x) (sin x)) (+ (log (tan x)) (log (sin x))) (log (* (tan x) (sin x))) (exp (* (tan x) (sin x))) (* (* (* (tan x) (tan x)) (tan x)) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (* (tan x) (sin x))) (cbrt (* (tan x) (sin x)))) (cbrt (* (tan x) (sin x))) (* (* (* (tan x) (sin x)) (* (tan x) (sin x))) (* (tan x) (sin x))) (sqrt (* (tan x) (sin x))) (sqrt (* (tan x) (sin x))) (* (sqrt (tan x)) (sqrt (sin x))) (* (sqrt (tan x)) (sqrt (sin x))) (* (tan x) (* (cbrt (sin x)) (cbrt (sin x)))) (* (tan x) (sqrt (sin x))) (* (tan x) 1) (* (cbrt (tan x)) (sin x)) (* (sqrt (tan x)) (sin x)) (* (tan x) (sin x)) (* (sin x) (sin x)) (expm1 (/ (* (tan x) (sin x)) (cos x))) (log1p (/ (* (tan x) (sin x)) (cos x))) (- (+ (log (tan x)) (log (sin x))) (log (cos x))) (- (log (* (tan x) (sin x))) (log (cos x))) (log (/ (* (tan x) (sin x)) (cos x))) (exp (/ (* (tan x) (sin x)) (cos x))) (/ (* (* (* (tan x) (tan x)) (tan x)) (* (* (sin x) (sin x)) (sin x))) (* (* (cos x) (cos x)) (cos x))) (/ (* (* (* (tan x) (sin x)) (* (tan x) (sin x))) (* (tan x) (sin x))) (* (* (cos x) (cos x)) (cos x))) (* (cbrt (/ (* (tan x) (sin x)) (cos x))) (cbrt (/ (* (tan x) (sin x)) (cos x)))) (cbrt (/ (* (tan x) (sin x)) (cos x))) (* (* (/ (* (tan x) (sin x)) (cos x)) (/ (* (tan x) (sin x)) (cos x))) (/ (* (tan x) (sin x)) (cos x))) (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt (/ (* (tan x) (sin x)) (cos x))) (- (* (tan x) (sin x))) (- (cos x)) (/ (tan x) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (sin x) (cbrt (cos x))) (/ (tan x) (sqrt (cos x))) (/ (sin x) (sqrt (cos x))) (/ (tan x) 1) (/ (sin x) (cos x)) (/ 1 (cos x)) (/ (cos x) (* (tan x) (sin x))) (/ (* (tan x) (sin x)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (* (tan x) (sin x)) (sqrt (cos x))) (/ (* (tan x) (sin x)) 1) (/ (cos x) (sin x)) (* (cos x) (cos x)) (expm1 (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (log1p (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (- (log (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (log (+ 1.0 (* (tan x) (tan x))))) (log (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (exp (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (/ (* (* (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (* (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x)))) (+ 1.0 (* (tan x) (tan x))))) (* (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x)))))) (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (* (* (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (sqrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x))))) (- (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (- (+ 1.0 (* (tan x) (tan x)))) (/ 1.0 (+ 1.0 (* (tan x) (tan x)))) (/ (/ (* (tan x) (sin x)) (cos x)) (+ 1.0 (* (tan x) (tan x)))) (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) 1) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (+ 1.0 (* (tan x) (tan x)))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) 1) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 1) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x)))) (/ (+ (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (+ (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) 1) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (cbrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ 1 1) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ 1.0 (* (tan x) (tan x)))) (/ 1 (+ 1.0 (* (tan x) (tan x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (* (cbrt (+ 1.0 (* (tan x) (tan x)))) (cbrt (+ 1.0 (* (tan x) (tan x)))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (+ 1.0 (* (tan x) (tan x))))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) 1) (/ (+ 1.0 (* (tan x) (tan x))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (+ 1.0 (* (tan x) (tan x))) (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (+ 1.0 (* (tan x) (tan x))) (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x))))) (/ (+ 1.0 (* (tan x) (tan x))) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow 1.0 3) (pow (* (tan x) (tan x)) 3))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (- (* 1.0 1.0) (* (* (tan x) (tan x)) (* (tan x) (tan x))))) (* (+ 1.0 (* (tan x) (tan x))) (+ (* 1.0 1.0) (+ (* (/ (* (tan x) (sin x)) (cos x)) (/ (* (tan x) (sin x)) (cos x))) (* 1.0 (/ (* (tan x) (sin x)) (cos x)))))) (* (+ 1.0 (* (tan x) (tan x))) (+ 1.0 (/ (* (tan x) (sin x)) (cos x)))) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (+ (pow x 2) (+ (* 31/360 (pow x 6)) (* 1/6 (pow x 4)))) (/ (pow (sin x) 2) (cos x)) (/ (pow (sin x) 2) (cos x)) (+ (pow x 2) (+ (* 17/45 (pow x 6)) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (+ (* 0.6666666666666669 (pow x 4)) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) 4.864 * * [simplify]: iteration 0 : 198 enodes (cost 2029 ) 4.897 * * [simplify]: iteration 1 : 461 enodes (cost 1923 ) 5.002 * * [simplify]: iteration 2 : 1781 enodes (cost 1708 ) 5.440 * * [simplify]: iteration done : 5000 enodes (cost 1708 ) 5.441 * [simplify]: Simplified to: (expm1 (* (tan x) (tan x))) (log1p (* (tan x) (tan x))) 2 (* (tan x) (tan x)) 2 (* 2 (log (tan x))) (* 2 (log (tan x))) (exp (* (tan x) (tan x))) (pow (tan x) 6) (* (cbrt (* (tan x) (tan x))) (cbrt (* (tan x) (tan x)))) (cbrt (* (tan x) (tan x))) (pow (tan x) 6) (fabs (tan x)) (fabs (tan x)) (pow (sin x) 2) (pow (cos x) 2) (* (cbrt (tan x)) (pow (cbrt (tan x)) 3)) (* (cbrt (tan x)) (cbrt (tan x))) (tan x) (tan x) 1 (* (tan x) (tan x)) (tan x) (tan x) 2 (* (tan x) (* (cbrt (tan x)) (cbrt (tan x)))) (pow (sqrt (tan x)) 3) (tan x) (* (cbrt (tan x)) (tan x)) (pow (sqrt (tan x)) 3) (* (tan x) (tan x)) (* (sin x) (tan x)) (* (sin x) (tan x)) (expm1 (* (tan x) (sin x))) (log1p (* (tan x) (sin x))) (* (sin x) (tan x)) (log (* (tan x) (sin x))) (log (* (tan x) (sin x))) (exp (* (tan x) (sin x))) (pow (* (sin x) (tan x)) 3) (* (cbrt (* (tan x) (sin x))) (cbrt (* (tan x) (sin x)))) (cbrt (* (tan x) (sin x))) (pow (* (sin x) (tan x)) 3) (sqrt (* (tan x) (sin x))) (sqrt (* (tan x) (sin x))) (* (sqrt (tan x)) (sqrt (sin x))) (* (sqrt (tan x)) (sqrt (sin x))) (* (tan x) (* (cbrt (sin x)) (cbrt (sin x)))) (* (tan x) (sqrt (sin x))) (tan x) (* (cbrt (tan x)) (sin x)) (* (sqrt (tan x)) (sin x)) (* (sin x) (tan x)) (pow (sin x) 2) (expm1 (/ (* (tan x) (sin x)) (cos x))) (log1p (/ (* (tan x) (sin x)) (cos x))) (log (/ (* (tan x) (sin x)) (cos x))) (log (/ (* (tan x) (sin x)) (cos x))) (log (/ (* (tan x) (sin x)) (cos x))) (exp (/ (* (tan x) (sin x)) (cos x))) (pow (/ (* (tan x) (sin x)) (cos x)) 3) (pow (/ (* (tan x) (sin x)) (cos x)) 3) (* (cbrt (/ (* (tan x) (sin x)) (cos x))) (cbrt (/ (* (tan x) (sin x)) (cos x)))) (cbrt (/ (* (tan x) (sin x)) (cos x))) (pow (/ (* (tan x) (sin x)) (cos x)) 3) (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt (/ (* (tan x) (sin x)) (cos x))) (- (* (tan x) (sin x))) (- (cos x)) (/ (tan x) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (sin x) (cbrt (cos x))) (/ (tan x) (sqrt (cos x))) (/ (sin x) (sqrt (cos x))) (tan x) (/ (sin x) (cos x)) (/ 1 (cos x)) (/ (cos x) (* (tan x) (sin x))) (/ (* (tan x) (sin x)) (* (cbrt (cos x)) (cbrt (cos x)))) (/ (* (tan x) (sin x)) (sqrt (cos x))) (* (sin x) (tan x)) (/ (cos x) (sin x)) (pow (cos x) 2) (expm1 (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (log1p (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (log (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (exp (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)) 3) (* (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)))) (cbrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (pow (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)) 3) (sqrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (sqrt (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0))) (- (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (- (fma (tan x) (tan x) 1.0)) (/ 1.0 (fma (tan x) (tan x) 1.0)) (/ (/ (* (tan x) (sin x)) (cos x)) (fma (tan x) (tan x) 1.0)) (/ (/ (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (cbrt (fma (tan x) (tan x) 1.0))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (sqrt (fma (tan x) (tan x) 1.0)) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (fma (tan x) (tan x) 1.0))) (* (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (fma (tan x) (tan x) 1.0)) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (fma (tan x) (tan x) 1.0))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (sqrt (fma (tan x) (tan x) 1.0))) (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)) (/ (+ (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt 1.0)) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (cbrt (fma (tan x) (tan x) 1.0))) (/ (+ (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt 1.0)) (sqrt (fma (tan x) (tan x) 1.0))) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (sqrt (fma (tan x) (tan x) 1.0))) (+ (sqrt (/ (* (tan x) (sin x)) (cos x))) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x)))) (fma (tan x) (tan x) 1.0)) (/ 1 (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (cbrt (fma (tan x) (tan x) 1.0))) (/ 1 (sqrt (fma (tan x) (tan x) 1.0))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (fma (tan x) (tan x) 1.0))) 1 (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)) (/ 1 (fma (tan x) (tan x) 1.0)) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (* (cbrt (fma (tan x) (tan x) 1.0)) (cbrt (fma (tan x) (tan x) 1.0)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (sqrt (fma (tan x) (tan x) 1.0))) (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (/ (fma (tan x) (tan x) 1.0) (cbrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (fma (tan x) (tan x) 1.0) (sqrt (- 1.0 (/ (* (tan x) (sin x)) (cos x))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (fma (tan x) (tan x) 1.0) (- (sqrt 1.0) (sqrt (/ (* (tan x) (sin x)) (cos x))))) (/ (fma (tan x) (tan x) 1.0) (- 1.0 (/ (* (tan x) (sin x)) (cos x)))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (+ (pow (tan x) 6) (pow 1.0 3))) (/ (- 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma 1.0 1.0 (* (- (tan x)) (pow (tan x) 3)))) (* (fma (tan x) (tan x) 1.0) (fma 1.0 1.0 (* (/ (* (tan x) (sin x)) (cos x)) (+ 1.0 (/ (* (tan x) (sin x)) (cos x)))))) (* (+ 1.0 (/ (* (tan x) (sin x)) (cos x))) (fma (tan x) (tan x) 1.0)) (fma x x (fma 17/45 (pow x 6) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (fma x x (fma 31/360 (pow x 6) (* 1/6 (pow x 4)))) (/ (pow (sin x) 2) (cos x)) (/ (pow (sin x) 2) (cos x)) (fma x x (fma 17/45 (pow x 6) (* 2/3 (pow x 4)))) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (- (fma 0.6666666666666669 (pow x 4) 1.0) (* 2.0 (pow x 2))) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) (/ (- 1.0 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (/ (pow (sin x) 2) (pow (cos x) 2)) 1.0)) 5.442 * * * [progress]: adding candidates to table 5.771 * [progress]: [Phase 3 of 3] Extracting. 5.771 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 5.774 * * * [regime-changes]: Trying 3 branch expressions: ((tan x) (* (tan x) (tan x)) x) 5.774 * * * * [regimes]: Trying to branch on (tan x) from (# # # # # # # # # #) 5.815 * * * * [regimes]: Trying to branch on (tan x) from (# # # # # # #) 5.841 * * * * [regimes]: Trying to branch on (* (tan x) (tan x)) from (# # # # # # # # # #) 5.878 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 5.914 * * * [regime]: Found split indices: #