0.841 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.467 * * * [progress]: [2/2] Setting up program. 0.471 * [progress]: [Phase 2 of 3] Improving. 0.473 * [simplify]: Simplifying using # : (/ (- x (sin x)) (- x (tan x))) 0.476 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 0.480 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.482 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 0.484 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 0.486 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.486 * [simplify]: Simplified to: (/ (- x (sin x)) (- x (tan x))) 0.487 * * [progress]: iteration 1 / 4 0.487 * * * [progress]: picking best candidate 0.489 * * * * [pick]: Picked # 0.490 * * * [progress]: localizing error 0.500 * * * [progress]: generating rewritten candidates 0.500 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.518 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.521 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.537 * * * [progress]: generating series expansions 0.537 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.540 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 0.541 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.541 * [taylor]: Taking taylor expansion of (tan x) in x 0.542 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.542 * [taylor]: Taking taylor expansion of (sin x) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.542 * [taylor]: Taking taylor expansion of (cos x) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (tan x) in x 0.544 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.544 * [taylor]: Taking taylor expansion of (sin x) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (cos x) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.574 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 0.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.575 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.575 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.575 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.575 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.576 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.576 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.586 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.586 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.586 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.586 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.586 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.586 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.586 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.586 * [taylor]: Taking taylor expansion of -1 in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.587 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.587 * [taylor]: Taking taylor expansion of -1 in x 0.587 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.587 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.587 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.588 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.588 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.588 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.588 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.588 * [taylor]: Taking taylor expansion of -1 in x 0.588 * [taylor]: Taking taylor expansion of x in x 0.588 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.588 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.588 * [taylor]: Taking taylor expansion of -1 in x 0.588 * [taylor]: Taking taylor expansion of x in x 0.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.588 * [taylor]: Taking taylor expansion of x in x 0.598 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.598 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 0.598 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.598 * [taylor]: Taking taylor expansion of x in x 0.598 * [taylor]: Taking taylor expansion of (sin x) in x 0.598 * [taylor]: Taking taylor expansion of x in x 0.598 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.598 * [taylor]: Taking taylor expansion of x in x 0.598 * [taylor]: Taking taylor expansion of (sin x) in x 0.598 * [taylor]: Taking taylor expansion of x in x 0.618 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 0.618 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.620 * [taylor]: Taking taylor expansion of x in x 0.627 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 0.627 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.627 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.627 * [taylor]: Taking taylor expansion of -1 in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.627 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.627 * [taylor]: Taking taylor expansion of -1 in x 0.628 * [taylor]: Taking taylor expansion of 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.635 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.635 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 0.635 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.635 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (sin x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (tan x) in x 0.635 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.635 * [taylor]: Taking taylor expansion of (sin x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (cos x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.644 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.644 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of (sin x) in x 0.644 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.644 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of (tan x) in x 0.645 * [taylor]: Rewrote expression to (/ (sin x) (cos 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 (cos x) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.690 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 0.690 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.690 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.690 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.691 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.691 * [taylor]: Taking taylor expansion of x in x 0.691 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.691 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.691 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.691 * [taylor]: Taking taylor expansion of x in x 0.691 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.691 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.693 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.694 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.694 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.694 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.694 * [taylor]: Taking taylor expansion of x in x 0.694 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.694 * [taylor]: Taking taylor expansion of x in x 0.701 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.701 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.701 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 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 -1 in x 0.701 * [taylor]: Taking taylor expansion of 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 (+ (tan (/ -1 x)) (/ 1 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 -1 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.702 * [taylor]: Taking taylor expansion of -1 in x 0.702 * [taylor]: Taking taylor expansion of 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.703 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.703 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.703 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.703 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.703 * [taylor]: Taking taylor expansion of -1 in x 0.704 * [taylor]: Taking taylor expansion of 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 (+ (tan (/ -1 x)) (/ 1 x)) in x 0.704 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.704 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 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 -1 in x 0.704 * [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 -1 in x 0.705 * [taylor]: Taking taylor expansion of 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.711 * * * [progress]: simplifying candidates 0.712 * [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.717 * * [simplify]: iteration 0 : 157 enodes (cost 1237 ) 0.748 * * [simplify]: iteration 1 : 366 enodes (cost 1200 ) 0.868 * * [simplify]: iteration 2 : 959 enodes (cost 1147 ) 1.211 * * [simplify]: iteration 3 : 2670 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))) (- (* (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)) (- (* 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.158 * * [progress]: iteration 2 / 4 2.158 * * * [progress]: picking best candidate 2.163 * * * * [pick]: Picked # 2.163 * * * [progress]: localizing error 2.174 * * * [progress]: generating rewritten candidates 2.174 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.182 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.188 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 2.195 * * * [progress]: generating series expansions 2.195 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.196 * [approximate]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in (x) around 0 2.196 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x 2.196 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 2.196 * [taylor]: Taking taylor expansion of 9/40 in x 2.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.196 * [taylor]: Taking taylor expansion of x in x 2.196 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x 2.196 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 2.196 * [taylor]: Taking taylor expansion of 27/2800 in x 2.196 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.196 * [taylor]: Taking taylor expansion of x in x 2.196 * [taylor]: Taking taylor expansion of 1/2 in x 2.196 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x 2.196 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 2.196 * [taylor]: Taking taylor expansion of 9/40 in x 2.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.196 * [taylor]: Taking taylor expansion of x in x 2.196 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x 2.196 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 2.196 * [taylor]: Taking taylor expansion of 27/2800 in x 2.196 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.196 * [taylor]: Taking taylor expansion of x in x 2.196 * [taylor]: Taking taylor expansion of 1/2 in x 2.205 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0 2.205 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 2.205 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 2.205 * [taylor]: Taking taylor expansion of 9/40 in x 2.205 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.205 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.205 * [taylor]: Taking taylor expansion of x in x 2.205 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 2.205 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 2.205 * [taylor]: Taking taylor expansion of 27/2800 in x 2.205 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.205 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.205 * [taylor]: Taking taylor expansion of x in x 2.206 * [taylor]: Taking taylor expansion of 1/2 in x 2.206 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 2.206 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 2.206 * [taylor]: Taking taylor expansion of 9/40 in x 2.206 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.206 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.207 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 2.207 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 2.207 * [taylor]: Taking taylor expansion of 27/2800 in x 2.207 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.207 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.207 * [taylor]: Taking taylor expansion of x in x 2.208 * [taylor]: Taking taylor expansion of 1/2 in x 2.228 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0 2.228 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 2.228 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 2.228 * [taylor]: Taking taylor expansion of 9/40 in x 2.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.228 * [taylor]: Taking taylor expansion of x in x 2.229 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 2.229 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 2.229 * [taylor]: Taking taylor expansion of 27/2800 in x 2.229 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.229 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.229 * [taylor]: Taking taylor expansion of x in x 2.229 * [taylor]: Taking taylor expansion of 1/2 in x 2.229 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 2.230 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 2.230 * [taylor]: Taking taylor expansion of 9/40 in x 2.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.230 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.230 * [taylor]: Taking taylor expansion of x in x 2.230 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 2.230 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 2.230 * [taylor]: Taking taylor expansion of 27/2800 in x 2.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.230 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.230 * [taylor]: Taking taylor expansion of x in x 2.231 * [taylor]: Taking taylor expansion of 1/2 in x 2.246 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.246 * [approximate]: Taking taylor expansion of (* 9/40 (pow x 2)) in (x) around 0 2.246 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 2.246 * [taylor]: Taking taylor expansion of 9/40 in x 2.246 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 2.246 * [taylor]: Taking taylor expansion of 9/40 in x 2.246 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.254 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0 2.254 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 2.255 * [taylor]: Taking taylor expansion of 9/40 in x 2.255 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.255 * [taylor]: Taking taylor expansion of x in x 2.255 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 2.255 * [taylor]: Taking taylor expansion of 9/40 in x 2.255 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.255 * [taylor]: Taking taylor expansion of x in x 2.263 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0 2.263 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 2.263 * [taylor]: Taking taylor expansion of 9/40 in x 2.263 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.263 * [taylor]: Taking taylor expansion of x in x 2.263 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 2.263 * [taylor]: Taking taylor expansion of 9/40 in x 2.263 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.263 * [taylor]: Taking taylor expansion of x in x 2.271 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 2.271 * [approximate]: Taking taylor expansion of (* 27/2800 (pow x 4)) in (x) around 0 2.271 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 2.271 * [taylor]: Taking taylor expansion of 27/2800 in x 2.271 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.271 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 2.271 * [taylor]: Taking taylor expansion of 27/2800 in x 2.271 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.283 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0 2.283 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 2.283 * [taylor]: Taking taylor expansion of 27/2800 in x 2.283 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.283 * [taylor]: Taking taylor expansion of x in x 2.284 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 2.284 * [taylor]: Taking taylor expansion of 27/2800 in x 2.284 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.284 * [taylor]: Taking taylor expansion of x in x 2.295 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0 2.295 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 2.295 * [taylor]: Taking taylor expansion of 27/2800 in x 2.295 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.296 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 2.296 * [taylor]: Taking taylor expansion of 27/2800 in x 2.296 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.296 * [taylor]: Taking taylor expansion of x in x 2.312 * * * [progress]: simplifying candidates 2.313 * [simplify]: Simplifying using # : (/ (exp (* 9/40 (pow x 2))) (* (exp (* 27/2800 (pow x 4))) (exp 1/2))) (/ (exp (* 9/40 (pow x 2))) (exp (+ (* 27/2800 (pow x 4)) 1/2))) (log (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (* (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (* (* (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (- (pow (* 9/40 (pow x 2)) 3) (pow (+ (* 27/2800 (pow x 4)) 1/2) 3)) (+ (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (+ (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2)) (* (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))) (- (+ (* 27/2800 (pow x 4)) 1/2)) (- (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2))) (+ (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (* 27/2800 (pow x 4))) (- (+ (* 27/2800 (pow x 4)) 1/2)) (+ (log 9/40) (* (log x) 2)) (+ (log 9/40) (* (log x) 2)) (+ (log 9/40) (log (pow x 2))) (log (* 9/40 (pow x 2))) (exp (* 9/40 (pow x 2))) (* (* (* 9/40 9/40) 9/40) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2)))) (cbrt (* 9/40 (pow x 2))) (* (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (* (sqrt 9/40) (pow (sqrt x) 2)) (* (sqrt 9/40) (pow (sqrt x) 2)) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (sqrt 9/40) (sqrt (pow x 2))) (* (sqrt 9/40) (sqrt (pow x 2))) (* (sqrt 9/40) (pow x (/ 2 2))) (* (sqrt 9/40) (pow x (/ 2 2))) (* 9/40 (pow (* (cbrt x) (cbrt x)) 2)) (* 9/40 (pow (sqrt x) 2)) (* 9/40 (pow 1 2)) (* 9/40 x) (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 9/40 (sqrt (pow x 2))) (* 9/40 1) (* 9/40 (pow x (/ 2 2))) (* (cbrt 9/40) (pow x 2)) (* (sqrt 9/40) (pow x 2)) (* 9/40 (pow x 2)) (+ (log 27/2800) (* (log x) 4)) (+ (log 27/2800) (* (log x) 4)) (+ (log 27/2800) (log (pow x 4))) (log (* 27/2800 (pow x 4))) (exp (* 27/2800 (pow x 4))) (* (* (* 27/2800 27/2800) 27/2800) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 27/2800 (pow x 4))) (cbrt (* 27/2800 (pow x 4)))) (cbrt (* 27/2800 (pow x 4))) (* (* (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4))) (* 27/2800 (pow x 4))) (sqrt (* 27/2800 (pow x 4))) (sqrt (* 27/2800 (pow x 4))) (* (sqrt 27/2800) (pow (sqrt x) 4)) (* (sqrt 27/2800) (pow (sqrt x) 4)) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (pow x (/ 4 2))) (* (sqrt 27/2800) (pow x (/ 4 2))) (* 27/2800 (pow (* (cbrt x) (cbrt x)) 4)) (* 27/2800 (pow (sqrt x) 4)) (* 27/2800 (pow 1 4)) (* 27/2800 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 27/2800 (sqrt (pow x 4))) (* 27/2800 1) (* 27/2800 (pow x (/ 4 2))) (* (cbrt 27/2800) (pow x 4)) (* (sqrt 27/2800) (pow x 4)) (* 27/2800 (pow x 4)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) 2.316 * * [simplify]: iteration 0 : 121 enodes (cost 788 ) 2.352 * * [simplify]: iteration 1 : 279 enodes (cost 703 ) 2.443 * * [simplify]: iteration 2 : 796 enodes (cost 643 ) 2.694 * * [simplify]: iteration 3 : 2534 enodes (cost 637 ) 3.543 * * [simplify]: iteration done : 5001 enodes (cost 637 ) 3.544 * [simplify]: Simplified to: (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (log (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (* (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (pow (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) 3) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (- (* (pow x 6) 729/64000) (pow (+ (* 27/2800 (pow x 4)) 1/2) 3)) (+ (* 81/1600 (pow x 4)) (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))) (- (* -27/2800 (pow x 4)) 1/2) (- (* 81/1600 (pow x 4)) (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2))) (+ (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (* 27/2800 (pow x 4))) (- (* -27/2800 (pow x 4)) 1/2) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (exp (* 9/40 (pow x 2))) (* (pow x 6) 729/64000) (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2)))) (cbrt (* 9/40 (pow x 2))) (* (pow x 6) 729/64000) (sqrt (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (sqrt 9/40) (fabs x)) (* (sqrt 9/40) (fabs x)) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* 9/40 (pow (* (cbrt x) (cbrt x)) 2)) (* 9/40 x) 9/40 (* 9/40 x) (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* (fabs x) 9/40) 9/40 (* 9/40 x) (* (cbrt 9/40) (pow x 2)) (* (sqrt 9/40) (pow x 2)) (* 9/40 (pow x 2)) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (exp (* 27/2800 (pow x 4))) (pow (* 27/2800 (pow x 4)) 3) (* (cbrt (* 27/2800 (pow x 4))) (cbrt (* 27/2800 (pow x 4)))) (cbrt (* 27/2800 (pow x 4))) (pow (* 27/2800 (pow x 4)) 3) (sqrt (* 27/2800 (pow x 4))) (sqrt (* 27/2800 (pow x 4))) (* (sqrt 27/2800) (* x x)) (* (sqrt 27/2800) (* x x)) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (* x x)) (* (sqrt 27/2800) (* x x)) (* 27/2800 (pow (* (cbrt x) (cbrt x)) 4)) (* 27/2800 (* x x)) 27/2800 (* 27/2800 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 27/2800 (sqrt (pow x 4))) 27/2800 (* 27/2800 (* x x)) (* (cbrt 27/2800) (pow x 4)) (* (sqrt 27/2800) (pow x 4)) (* 27/2800 (pow x 4)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) 3.544 * * * [progress]: adding candidates to table 3.691 * * [progress]: iteration 3 / 4 3.691 * * * [progress]: picking best candidate 3.695 * * * * [pick]: Picked # 3.695 * * * [progress]: localizing error 3.710 * * * [progress]: generating rewritten candidates 3.710 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.713 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 3.716 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 3.722 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 3.724 * * * [progress]: generating series expansions 3.724 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.724 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 3.724 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 3.724 * [taylor]: Taking taylor expansion of x in x 3.724 * [taylor]: Taking taylor expansion of (sin x) in x 3.724 * [taylor]: Taking taylor expansion of x in x 3.724 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 3.724 * [taylor]: Taking taylor expansion of x in x 3.724 * [taylor]: Taking taylor expansion of (sin x) in x 3.724 * [taylor]: Taking taylor expansion of x in x 3.739 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 3.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 3.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.739 * [taylor]: Taking taylor expansion of x in x 3.739 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.739 * [taylor]: Taking taylor expansion of x in x 3.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 3.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.739 * [taylor]: Taking taylor expansion of x in x 3.740 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.740 * [taylor]: Taking taylor expansion of x in x 3.747 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 3.747 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 3.747 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 3.747 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.747 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.747 * [taylor]: Taking taylor expansion of -1 in x 3.747 * [taylor]: Taking taylor expansion of x in x 3.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.747 * [taylor]: Taking taylor expansion of x in x 3.748 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 3.748 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 3.748 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.748 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.748 * [taylor]: Taking taylor expansion of -1 in x 3.748 * [taylor]: Taking taylor expansion of x in x 3.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.748 * [taylor]: Taking taylor expansion of x in x 3.755 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 3.755 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 3.755 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 3.755 * [taylor]: Taking taylor expansion of x in x 3.755 * [taylor]: Taking taylor expansion of (sin x) in x 3.755 * [taylor]: Taking taylor expansion of x in x 3.755 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 3.755 * [taylor]: Taking taylor expansion of x in x 3.755 * [taylor]: Taking taylor expansion of (sin x) in x 3.755 * [taylor]: Taking taylor expansion of x in x 3.774 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 3.774 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 3.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.774 * [taylor]: Taking taylor expansion of x in x 3.774 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.774 * [taylor]: Taking taylor expansion of x in x 3.775 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 3.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.775 * [taylor]: Taking taylor expansion of x in x 3.775 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.775 * [taylor]: Taking taylor expansion of x in x 3.782 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 3.782 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 3.782 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 3.782 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.782 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.782 * [taylor]: Taking taylor expansion of -1 in x 3.782 * [taylor]: Taking taylor expansion of x in x 3.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.783 * [taylor]: Taking taylor expansion of x in x 3.783 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 3.783 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 3.783 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.783 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.783 * [taylor]: Taking taylor expansion of -1 in x 3.783 * [taylor]: Taking taylor expansion of x in x 3.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.783 * [taylor]: Taking taylor expansion of x in x 3.790 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 3.791 * [approximate]: Taking taylor expansion of (- (sqrt x) (sqrt (tan x))) in (x) around 0 3.791 * [taylor]: Taking taylor expansion of (- (sqrt x) (sqrt (tan x))) in x 3.791 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.791 * [taylor]: Taking taylor expansion of x in x 3.792 * [taylor]: Taking taylor expansion of (sqrt (tan x)) in x 3.792 * [taylor]: Taking taylor expansion of (tan x) in x 3.792 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.792 * [taylor]: Taking taylor expansion of (sin x) in x 3.792 * [taylor]: Taking taylor expansion of x in x 3.792 * [taylor]: Taking taylor expansion of (cos x) in x 3.792 * [taylor]: Taking taylor expansion of x in x 3.794 * [taylor]: Taking taylor expansion of (- (sqrt x) (sqrt (tan x))) in x 3.794 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.794 * [taylor]: Taking taylor expansion of x in x 3.795 * [taylor]: Taking taylor expansion of (sqrt (tan x)) in x 3.795 * [taylor]: Taking taylor expansion of (tan x) in x 3.795 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.795 * [taylor]: Taking taylor expansion of (sin x) in x 3.795 * [taylor]: Taking taylor expansion of x in x 3.795 * [taylor]: Taking taylor expansion of (cos x) in x 3.795 * [taylor]: Taking taylor expansion of x in x 3.813 * [approximate]: Taking taylor expansion of (- (sqrt (/ 1 x)) (sqrt (tan (/ 1 x)))) in (x) around 0 3.813 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 x)) (sqrt (tan (/ 1 x)))) in x 3.813 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.813 * [taylor]: Taking taylor expansion of x in x 3.814 * [taylor]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in x 3.814 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.814 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.814 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.814 * [taylor]: Taking taylor expansion of x in x 3.815 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.815 * [taylor]: Taking taylor expansion of x in x 3.815 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 x)) (sqrt (tan (/ 1 x)))) in x 3.815 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.815 * [taylor]: Taking taylor expansion of x in x 3.817 * [taylor]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in x 3.817 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.817 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.817 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.817 * [taylor]: Taking taylor expansion of x in x 3.817 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.817 * [taylor]: Taking taylor expansion of x in x 3.827 * [approximate]: Taking taylor expansion of (- (sqrt (/ -1 x)) (sqrt (tan (/ -1 x)))) in (x) around 0 3.827 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 x)) (sqrt (tan (/ -1 x)))) in x 3.827 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.827 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.827 * [taylor]: Taking taylor expansion of -1 in x 3.827 * [taylor]: Taking taylor expansion of x in x 3.829 * [taylor]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in x 3.829 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.829 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.829 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.829 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.829 * [taylor]: Taking taylor expansion of -1 in x 3.829 * [taylor]: Taking taylor expansion of x in x 3.829 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.829 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.829 * [taylor]: Taking taylor expansion of -1 in x 3.829 * [taylor]: Taking taylor expansion of x in x 3.830 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 x)) (sqrt (tan (/ -1 x)))) in x 3.830 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.830 * [taylor]: Taking taylor expansion of -1 in x 3.830 * [taylor]: Taking taylor expansion of x in x 3.831 * [taylor]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in x 3.831 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.831 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.831 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.831 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.831 * [taylor]: Taking taylor expansion of -1 in x 3.831 * [taylor]: Taking taylor expansion of x in x 3.832 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.832 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.832 * [taylor]: Taking taylor expansion of -1 in x 3.832 * [taylor]: Taking taylor expansion of x in x 3.841 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 3.841 * [approximate]: Taking taylor expansion of (sqrt (tan x)) in (x) around 0 3.841 * [taylor]: Taking taylor expansion of (sqrt (tan x)) in x 3.841 * [taylor]: Taking taylor expansion of (tan x) in x 3.841 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.841 * [taylor]: Taking taylor expansion of (sin x) in x 3.841 * [taylor]: Taking taylor expansion of x in x 3.841 * [taylor]: Taking taylor expansion of (cos x) in x 3.841 * [taylor]: Taking taylor expansion of x in x 3.843 * [taylor]: Taking taylor expansion of (sqrt (tan x)) in x 3.843 * [taylor]: Taking taylor expansion of (tan x) in x 3.843 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.843 * [taylor]: Taking taylor expansion of (sin x) in x 3.843 * [taylor]: Taking taylor expansion of x in x 3.843 * [taylor]: Taking taylor expansion of (cos x) in x 3.843 * [taylor]: Taking taylor expansion of x in x 3.857 * [approximate]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in (x) around 0 3.858 * [taylor]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in x 3.858 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.858 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.858 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.858 * [taylor]: Taking taylor expansion of x in x 3.858 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.858 * [taylor]: Taking taylor expansion of x in x 3.859 * [taylor]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in x 3.859 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.859 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.859 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.859 * [taylor]: Taking taylor expansion of x in x 3.859 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.859 * [taylor]: Taking taylor expansion of x in x 3.864 * [approximate]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in (x) around 0 3.865 * [taylor]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in x 3.865 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.865 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.865 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.865 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.865 * [taylor]: Taking taylor expansion of -1 in x 3.865 * [taylor]: Taking taylor expansion of x in x 3.865 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.865 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.865 * [taylor]: Taking taylor expansion of -1 in x 3.865 * [taylor]: Taking taylor expansion of x in x 3.866 * [taylor]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in x 3.866 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.866 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.866 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.866 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.866 * [taylor]: Taking taylor expansion of -1 in x 3.866 * [taylor]: Taking taylor expansion of x in x 3.866 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.866 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.866 * [taylor]: Taking taylor expansion of -1 in x 3.866 * [taylor]: Taking taylor expansion of x in x 3.872 * * * [progress]: simplifying candidates 3.873 * [simplify]: Simplifying using # : (/ (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 (sqrt x)) (exp (sqrt (tan x)))) (log (- (sqrt x) (sqrt (tan x)))) (exp (- (sqrt x) (sqrt (tan x)))) (* (cbrt (- (sqrt x) (sqrt (tan x)))) (cbrt (- (sqrt x) (sqrt (tan x))))) (cbrt (- (sqrt x) (sqrt (tan x)))) (* (* (- (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x)))) (- (sqrt x) (sqrt (tan x)))) (sqrt (- (sqrt x) (sqrt (tan x)))) (sqrt (- (sqrt x) (sqrt (tan x)))) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (* (sqrt x) (sqrt x)) (+ (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt x) (sqrt (tan x))))) (- (sqrt (tan x))) (- (* (sqrt x) (sqrt x)) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt x) (sqrt (tan x))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- (sqrt (tan x))) (log (sqrt (tan x))) (exp (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (cbrt (sqrt (tan x))) (* (* (sqrt (tan x)) (sqrt (tan x))) (sqrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))) (sqrt (cbrt (tan x))) (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))) (sqrt 1) (sqrt (tan x)) (sqrt (sin x)) (sqrt (cos x)) (/ 1 2) (sqrt (sqrt (tan x))) (sqrt (sqrt (tan 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)) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x)))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (sqrt (/ (sin x) (cos x))) (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (sqrt (/ (sin x) (cos x))) (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x)))))) (sqrt (/ (sin x) (cos x))) (sqrt (/ (sin x) (cos x))) 3.876 * * [simplify]: iteration 0 : 104 enodes (cost 657 ) 3.895 * * [simplify]: iteration 1 : 211 enodes (cost 611 ) 3.937 * * [simplify]: iteration 2 : 476 enodes (cost 571 ) 4.113 * * [simplify]: iteration 3 : 1099 enodes (cost 567 ) 4.479 * * [simplify]: iteration 4 : 2630 enodes (cost 562 ) 5.347 * * [simplify]: iteration done : 5000 enodes (cost 558 ) 5.348 * [simplify]: Simplified to: (exp (- x (sin x))) (log (- x (sin x))) (exp (- x (sin x))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (cbrt (- x (sin x))) (pow (- x (sin x)) 3) (sqrt (- x (sin x))) (sqrt (- x (sin x))) (- (pow x 3) (pow (sin x) 3)) (+ (* (sin x) (+ x (sin x))) (* x 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)) (+ (* (sin x) (+ x (sin x))) (* x 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 (- (sqrt x) (sqrt (tan x)))) (log (- (sqrt x) (sqrt (tan x)))) (exp (- (sqrt x) (sqrt (tan x)))) (* (cbrt (- (sqrt x) (sqrt (tan x)))) (cbrt (- (sqrt x) (sqrt (tan x))))) (cbrt (- (sqrt x) (sqrt (tan x)))) (pow (- (sqrt x) (sqrt (tan x))) 3) (sqrt (- (sqrt x) (sqrt (tan x)))) (sqrt (- (sqrt x) (sqrt (tan x)))) (- (pow x 3/2) (pow (sqrt (tan x)) 3)) (+ x (+ (tan x) (* (sqrt x) (sqrt (tan x))))) (- (sqrt (tan x))) (- x (tan x)) (+ (sqrt x) (sqrt (tan x))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- (sqrt (tan x))) (log (sqrt (tan x))) (exp (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (cbrt (sqrt (tan x))) (pow (sqrt (tan x)) 3) (fabs (cbrt (tan x))) (sqrt (cbrt (tan x))) (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))) 1 (sqrt (tan x)) (sqrt (sin x)) (sqrt (cos x)) 1/2 (sqrt (sqrt (tan x))) (sqrt (sqrt (tan 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)) (* (- (- (pow x 3) x) (* x x)) +nan.0) (- (- (/ (- +nan.0 (/ +nan.0 x)) x) (sqrt (/ (sin x) (cos x)))) +nan.0) (- (- (/ (- +nan.0 (/ +nan.0 x)) x) (sqrt (/ (sin x) (cos x)))) +nan.0) (* (- (- (pow x 3) x) (* x x)) +nan.0) (sqrt (/ (sin x) (cos x))) (sqrt (/ (sin x) (cos x))) 5.348 * * * [progress]: adding candidates to table 5.563 * [progress]: [Phase 3 of 3] Extracting. 5.564 * * [regime]: Finding splitpoints for: (# # #) 5.565 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- x (sin x)) (- x (tan x))) x) 5.565 * * * * [regimes]: Trying to branch on (/ (- x (sin x)) (- x (tan x))) from (# # #) 5.587 * * * * [regimes]: Trying to branch on x from (# # #) 5.613 * * * [regime]: Found split indices: #