0.867 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.476 * * * [progress]: [2/2] Setting up program. 0.480 * [progress]: [Phase 2 of 3] Improving. 0.483 * [simplify]: Simplifying using # : (/ (- x (sin x)) (- x (tan x))) 0.485 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 0.489 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.491 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 0.493 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 0.495 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.495 * [simplify]: Simplified to: (/ (- x (sin x)) (- x (tan x))) 0.496 * * [progress]: iteration 1 / 4 0.497 * * * [progress]: picking best candidate 0.499 * * * * [pick]: Picked # 0.499 * * * [progress]: localizing error 0.522 * * * [progress]: generating rewritten candidates 0.522 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.527 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.529 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.544 * * * [progress]: generating series expansions 0.544 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.547 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 0.548 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.548 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of (tan x) in x 0.550 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.550 * [taylor]: Taking taylor expansion of (sin x) in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of (cos x) in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.552 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.552 * [taylor]: Taking taylor expansion of (tan x) in x 0.552 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.552 * [taylor]: Taking taylor expansion of (sin x) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.552 * [taylor]: Taking taylor expansion of (cos x) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.583 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 0.583 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.583 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.584 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.584 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.585 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.585 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.595 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.595 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.595 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.595 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.595 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 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.596 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.596 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.596 * [taylor]: Taking taylor expansion of -1 in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.596 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.596 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.596 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.596 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.597 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.597 * [taylor]: Taking taylor expansion of -1 in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.597 * [taylor]: Taking taylor expansion of -1 in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.607 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.607 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 0.607 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (sin x) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (sin x) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.628 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 0.628 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.637 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 0.637 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.637 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.637 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.637 * [taylor]: Taking taylor expansion of -1 in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.637 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.637 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.637 * [taylor]: Taking taylor expansion of -1 in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.645 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.645 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 0.645 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.645 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.645 * [taylor]: Taking taylor expansion of (sin x) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.645 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.645 * [taylor]: Taking taylor expansion of (tan x) in x 0.646 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.646 * [taylor]: Taking taylor expansion of (sin x) in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of (cos x) in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.655 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of (sin x) in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of (tan x) in x 0.655 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.655 * [taylor]: Taking taylor expansion of (sin x) in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of (cos x) in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.701 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 0.701 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.701 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.702 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.702 * [taylor]: Taking taylor expansion of x in x 0.702 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.702 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.702 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.702 * [taylor]: Taking taylor expansion of x in x 0.702 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.703 * [taylor]: Taking taylor expansion of x in x 0.704 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.704 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.705 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.705 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.705 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.705 * [taylor]: Taking taylor expansion of x in x 0.705 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.705 * [taylor]: Taking taylor expansion of x in x 0.712 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.712 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.712 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.712 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.712 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.712 * [taylor]: Taking taylor expansion of -1 in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.713 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.713 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.713 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.713 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.713 * [taylor]: Taking taylor expansion of -1 in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.713 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.713 * [taylor]: Taking taylor expansion of -1 in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.715 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.715 * [taylor]: Taking taylor expansion of -1 in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.716 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.716 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.716 * [taylor]: Taking taylor expansion of -1 in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.716 * [taylor]: Taking taylor expansion of -1 in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.717 * [taylor]: Taking taylor expansion of x in x 0.723 * * * [progress]: simplifying candidates 0.725 * [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)))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (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)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (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)))) (- (- x (sin x))) (- (- 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))) (- (+ (* 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.729 * * [simplify]: iteration 0 : 157 enodes (cost 1237 ) 0.757 * * [simplify]: iteration 1 : 366 enodes (cost 1200 ) 0.872 * * [simplify]: iteration 2 : 952 enodes (cost 1147 ) 1.200 * * [simplify]: iteration 3 : 2623 enodes (cost 1147 ) 1.944 * * [simplify]: iteration done : 5000 enodes (cost 1145 ) 1.945 * [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) (+ x (tan x))) (* x x)) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (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)) (+ (pow x 2) (* (sin x) (+ x (sin x)))) (- (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)) (- (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)))) (- (sin x) x) (- (tan x) 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)))) (* (- x (tan x)) (+ (pow x 2) (* (sin x) (+ x (sin 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))))) 1.946 * * * [progress]: adding candidates to table 2.152 * * [progress]: iteration 2 / 4 2.152 * * * [progress]: picking best candidate 2.162 * * * * [pick]: Picked # 2.162 * * * [progress]: localizing error 2.172 * * * [progress]: generating rewritten candidates 2.172 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 2.177 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 2.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 2.229 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 2.240 * * * [progress]: generating series expansions 2.240 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 2.240 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 2.240 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.240 * [taylor]: Taking taylor expansion of x in x 2.240 * [taylor]: Taking taylor expansion of (tan x) in x 2.240 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.240 * [taylor]: Taking taylor expansion of (sin x) in x 2.240 * [taylor]: Taking taylor expansion of x in x 2.240 * [taylor]: Taking taylor expansion of (cos x) in x 2.240 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of (tan x) in x 2.241 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.241 * [taylor]: Taking taylor expansion of (sin x) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of (cos x) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.270 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 2.270 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.271 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.271 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.271 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.271 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.271 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.272 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.272 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.272 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.272 * [taylor]: Taking taylor expansion of x in x 2.272 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.272 * [taylor]: Taking taylor expansion of x in x 2.282 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 2.282 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 2.282 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.282 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.282 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.282 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.282 * [taylor]: Taking taylor expansion of -1 in x 2.282 * [taylor]: Taking taylor expansion of x in x 2.282 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.282 * [taylor]: Taking taylor expansion of -1 in x 2.282 * [taylor]: Taking taylor expansion of x in x 2.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.283 * [taylor]: Taking taylor expansion of x in x 2.283 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 2.283 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.283 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.284 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.284 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.284 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.284 * [taylor]: Taking taylor expansion of -1 in x 2.284 * [taylor]: Taking taylor expansion of x in x 2.284 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.284 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.284 * [taylor]: Taking taylor expansion of -1 in x 2.284 * [taylor]: Taking taylor expansion of x in x 2.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.284 * [taylor]: Taking taylor expansion of x in x 2.294 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 2.294 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 2.294 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (tan x) in x 2.294 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.294 * [taylor]: Taking taylor expansion of (sin x) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (cos x) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.295 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.295 * [taylor]: Taking taylor expansion of (tan x) in x 2.295 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.295 * [taylor]: Taking taylor expansion of (sin x) in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.295 * [taylor]: Taking taylor expansion of (cos x) in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.322 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 2.322 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.322 * [taylor]: Taking taylor expansion of x in x 2.322 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.322 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.322 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.322 * [taylor]: Taking taylor expansion of x in x 2.322 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.322 * [taylor]: Taking taylor expansion of x in x 2.323 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.323 * [taylor]: Taking taylor expansion of x in x 2.323 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.323 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.323 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.323 * [taylor]: Taking taylor expansion of x in x 2.323 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.324 * [taylor]: Taking taylor expansion of x in x 2.335 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 2.336 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 2.336 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.336 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.336 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.336 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.336 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.336 * [taylor]: Taking taylor expansion of -1 in x 2.336 * [taylor]: Taking taylor expansion of x in x 2.336 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.336 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.336 * [taylor]: Taking taylor expansion of -1 in x 2.336 * [taylor]: Taking taylor expansion of x in x 2.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.337 * [taylor]: Taking taylor expansion of x in x 2.337 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 2.337 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.337 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.337 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.337 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.337 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.337 * [taylor]: Taking taylor expansion of -1 in x 2.337 * [taylor]: Taking taylor expansion of x in x 2.337 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.337 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.337 * [taylor]: Taking taylor expansion of -1 in x 2.338 * [taylor]: Taking taylor expansion of x in x 2.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.338 * [taylor]: Taking taylor expansion of x in x 2.348 * * * * [progress]: [ 3 / 4 ] generating series at (2) 2.348 * [approximate]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in (x) around 0 2.348 * [taylor]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in x 2.348 * [taylor]: Taking taylor expansion of (/ x (- x (tan x))) in x 2.348 * [taylor]: Taking taylor expansion of x in x 2.348 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.348 * [taylor]: Taking taylor expansion of x in x 2.348 * [taylor]: Taking taylor expansion of (tan x) in x 2.348 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.348 * [taylor]: Taking taylor expansion of (sin x) in x 2.348 * [taylor]: Taking taylor expansion of x in x 2.348 * [taylor]: Taking taylor expansion of (cos x) in x 2.348 * [taylor]: Taking taylor expansion of x in x 2.354 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x 2.354 * [taylor]: Taking taylor expansion of (sin x) in x 2.354 * [taylor]: Taking taylor expansion of x in x 2.354 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.354 * [taylor]: Taking taylor expansion of x in x 2.354 * [taylor]: Taking taylor expansion of (tan x) in x 2.354 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.354 * [taylor]: Taking taylor expansion of (sin x) in x 2.354 * [taylor]: Taking taylor expansion of x in x 2.354 * [taylor]: Taking taylor expansion of (cos x) in x 2.354 * [taylor]: Taking taylor expansion of x in x 2.360 * [taylor]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in x 2.360 * [taylor]: Taking taylor expansion of (/ x (- x (tan x))) in x 2.360 * [taylor]: Taking taylor expansion of x in x 2.360 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.360 * [taylor]: Taking taylor expansion of x in x 2.360 * [taylor]: Taking taylor expansion of (tan x) in x 2.361 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.361 * [taylor]: Taking taylor expansion of (sin x) in x 2.361 * [taylor]: Taking taylor expansion of x in x 2.361 * [taylor]: Taking taylor expansion of (cos x) in x 2.361 * [taylor]: Taking taylor expansion of x in x 2.367 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x 2.367 * [taylor]: Taking taylor expansion of (sin x) in x 2.367 * [taylor]: Taking taylor expansion of x in x 2.367 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.367 * [taylor]: Taking taylor expansion of x in x 2.367 * [taylor]: Taking taylor expansion of (tan x) in x 2.367 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.367 * [taylor]: Taking taylor expansion of (sin x) in x 2.367 * [taylor]: Taking taylor expansion of x in x 2.367 * [taylor]: Taking taylor expansion of (cos x) in x 2.367 * [taylor]: Taking taylor expansion of x in x 2.494 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in (x) around 0 2.494 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in x 2.494 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) in x 2.494 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (tan (/ 1 x)))) in x 2.494 * [taylor]: Taking taylor expansion of x in x 2.494 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.494 * [taylor]: Taking taylor expansion of x in x 2.494 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.494 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.494 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.494 * [taylor]: Taking taylor expansion of x in x 2.495 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.495 * [taylor]: Taking taylor expansion of x in x 2.497 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x 2.497 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.497 * [taylor]: Taking taylor expansion of x in x 2.497 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.497 * [taylor]: Taking taylor expansion of x in x 2.498 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.498 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.498 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.498 * [taylor]: Taking taylor expansion of x in x 2.498 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.498 * [taylor]: Taking taylor expansion of x in x 2.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in x 2.499 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) in x 2.499 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (tan (/ 1 x)))) in x 2.499 * [taylor]: Taking taylor expansion of x in x 2.499 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.499 * [taylor]: Taking taylor expansion of x in x 2.499 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.499 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.499 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.499 * [taylor]: Taking taylor expansion of x in x 2.500 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.500 * [taylor]: Taking taylor expansion of x in x 2.502 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x 2.502 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.502 * [taylor]: Taking taylor expansion of x in x 2.502 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.502 * [taylor]: Taking taylor expansion of x in x 2.503 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.503 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.503 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.503 * [taylor]: Taking taylor expansion of x in x 2.503 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.503 * [taylor]: Taking taylor expansion of x in x 2.513 * [approximate]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in (x) around 0 2.513 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in x 2.513 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 2.513 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.513 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.513 * [taylor]: Taking taylor expansion of -1 in x 2.513 * [taylor]: Taking taylor expansion of x in x 2.513 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.513 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.513 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.513 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.514 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.514 * [taylor]: Taking taylor expansion of -1 in x 2.514 * [taylor]: Taking taylor expansion of x in x 2.514 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.514 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.514 * [taylor]: Taking taylor expansion of -1 in x 2.514 * [taylor]: Taking taylor expansion of x in x 2.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.514 * [taylor]: Taking taylor expansion of x in x 2.515 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x)))) in x 2.515 * [taylor]: Taking taylor expansion of (* x (+ (tan (/ -1 x)) (/ 1 x))) in x 2.515 * [taylor]: Taking taylor expansion of x in x 2.515 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.515 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.515 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.515 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.515 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.515 * [taylor]: Taking taylor expansion of -1 in x 2.515 * [taylor]: Taking taylor expansion of x in x 2.516 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.516 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.516 * [taylor]: Taking taylor expansion of -1 in x 2.516 * [taylor]: Taking taylor expansion of x in x 2.516 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.516 * [taylor]: Taking taylor expansion of x in x 2.518 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in x 2.518 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 2.518 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.518 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.518 * [taylor]: Taking taylor expansion of -1 in x 2.518 * [taylor]: Taking taylor expansion of x in x 2.518 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.518 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.518 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.518 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.518 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.518 * [taylor]: Taking taylor expansion of -1 in x 2.518 * [taylor]: Taking taylor expansion of x in x 2.519 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.519 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.519 * [taylor]: Taking taylor expansion of -1 in x 2.519 * [taylor]: Taking taylor expansion of x in x 2.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.519 * [taylor]: Taking taylor expansion of x in x 2.520 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x)))) in x 2.520 * [taylor]: Taking taylor expansion of (* x (+ (tan (/ -1 x)) (/ 1 x))) in x 2.520 * [taylor]: Taking taylor expansion of x in x 2.520 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.520 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.520 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.520 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.520 * [taylor]: Taking taylor expansion of -1 in x 2.520 * [taylor]: Taking taylor expansion of x in x 2.520 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.520 * [taylor]: Taking taylor expansion of -1 in x 2.521 * [taylor]: Taking taylor expansion of x in x 2.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.521 * [taylor]: Taking taylor expansion of x in x 2.530 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 2.530 * [approximate]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in (x) around 0 2.530 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x 2.530 * [taylor]: Taking taylor expansion of (sin x) in x 2.530 * [taylor]: Taking taylor expansion of x in x 2.530 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.530 * [taylor]: Taking taylor expansion of x in x 2.530 * [taylor]: Taking taylor expansion of (tan x) in x 2.530 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.530 * [taylor]: Taking taylor expansion of (sin x) in x 2.530 * [taylor]: Taking taylor expansion of x in x 2.530 * [taylor]: Taking taylor expansion of (cos x) in x 2.530 * [taylor]: Taking taylor expansion of x in x 2.537 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x 2.537 * [taylor]: Taking taylor expansion of (sin x) in x 2.537 * [taylor]: Taking taylor expansion of x in x 2.537 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.537 * [taylor]: Taking taylor expansion of x in x 2.537 * [taylor]: Taking taylor expansion of (tan x) in x 2.537 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.537 * [taylor]: Taking taylor expansion of (sin x) in x 2.537 * [taylor]: Taking taylor expansion of x in x 2.537 * [taylor]: Taking taylor expansion of (cos x) in x 2.537 * [taylor]: Taking taylor expansion of x in x 2.575 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 2.575 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x 2.575 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.575 * [taylor]: Taking taylor expansion of x in x 2.575 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.575 * [taylor]: Taking taylor expansion of x in x 2.575 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.576 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.576 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.576 * [taylor]: Taking taylor expansion of x in x 2.576 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.576 * [taylor]: Taking taylor expansion of x in x 2.577 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x 2.577 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.577 * [taylor]: Taking taylor expansion of x in x 2.577 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.577 * [taylor]: Taking taylor expansion of x in x 2.577 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.577 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.577 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.577 * [taylor]: Taking taylor expansion of x in x 2.578 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.578 * [taylor]: Taking taylor expansion of x in x 2.583 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in (x) around 0 2.583 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in x 2.583 * [taylor]: Taking taylor expansion of -1 in x 2.583 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 2.583 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.583 * [taylor]: Taking taylor expansion of -1 in x 2.583 * [taylor]: Taking taylor expansion of x in x 2.583 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.583 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.583 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.583 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.583 * [taylor]: Taking taylor expansion of -1 in x 2.583 * [taylor]: Taking taylor expansion of x in x 2.584 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.584 * [taylor]: Taking taylor expansion of -1 in x 2.584 * [taylor]: Taking taylor expansion of x in x 2.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.584 * [taylor]: Taking taylor expansion of x in x 2.585 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in x 2.585 * [taylor]: Taking taylor expansion of -1 in x 2.585 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 2.585 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.585 * [taylor]: Taking taylor expansion of -1 in x 2.585 * [taylor]: Taking taylor expansion of x in x 2.585 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.585 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.585 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.585 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.585 * [taylor]: Taking taylor expansion of -1 in x 2.585 * [taylor]: Taking taylor expansion of x in x 2.586 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.586 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.586 * [taylor]: Taking taylor expansion of -1 in x 2.586 * [taylor]: Taking taylor expansion of x in x 2.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.586 * [taylor]: Taking taylor expansion of x in x 2.591 * * * [progress]: simplifying candidates 2.593 * [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)))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (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)))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (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)))))) (- (/ (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))))) (- (/ (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)))) (- (sin x)) (- (- 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)))) (- (+ (* 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 (+ (* 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))))) 2.598 * * [simplify]: iteration 0 : 177 enodes (cost 1565 ) 2.630 * * [simplify]: iteration 1 : 377 enodes (cost 1511 ) 2.719 * * [simplify]: iteration 2 : 1015 enodes (cost 1449 ) 3.259 * * [simplify]: iteration 3 : 3615 enodes (cost 1445 ) 4.094 * * [simplify]: iteration done : 5001 enodes (cost 1444 ) 4.094 * [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) (+ x (tan x))) (* x x)) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (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) (+ x (tan x))) (* x x)) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (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)) (+ (* (/ x (- x (tan x))) (/ x (- x (tan x)))) (* (/ (sin x) (- x (tan x))) (+ (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))))) (- (/ (sin x) (- x (tan x)))) (- (* (/ x (- x (tan x))) (/ x (- x (tan x)))) (/ (pow (sin x) 2) (* (- x (tan 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))))) (- (/ (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)))) (- (sin x)) (- (tan x) 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)))) (- (* (pow x 7) -17/315) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (* (pow x 7) -17/315) (+ (* 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 (* x x)) (* 307/1400 (pow x 2)))) (+ (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (+ (/ (sin x) x) (/ (pow (/ (sin x) x) 3) (pow (cos x) 2)))) (+ (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (+ (/ (sin x) x) (/ (pow (/ (sin x) x) 3) (pow (cos x) 2)))) 4.095 * * * [progress]: adding candidates to table 4.348 * * [progress]: iteration 3 / 4 4.348 * * * [progress]: picking best candidate 4.356 * * * * [pick]: Picked # 4.356 * * * [progress]: localizing error 4.379 * * * [progress]: generating rewritten candidates 4.379 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 4.387 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 4.393 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 4.395 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 4.401 * * * [progress]: generating series expansions 4.401 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 4.401 * [approximate]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) in (x) around 0 4.401 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) in x 4.401 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 4.401 * [taylor]: Taking taylor expansion of (sin x) in x 4.401 * [taylor]: Taking taylor expansion of x in x 4.402 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cos x) 2)) in x 4.402 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.402 * [taylor]: Taking taylor expansion of x in x 4.402 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 4.402 * [taylor]: Taking taylor expansion of (cos x) in x 4.402 * [taylor]: Taking taylor expansion of x in x 4.403 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) in x 4.403 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 4.403 * [taylor]: Taking taylor expansion of (sin x) in x 4.403 * [taylor]: Taking taylor expansion of x in x 4.404 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cos x) 2)) in x 4.404 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.404 * [taylor]: Taking taylor expansion of x in x 4.404 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 4.404 * [taylor]: Taking taylor expansion of (cos x) in x 4.404 * [taylor]: Taking taylor expansion of x in x 4.429 * [approximate]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (pow (cos (/ 1 x)) 2)) in (x) around 0 4.429 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (pow (cos (/ 1 x)) 2)) in x 4.429 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin (/ 1 x)) 2)) in x 4.429 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.429 * [taylor]: Taking taylor expansion of x in x 4.429 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 4.429 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.429 * [taylor]: Taking taylor expansion of x in x 4.429 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 4.429 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.429 * [taylor]: Taking taylor expansion of x in x 4.430 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (pow (cos (/ 1 x)) 2)) in x 4.430 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin (/ 1 x)) 2)) in x 4.430 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.430 * [taylor]: Taking taylor expansion of x in x 4.430 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 4.430 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.430 * [taylor]: Taking taylor expansion of x in x 4.431 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 4.431 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.431 * [taylor]: Taking taylor expansion of x in x 4.453 * [approximate]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (pow (cos (/ -1 x)) 2)) in (x) around 0 4.454 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (pow (cos (/ -1 x)) 2)) in x 4.454 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 2) (pow x 2)) in x 4.454 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 4.454 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.454 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.454 * [taylor]: Taking taylor expansion of -1 in x 4.454 * [taylor]: Taking taylor expansion of x in x 4.454 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.454 * [taylor]: Taking taylor expansion of x in x 4.454 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 4.454 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.454 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.454 * [taylor]: Taking taylor expansion of -1 in x 4.454 * [taylor]: Taking taylor expansion of x in x 4.455 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (pow (cos (/ -1 x)) 2)) in x 4.455 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 2) (pow x 2)) in x 4.455 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 4.455 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.455 * [taylor]: Taking taylor expansion of -1 in x 4.455 * [taylor]: Taking taylor expansion of x in x 4.456 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.456 * [taylor]: Taking taylor expansion of x in x 4.456 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 4.456 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.456 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.456 * [taylor]: Taking taylor expansion of -1 in x 4.456 * [taylor]: Taking taylor expansion of x in x 4.475 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 4.476 * [approximate]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (cos x))) in (x) around 0 4.476 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (cos x))) in x 4.476 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 4.476 * [taylor]: Taking taylor expansion of (sin x) in x 4.476 * [taylor]: Taking taylor expansion of x in x 4.476 * [taylor]: Taking taylor expansion of (* (pow x 2) (cos x)) in x 4.476 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.476 * [taylor]: Taking taylor expansion of x in x 4.476 * [taylor]: Taking taylor expansion of (cos x) in x 4.476 * [taylor]: Taking taylor expansion of x in x 4.477 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (cos x))) in x 4.477 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 4.477 * [taylor]: Taking taylor expansion of (sin x) in x 4.477 * [taylor]: Taking taylor expansion of x in x 4.478 * [taylor]: Taking taylor expansion of (* (pow x 2) (cos x)) in x 4.478 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.478 * [taylor]: Taking taylor expansion of x in x 4.478 * [taylor]: Taking taylor expansion of (cos x) in x 4.478 * [taylor]: Taking taylor expansion of x in x 4.496 * [approximate]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (cos (/ 1 x))) in (x) around 0 4.496 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (cos (/ 1 x))) in x 4.496 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin (/ 1 x)) 2)) in x 4.496 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.496 * [taylor]: Taking taylor expansion of x in x 4.496 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 4.496 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.496 * [taylor]: Taking taylor expansion of x in x 4.496 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.496 * [taylor]: Taking taylor expansion of x in x 4.497 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (cos (/ 1 x))) in x 4.497 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin (/ 1 x)) 2)) in x 4.497 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.497 * [taylor]: Taking taylor expansion of x in x 4.497 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 4.497 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.497 * [taylor]: Taking taylor expansion of x in x 4.497 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.497 * [taylor]: Taking taylor expansion of x in x 4.518 * [approximate]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (cos (/ -1 x))) in (x) around 0 4.518 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (cos (/ -1 x))) in x 4.518 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 2) (pow x 2)) in x 4.518 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 4.518 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.518 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.518 * [taylor]: Taking taylor expansion of -1 in x 4.518 * [taylor]: Taking taylor expansion of x in x 4.519 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.519 * [taylor]: Taking taylor expansion of x in x 4.519 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.519 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.519 * [taylor]: Taking taylor expansion of -1 in x 4.519 * [taylor]: Taking taylor expansion of x in x 4.520 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (cos (/ -1 x))) in x 4.520 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 2) (pow x 2)) in x 4.520 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 4.520 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.520 * [taylor]: Taking taylor expansion of -1 in x 4.520 * [taylor]: Taking taylor expansion of x in x 4.520 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.520 * [taylor]: Taking taylor expansion of x in x 4.520 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.520 * [taylor]: Taking taylor expansion of -1 in x 4.520 * [taylor]: Taking taylor expansion of x in x 4.535 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 4.535 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0 4.535 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 4.535 * [taylor]: Taking taylor expansion of (sin x) in x 4.535 * [taylor]: Taking taylor expansion of x in x 4.535 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 4.535 * [taylor]: Taking taylor expansion of (sin x) in x 4.535 * [taylor]: Taking taylor expansion of x in x 4.543 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0 4.543 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 4.543 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.543 * [taylor]: Taking taylor expansion of x in x 4.543 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 4.543 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.543 * [taylor]: Taking taylor expansion of x in x 4.548 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0 4.548 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 4.548 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.548 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.548 * [taylor]: Taking taylor expansion of -1 in x 4.548 * [taylor]: Taking taylor expansion of x in x 4.548 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 4.548 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.548 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.548 * [taylor]: Taking taylor expansion of -1 in x 4.548 * [taylor]: Taking taylor expansion of x in x 4.553 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 4.553 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0 4.553 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 4.553 * [taylor]: Taking taylor expansion of (sin x) in x 4.553 * [taylor]: Taking taylor expansion of x in x 4.554 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 4.554 * [taylor]: Taking taylor expansion of (sin x) in x 4.554 * [taylor]: Taking taylor expansion of x in x 4.561 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0 4.561 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 4.561 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.561 * [taylor]: Taking taylor expansion of x in x 4.562 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 4.562 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 4.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.562 * [taylor]: Taking taylor expansion of x in x 4.566 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0 4.567 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 4.567 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.567 * [taylor]: Taking taylor expansion of -1 in x 4.567 * [taylor]: Taking taylor expansion of x in x 4.567 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 4.567 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 4.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.567 * [taylor]: Taking taylor expansion of -1 in x 4.567 * [taylor]: Taking taylor expansion of x in x 4.572 * * * [progress]: simplifying candidates 4.574 * [simplify]: Simplifying using # : (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (log (* (pow x 2) (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (log (* (pow x 2) (pow (cos x) 2)))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (log (pow (sin x) 2)) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (log (pow x 2)) (log (pow (cos x) 2)))) (- (log (pow (sin x) 2)) (log (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (exp (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (pow (cos x) 2) (pow (cos x) 2)) (pow (cos x) 2)))) (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (* (pow x 2) (pow (cos x) 2)) (* (pow x 2) (pow (cos x) 2))) (* (pow x 2) (pow (cos x) 2)))) (* (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (* (* (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (- (pow (sin x) 2)) (- (* (pow x 2) (pow (cos x) 2))) (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow x 2)) (/ (pow (cbrt (sin x)) 2) (pow (cos x) 2)) (/ (pow (sqrt (sin x)) 2) (pow x 2)) (/ (pow (sqrt (sin x)) 2) (pow (cos x) 2)) (/ (pow 1 2) (pow x 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (sin x) (pow x 2)) (/ (sin x) (pow (cos x) 2)) (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow x 2)) (/ (cbrt (pow (sin x) 2)) (pow (cos x) 2)) (/ (sqrt (pow (sin x) 2)) (pow x 2)) (/ (sqrt (pow (sin x) 2)) (pow (cos x) 2)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) (/ 2 2)) (pow x 2)) (/ (pow (sin x) (/ 2 2)) (pow (cos x) 2)) (/ 1 (* (pow x 2) (pow (cos x) 2))) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (pow (sin x) 2) (pow x 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (cbrt (sin x)) 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sqrt (sin x)) 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (* (pow x 2) (pow (cos x) 2)) (sin x)) (/ (* (pow x 2) (pow (cos x) 2)) (cbrt (pow (sin x) 2))) (/ (* (pow x 2) (pow (cos x) 2)) (sqrt (pow (sin x) 2))) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) (/ 2 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (cos x)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (cos x)))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (log (cos x)))) (- (* (log (sin x)) 2) (log (* (pow x 2) (cos x)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (cos x)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (cos x)))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (log (cos x)))) (- (* (log (sin x)) 2) (log (* (pow x 2) (cos x)))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (log (cos x)))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (log (cos x)))) (- (log (pow (sin x) 2)) (+ (log (pow x 2)) (log (cos x)))) (- (log (pow (sin x) 2)) (log (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (exp (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (cos x) (cos x)) (cos x)))) (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (* (pow x 2) (cos x)) (* (pow x 2) (cos x))) (* (pow x 2) (cos x)))) (* (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (* (* (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (- (pow (sin x) 2)) (- (* (pow x 2) (cos x))) (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow x 2)) (/ (pow (cbrt (sin x)) 2) (cos x)) (/ (pow (sqrt (sin x)) 2) (pow x 2)) (/ (pow (sqrt (sin x)) 2) (cos x)) (/ (pow 1 2) (pow x 2)) (/ (pow (sin x) 2) (cos x)) (/ (sin x) (pow x 2)) (/ (sin x) (cos x)) (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow x 2)) (/ (cbrt (pow (sin x) 2)) (cos x)) (/ (sqrt (pow (sin x) 2)) (pow x 2)) (/ (sqrt (pow (sin x) 2)) (cos x)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (cos x)) (/ (pow (sin x) (/ 2 2)) (pow x 2)) (/ (pow (sin x) (/ 2 2)) (cos x)) (/ 1 (* (pow x 2) (cos x))) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (pow (sin x) 2) (pow x 2)) (/ (* (pow x 2) (cos x)) (pow (cbrt (sin x)) 2)) (/ (* (pow x 2) (cos x)) (pow (sqrt (sin x)) 2)) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (* (pow x 2) (cos x)) (sin x)) (/ (* (pow x 2) (cos x)) (cbrt (pow (sin x) 2))) (/ (* (pow x 2) (cos x)) (sqrt (pow (sin x) 2))) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (* (pow x 2) (cos x)) (pow (sin x) (/ 2 2))) (* (log (sin x)) 2) (* (log (sin x)) 2) (* 1 2) (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (pow (sin x) 1) (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow (cbrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow 1 2) (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (pow (sin x) (/ 2 2)) (pow (sin x) (/ 2 2)) (* (log (sin x)) 2) (* (log (sin x)) 2) (* 1 2) (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (pow (sin x) 1) (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow (cbrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow 1 2) (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (pow (sin x) (/ 2 2)) (pow (sin x) (/ 2 2)) (+ (* 2/3 (pow x 2)) (+ (* 17/45 (pow x 4)) 1)) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (+ (* 1/6 (pow x 2)) (+ (* 31/360 (pow x 4)) 1)) (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4))) (pow (sin x) 2) (pow (sin x) 2) (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4))) (pow (sin x) 2) (pow (sin x) 2) 4.578 * * [simplify]: iteration 0 : 161 enodes (cost 1988 ) 4.617 * * [simplify]: iteration 1 : 373 enodes (cost 1788 ) 4.770 * * [simplify]: iteration 2 : 1381 enodes (cost 1628 ) 5.576 * * [simplify]: iteration done : 5001 enodes (cost 1628 ) 5.577 * [simplify]: Simplified to: (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (exp (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (pow (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 3) (pow (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 3) (* (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (pow (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 3) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (- (pow (sin x) 2)) (- (* (pow x 2) (pow (cos x) 2))) (/ (pow (cbrt (sin x)) 4) (pow x 2)) (/ (pow (cbrt (sin x)) 2) (pow (cos x) 2)) (/ (sin x) (pow x 2)) (/ (sin x) (pow (cos x) 2)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (sin x) (pow x 2)) (/ (sin x) (pow (cos x) 2)) (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow x 2)) (/ (cbrt (pow (sin x) 2)) (pow (cos x) 2)) (/ (fabs (sin x)) (pow x 2)) (/ (fabs (sin x)) (pow (cos x) 2)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (sin x) (pow x 2)) (/ (sin x) (pow (cos x) 2)) (/ 1 (* (pow x 2) (pow (cos x) 2))) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (pow (sin x) 2) (pow x 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (cbrt (sin x)) 2)) (/ (pow (cos x) 2) (/ (sin x) (pow x 2))) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (pow (cos x) 2) (/ (sin x) (pow x 2))) (/ (* (pow x 2) (pow (cos x) 2)) (cbrt (pow (sin x) 2))) (/ (* (pow (cos x) 2) (pow x 2)) (fabs (sin x))) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (pow (cos x) 2) (/ (sin x) (pow x 2))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (exp (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (pow (/ (pow (sin x) 2) (* (pow x 2) (cos x))) 3) (pow (/ (pow (sin x) 2) (* (pow x 2) (cos x))) 3) (* (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (pow (/ (pow (sin x) 2) (* (pow x 2) (cos x))) 3) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (- (pow (sin x) 2)) (- (* (pow x 2) (cos x))) (/ (pow (cbrt (sin x)) 4) (pow x 2)) (/ (pow (cbrt (sin x)) 2) (cos x)) (/ (sin x) (pow x 2)) (/ (sin x) (cos x)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (cos x)) (/ (sin x) (pow x 2)) (/ (sin x) (cos x)) (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow x 2)) (/ (cbrt (pow (sin x) 2)) (cos x)) (/ (fabs (sin x)) (pow x 2)) (/ (fabs (sin x)) (cos x)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (cos x)) (/ (sin x) (pow x 2)) (/ (sin x) (cos x)) (/ 1 (* (pow x 2) (cos x))) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (pow (sin x) 2) (pow x 2)) (/ (* (pow x 2) (cos x)) (pow (cbrt (sin x)) 2)) (/ (pow x 2) (/ (sin x) (cos x))) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (pow x 2) (/ (sin x) (cos x))) (/ (* (pow x 2) (cos x)) (cbrt (pow (sin x) 2))) (/ (pow x 2) (/ (fabs (sin x)) (cos x))) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (pow x 2) (/ (sin x) (cos x))) (log (pow (sin x) 2)) (log (pow (sin x) 2)) 2 (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (sin x) (pow (cbrt (sin x)) 4) (pow (cbrt (sin x)) 2) (sin x) (sin x) 1 (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (pow (pow (sin x) 2) 3) (fabs (sin x)) (fabs (sin x)) (sin x) (sin x) (log (pow (sin x) 2)) (log (pow (sin x) 2)) 2 (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (sin x) (pow (cbrt (sin x)) 4) (pow (cbrt (sin x)) 2) (sin x) (sin x) 1 (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (pow (pow (sin x) 2) 3) (fabs (sin x)) (fabs (sin x)) (sin x) (sin x) (+ (* 2/3 (pow x 2)) (+ (* 17/45 (pow x 4)) 1)) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (+ (* 1/6 (pow x 2)) (+ (* 31/360 (pow x 4)) 1)) (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4))) (pow (sin x) 2) (pow (sin x) 2) (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4))) (pow (sin x) 2) (pow (sin x) 2) 5.578 * * * [progress]: adding candidates to table 5.945 * * [progress]: iteration 4 / 4 5.945 * * * [progress]: picking best candidate 5.950 * * * * [pick]: Picked # 5.950 * * * [progress]: localizing error 5.963 * * * [progress]: generating rewritten candidates 5.963 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 5.965 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 5.968 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 5.971 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 5.974 * * * [progress]: generating series expansions 5.975 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 5.975 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 5.975 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 5.975 * [taylor]: Taking taylor expansion of x in x 5.975 * [taylor]: Taking taylor expansion of (tan x) in x 5.975 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 5.975 * [taylor]: Taking taylor expansion of (sin x) in x 5.975 * [taylor]: Taking taylor expansion of x in x 5.975 * [taylor]: Taking taylor expansion of (cos x) in x 5.975 * [taylor]: Taking taylor expansion of x in x 5.976 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 5.976 * [taylor]: Taking taylor expansion of x in x 5.976 * [taylor]: Taking taylor expansion of (tan x) in x 5.976 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 5.976 * [taylor]: Taking taylor expansion of (sin x) in x 5.976 * [taylor]: Taking taylor expansion of x in x 5.976 * [taylor]: Taking taylor expansion of (cos x) in x 5.976 * [taylor]: Taking taylor expansion of x in x 6.003 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 6.003 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 6.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.003 * [taylor]: Taking taylor expansion of x in x 6.003 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.003 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.003 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.003 * [taylor]: Taking taylor expansion of x in x 6.004 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.004 * [taylor]: Taking taylor expansion of x in x 6.004 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 6.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.004 * [taylor]: Taking taylor expansion of x in x 6.004 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 6.004 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 6.004 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.004 * [taylor]: Taking taylor expansion of x in x 6.005 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 6.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.005 * [taylor]: Taking taylor expansion of x in x 6.014 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 6.014 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 6.014 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 6.014 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.014 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.014 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.014 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.014 * [taylor]: Taking taylor expansion of -1 in x 6.014 * [taylor]: Taking taylor expansion of x in x 6.014 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.014 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.014 * [taylor]: Taking taylor expansion of -1 in x 6.014 * [taylor]: Taking taylor expansion of x in x 6.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.015 * [taylor]: Taking taylor expansion of x in x 6.015 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 6.015 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 6.015 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 6.015 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 6.015 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.015 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.015 * [taylor]: Taking taylor expansion of -1 in x 6.015 * [taylor]: Taking taylor expansion of x in x 6.016 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 6.016 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.016 * [taylor]: Taking taylor expansion of -1 in x 6.016 * [taylor]: Taking taylor expansion of x in x 6.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.016 * [taylor]: Taking taylor expansion of x in x 6.030 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 6.030 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 6.030 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 6.030 * [taylor]: Taking taylor expansion of x in x 6.030 * [taylor]: Taking taylor expansion of (sin x) in x 6.030 * [taylor]: Taking taylor expansion of x in x 6.030 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 6.030 * [taylor]: Taking taylor expansion of x in x 6.030 * [taylor]: Taking taylor expansion of (sin x) in x 6.030 * [taylor]: Taking taylor expansion of x in x 6.045 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 6.045 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 6.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.045 * [taylor]: Taking taylor expansion of x in x 6.045 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.045 * [taylor]: Taking taylor expansion of x in x 6.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 6.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.046 * [taylor]: Taking taylor expansion of x in x 6.046 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.046 * [taylor]: Taking taylor expansion of x in x 6.053 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 6.053 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 6.053 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 6.053 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.053 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.053 * [taylor]: Taking taylor expansion of -1 in x 6.053 * [taylor]: Taking taylor expansion of x in x 6.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.054 * [taylor]: Taking taylor expansion of x in x 6.054 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 6.054 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 6.054 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.054 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.054 * [taylor]: Taking taylor expansion of -1 in x 6.054 * [taylor]: Taking taylor expansion of x in x 6.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.054 * [taylor]: Taking taylor expansion of x in x 6.062 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 6.062 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 6.062 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 6.062 * [taylor]: Taking taylor expansion of x in x 6.062 * [taylor]: Taking taylor expansion of (sin x) in x 6.062 * [taylor]: Taking taylor expansion of x in x 6.062 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 6.062 * [taylor]: Taking taylor expansion of x in x 6.062 * [taylor]: Taking taylor expansion of (sin x) in x 6.062 * [taylor]: Taking taylor expansion of x in x 6.076 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 6.076 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 6.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.077 * [taylor]: Taking taylor expansion of x in x 6.077 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.077 * [taylor]: Taking taylor expansion of x in x 6.077 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 6.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.077 * [taylor]: Taking taylor expansion of x in x 6.077 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.077 * [taylor]: Taking taylor expansion of x in x 6.085 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 6.085 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 6.085 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 6.085 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.085 * [taylor]: Taking taylor expansion of -1 in x 6.085 * [taylor]: Taking taylor expansion of x in x 6.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.085 * [taylor]: Taking taylor expansion of x in x 6.085 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 6.086 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 6.086 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.086 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.086 * [taylor]: Taking taylor expansion of -1 in x 6.086 * [taylor]: Taking taylor expansion of x in x 6.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.086 * [taylor]: Taking taylor expansion of x in x 6.093 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 6.093 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 6.093 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 6.093 * [taylor]: Taking taylor expansion of x in x 6.093 * [taylor]: Taking taylor expansion of (sin x) in x 6.093 * [taylor]: Taking taylor expansion of x in x 6.093 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 6.093 * [taylor]: Taking taylor expansion of x in x 6.093 * [taylor]: Taking taylor expansion of (sin x) in x 6.094 * [taylor]: Taking taylor expansion of x in x 6.113 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 6.113 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 6.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.113 * [taylor]: Taking taylor expansion of x in x 6.113 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.113 * [taylor]: Taking taylor expansion of x in x 6.114 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 6.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.114 * [taylor]: Taking taylor expansion of x in x 6.114 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 6.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.114 * [taylor]: Taking taylor expansion of x in x 6.121 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 6.121 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 6.121 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 6.121 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.121 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.121 * [taylor]: Taking taylor expansion of -1 in x 6.121 * [taylor]: Taking taylor expansion of x in x 6.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.122 * [taylor]: Taking taylor expansion of x in x 6.122 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 6.122 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 6.122 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 6.122 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.122 * [taylor]: Taking taylor expansion of -1 in x 6.122 * [taylor]: Taking taylor expansion of x in x 6.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.122 * [taylor]: Taking taylor expansion of x in x 6.130 * * * [progress]: simplifying candidates 6.131 * [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)))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (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)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin 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)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin 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)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin 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)) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) 6.133 * * [simplify]: iteration 0 : 76 enodes (cost 559 ) 6.145 * * [simplify]: iteration 1 : 153 enodes (cost 543 ) 6.175 * * [simplify]: iteration 2 : 344 enodes (cost 510 ) 6.238 * * [simplify]: iteration 3 : 657 enodes (cost 510 ) 6.402 * * [simplify]: iteration 4 : 1507 enodes (cost 510 ) 7.027 * * [simplify]: iteration 5 : 4292 enodes (cost 510 ) 8.201 * * [simplify]: iteration done : 5000 enodes (cost 510 ) 8.201 * [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) (+ x (tan x))) (* x x)) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (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)) (+ (* x x) (* (sin x) (+ x (sin x)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin 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)) (+ (* x x) (* (sin x) (+ x (sin x)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin 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)) (+ (* x x) (* (sin x) (+ x (sin x)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (- (* (pow x 7) -17/315) (+ (* 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)) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) 8.201 * * * [progress]: adding candidates to table 8.389 * [progress]: [Phase 3 of 3] Extracting. 8.390 * * [regime]: Finding splitpoints for: (# # # #) 8.391 * * * [regime-changes]: Trying 1 branch expressions: (x) 8.392 * * * * [regimes]: Trying to branch on x from (# # # #) 8.425 * * * [regime]: Found split indices: #