0.877 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.440 * * * [progress]: [2/2] Setting up program. 0.443 * [progress]: [Phase 2 of 3] Improving. 0.445 * [simplify]: Simplifying using # : (/ (- x (sin x)) (- x (tan x))) 0.450 * * [simplify]: iteration 0 : 13 enodes (cost 5 ) 0.452 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 0.453 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 0.454 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 0.455 * [simplify]: Simplified to: (/ (- x (sin x)) (- x (tan x))) 0.457 * * [progress]: iteration 1 / 4 0.457 * * * [progress]: picking best candidate 0.459 * * * * [pick]: Picked # 0.459 * * * [progress]: localizing error 0.470 * * * [progress]: generating rewritten candidates 0.471 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.476 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.480 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.506 * * * [progress]: generating series expansions 0.506 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.510 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 0.511 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of (tan x) in x 0.512 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.512 * [taylor]: Taking taylor expansion of (sin x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of (cos x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of (tan x) in x 0.515 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.515 * [taylor]: Taking taylor expansion of (sin x) in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of (cos x) in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.544 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 0.544 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.545 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.545 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.546 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.546 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.556 * [approximate]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.556 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x 0.556 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.556 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.556 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.556 * [taylor]: Taking taylor expansion of -1 in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.556 * [taylor]: Taking taylor expansion of -1 in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x 0.557 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.557 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.557 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.557 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.557 * [taylor]: Taking taylor expansion of -1 in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.558 * [taylor]: Taking taylor expansion of -1 in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.567 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.567 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 0.567 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (sin x) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (sin x) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.581 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 0.581 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.582 * [taylor]: Taking taylor expansion of x in x 0.582 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.582 * [taylor]: Taking taylor expansion of x in x 0.590 * [approximate]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 0.590 * [taylor]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in x 0.590 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.590 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.590 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.590 * [taylor]: Taking taylor expansion of -1 in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.595 * [taylor]: Taking taylor expansion of x in x 0.595 * [taylor]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in x 0.595 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.595 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.595 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.595 * [taylor]: Taking taylor expansion of -1 in x 0.595 * [taylor]: Taking taylor expansion of x in x 0.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.603 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.603 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 0.603 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.603 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (sin x) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (tan x) in x 0.603 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.603 * [taylor]: Taking taylor expansion of (sin x) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (cos x) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.612 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of (sin x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of (tan x) in x 0.612 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.612 * [taylor]: Taking taylor expansion of (sin x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of (cos x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.653 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 0.653 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.653 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.653 * [taylor]: Taking taylor expansion of x in x 0.653 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.654 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.654 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.656 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.656 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.656 * [taylor]: Taking taylor expansion of x in x 0.656 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.656 * [taylor]: Taking taylor expansion of x in x 0.656 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.656 * [taylor]: Taking taylor expansion of x in x 0.657 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.657 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.657 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.657 * [taylor]: Taking taylor expansion of x in x 0.657 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.657 * [taylor]: Taking taylor expansion of x in x 0.663 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.663 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.663 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.663 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.663 * [taylor]: Taking taylor expansion of -1 in x 0.664 * [taylor]: Taking taylor expansion of x in x 0.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.664 * [taylor]: Taking taylor expansion of x in x 0.664 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.664 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.664 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.664 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.664 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.664 * [taylor]: Taking taylor expansion of -1 in x 0.664 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.665 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.665 * [taylor]: Taking taylor expansion of -1 in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.666 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.666 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.666 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.666 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.666 * [taylor]: Taking taylor expansion of -1 in x 0.666 * [taylor]: Taking taylor expansion of x in x 0.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.666 * [taylor]: Taking taylor expansion of x in x 0.667 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.667 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.667 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.667 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.667 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.667 * [taylor]: Taking taylor expansion of -1 in x 0.667 * [taylor]: Taking taylor expansion of x in x 0.667 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.667 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.667 * [taylor]: Taking taylor expansion of -1 in x 0.667 * [taylor]: Taking taylor expansion of x in x 0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.676 * * * [progress]: simplifying candidates 0.678 * [simplify]: Simplifying using # : (/ (exp x) (exp (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (neg (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (neg (tan x)) (/ (exp x) (exp (sin x))) (log (- x (sin x))) (exp (- x (sin x))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (cbrt (- x (sin x))) (* (* (- x (sin x)) (- x (sin x))) (- x (sin x))) (sqrt (- x (sin x))) (sqrt (- x (sin x))) (- (pow x 3) (pow (sin x) 3)) (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x)))) (neg (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (neg (sin x)) (- (log (- x (sin x))) (log (- x (tan x)))) (log (/ (- x (sin x)) (- x (tan x)))) (exp (/ (- x (sin x)) (- x (tan x)))) (/ (* (* (- x (sin x)) (- x (sin x))) (- x (sin x))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x)))) (* (cbrt (/ (- x (sin x)) (- x (tan x)))) (cbrt (/ (- x (sin x)) (- x (tan x))))) (cbrt (/ (- x (sin x)) (- x (tan x)))) (* (* (/ (- x (sin x)) (- x (tan x))) (/ (- x (sin x)) (- x (tan x)))) (/ (- x (sin x)) (- x (tan x)))) (sqrt (/ (- x (sin x)) (- x (tan x)))) (sqrt (/ (- x (sin x)) (- x (tan x)))) (neg (- x (sin x))) (neg (- x (tan x))) (/ x (- x (tan x))) (/ (sin x) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (cbrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (sqrt (- x (tan x)))) (/ (cbrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) 1) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (+ (sqrt x) (sqrt (tan x)))) (/ (cbrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) 1) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sqrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (sqrt (- x (sin x))) 1) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (sqrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (/ (sqrt (- x (sin x))) 1) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (/ 1 1) (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) (/ 1 1) (/ (- x (sin x)) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- (sqrt x) (sqrt (sin x))) (cbrt (- x (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) 1) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) 1) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (/ 1 1) (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) (/ 1 1) (/ (- x (sin x)) (- x (tan x))) (/ 1 (- x (tan x))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (/ (- x (sin x)) 1) (/ (- x (sin x)) (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) 1) (/ (- x (tan x)) (cbrt (- x (sin x)))) (/ (- x (tan x)) (sqrt (- x (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (tan x)) (- (sqrt x) (sqrt (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (- (pow x 3) (pow (tan x) 3))) (/ (- x (sin x)) (- (* x x) (* (tan x) (tan x)))) (* (- x (tan x)) (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x))))) (* (- x (tan x)) (+ x (sin x))) (neg (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) 0.683 * * [simplify]: iteration 0 : 363 enodes (cost 718 ) 0.690 * * [simplify]: iteration 1 : 1148 enodes (cost 684 ) 0.711 * * [simplify]: iteration 2 : 4781 enodes (cost 684 ) 0.825 * * [simplify]: iteration 3 : 5001 enodes (cost 684 ) 0.831 * [simplify]: Simplified to: (exp (- x (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (pow (- x (tan x)) 3) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (neg (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (neg (tan x)) (exp (- x (sin x))) (log (- x (sin x))) (exp (- x (sin x))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (cbrt (- x (sin x))) (pow (- x (sin x)) 3) (sqrt (- x (sin x))) (sqrt (- x (sin x))) (- (pow x 3) (pow (sin x) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (neg (sin x)) (- (pow x 2) (pow (sin x) 2)) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (neg (sin x)) (log (/ (- x (sin x)) (- x (tan x)))) (log (/ (- x (sin x)) (- x (tan x)))) (exp (/ (- x (sin x)) (- x (tan x)))) (pow (/ (- x (sin x)) (- x (tan x))) 3) (* (cbrt (/ (- x (sin x)) (- x (tan x)))) (cbrt (/ (- x (sin x)) (- x (tan x))))) (cbrt (/ (- x (sin x)) (- x (tan x)))) (pow (/ (- x (sin x)) (- x (tan x))) 3) (sqrt (/ (- x (sin x)) (- x (tan x)))) (sqrt (/ (- x (sin x)) (- x (tan x)))) (neg (- x (sin x))) (neg (- x (tan x))) (/ x (- x (tan x))) (/ (sin x) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (cbrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (sqrt (- x (tan x)))) (/ (cbrt (- x (sin x))) (sqrt (- x (tan x)))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (+ (sqrt x) (sqrt (tan x)))) (/ (cbrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sqrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (sqrt (- x (sin x))) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (sqrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (sqrt (- x (sin x))) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- (sqrt x) (sqrt (sin x))) (cbrt (- x (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (+ (sqrt x) (sqrt (sin x))) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (tan x)))) (+ (sqrt x) (sqrt (sin x))) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (- x (tan x))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (- x (sin x)) (/ (- x (sin x)) (+ (sqrt x) (sqrt (tan x)))) (- x (sin x)) (/ (- x (tan x)) (cbrt (- x (sin x)))) (/ (- x (tan x)) (sqrt (- x (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (tan x)) (- (sqrt x) (sqrt (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (- (pow x 3) (pow (tan x) 3))) (/ (- x (sin x)) (- (* x x) (* (tan x) (tan x)))) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (* (- x (tan x)) (+ x (sin x))) (- (* -17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) 0.831 * * * [progress]: adding candidates to table 0.998 * * [progress]: iteration 2 / 4 0.998 * * * [progress]: picking best candidate 1.004 * * * * [pick]: Picked # 1.004 * * * [progress]: localizing error 1.015 * * * [progress]: generating rewritten candidates 1.015 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.022 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.027 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 1.037 * * * [progress]: generating series expansions 1.037 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.038 * [approximate]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in (x) around 0 1.038 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x 1.038 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.038 * [taylor]: Taking taylor expansion of 9/40 in x 1.038 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x 1.038 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.038 * [taylor]: Taking taylor expansion of 27/2800 in x 1.038 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of 1/2 in x 1.038 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x 1.038 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.038 * [taylor]: Taking taylor expansion of 9/40 in x 1.038 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x 1.038 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.038 * [taylor]: Taking taylor expansion of 27/2800 in x 1.038 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of 1/2 in x 1.046 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0 1.046 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 1.046 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.046 * [taylor]: Taking taylor expansion of 9/40 in x 1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.046 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.046 * [taylor]: Taking taylor expansion of x in x 1.046 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 1.046 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 1.047 * [taylor]: Taking taylor expansion of 27/2800 in x 1.047 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.047 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.047 * [taylor]: Taking taylor expansion of x in x 1.047 * [taylor]: Taking taylor expansion of 1/2 in x 1.047 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 1.047 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.047 * [taylor]: Taking taylor expansion of 9/40 in x 1.047 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.047 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.047 * [taylor]: Taking taylor expansion of x in x 1.048 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 1.048 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 1.048 * [taylor]: Taking taylor expansion of 27/2800 in x 1.048 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.048 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.048 * [taylor]: Taking taylor expansion of x in x 1.049 * [taylor]: Taking taylor expansion of 1/2 in x 1.064 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0 1.064 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 1.064 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.064 * [taylor]: Taking taylor expansion of 9/40 in x 1.064 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.064 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.064 * [taylor]: Taking taylor expansion of x in x 1.064 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 1.064 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 1.064 * [taylor]: Taking taylor expansion of 27/2800 in x 1.064 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.064 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.064 * [taylor]: Taking taylor expansion of x in x 1.065 * [taylor]: Taking taylor expansion of 1/2 in x 1.065 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 1.065 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.065 * [taylor]: Taking taylor expansion of 9/40 in x 1.065 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.065 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.065 * [taylor]: Taking taylor expansion of x in x 1.066 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 1.066 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 1.066 * [taylor]: Taking taylor expansion of 27/2800 in x 1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.066 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.066 * [taylor]: Taking taylor expansion of x in x 1.067 * [taylor]: Taking taylor expansion of 1/2 in x 1.081 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.081 * [approximate]: Taking taylor expansion of (* 9/40 (pow x 2)) in (x) around 0 1.081 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.081 * [taylor]: Taking taylor expansion of 9/40 in x 1.081 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.081 * [taylor]: Taking taylor expansion of 9/40 in x 1.081 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.089 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0 1.089 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.089 * [taylor]: Taking taylor expansion of 9/40 in x 1.089 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.089 * [taylor]: Taking taylor expansion of x in x 1.090 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.090 * [taylor]: Taking taylor expansion of 9/40 in x 1.090 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.090 * [taylor]: Taking taylor expansion of x in x 1.097 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0 1.097 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.097 * [taylor]: Taking taylor expansion of 9/40 in x 1.097 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.097 * [taylor]: Taking taylor expansion of x in x 1.098 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.098 * [taylor]: Taking taylor expansion of 9/40 in x 1.098 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.098 * [taylor]: Taking taylor expansion of x in x 1.105 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 1.105 * [approximate]: Taking taylor expansion of (* 27/2800 (pow x 4)) in (x) around 0 1.105 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.105 * [taylor]: Taking taylor expansion of 27/2800 in x 1.105 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.105 * [taylor]: Taking taylor expansion of x in x 1.105 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.105 * [taylor]: Taking taylor expansion of 27/2800 in x 1.105 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.105 * [taylor]: Taking taylor expansion of x in x 1.119 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0 1.119 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 1.119 * [taylor]: Taking taylor expansion of 27/2800 in x 1.119 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 1.120 * [taylor]: Taking taylor expansion of 27/2800 in x 1.120 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.131 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0 1.131 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 1.131 * [taylor]: Taking taylor expansion of 27/2800 in x 1.131 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.132 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 1.132 * [taylor]: Taking taylor expansion of 27/2800 in x 1.132 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.132 * [taylor]: Taking taylor expansion of x in x 1.142 * * * [progress]: simplifying candidates 1.143 * [simplify]: Simplifying using # : (/ (exp (* 9/40 (pow x 2))) (* (exp (* 27/2800 (pow x 4))) (exp 1/2))) (/ (exp (* 9/40 (pow x 2))) (exp (+ (* 27/2800 (pow x 4)) 1/2))) (log (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (* (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (* (* (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (- (pow (* 9/40 (pow x 2)) 3) (pow (+ (* 27/2800 (pow x 4)) 1/2) 3)) (+ (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (+ (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2)) (* (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))) (neg (+ (* 27/2800 (pow x 4)) 1/2)) (- (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2))) (+ (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (* 27/2800 (pow x 4))) (neg (+ (* 27/2800 (pow x 4)) 1/2)) (+ (log 9/40) (* (log x) 2)) (+ (log 9/40) (* (log x) 2)) (+ (log 9/40) (log (pow x 2))) (log (* 9/40 (pow x 2))) (exp (* 9/40 (pow x 2))) (* (* (* 9/40 9/40) 9/40) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2)))) (cbrt (* 9/40 (pow x 2))) (* (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (* (sqrt 9/40) (pow (sqrt x) 2)) (* (sqrt 9/40) (pow (sqrt x) 2)) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (sqrt 9/40) (sqrt (pow x 2))) (* (sqrt 9/40) (sqrt (pow x 2))) (* (sqrt 9/40) (pow x (/ 2 2))) (* (sqrt 9/40) (pow x (/ 2 2))) (* 9/40 (pow (* (cbrt x) (cbrt x)) 2)) (* 9/40 (pow (sqrt x) 2)) (* 9/40 (pow 1 2)) (* 9/40 x) (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 9/40 (sqrt (pow x 2))) (* 9/40 1) (* 9/40 (pow x (/ 2 2))) (* (cbrt 9/40) (pow x 2)) (* (sqrt 9/40) (pow x 2)) (* 9/40 (pow x 2)) (+ (log 27/2800) (* (log x) 4)) (+ (log 27/2800) (* (log x) 4)) (+ (log 27/2800) (log (pow x 4))) (log (* 27/2800 (pow x 4))) (exp (* 27/2800 (pow x 4))) (* (* (* 27/2800 27/2800) 27/2800) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 27/2800 (pow x 4))) (cbrt (* 27/2800 (pow x 4)))) (cbrt (* 27/2800 (pow x 4))) (* (* (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4))) (* 27/2800 (pow x 4))) (sqrt (* 27/2800 (pow x 4))) (sqrt (* 27/2800 (pow x 4))) (* (sqrt 27/2800) (pow (sqrt x) 4)) (* (sqrt 27/2800) (pow (sqrt x) 4)) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (pow x (/ 4 2))) (* (sqrt 27/2800) (pow x (/ 4 2))) (* 27/2800 (pow (* (cbrt x) (cbrt x)) 4)) (* 27/2800 (pow (sqrt x) 4)) (* 27/2800 (pow 1 4)) (* 27/2800 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 27/2800 (sqrt (pow x 4))) (* 27/2800 1) (* 27/2800 (pow x (/ 4 2))) (* (cbrt 27/2800) (pow x 4)) (* (sqrt 27/2800) (pow x 4)) (* 27/2800 (pow x 4)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) 1.149 * * [simplify]: iteration 0 : 273 enodes (cost 349 ) 1.155 * * [simplify]: iteration 1 : 1123 enodes (cost 316 ) 1.183 * * [simplify]: iteration 2 : 5001 enodes (cost 313 ) 1.186 * [simplify]: Simplified to: (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (log (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (* (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (pow (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) 3) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (- (pow (* 9/40 (pow x 2)) 3) (pow (+ (* 27/2800 (pow x 4)) 1/2) 3)) (+ (* (pow x 4) (+ 81/1600 (+ 27/5600 (* (pow x 4) 729/7840000)))) (* (+ (* 27/2800 (pow x 4)) 1/2) (+ 1/2 (* 9/40 (pow x 2))))) (+ -1/2 (* -27/2800 (pow x 4))) (+ (neg (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2))) (* (pow x 4) 81/1600)) (+ (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (* 27/2800 (pow x 4))) (+ -1/2 (* -27/2800 (pow x 4))) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (exp (* 9/40 (pow x 2))) (* 729/64000 (pow x 6)) (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2)))) (cbrt (* 9/40 (pow x 2))) (* 729/64000 (pow x 6)) (sqrt (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (* x (sqrt 9/40)) (* x (sqrt 9/40)) (* x (sqrt 9/40)) (* x (sqrt 9/40)) (* (sqrt 9/40) (sqrt (pow x 2))) (* (sqrt 9/40) (sqrt (pow x 2))) (* x (sqrt 9/40)) (* x (sqrt 9/40)) (* 9/40 (pow (* (cbrt x) (cbrt x)) 2)) (* x 9/40) 9/40 (* x 9/40) (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 9/40 (fabs x)) 9/40 (* x 9/40) (* (cbrt 9/40) (pow x 2)) (* (sqrt 9/40) (pow x 2)) (* 9/40 (pow x 2)) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (exp (* 27/2800 (pow x 4))) (pow (* 27/2800 (pow x 4)) 3) (* (cbrt (* 27/2800 (pow x 4))) (cbrt (* 27/2800 (pow x 4)))) (cbrt (* 27/2800 (pow x 4))) (pow (* 27/2800 (pow x 4)) 3) (sqrt (* 27/2800 (pow x 4))) (sqrt (* 27/2800 (pow x 4))) (* (sqrt 27/2800) (pow x 2)) (* (sqrt 27/2800) (pow x 2)) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (pow x 2)) (* (sqrt 27/2800) (pow x 2)) (* 27/2800 (pow (* (cbrt x) (cbrt x)) 4)) (* 27/2800 (pow x 2)) 27/2800 (* 27/2800 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 27/2800 (sqrt (pow x 4))) 27/2800 (* 27/2800 (pow x 2)) (* (cbrt 27/2800) (pow x 4)) (* (sqrt 27/2800) (pow x 4)) (* 27/2800 (pow x 4)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) 1.186 * * * [progress]: adding candidates to table 1.315 * * [progress]: iteration 3 / 4 1.316 * * * [progress]: picking best candidate 1.320 * * * * [pick]: Picked # 1.320 * * * [progress]: localizing error 1.330 * * * [progress]: generating rewritten candidates 1.330 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.334 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.337 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.364 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.373 * * * [progress]: generating series expansions 1.373 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.373 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 1.373 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.373 * [taylor]: Taking taylor expansion of x in x 1.373 * [taylor]: Taking taylor expansion of (tan x) in x 1.373 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.373 * [taylor]: Taking taylor expansion of (sin x) in x 1.373 * [taylor]: Taking taylor expansion of x in x 1.373 * [taylor]: Taking taylor expansion of (cos x) in x 1.373 * [taylor]: Taking taylor expansion of x in x 1.374 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.374 * [taylor]: Taking taylor expansion of x in x 1.374 * [taylor]: Taking taylor expansion of (tan x) in x 1.375 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.375 * [taylor]: Taking taylor expansion of (sin x) in x 1.375 * [taylor]: Taking taylor expansion of x in x 1.375 * [taylor]: Taking taylor expansion of (cos x) in x 1.375 * [taylor]: Taking taylor expansion of x in x 1.403 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 1.403 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.403 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.403 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.405 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.405 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.405 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.405 * [taylor]: Taking taylor expansion of x in x 1.405 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.405 * [taylor]: Taking taylor expansion of x in x 1.414 * [approximate]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 1.414 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x 1.414 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.414 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.414 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.414 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.414 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.414 * [taylor]: Taking taylor expansion of -1 in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.415 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.415 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.415 * [taylor]: Taking taylor expansion of -1 in x 1.415 * [taylor]: Taking taylor expansion of x in x 1.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.415 * [taylor]: Taking taylor expansion of x in x 1.415 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x 1.415 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.415 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.415 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.415 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.415 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.415 * [taylor]: Taking taylor expansion of -1 in x 1.416 * [taylor]: Taking taylor expansion of x in x 1.416 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.416 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.416 * [taylor]: Taking taylor expansion of -1 in x 1.416 * [taylor]: Taking taylor expansion of x in x 1.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.416 * [taylor]: Taking taylor expansion of x in x 1.425 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.425 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 1.425 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.425 * [taylor]: Taking taylor expansion of x in x 1.425 * [taylor]: Taking taylor expansion of (tan x) in x 1.425 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.425 * [taylor]: Taking taylor expansion of (sin x) in x 1.425 * [taylor]: Taking taylor expansion of x in x 1.425 * [taylor]: Taking taylor expansion of (cos x) in x 1.425 * [taylor]: Taking taylor expansion of x in x 1.426 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.426 * [taylor]: Taking taylor expansion of x in x 1.426 * [taylor]: Taking taylor expansion of (tan x) in x 1.426 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.426 * [taylor]: Taking taylor expansion of (sin x) in x 1.426 * [taylor]: Taking taylor expansion of x in x 1.426 * [taylor]: Taking taylor expansion of (cos x) in x 1.426 * [taylor]: Taking taylor expansion of x in x 1.451 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 1.451 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.451 * [taylor]: Taking taylor expansion of x in x 1.451 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.451 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.451 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.452 * [taylor]: Taking taylor expansion of x in x 1.452 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.452 * [taylor]: Taking taylor expansion of x in x 1.452 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.452 * [taylor]: Taking taylor expansion of x in x 1.453 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.453 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.453 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.453 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.462 * [approximate]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 1.462 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x 1.462 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.462 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.462 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.462 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.462 * [taylor]: Taking taylor expansion of -1 in x 1.462 * [taylor]: Taking taylor expansion of x in x 1.463 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.463 * [taylor]: Taking taylor expansion of -1 in x 1.463 * [taylor]: Taking taylor expansion of x in x 1.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.463 * [taylor]: Taking taylor expansion of x in x 1.463 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x 1.463 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.463 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.463 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.463 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.464 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.464 * [taylor]: Taking taylor expansion of -1 in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.464 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.464 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.464 * [taylor]: Taking taylor expansion of -1 in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.476 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.476 * [approximate]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in (x) around 0 1.476 * [taylor]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in x 1.476 * [taylor]: Taking taylor expansion of (/ x (- x (tan x))) in x 1.476 * [taylor]: Taking taylor expansion of x in x 1.476 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.476 * [taylor]: Taking taylor expansion of x in x 1.476 * [taylor]: Taking taylor expansion of (tan x) in x 1.477 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.477 * [taylor]: Taking taylor expansion of (sin x) in x 1.477 * [taylor]: Taking taylor expansion of x in x 1.477 * [taylor]: Taking taylor expansion of (cos x) in x 1.477 * [taylor]: Taking taylor expansion of x in x 1.482 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in 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 (- x (tan x)) in x 1.482 * [taylor]: Taking taylor expansion of 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.488 * [taylor]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in x 1.488 * [taylor]: Taking taylor expansion of (/ x (- x (tan x))) in x 1.488 * [taylor]: Taking taylor expansion of x in x 1.488 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.488 * [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.494 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x 1.494 * [taylor]: Taking taylor expansion of (sin x) in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.494 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.494 * [taylor]: Taking taylor expansion of (tan x) in x 1.494 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.494 * [taylor]: Taking taylor expansion of (sin x) in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.494 * [taylor]: Taking taylor expansion of (cos x) in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.610 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in (x) around 0 1.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in x 1.610 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) in x 1.610 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (tan (/ 1 x)))) in x 1.610 * [taylor]: Taking taylor expansion of x in x 1.610 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.610 * [taylor]: Taking taylor expansion of x in x 1.610 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.610 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.610 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.610 * [taylor]: Taking taylor expansion of x in x 1.611 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.611 * [taylor]: Taking taylor expansion of x in x 1.612 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x 1.613 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.613 * [taylor]: Taking taylor expansion of x in x 1.618 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.618 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.618 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.618 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in x 1.619 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) in x 1.619 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (tan (/ 1 x)))) in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.620 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.620 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.620 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.620 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x 1.622 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.623 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.623 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.623 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.623 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.632 * [approximate]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in (x) around 0 1.632 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in x 1.632 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 1.632 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.632 * [taylor]: Taking taylor expansion of -1 in x 1.632 * [taylor]: Taking taylor expansion of x in x 1.632 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.632 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.632 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.632 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.632 * [taylor]: Taking taylor expansion of -1 in x 1.632 * [taylor]: Taking taylor expansion of x in x 1.633 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.633 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.633 * [taylor]: Taking taylor expansion of -1 in x 1.633 * [taylor]: Taking taylor expansion of x in x 1.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.633 * [taylor]: Taking taylor expansion of x in x 1.634 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x)))) in x 1.634 * [taylor]: Taking taylor expansion of (* x (+ (tan (/ -1 x)) (/ 1 x))) in x 1.634 * [taylor]: Taking taylor expansion of x in x 1.634 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.634 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.634 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.634 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.634 * [taylor]: Taking taylor expansion of -1 in x 1.634 * [taylor]: Taking taylor expansion of x in x 1.635 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.635 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.635 * [taylor]: Taking taylor expansion of -1 in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in x 1.637 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 1.637 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.637 * [taylor]: Taking taylor expansion of -1 in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.637 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.637 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.637 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.637 * [taylor]: Taking taylor expansion of -1 in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.638 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.638 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.638 * [taylor]: Taking taylor expansion of -1 in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.639 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x)))) in x 1.639 * [taylor]: Taking taylor expansion of (* x (+ (tan (/ -1 x)) (/ 1 x))) in x 1.639 * [taylor]: Taking taylor expansion of x in x 1.639 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.639 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.639 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.639 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.639 * [taylor]: Taking taylor expansion of -1 in x 1.639 * [taylor]: Taking taylor expansion of x in x 1.639 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.639 * [taylor]: Taking taylor expansion of -1 in x 1.639 * [taylor]: Taking taylor expansion of x in x 1.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.640 * [taylor]: Taking taylor expansion of x in x 1.648 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.648 * [approximate]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in (x) around 0 1.648 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x 1.648 * [taylor]: Taking taylor expansion of (sin x) in x 1.648 * [taylor]: Taking taylor expansion of x in x 1.648 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.648 * [taylor]: Taking taylor expansion of x in x 1.648 * [taylor]: Taking taylor expansion of (tan x) in x 1.648 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.648 * [taylor]: Taking taylor expansion of (sin x) in x 1.648 * [taylor]: Taking taylor expansion of x in x 1.648 * [taylor]: Taking taylor expansion of (cos x) in x 1.648 * [taylor]: Taking taylor expansion of x in x 1.654 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x 1.654 * [taylor]: Taking taylor expansion of (sin x) in x 1.654 * [taylor]: Taking taylor expansion of x in x 1.654 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.654 * [taylor]: Taking taylor expansion of x in x 1.654 * [taylor]: Taking taylor expansion of (tan x) in x 1.654 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.654 * [taylor]: Taking taylor expansion of (sin x) in x 1.654 * [taylor]: Taking taylor expansion of x in x 1.654 * [taylor]: Taking taylor expansion of (cos x) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.686 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 1.686 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x 1.686 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.687 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.687 * [taylor]: Taking taylor expansion of x in x 1.687 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.687 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.687 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.687 * [taylor]: Taking taylor expansion of x in x 1.687 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.688 * [taylor]: Taking taylor expansion of x in x 1.688 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x 1.688 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.688 * [taylor]: Taking taylor expansion of x in x 1.688 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.689 * [taylor]: Taking taylor expansion of x in x 1.689 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.689 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.689 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.689 * [taylor]: Taking taylor expansion of x in x 1.689 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.689 * [taylor]: Taking taylor expansion of x in x 1.694 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in (x) around 0 1.694 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in x 1.694 * [taylor]: Taking taylor expansion of -1 in x 1.694 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 1.694 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.694 * [taylor]: Taking taylor expansion of -1 in x 1.694 * [taylor]: Taking taylor expansion of x in x 1.694 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.694 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.694 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.694 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.695 * [taylor]: Taking taylor expansion of -1 in x 1.695 * [taylor]: Taking taylor expansion of x in x 1.695 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.695 * [taylor]: Taking taylor expansion of -1 in x 1.695 * [taylor]: Taking taylor expansion of x in x 1.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.695 * [taylor]: Taking taylor expansion of x in x 1.696 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in x 1.696 * [taylor]: Taking taylor expansion of -1 in x 1.696 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 1.696 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.696 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.696 * [taylor]: Taking taylor expansion of -1 in x 1.696 * [taylor]: Taking taylor expansion of x in x 1.696 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.696 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.696 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.696 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.696 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.696 * [taylor]: Taking taylor expansion of -1 in x 1.696 * [taylor]: Taking taylor expansion of x in x 1.697 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.697 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.697 * [taylor]: Taking taylor expansion of -1 in x 1.697 * [taylor]: Taking taylor expansion of x in x 1.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.697 * [taylor]: Taking taylor expansion of x in x 1.707 * * * [progress]: simplifying candidates 1.709 * [simplify]: Simplifying using # : (/ (exp x) (exp (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (neg (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (neg (tan x)) (/ (exp x) (exp (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (neg (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (neg (tan x)) (/ (exp (/ x (- x (tan x)))) (exp (/ (sin x) (- x (tan x))))) (log (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (exp (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (* (cbrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (cbrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))))) (cbrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (* (* (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (sqrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (sqrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (- x (sin x)) (- (* x (- x (tan x))) (* (- x (tan x)) (sin x))) (* (- x (tan x)) (- x (tan x))) (- (pow (/ x (- x (tan x))) 3) (pow (/ (sin x) (- x (tan x))) 3)) (+ (* (/ x (- x (tan x))) (/ x (- x (tan x)))) (+ (* (/ (sin x) (- x (tan x))) (/ (sin x) (- x (tan x)))) (* (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))))) (neg (/ (sin x) (- x (tan x)))) (- (* (/ x (- x (tan x))) (/ x (- x (tan x)))) (* (/ (sin x) (- x (tan x))) (/ (sin x) (- x (tan x))))) (+ (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (+ (sqrt (/ x (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x))))) (- (sqrt (/ x (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x))))) (+ (sqrt (/ x (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x))))) (- (sqrt (/ x (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x))))) (+ (/ (sqrt x) (sqrt (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x))))) (- (/ (sqrt x) (sqrt (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x))))) (+ (/ (sqrt x) (sqrt (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x))))) (- (/ (sqrt x) (sqrt (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x))))) (- (/ x (cbrt (- x (tan x)))) (/ (sin x) (cbrt (- x (tan x))))) (- (/ x (sqrt (- x (tan x)))) (/ (sin x) (sqrt (- x (tan x))))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- (sqrt x) (sqrt (tan x)))) (/ (sin x) (- (sqrt x) (sqrt (tan x))))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- x (sin x)) (- (/ x (- (pow x 3) (pow (tan x) 3))) (/ (sin x) (- (pow x 3) (pow (tan x) 3)))) (- (/ x (- (* x x) (* (tan x) (tan x)))) (/ (sin x) (- (* x x) (* (tan x) (tan x))))) (neg (/ (sin x) (- x (tan x)))) (- (log (sin x)) (log (- x (tan x)))) (log (/ (sin x) (- x (tan x)))) (exp (/ (sin x) (- x (tan x)))) (/ (* (* (sin x) (sin x)) (sin x)) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x)))) (* (cbrt (/ (sin x) (- x (tan x)))) (cbrt (/ (sin x) (- x (tan x))))) (cbrt (/ (sin x) (- x (tan x)))) (* (* (/ (sin x) (- x (tan x))) (/ (sin x) (- x (tan x)))) (/ (sin x) (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x)))) (neg (sin x)) (neg (- x (tan x))) (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (cbrt (sin x)) (cbrt (- x (tan x)))) (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt (- x (tan x)))) (/ (cbrt (sin x)) (sqrt (- x (tan x)))) (/ (* (cbrt (sin x)) (cbrt (sin x))) 1) (/ (cbrt (sin x)) (- x (tan x))) (/ (* (cbrt (sin x)) (cbrt (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (cbrt (sin x)) (- (sqrt x) (sqrt (tan x)))) (/ (* (cbrt (sin x)) (cbrt (sin x))) 1) (/ (cbrt (sin x)) (- x (tan x))) (/ (sqrt (sin x)) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sqrt (sin x)) (cbrt (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x)))) (/ (sqrt (sin x)) 1) (/ (sqrt (sin x)) (- x (tan x))) (/ (sqrt (sin x)) (+ (sqrt x) (sqrt (tan x)))) (/ (sqrt (sin x)) (- (sqrt x) (sqrt (tan x)))) (/ (sqrt (sin x)) 1) (/ (sqrt (sin x)) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sin x) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (sin x) (sqrt (- x (tan x)))) (/ 1 1) (/ (sin x) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (sin x) (- (sqrt x) (sqrt (tan x)))) (/ 1 1) (/ (sin x) (- x (tan x))) (/ 1 (- x (tan x))) (/ (- x (tan x)) (sin x)) (/ (sin x) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sin x) (sqrt (- x (tan x)))) (/ (sin x) 1) (/ (sin x) (+ (sqrt x) (sqrt (tan x)))) (/ (sin x) 1) (/ (- x (tan x)) (cbrt (sin x))) (/ (- x (tan x)) (sqrt (sin x))) (/ (- x (tan x)) (sin x)) (/ (sin x) (- (pow x 3) (pow (tan x) 3))) (/ (sin x) (- (* x x) (* (tan x) (tan x)))) (neg (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (neg (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- 17/10 (+ (* 307/1400 (pow x 2)) (* 3 (/ 1 (pow x 2))))) (+ (/ (sin x) x) (+ (/ (pow (sin x) 3) (* (pow x 3) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (+ (/ (sin x) x) (+ (/ (pow (sin x) 3) (* (pow x 3) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) 1.715 * * [simplify]: iteration 0 : 376 enodes (cost 909 ) 1.721 * * [simplify]: iteration 1 : 1205 enodes (cost 870 ) 1.743 * * [simplify]: iteration 2 : 5001 enodes (cost 870 ) 1.748 * [simplify]: Simplified to: (exp (- x (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (pow (- x (tan x)) 3) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (neg (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (neg (tan x)) (exp (- x (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (pow (- x (tan x)) 3) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (neg (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (neg (tan x)) (exp (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (log (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (exp (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (* (cbrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (cbrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))))) (cbrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (pow (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) 3) (sqrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (sqrt (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))) (- x (sin x)) (* (- x (tan x)) (- x (sin x))) (* (- x (tan x)) (- x (tan x))) (- (pow (/ x (- x (tan x))) 3) (pow (/ (sin x) (- x (tan x))) 3)) (+ (* (/ (sin x) (- x (tan x))) (+ (/ (sin x) (- x (tan x))) (/ x (- x (tan x))))) (* (/ x (- x (tan x))) (/ x (- x (tan x))))) (neg (/ (sin x) (- x (tan x)))) (- (* (/ x (- x (tan x))) (/ x (- x (tan x)))) (* (/ (sin x) (- x (tan x))) (/ (sin x) (- x (tan x))))) (+ (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (+ (sqrt (/ x (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x))))) (- (sqrt (/ x (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x))))) (+ (sqrt (/ x (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x))))) (- (sqrt (/ x (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x))))) (+ (/ (sqrt x) (sqrt (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x))))) (- (/ (sqrt x) (sqrt (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x))))) (+ (/ (sqrt x) (sqrt (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x))))) (- (/ (sqrt x) (sqrt (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x))))) (- (/ x (cbrt (- x (tan x)))) (/ (sin x) (cbrt (- x (tan x))))) (- (/ x (sqrt (- x (tan x)))) (/ (sin x) (sqrt (- x (tan x))))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- (sqrt x) (sqrt (tan x)))) (/ (sin x) (- (sqrt x) (sqrt (tan x))))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) (- x (sin x)) (- (/ x (- (pow x 3) (pow (tan x) 3))) (/ (sin x) (- (pow x 3) (pow (tan x) 3)))) (- (/ x (- (* x x) (* (tan x) (tan x)))) (/ (sin x) (- (* x x) (* (tan x) (tan x))))) (neg (/ (sin x) (- x (tan x)))) (log (/ (sin x) (- x (tan x)))) (log (/ (sin x) (- x (tan x)))) (exp (/ (sin x) (- x (tan x)))) (pow (/ (sin x) (- x (tan x))) 3) (* (cbrt (/ (sin x) (- x (tan x)))) (cbrt (/ (sin x) (- x (tan x))))) (cbrt (/ (sin x) (- x (tan x)))) (pow (/ (sin x) (- x (tan x))) 3) (sqrt (/ (sin x) (- x (tan x)))) (sqrt (/ (sin x) (- x (tan x)))) (neg (sin x)) (neg (- x (tan x))) (/ (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (cbrt (sin x)) (cbrt (- x (tan x)))) (/ (* (cbrt (sin x)) (cbrt (sin x))) (sqrt (- x (tan x)))) (/ (cbrt (sin x)) (sqrt (- x (tan x)))) (* (cbrt (sin x)) (cbrt (sin x))) (/ (cbrt (sin x)) (- x (tan x))) (/ (* (cbrt (sin x)) (cbrt (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (cbrt (sin x)) (- (sqrt x) (sqrt (tan x)))) (* (cbrt (sin x)) (cbrt (sin x))) (/ (cbrt (sin x)) (- x (tan x))) (/ (sqrt (sin x)) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sqrt (sin x)) (cbrt (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x)))) (/ (sqrt (sin x)) (sqrt (- x (tan x)))) (sqrt (sin x)) (/ (sqrt (sin x)) (- x (tan x))) (/ (sqrt (sin x)) (+ (sqrt x) (sqrt (tan x)))) (/ (sqrt (sin x)) (- (sqrt x) (sqrt (tan x)))) (sqrt (sin x)) (/ (sqrt (sin x)) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sin x) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (sin x) (sqrt (- x (tan x)))) 1 (/ (sin x) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (sin x) (- (sqrt x) (sqrt (tan x)))) 1 (/ (sin x) (- x (tan x))) (/ 1 (- x (tan x))) (/ (- x (tan x)) (sin x)) (/ (sin x) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sin x) (sqrt (- x (tan x)))) (sin x) (/ (sin x) (+ (sqrt x) (sqrt (tan x)))) (sin x) (/ (- x (tan x)) (cbrt (sin x))) (/ (- x (tan x)) (sqrt (sin x))) (/ (- x (tan x)) (sin x)) (/ (sin x) (- (pow x 3) (pow (tan x) 3))) (/ (sin x) (- (* x x) (* (tan x) (tan x)))) (- (* -17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (* -17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (- 17/10 (/ 3 (pow x 2))) (* 307/1400 (pow x 2))) (+ (/ (sin x) x) (+ (/ (pow (sin x) 3) (* (pow x 3) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (+ (/ (sin x) x) (+ (/ (pow (sin x) 3) (* (pow x 3) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) 1.748 * * * [progress]: adding candidates to table 1.943 * * [progress]: iteration 4 / 4 1.943 * * * [progress]: picking best candidate 1.950 * * * * [pick]: Picked # 1.950 * * * [progress]: localizing error 1.969 * * * [progress]: generating rewritten candidates 1.969 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.994 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.998 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 2.009 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.022 * * * [progress]: generating series expansions 2.022 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.022 * [approximate]: Taking taylor expansion of (/ (- (pow x 3) (pow (tan x) 3)) (+ (* x (tan x)) (+ (pow (tan x) 2) (pow x 2)))) in (x) around 0 2.022 * [taylor]: Taking taylor expansion of (/ (- (pow x 3) (pow (tan x) 3)) (+ (* x (tan x)) (+ (pow (tan x) 2) (pow x 2)))) in x 2.022 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (tan x) 3)) in x 2.022 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.022 * [taylor]: Taking taylor expansion of x in x 2.022 * [taylor]: Taking taylor expansion of (pow (tan x) 3) in x 2.023 * [taylor]: Taking taylor expansion of (tan x) in x 2.023 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.023 * [taylor]: Taking taylor expansion of (sin x) in x 2.023 * [taylor]: Taking taylor expansion of x in x 2.023 * [taylor]: Taking taylor expansion of (cos x) in x 2.023 * [taylor]: Taking taylor expansion of x in x 2.024 * [taylor]: Taking taylor expansion of (+ (* x (tan x)) (+ (pow (tan x) 2) (pow x 2))) in x 2.024 * [taylor]: Taking taylor expansion of (* x (tan x)) in x 2.024 * [taylor]: Taking taylor expansion of x in x 2.024 * [taylor]: Taking taylor expansion of (tan x) in x 2.024 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.024 * [taylor]: Taking taylor expansion of (sin x) in x 2.024 * [taylor]: Taking taylor expansion of x in x 2.024 * [taylor]: Taking taylor expansion of (cos x) in x 2.024 * [taylor]: Taking taylor expansion of x in x 2.025 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) (pow x 2)) in x 2.025 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.025 * [taylor]: Taking taylor expansion of (tan x) in x 2.025 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.025 * [taylor]: Taking taylor expansion of (sin x) in x 2.025 * [taylor]: Taking taylor expansion of x in x 2.025 * [taylor]: Taking taylor expansion of (cos x) in x 2.025 * [taylor]: Taking taylor expansion of x in x 2.025 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.025 * [taylor]: Taking taylor expansion of x in x 2.041 * [taylor]: Taking taylor expansion of (/ (- (pow x 3) (pow (tan x) 3)) (+ (* x (tan x)) (+ (pow (tan x) 2) (pow x 2)))) in x 2.041 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (tan x) 3)) in x 2.041 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.041 * [taylor]: Taking taylor expansion of x in x 2.041 * [taylor]: Taking taylor expansion of (pow (tan x) 3) in x 2.041 * [taylor]: Taking taylor expansion of (tan x) in x 2.041 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.041 * [taylor]: Taking taylor expansion of (sin x) in x 2.041 * [taylor]: Taking taylor expansion of x in x 2.041 * [taylor]: Taking taylor expansion of (cos x) in x 2.041 * [taylor]: Taking taylor expansion of x in x 2.042 * [taylor]: Taking taylor expansion of (+ (* x (tan x)) (+ (pow (tan x) 2) (pow x 2))) in x 2.042 * [taylor]: Taking taylor expansion of (* x (tan x)) in x 2.042 * [taylor]: Taking taylor expansion of x in x 2.042 * [taylor]: Taking taylor expansion of (tan x) in x 2.042 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.042 * [taylor]: Taking taylor expansion of (sin x) in x 2.042 * [taylor]: Taking taylor expansion of x in x 2.042 * [taylor]: Taking taylor expansion of (cos x) in x 2.042 * [taylor]: Taking taylor expansion of x in x 2.043 * [taylor]: Taking taylor expansion of (+ (pow (tan x) 2) (pow x 2)) in x 2.043 * [taylor]: Taking taylor expansion of (pow (tan x) 2) in x 2.043 * [taylor]: Taking taylor expansion of (tan x) in x 2.043 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.043 * [taylor]: Taking taylor expansion of (sin x) in x 2.043 * [taylor]: Taking taylor expansion of x in x 2.043 * [taylor]: Taking taylor expansion of (cos x) in x 2.043 * [taylor]: Taking taylor expansion of x in x 2.044 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.044 * [taylor]: Taking taylor expansion of x in x 2.127 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (tan (/ 1 x)) 3)) (+ (/ (tan (/ 1 x)) x) (+ (pow (tan (/ 1 x)) 2) (/ 1 (pow x 2))))) in (x) around 0 2.127 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (tan (/ 1 x)) 3)) (+ (/ (tan (/ 1 x)) x) (+ (pow (tan (/ 1 x)) 2) (/ 1 (pow x 2))))) in x 2.127 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (tan (/ 1 x)) 3)) in x 2.127 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.127 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.127 * [taylor]: Taking taylor expansion of x in x 2.128 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 3) in x 2.128 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.128 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.128 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.128 * [taylor]: Taking taylor expansion of x in x 2.129 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.129 * [taylor]: Taking taylor expansion of (+ (/ (tan (/ 1 x)) x) (+ (pow (tan (/ 1 x)) 2) (/ 1 (pow x 2)))) in x 2.129 * [taylor]: Taking taylor expansion of (/ (tan (/ 1 x)) x) in x 2.129 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.129 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.129 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.129 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.130 * [taylor]: Taking taylor expansion of x in x 2.130 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) (/ 1 (pow x 2))) in x 2.130 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.130 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.130 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.130 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.130 * [taylor]: Taking taylor expansion of x in x 2.130 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.130 * [taylor]: Taking taylor expansion of x in x 2.131 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.131 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.131 * [taylor]: Taking taylor expansion of x in x 2.132 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (tan (/ 1 x)) 3)) (+ (/ (tan (/ 1 x)) x) (+ (pow (tan (/ 1 x)) 2) (/ 1 (pow x 2))))) in x 2.132 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (tan (/ 1 x)) 3)) in x 2.132 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.132 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.132 * [taylor]: Taking taylor expansion of x in x 2.133 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 3) in x 2.133 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.133 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.133 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.133 * [taylor]: Taking taylor expansion of x in x 2.133 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.133 * [taylor]: Taking taylor expansion of x in x 2.134 * [taylor]: Taking taylor expansion of (+ (/ (tan (/ 1 x)) x) (+ (pow (tan (/ 1 x)) 2) (/ 1 (pow x 2)))) in x 2.134 * [taylor]: Taking taylor expansion of (/ (tan (/ 1 x)) x) in x 2.134 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.134 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.134 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.134 * [taylor]: Taking taylor expansion of x in x 2.134 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.134 * [taylor]: Taking taylor expansion of x in x 2.135 * [taylor]: Taking taylor expansion of x in x 2.135 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ 1 x)) 2) (/ 1 (pow x 2))) in x 2.135 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 2) in x 2.135 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.135 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.135 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.135 * [taylor]: Taking taylor expansion of x in x 2.135 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.135 * [taylor]: Taking taylor expansion of x in x 2.136 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.136 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.136 * [taylor]: Taking taylor expansion of x in x 2.196 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) (- (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) (/ (tan (/ -1 x)) x)))) in (x) around 0 2.196 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) (- (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) (/ (tan (/ -1 x)) x)))) in x 2.196 * [taylor]: Taking taylor expansion of -1 in x 2.196 * [taylor]: Taking taylor expansion of (/ (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) (- (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) (/ (tan (/ -1 x)) x))) in x 2.196 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.196 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 3) in x 2.196 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.196 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.196 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.196 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.196 * [taylor]: Taking taylor expansion of -1 in x 2.197 * [taylor]: Taking taylor expansion of x in x 2.197 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.197 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.197 * [taylor]: Taking taylor expansion of -1 in x 2.197 * [taylor]: Taking taylor expansion of x in x 2.197 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.197 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.197 * [taylor]: Taking taylor expansion of x in x 2.198 * [taylor]: Taking taylor expansion of (- (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) (/ (tan (/ -1 x)) x)) in x 2.198 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) in x 2.198 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.198 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.198 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.198 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.198 * [taylor]: Taking taylor expansion of -1 in x 2.198 * [taylor]: Taking taylor expansion of x in x 2.199 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.199 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.199 * [taylor]: Taking taylor expansion of -1 in x 2.199 * [taylor]: Taking taylor expansion of x in x 2.199 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.199 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.199 * [taylor]: Taking taylor expansion of x in x 2.200 * [taylor]: Taking taylor expansion of (/ (tan (/ -1 x)) x) in x 2.200 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.200 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.200 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.200 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.200 * [taylor]: Taking taylor expansion of -1 in x 2.200 * [taylor]: Taking taylor expansion of x in x 2.200 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.200 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.200 * [taylor]: Taking taylor expansion of -1 in x 2.200 * [taylor]: Taking taylor expansion of x in x 2.201 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) (- (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) (/ (tan (/ -1 x)) x)))) in x 2.202 * [taylor]: Taking taylor expansion of -1 in x 2.202 * [taylor]: Taking taylor expansion of (/ (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) (- (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) (/ (tan (/ -1 x)) x))) in x 2.202 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.202 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 3) in x 2.202 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.202 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.202 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.202 * [taylor]: Taking taylor expansion of -1 in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.202 * [taylor]: Taking taylor expansion of -1 in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.203 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.203 * [taylor]: Taking taylor expansion of (- (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) (/ (tan (/ -1 x)) x)) in x 2.204 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 2) (/ 1 (pow x 2))) in x 2.204 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 2) in x 2.204 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.204 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.204 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.204 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.204 * [taylor]: Taking taylor expansion of -1 in x 2.204 * [taylor]: Taking taylor expansion of x in x 2.204 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.204 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.204 * [taylor]: Taking taylor expansion of -1 in x 2.204 * [taylor]: Taking taylor expansion of x in x 2.204 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.205 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.205 * [taylor]: Taking taylor expansion of x in x 2.205 * [taylor]: Taking taylor expansion of (/ (tan (/ -1 x)) x) in x 2.205 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.205 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.205 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.205 * [taylor]: Taking taylor expansion of -1 in x 2.205 * [taylor]: Taking taylor expansion of x in x 2.206 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.206 * [taylor]: Taking taylor expansion of -1 in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.268 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 2.269 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 2.269 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (sin x) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (sin x) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.286 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 2.287 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 2.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.287 * [taylor]: Taking taylor expansion of x in x 2.287 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.287 * [taylor]: Taking taylor expansion of x in x 2.287 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 2.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.287 * [taylor]: Taking taylor expansion of x in x 2.287 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.294 * [approximate]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 2.294 * [taylor]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in x 2.294 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 2.294 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.295 * [taylor]: Taking taylor expansion of -1 in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.295 * [taylor]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in x 2.295 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 2.295 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.295 * [taylor]: Taking taylor expansion of -1 in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.296 * [taylor]: Taking taylor expansion of x in x 2.302 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 2.303 * [approximate]: Taking taylor expansion of (- (pow x 3) (pow (tan x) 3)) in (x) around 0 2.303 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (tan x) 3)) in x 2.303 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of (pow (tan x) 3) in x 2.303 * [taylor]: Taking taylor expansion of (tan x) in x 2.303 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.303 * [taylor]: Taking taylor expansion of (sin x) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of (cos x) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (tan x) 3)) in x 2.303 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.304 * [taylor]: Taking taylor expansion of x in x 2.304 * [taylor]: Taking taylor expansion of (pow (tan x) 3) in x 2.304 * [taylor]: Taking taylor expansion of (tan x) in x 2.304 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.304 * [taylor]: Taking taylor expansion of (sin x) in x 2.304 * [taylor]: Taking taylor expansion of x in x 2.304 * [taylor]: Taking taylor expansion of (cos x) in x 2.304 * [taylor]: Taking taylor expansion of x in x 2.345 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (tan (/ 1 x)) 3)) in (x) around 0 2.345 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (tan (/ 1 x)) 3)) in x 2.345 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.345 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.345 * [taylor]: Taking taylor expansion of x in x 2.346 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 3) in x 2.346 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.346 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.346 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.346 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.346 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (tan (/ 1 x)) 3)) in x 2.347 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.347 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.347 * [taylor]: Taking taylor expansion of x in x 2.347 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 3) in x 2.347 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.347 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.347 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.347 * [taylor]: Taking taylor expansion of x in x 2.348 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.348 * [taylor]: Taking taylor expansion of x in x 2.386 * [approximate]: Taking taylor expansion of (neg (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3)))) in (x) around 0 2.386 * [taylor]: Taking taylor expansion of (neg (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3)))) in x 2.386 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.386 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 3) in x 2.386 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.386 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.386 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.386 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.386 * [taylor]: Taking taylor expansion of -1 in x 2.386 * [taylor]: Taking taylor expansion of x in x 2.387 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.387 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.387 * [taylor]: Taking taylor expansion of -1 in x 2.387 * [taylor]: Taking taylor expansion of x in x 2.387 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.387 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.387 * [taylor]: Taking taylor expansion of x in x 2.388 * [taylor]: Taking taylor expansion of (neg (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3)))) in x 2.388 * [taylor]: Taking taylor expansion of (+ (pow (tan (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.388 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 3) in x 2.388 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.388 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.388 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.388 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.388 * [taylor]: Taking taylor expansion of -1 in x 2.388 * [taylor]: Taking taylor expansion of x in x 2.388 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.388 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.388 * [taylor]: Taking taylor expansion of -1 in x 2.388 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.389 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.423 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.423 * [approximate]: Taking taylor expansion of (pow (tan x) 3) in (x) around 0 2.423 * [taylor]: Taking taylor expansion of (pow (tan x) 3) in x 2.423 * [taylor]: Taking taylor expansion of (tan x) in x 2.423 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.423 * [taylor]: Taking taylor expansion of (sin x) in x 2.423 * [taylor]: Taking taylor expansion of x in x 2.423 * [taylor]: Taking taylor expansion of (cos x) in x 2.423 * [taylor]: Taking taylor expansion of x in x 2.424 * [taylor]: Taking taylor expansion of (pow (tan x) 3) in x 2.424 * [taylor]: Taking taylor expansion of (tan x) in x 2.424 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.424 * [taylor]: Taking taylor expansion of (sin x) in x 2.424 * [taylor]: Taking taylor expansion of x in x 2.424 * [taylor]: Taking taylor expansion of (cos x) in x 2.424 * [taylor]: Taking taylor expansion of x in x 2.444 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 x)) 3) in (x) around 0 2.444 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 3) in x 2.444 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.444 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.444 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.444 * [taylor]: Taking taylor expansion of x in x 2.445 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.445 * [taylor]: Taking taylor expansion of x in x 2.445 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 x)) 3) in x 2.445 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.445 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.445 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.445 * [taylor]: Taking taylor expansion of x in x 2.445 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.446 * [taylor]: Taking taylor expansion of x in x 2.458 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 x)) 3) in (x) around 0 2.458 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 3) in x 2.458 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.458 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.458 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.458 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.458 * [taylor]: Taking taylor expansion of -1 in x 2.458 * [taylor]: Taking taylor expansion of x in x 2.459 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.459 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.459 * [taylor]: Taking taylor expansion of -1 in x 2.459 * [taylor]: Taking taylor expansion of x in x 2.459 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 x)) 3) in x 2.459 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.459 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.459 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.459 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.459 * [taylor]: Taking taylor expansion of -1 in x 2.459 * [taylor]: Taking taylor expansion of x in x 2.460 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.460 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.460 * [taylor]: Taking taylor expansion of -1 in x 2.460 * [taylor]: Taking taylor expansion of x in x 2.472 * * * [progress]: simplifying candidates 2.476 * [simplify]: Simplifying using # : (- (log (- (pow x 3) (pow (tan x) 3))) (log (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (log (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (exp (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (* (* (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3))) (- (pow x 3) (pow (tan x) 3))) (* (* (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (* (cbrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (cbrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (cbrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (* (* (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (sqrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (sqrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (neg (- (pow x 3) (pow (tan x) 3))) (neg (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (pow x 3) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (pow (tan x) 3) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (* (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (- (pow x 3) (pow (tan x) 3)))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (* (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (- (pow x 3) (pow (tan x) 3)))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (cbrt (- (pow x 3) (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (* (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (- (pow x 3) (pow (tan x) 3)))) 1) (/ (cbrt (- (pow x 3) (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) 1) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- x (tan x)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- x (tan x)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) 1) (/ (- x (tan x)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 1) (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) 1) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) 1) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) 1) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) 1) (/ (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) 1) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) 1) (/ (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) 1) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) 1) (/ (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) 1) (/ (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) 1) (/ (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) 1) (/ (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (sqrt (pow x 3)) (pow (tan x) (/ 3 2))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (sqrt (pow x 3)) (pow (tan x) (/ 3 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (tan x) (/ 3 2))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (sqrt (pow x 3)) (pow (tan x) (/ 3 2))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (tan x) (/ 3 2))) 1) (/ (- (sqrt (pow x 3)) (pow (tan x) (/ 3 2))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) 1) (/ (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) 1) (/ (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow x (/ 3 2)) (sqrt (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x (/ 3 2)) (sqrt (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x (/ 3 2)) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x (/ 3 2)) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x (/ 3 2)) (sqrt (pow (tan x) 3))) 1) (/ (- (pow x (/ 3 2)) (sqrt (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow x (/ 3 2)) (pow (tan x) (/ 3 2))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x (/ 3 2)) (pow (tan x) (/ 3 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x (/ 3 2)) (pow (tan x) (/ 3 2))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x (/ 3 2)) (pow (tan x) (/ 3 2))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x (/ 3 2)) (pow (tan x) (/ 3 2))) 1) (/ (- (pow x (/ 3 2)) (pow (tan x) (/ 3 2))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (pow 1 3) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (pow 1 3) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (pow 1 3) 1) (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (pow 1 3) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (pow 1 3) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (pow 1 3) 1) (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (pow 1 3) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (pow 1 3) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (pow 1 3) 1) (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (pow 1 3) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (pow 1 3) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (pow 1 3) 1) (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 1) (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (- (pow x 3) (pow (tan x) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) 1) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (cbrt (- (pow x 3) (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (sqrt (- (pow x 3) (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- x (tan x))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (sqrt (pow x 3)) (pow (tan x) (/ 3 2)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x (/ 3 2)) (sqrt (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x (/ 3 2)) (pow (tan x) (/ 3 2)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (- (pow x 3) (pow (tan x) 3)) (+ (pow (* (tan x) (+ (tan x) x)) 3) (pow (pow x 2) 3))) (/ (- (pow x 3) (pow (tan x) 3)) (- (* (* (tan x) (+ (tan x) x)) (* (tan x) (+ (tan x) x))) (* (pow x 2) (pow x 2)))) (* (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (+ (* (pow x 3) (pow x 3)) (+ (* (pow (tan x) 3) (pow (tan x) 3)) (* (pow x 3) (pow (tan x) 3))))) (* (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (+ (pow x 3) (pow (tan x) 3))) (/ (exp x) (exp (sin x))) (log (- x (sin x))) (exp (- x (sin x))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (cbrt (- x (sin x))) (* (* (- x (sin x)) (- x (sin x))) (- x (sin x))) (sqrt (- x (sin x))) (sqrt (- x (sin x))) (- (pow x 3) (pow (sin x) 3)) (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x)))) (neg (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (neg (sin x)) (/ (exp (pow x 3)) (exp (pow (tan x) 3))) (log (- (pow x 3) (pow (tan x) 3))) (exp (- (pow x 3) (pow (tan x) 3))) (* (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (- (pow x 3) (pow (tan x) 3)))) (cbrt (- (pow x 3) (pow (tan x) 3))) (* (* (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3))) (- (pow x 3) (pow (tan x) 3))) (sqrt (- (pow x 3) (pow (tan x) 3))) (sqrt (- (pow x 3) (pow (tan x) 3))) (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (- x (tan x)) (- (pow (pow x 3) 3) (pow (pow (tan x) 3) 3)) (+ (* (pow x 3) (pow x 3)) (+ (* (pow (tan x) 3) (pow (tan x) 3)) (* (pow x 3) (pow (tan x) 3)))) (neg (pow (tan x) 3)) (- (* (pow x 3) (pow x 3)) (* (pow (tan x) 3) (pow (tan x) 3))) (+ (pow x 3) (pow (tan x) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (+ (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (+ (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (- (pow (sqrt x) 3) (pow (tan x) (/ 3 2))) (+ (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (+ (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (tan x)) 3)) (+ (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (+ (sqrt (pow x 3)) (pow (tan x) (/ 3 2))) (- (sqrt (pow x 3)) (pow (tan x) (/ 3 2))) (+ (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (+ (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (- (pow x (/ 3 2)) (pow (sqrt (tan x)) 3)) (+ (pow x (/ 3 2)) (sqrt (pow (tan x) 3))) (- (pow x (/ 3 2)) (sqrt (pow (tan x) 3))) (+ (pow x (/ 3 2)) (pow (tan x) (/ 3 2))) (- (pow x (/ 3 2)) (pow (tan x) (/ 3 2))) (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3)) (neg (pow (tan x) 3)) (* (log (tan x)) 3) (* (log (tan x)) 3) (* 1 3) (pow (tan x) (* (cbrt 3) (cbrt 3))) (pow (tan x) (sqrt 3)) (pow (tan x) 1) (pow (* (cbrt (tan x)) (cbrt (tan x))) 3) (pow (cbrt (tan x)) 3) (pow (sqrt (tan x)) 3) (pow (sqrt (tan x)) 3) (pow 1 3) (pow (tan x) 3) (* (tan x) (tan x)) (log (pow (tan x) 3)) (exp (pow (tan x) 3)) (* (cbrt (pow (tan x) 3)) (cbrt (pow (tan x) 3))) (cbrt (pow (tan x) 3)) (* (* (pow (tan x) 3) (pow (tan x) 3)) (pow (tan x) 3)) (pow (* (cbrt (tan x)) (cbrt (tan x))) 3) (pow (cbrt (tan x)) 3) (pow (sqrt (tan x)) 3) (pow (sqrt (tan x)) 3) (pow 1 3) (pow (tan x) 3) (pow (sin x) 3) (pow (cos x) 3) (* (tan x) (tan x)) (sqrt (pow (tan x) 3)) (sqrt (pow (tan x) 3)) (pow (tan x) (/ 3 2)) (pow (tan x) (/ 3 2)) (neg (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (neg (+ (* 11/15 (pow x 7)) (+ (pow x 5) (* 88/189 (pow x 9))))) (- (pow x 3) (/ (pow (sin x) 3) (pow (cos x) 3))) (- (pow x 3) (/ (pow (sin x) 3) (pow (cos x) 3))) (+ (* 11/15 (pow x 7)) (+ (pow x 3) (pow x 5))) (/ (pow (sin x) 3) (pow (cos x) 3)) (/ (pow (sin x) 3) (pow (cos x) 3)) 2.489 * * [simplify]: iteration 0 : 625 enodes (cost 2980 ) 2.501 * * [simplify]: iteration 1 : 2604 enodes (cost 2910 ) 2.555 * * [simplify]: iteration 2 : 5001 enodes (cost 2831 ) 2.568 * [simplify]: Simplified to: (log (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (log (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (exp (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (pow (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) 3) (* (cbrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (cbrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (cbrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (pow (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) 3) (sqrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (sqrt (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (neg (- (pow x 3) (pow (tan x) 3))) (neg (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (pow x 3) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (pow (tan x) 3) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (* (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (- (pow x 3) (pow (tan x) 3)))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (* (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (- (pow x 3) (pow (tan x) 3)))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (cbrt (- (pow x 3) (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (* (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (- (pow x 3) (pow (tan x) 3)))) (/ (cbrt (- (pow x 3) (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (sqrt (- (pow x 3) (pow (tan x) 3))) (/ (sqrt (- (pow x 3) (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- x (tan x)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- x (tan x)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (/ (- x (tan x)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) 1 (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (/ (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (/ (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (/ (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (/ (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow x 3/2) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x 3/2) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow x 3/2) (pow (tan x) 3/2)) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow x 3/2) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x 3/2) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow x 3/2) (pow (tan x) 3/2)) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow x 3/2) (sqrt (pow (tan x) 3))) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3/2) (sqrt (pow (tan x) 3))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x 3/2) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3/2) (sqrt (pow (tan x) 3))) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow x 3/2) (sqrt (pow (tan x) 3))) (/ (- (pow x 3/2) (sqrt (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (pow x 3/2) (pow (tan x) 3/2)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (+ (pow x 3/2) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (+ (pow x 3/2) (pow (tan x) 3/2)) (/ (- (pow x 3/2) (pow (tan x) 3/2)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) 1 (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) 1 (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) 1 (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) 1 (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ 1 (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) 1 (/ (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ 1 (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (- (pow x 3) (pow (tan x) 3)) (* (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (cbrt (+ (* (tan x) (+ (tan x) x)) (pow x 2))))) (/ (- (pow x 3) (pow (tan x) 3)) (sqrt (+ (* (tan x) (+ (tan x) x)) (pow x 2)))) (- (pow x 3) (pow (tan x) 3)) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (cbrt (- (pow x 3) (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (sqrt (- (pow x 3) (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- x (tan x))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (sqrt (pow x 3)) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (sqrt (pow x 3)) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (sqrt (pow x 3)) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3/2) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3/2) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3/2) (sqrt (pow (tan x) 3)))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3/2) (pow (tan x) 3/2))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3))) (/ (- (pow x 3) (pow (tan x) 3)) (+ (pow (* (tan x) (+ (tan x) x)) 3) (pow (pow x 2) 3))) (/ (- (pow x 3) (pow (tan x) 3)) (+ (neg (pow x 4)) (* (pow (tan x) 2) (* (+ (tan x) x) (+ (tan x) x))))) (* (+ (+ (pow x 6) (pow (tan x) 6)) (* (pow x 3) (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2))) (* (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (+ (pow x 3) (pow (tan x) 3))) (exp (- x (sin x))) (log (- x (sin x))) (exp (- x (sin x))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (cbrt (- x (sin x))) (pow (- x (sin x)) 3) (sqrt (- x (sin x))) (sqrt (- x (sin x))) (- (pow x 3) (pow (sin x) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (neg (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (neg (sin x)) (exp (- (pow x 3) (pow (tan x) 3))) (log (- (pow x 3) (pow (tan x) 3))) (exp (- (pow x 3) (pow (tan x) 3))) (* (cbrt (- (pow x 3) (pow (tan x) 3))) (cbrt (- (pow x 3) (pow (tan x) 3)))) (cbrt (- (pow x 3) (pow (tan x) 3))) (pow (- (pow x 3) (pow (tan x) 3)) 3) (sqrt (- (pow x 3) (pow (tan x) 3))) (sqrt (- (pow x 3) (pow (tan x) 3))) (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- x (tan x)) (- (pow (pow x 3) 3) (pow (pow (tan x) 3) 3)) (+ (+ (pow x 6) (pow (tan x) 6)) (* (pow x 3) (pow (tan x) 3))) (neg (pow (tan x) 3)) (+ (pow x 6) (neg (pow (tan x) 6))) (+ (pow x 3) (pow (tan x) 3)) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (tan x) 3))) (+ (pow (sqrt x) 3) (pow (tan x) 3/2)) (- (pow (sqrt x) 3) (pow (tan x) 3/2)) (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (+ (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (- (sqrt (pow x 3)) (sqrt (pow (tan x) 3))) (+ (sqrt (pow x 3)) (pow (tan x) 3/2)) (- (sqrt (pow x 3)) (pow (tan x) 3/2)) (+ (pow x 3/2) (pow (tan x) 3/2)) (- (pow x 3/2) (pow (tan x) 3/2)) (+ (pow x 3/2) (pow (tan x) 3/2)) (- (pow x 3/2) (pow (tan x) 3/2)) (+ (pow x 3/2) (sqrt (pow (tan x) 3))) (- (pow x 3/2) (sqrt (pow (tan x) 3))) (+ (pow x 3/2) (pow (tan x) 3/2)) (- (pow x 3/2) (pow (tan x) 3/2)) (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3)) (- (pow x 3) (pow (tan x) 3)) (neg (pow (tan x) 3)) (log (pow (tan x) 3)) (log (pow (tan x) 3)) 3 (pow (tan x) (* (cbrt 3) (cbrt 3))) (pow (tan x) (sqrt 3)) (tan x) (pow (tan x) 2) (tan x) (pow (tan x) 3/2) (pow (tan x) 3/2) 1 (pow (tan x) 3) (pow (tan x) 2) (log (pow (tan x) 3)) (exp (pow (tan x) 3)) (pow (tan x) 2) (tan x) (pow (pow (tan x) 3) 3) (pow (tan x) 2) (tan x) (pow (tan x) 3/2) (pow (tan x) 3/2) 1 (pow (tan x) 3) (pow (sin x) 3) (pow (cos x) 3) (pow (tan x) 2) (sqrt (pow (tan x) 3)) (sqrt (pow (tan x) 3)) (pow (tan x) 3/2) (pow (tan x) 3/2) (- (* -17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (* -11/15 (pow x 7)) (+ (pow x 5) (* 88/189 (pow x 9)))) (- (pow x 3) (/ (pow (sin x) 3) (pow (cos x) 3))) (- (pow x 3) (/ (pow (sin x) 3) (pow (cos x) 3))) (+ (* 11/15 (pow x 7)) (+ (pow x 3) (pow x 5))) (/ (pow (sin x) 3) (pow (cos x) 3)) (/ (pow (sin x) 3) (pow (cos x) 3)) 2.569 * * * [progress]: adding candidates to table 2.981 * [progress]: [Phase 3 of 3] Extracting. 2.981 * * [regime]: Finding splitpoints for: (# # #) 2.982 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.983 * * * * [regimes]: Trying to branch on x from (# # #) 3.011 * * * [regime]: Found split indices: #