0.893 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.467 * * * [progress]: [2/2] Setting up program. 0.471 * [progress]: [Phase 2 of 3] Improving. 0.474 * [simplify]: Simplifying using # : (/ (- x (sin x)) (- x (tan x))) 0.477 * * [simplify]: iteration 0 : 13 enodes (cost 5 ) 0.478 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 0.480 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 0.481 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 0.481 * [simplify]: Simplified to: (/ (- x (sin x)) (- x (tan x))) 0.483 * * [progress]: iteration 1 / 4 0.483 * * * [progress]: picking best candidate 0.485 * * * * [pick]: Picked # 0.485 * * * [progress]: localizing error 0.496 * * * [progress]: generating rewritten candidates 0.496 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.501 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.504 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.530 * * * [progress]: generating series expansions 0.530 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.534 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 0.534 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.534 * [taylor]: Taking taylor expansion of (sin x) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.535 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.535 * [taylor]: Taking taylor expansion of x in x 0.535 * [taylor]: Taking taylor expansion of (sin x) in x 0.535 * [taylor]: Taking taylor expansion of x in x 0.554 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 0.554 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.554 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.563 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 0.563 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.563 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.563 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.563 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.563 * [taylor]: Taking taylor expansion of -1 in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.564 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.564 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.564 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.564 * [taylor]: Taking taylor expansion of -1 in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.571 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.571 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 0.571 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.571 * [taylor]: Taking taylor expansion of x in x 0.571 * [taylor]: Taking taylor expansion of (tan x) in x 0.573 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.573 * [taylor]: Taking taylor expansion of (sin x) in x 0.573 * [taylor]: Taking taylor expansion of x in x 0.573 * [taylor]: Taking taylor expansion of (cos x) in x 0.573 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of (tan x) in x 0.574 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.574 * [taylor]: Taking taylor expansion of (sin x) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of (cos x) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.600 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 0.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.600 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.600 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.601 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.602 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.602 * [taylor]: Taking taylor expansion of x in x 0.602 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.602 * [taylor]: Taking taylor expansion of x in x 0.612 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.612 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.612 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.612 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.612 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.612 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.612 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.612 * [taylor]: Taking taylor expansion of -1 in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.613 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.613 * [taylor]: Taking taylor expansion of -1 in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.614 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.614 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.614 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.614 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.614 * [taylor]: Taking taylor expansion of -1 in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.614 * [taylor]: Taking taylor expansion of -1 in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.615 * [taylor]: Taking taylor expansion of x in x 0.628 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.628 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 0.628 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.628 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of (sin x) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of (tan x) in x 0.629 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.629 * [taylor]: Taking taylor expansion of (sin x) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of (cos x) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.638 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (sin x) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (tan x) in x 0.638 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.638 * [taylor]: Taking taylor expansion of (sin x) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (cos x) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.680 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 0.680 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.680 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.680 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.680 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.681 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.681 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.681 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.681 * [taylor]: Taking taylor expansion of x in x 0.681 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.681 * [taylor]: Taking taylor expansion of x in x 0.682 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.682 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.682 * [taylor]: Taking taylor expansion of x in x 0.682 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.683 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.683 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.684 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.684 * [taylor]: Taking taylor expansion of x in x 0.690 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.690 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.690 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 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 -1 in x 0.690 * [taylor]: Taking taylor expansion of 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)) (/ 1 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 -1 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.692 * [taylor]: Taking taylor expansion of -1 in x 0.692 * [taylor]: Taking taylor expansion of x in x 0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.692 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 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 -1 in x 0.693 * [taylor]: Taking taylor expansion of 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)) (/ 1 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 -1 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 -1 in x 0.694 * [taylor]: Taking taylor expansion of x in x 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.695 * [taylor]: Taking taylor expansion of x in x 0.703 * * * [progress]: simplifying candidates 0.705 * [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 (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)) (- (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))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin 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))) (- (* 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.711 * * [simplify]: iteration 0 : 363 enodes (cost 718 ) 0.717 * * [simplify]: iteration 1 : 1148 enodes (cost 685 ) 0.738 * * [simplify]: iteration 2 : 4795 enodes (cost 685 ) 0.851 * * [simplify]: iteration 3 : 5001 enodes (cost 685 ) 0.855 * [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) (+ (sin x) x)) (pow x 2)) (- (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)) (exp (- x (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (pow (- x (tan x)) 3) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (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)) (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)))) (- (- 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)))) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (+ (sqrt x) (sqrt (tan x)))) (/ (cbrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sqrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (sqrt (- x (sin x))) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (sqrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (sqrt (- x (sin x))) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- (sqrt x) (sqrt (sin x))) (cbrt (- x (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (+ (sqrt x) (sqrt (sin x))) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (tan x)))) (+ (sqrt x) (sqrt (sin x))) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (- x (tan x))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (- x (sin x)) (/ (- x (sin x)) (+ (sqrt x) (sqrt (tan x)))) (- x (sin x)) (/ (- x (tan x)) (cbrt (- x (sin x)))) (/ (- x (tan x)) (sqrt (- x (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (tan x)) (- (sqrt x) (sqrt (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (- (pow x 3) (pow (tan x) 3))) (/ (- x (sin x)) (- (* x x) (* (tan x) (tan x)))) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (* (- x (tan x)) (+ x (sin x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin 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))) (- (* 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.856 * * * [progress]: adding candidates to table 1.057 * * [progress]: iteration 2 / 4 1.057 * * * [progress]: picking best candidate 1.065 * * * * [pick]: Picked # 1.065 * * * [progress]: localizing error 1.078 * * * [progress]: generating rewritten candidates 1.078 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.085 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.091 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 1.098 * * * [progress]: generating series expansions 1.098 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.098 * [approximate]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in (x) around 0 1.098 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x 1.098 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.098 * [taylor]: Taking taylor expansion of 9/40 in x 1.098 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.098 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x 1.099 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.099 * [taylor]: Taking taylor expansion of 27/2800 in x 1.099 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of 1/2 in x 1.099 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x 1.099 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.099 * [taylor]: Taking taylor expansion of 9/40 in x 1.099 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x 1.099 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.099 * [taylor]: Taking taylor expansion of 27/2800 in x 1.099 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of 1/2 in x 1.107 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0 1.107 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 1.107 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.107 * [taylor]: Taking taylor expansion of 9/40 in x 1.107 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.107 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.107 * [taylor]: Taking taylor expansion of x in x 1.107 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 1.107 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 1.107 * [taylor]: Taking taylor expansion of 27/2800 in x 1.107 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.107 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.107 * [taylor]: Taking taylor expansion of x in x 1.108 * [taylor]: Taking taylor expansion of 1/2 in x 1.108 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 1.108 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.108 * [taylor]: Taking taylor expansion of 9/40 in x 1.108 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.108 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.108 * [taylor]: Taking taylor expansion of x in x 1.109 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 1.109 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 1.109 * [taylor]: Taking taylor expansion of 27/2800 in x 1.109 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.109 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.109 * [taylor]: Taking taylor expansion of x in x 1.110 * [taylor]: Taking taylor expansion of 1/2 in x 1.125 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0 1.125 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 1.125 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.125 * [taylor]: Taking taylor expansion of 9/40 in x 1.125 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.125 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.125 * [taylor]: Taking taylor expansion of x in x 1.125 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 1.125 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 1.125 * [taylor]: Taking taylor expansion of 27/2800 in x 1.125 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.125 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [taylor]: Taking taylor expansion of 1/2 in x 1.126 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x 1.126 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.126 * [taylor]: Taking taylor expansion of 9/40 in x 1.126 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.126 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x 1.127 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x 1.127 * [taylor]: Taking taylor expansion of 27/2800 in x 1.127 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.127 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.128 * [taylor]: Taking taylor expansion of 1/2 in x 1.143 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.143 * [approximate]: Taking taylor expansion of (* 9/40 (pow x 2)) in (x) around 0 1.143 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.143 * [taylor]: Taking taylor expansion of 9/40 in x 1.143 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.143 * [taylor]: Taking taylor expansion of x in x 1.143 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.143 * [taylor]: Taking taylor expansion of 9/40 in x 1.143 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.143 * [taylor]: Taking taylor expansion of x in x 1.154 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0 1.154 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.154 * [taylor]: Taking taylor expansion of 9/40 in x 1.154 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.154 * [taylor]: Taking taylor expansion of x in x 1.155 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.155 * [taylor]: Taking taylor expansion of 9/40 in x 1.155 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.155 * [taylor]: Taking taylor expansion of x in x 1.162 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0 1.162 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.162 * [taylor]: Taking taylor expansion of 9/40 in x 1.162 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.162 * [taylor]: Taking taylor expansion of x in x 1.163 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.163 * [taylor]: Taking taylor expansion of 9/40 in x 1.163 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.163 * [taylor]: Taking taylor expansion of x in x 1.170 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 1.170 * [approximate]: Taking taylor expansion of (* 27/2800 (pow x 4)) in (x) around 0 1.170 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.170 * [taylor]: Taking taylor expansion of 27/2800 in x 1.170 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.170 * [taylor]: Taking taylor expansion of x in x 1.170 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.170 * [taylor]: Taking taylor expansion of 27/2800 in x 1.170 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.170 * [taylor]: Taking taylor expansion of x in x 1.182 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0 1.182 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 1.182 * [taylor]: Taking taylor expansion of 27/2800 in x 1.182 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.182 * [taylor]: Taking taylor expansion of x in x 1.182 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 1.182 * [taylor]: Taking taylor expansion of 27/2800 in x 1.182 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.182 * [taylor]: Taking taylor expansion of x in x 1.193 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0 1.193 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 1.193 * [taylor]: Taking taylor expansion of 27/2800 in x 1.193 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.193 * [taylor]: Taking taylor expansion of x in x 1.194 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x 1.194 * [taylor]: Taking taylor expansion of 27/2800 in x 1.194 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.205 * * * [progress]: simplifying candidates 1.206 * [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)) 1.211 * * [simplify]: iteration 0 : 273 enodes (cost 349 ) 1.217 * * [simplify]: iteration 1 : 1123 enodes (cost 318 ) 1.244 * * [simplify]: iteration 2 : 5001 enodes (cost 315 ) 1.246 * [simplify]: Simplified to: (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (log (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (* (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (pow (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) 3) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (- (pow (* 9/40 (pow x 2)) 3) (pow (+ (* 27/2800 (pow x 4)) 1/2) 3)) (+ (* (pow x 4) (+ 81/1600 (+ 27/5600 (* (pow x 4) 729/7840000)))) (* (+ (* 27/2800 (pow x 4)) 1/2) (+ 1/2 (* 9/40 (pow x 2))))) (- (+ (* 27/2800 (pow x 4)) 1/2)) (+ (- (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2))) (* (pow x 4) 81/1600)) (+ (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (* 27/2800 (pow x 4))) (- (+ (* 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))) (* 729/64000 (pow x 6)) (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2)))) (cbrt (* 9/40 (pow x 2))) (* 729/64000 (pow x 6)) (sqrt (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (* x (sqrt 9/40)) (* x (sqrt 9/40)) (* x (sqrt 9/40)) (* x (sqrt 9/40)) (* (sqrt 9/40) (sqrt (pow x 2))) (* (sqrt 9/40) (sqrt (pow x 2))) (* x (sqrt 9/40)) (* x (sqrt 9/40)) (* 9/40 (pow (* (cbrt x) (cbrt x)) 2)) (* x 9/40) 9/40 (* x 9/40) (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 9/40 (fabs x)) 9/40 (* x 9/40) (* (cbrt 9/40) (pow x 2)) (* (sqrt 9/40) (pow x 2)) (* 9/40 (pow x 2)) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (log (* 27/2800 (pow x 4))) (exp (* 27/2800 (pow x 4))) (pow (* 27/2800 (pow x 4)) 3) (* (cbrt (* 27/2800 (pow x 4))) (cbrt (* 27/2800 (pow x 4)))) (cbrt (* 27/2800 (pow x 4))) (pow (* 27/2800 (pow x 4)) 3) (sqrt (* 27/2800 (pow x 4))) (sqrt (* 27/2800 (pow x 4))) (* (sqrt 27/2800) (pow x 2)) (* (sqrt 27/2800) (pow x 2)) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (sqrt (pow x 4))) (* (sqrt 27/2800) (pow x 2)) (* (sqrt 27/2800) (pow x 2)) (* 27/2800 (pow (* (cbrt x) (cbrt x)) 4)) (* 27/2800 (pow x 2)) 27/2800 (* 27/2800 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 27/2800 (sqrt (pow x 4))) 27/2800 (* 27/2800 (pow x 2)) (* (cbrt 27/2800) (pow x 4)) (* (sqrt 27/2800) (pow x 4)) (* 27/2800 (pow x 4)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4)) 1.246 * * * [progress]: adding candidates to table 1.387 * * [progress]: iteration 3 / 4 1.387 * * * [progress]: picking best candidate 1.392 * * * * [pick]: Picked # 1.392 * * * [progress]: localizing error 1.405 * * * [progress]: generating rewritten candidates 1.405 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.407 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.410 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.413 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.416 * * * [progress]: generating series expansions 1.416 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.416 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 1.416 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.416 * [taylor]: Taking taylor expansion of x in x 1.416 * [taylor]: Taking taylor expansion of (sin x) in x 1.416 * [taylor]: Taking taylor expansion of x in x 1.417 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.417 * [taylor]: Taking taylor expansion of x in x 1.417 * [taylor]: Taking taylor expansion of (sin x) in x 1.417 * [taylor]: Taking taylor expansion of x in x 1.431 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 1.431 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.431 * [taylor]: Taking taylor expansion of x in x 1.431 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.431 * [taylor]: Taking taylor expansion of x in x 1.431 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.432 * [taylor]: Taking taylor expansion of x in x 1.432 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.432 * [taylor]: Taking taylor expansion of x in x 1.439 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 1.439 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.439 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.439 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.439 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.439 * [taylor]: Taking taylor expansion of -1 in x 1.439 * [taylor]: Taking taylor expansion of x in x 1.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.439 * [taylor]: Taking taylor expansion of x in x 1.439 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.440 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.440 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.440 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.440 * [taylor]: Taking taylor expansion of -1 in x 1.440 * [taylor]: Taking taylor expansion of x in x 1.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.440 * [taylor]: Taking taylor expansion of x in x 1.450 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.450 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 1.450 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.450 * [taylor]: Taking taylor expansion of x in x 1.450 * [taylor]: Taking taylor expansion of (sin x) in x 1.450 * [taylor]: Taking taylor expansion of x in x 1.450 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.450 * [taylor]: Taking taylor expansion of x in x 1.450 * [taylor]: Taking taylor expansion of (sin x) in x 1.450 * [taylor]: Taking taylor expansion of x in x 1.464 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 1.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.465 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.473 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 1.473 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.473 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.473 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.473 * [taylor]: Taking taylor expansion of -1 in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.473 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.473 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.473 * [taylor]: Taking taylor expansion of -1 in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.474 * [taylor]: Taking taylor expansion of x in x 1.481 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.481 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 1.481 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.481 * [taylor]: Taking taylor expansion of (sin x) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.481 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.481 * [taylor]: Taking taylor expansion of (sin x) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.495 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 1.495 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.495 * [taylor]: Taking taylor expansion of x in x 1.496 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.496 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.503 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 1.503 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.503 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.503 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.503 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.503 * [taylor]: Taking taylor expansion of -1 in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.504 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.504 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.504 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.504 * [taylor]: Taking taylor expansion of -1 in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.512 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.512 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 1.512 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.512 * [taylor]: Taking taylor expansion of (tan x) in x 1.512 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.512 * [taylor]: Taking taylor expansion of (sin x) in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.512 * [taylor]: Taking taylor expansion of (cos x) in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.513 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.513 * [taylor]: Taking taylor expansion of x in x 1.513 * [taylor]: Taking taylor expansion of (tan x) in x 1.513 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.513 * [taylor]: Taking taylor expansion of (sin x) in x 1.513 * [taylor]: Taking taylor expansion of x in x 1.513 * [taylor]: Taking taylor expansion of (cos x) in x 1.513 * [taylor]: Taking taylor expansion of x in x 1.541 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 1.541 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.541 * [taylor]: Taking taylor expansion of x in x 1.541 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.542 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.542 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.542 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.542 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.543 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.543 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.543 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.543 * [taylor]: Taking taylor expansion of x in x 1.543 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.543 * [taylor]: Taking taylor expansion of x in x 1.552 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 1.553 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 1.553 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.553 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.553 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.553 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.553 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.553 * [taylor]: Taking taylor expansion of -1 in x 1.553 * [taylor]: Taking taylor expansion of x in x 1.553 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.553 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.553 * [taylor]: Taking taylor expansion of -1 in x 1.553 * [taylor]: Taking taylor expansion of x in x 1.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.554 * [taylor]: Taking taylor expansion of x in x 1.554 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 1.554 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.554 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.554 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.554 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.554 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.554 * [taylor]: Taking taylor expansion of -1 in x 1.554 * [taylor]: Taking taylor expansion of x in x 1.554 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.554 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.554 * [taylor]: Taking taylor expansion of -1 in x 1.554 * [taylor]: Taking taylor expansion of x in x 1.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.555 * [taylor]: Taking taylor expansion of x in x 1.564 * * * [progress]: simplifying candidates 1.565 * [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 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 (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)) (- (+ (* 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)) (- (+ (* 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.568 * * [simplify]: iteration 0 : 150 enodes (cost 309 ) 1.571 * * [simplify]: iteration 1 : 342 enodes (cost 289 ) 1.577 * * [simplify]: iteration 2 : 774 enodes (cost 289 ) 1.590 * * [simplify]: iteration 3 : 2023 enodes (cost 289 ) 1.629 * * [simplify]: iteration 4 : 5001 enodes (cost 289 ) 1.631 * [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) (+ (sin x) 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) (+ (sin x) 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) (+ (sin x) 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 (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (pow (- x (tan x)) 3) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (* 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)) (- (+ (* 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)) (- (+ (* 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.632 * * * [progress]: adding candidates to table 1.810 * * [progress]: iteration 4 / 4 1.810 * * * [progress]: picking best candidate 1.813 * * * * [pick]: Picked # 1.813 * * * [progress]: localizing error 1.831 * * * [progress]: generating rewritten candidates 1.831 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.887 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.902 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.905 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.912 * * * [progress]: generating series expansions 1.912 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.913 * [approximate]: Taking taylor expansion of (/ (- (pow x 3) (pow (sin x) 3)) (* (- x (tan x)) (+ (pow x 2) (+ (* x (sin x)) (pow (sin x) 2))))) in (x) around 0 1.913 * [taylor]: Taking taylor expansion of (/ (- (pow x 3) (pow (sin x) 3)) (* (- x (tan x)) (+ (pow x 2) (+ (* x (sin x)) (pow (sin x) 2))))) in x 1.913 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in x 1.913 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.913 * [taylor]: Taking taylor expansion of x in x 1.913 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 1.913 * [taylor]: Taking taylor expansion of (sin x) in x 1.913 * [taylor]: Taking taylor expansion of x in x 1.914 * [taylor]: Taking taylor expansion of (* (- x (tan x)) (+ (pow x 2) (+ (* x (sin x)) (pow (sin x) 2)))) in x 1.914 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.914 * [taylor]: Taking taylor expansion of x in x 1.914 * [taylor]: Taking taylor expansion of (tan x) in x 1.914 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.914 * [taylor]: Taking taylor expansion of (sin x) in x 1.914 * [taylor]: Taking taylor expansion of x in x 1.914 * [taylor]: Taking taylor expansion of (cos x) in x 1.914 * [taylor]: Taking taylor expansion of x in x 1.915 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* x (sin x)) (pow (sin x) 2))) in x 1.915 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.915 * [taylor]: Taking taylor expansion of x in x 1.915 * [taylor]: Taking taylor expansion of (+ (* x (sin x)) (pow (sin x) 2)) in x 1.915 * [taylor]: Taking taylor expansion of (* x (sin x)) in x 1.915 * [taylor]: Taking taylor expansion of x in x 1.915 * [taylor]: Taking taylor expansion of (sin x) in x 1.915 * [taylor]: Taking taylor expansion of x in x 1.915 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.915 * [taylor]: Taking taylor expansion of (sin x) in x 1.915 * [taylor]: Taking taylor expansion of x in x 1.957 * [taylor]: Taking taylor expansion of (/ (- (pow x 3) (pow (sin x) 3)) (* (- x (tan x)) (+ (pow x 2) (+ (* x (sin x)) (pow (sin x) 2))))) in x 1.957 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in x 1.957 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.957 * [taylor]: Taking taylor expansion of x in x 1.957 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 1.957 * [taylor]: Taking taylor expansion of (sin x) in x 1.957 * [taylor]: Taking taylor expansion of x in x 1.958 * [taylor]: Taking taylor expansion of (* (- x (tan x)) (+ (pow x 2) (+ (* x (sin x)) (pow (sin x) 2)))) in x 1.958 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.958 * [taylor]: Taking taylor expansion of x in x 1.958 * [taylor]: Taking taylor expansion of (tan x) in x 1.958 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.958 * [taylor]: Taking taylor expansion of (sin x) in x 1.958 * [taylor]: Taking taylor expansion of x in x 1.958 * [taylor]: Taking taylor expansion of (cos x) in x 1.958 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* x (sin x)) (pow (sin x) 2))) in x 1.959 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.959 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of (+ (* x (sin x)) (pow (sin x) 2)) in x 1.959 * [taylor]: Taking taylor expansion of (* x (sin x)) in x 1.959 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of (sin x) in x 1.959 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.959 * [taylor]: Taking taylor expansion of (sin x) in x 1.959 * [taylor]: Taking taylor expansion of x in x 2.122 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) (* (+ (pow (sin (/ 1 x)) 2) (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x))))) in (x) around 0 2.123 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) (* (+ (pow (sin (/ 1 x)) 2) (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x))))) in x 2.123 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in x 2.123 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.123 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.123 * [taylor]: Taking taylor expansion of x in x 2.123 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.123 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.123 * [taylor]: Taking taylor expansion of x in x 2.124 * [taylor]: Taking taylor expansion of (* (+ (pow (sin (/ 1 x)) 2) (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x)))) in x 2.124 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 x)) 2) (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x))) in x 2.124 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 2.124 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.124 * [taylor]: Taking taylor expansion of x in x 2.124 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x)) in x 2.124 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.124 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.124 * [taylor]: Taking taylor expansion of x in x 2.125 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) x) in x 2.125 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.125 * [taylor]: Taking taylor expansion of x in x 2.125 * [taylor]: Taking taylor expansion of x in x 2.125 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.125 * [taylor]: Taking taylor expansion of x in x 2.125 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.126 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.126 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.126 * [taylor]: Taking taylor expansion of x in x 2.126 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.126 * [taylor]: Taking taylor expansion of x in x 2.128 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) (* (+ (pow (sin (/ 1 x)) 2) (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x))))) in x 2.128 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in x 2.128 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.128 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.128 * [taylor]: Taking taylor expansion of x in x 2.129 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.129 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.129 * [taylor]: Taking taylor expansion of (* (+ (pow (sin (/ 1 x)) 2) (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x)))) in x 2.129 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 x)) 2) (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x))) in x 2.129 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 2.129 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.129 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ (sin (/ 1 x)) x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.129 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.130 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) x) in x 2.130 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.130 * [taylor]: Taking taylor expansion of x in x 2.130 * [taylor]: Taking taylor expansion of x in x 2.130 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.130 * [taylor]: Taking taylor expansion of x in x 2.131 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.131 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.131 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.131 * [taylor]: Taking taylor expansion of x in x 2.131 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.131 * [taylor]: Taking taylor expansion of x in x 2.145 * [approximate]: Taking taylor expansion of (/ (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) (* (+ (tan (/ -1 x)) (/ 1 x)) (- (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (/ (sin (/ -1 x)) x)))) in (x) around 0 2.145 * [taylor]: Taking taylor expansion of (/ (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) (* (+ (tan (/ -1 x)) (/ 1 x)) (- (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (/ (sin (/ -1 x)) x)))) in x 2.145 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.145 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.145 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.145 * [taylor]: Taking taylor expansion of -1 in x 2.145 * [taylor]: Taking taylor expansion of x in x 2.145 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.145 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.145 * [taylor]: Taking taylor expansion of x in x 2.146 * [taylor]: Taking taylor expansion of (* (+ (tan (/ -1 x)) (/ 1 x)) (- (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (/ (sin (/ -1 x)) x))) in x 2.146 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.146 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.146 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.146 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.146 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.146 * [taylor]: Taking taylor expansion of -1 in x 2.146 * [taylor]: Taking taylor expansion of x in x 2.147 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.147 * [taylor]: Taking taylor expansion of -1 in x 2.147 * [taylor]: Taking taylor expansion of x in x 2.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.147 * [taylor]: Taking taylor expansion of x in x 2.147 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (/ (sin (/ -1 x)) x)) in x 2.147 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x 2.147 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.147 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.147 * [taylor]: Taking taylor expansion of x in x 2.148 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 2.148 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.148 * [taylor]: Taking taylor expansion of -1 in x 2.148 * [taylor]: Taking taylor expansion of x in x 2.148 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) x) in x 2.148 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.148 * [taylor]: Taking taylor expansion of -1 in x 2.148 * [taylor]: Taking taylor expansion of x in x 2.149 * [taylor]: Taking taylor expansion of x in x 2.150 * [taylor]: Taking taylor expansion of (/ (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) (* (+ (tan (/ -1 x)) (/ 1 x)) (- (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (/ (sin (/ -1 x)) x)))) in x 2.150 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.150 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.150 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.150 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.150 * [taylor]: Taking taylor expansion of -1 in x 2.150 * [taylor]: Taking taylor expansion of x in x 2.151 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.151 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.151 * [taylor]: Taking taylor expansion of x in x 2.151 * [taylor]: Taking taylor expansion of (* (+ (tan (/ -1 x)) (/ 1 x)) (- (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (/ (sin (/ -1 x)) x))) in x 2.151 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.152 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.152 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.152 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.152 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.152 * [taylor]: Taking taylor expansion of -1 in x 2.152 * [taylor]: Taking taylor expansion of x in x 2.152 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.152 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.152 * [taylor]: Taking taylor expansion of -1 in x 2.152 * [taylor]: Taking taylor expansion of x in x 2.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.152 * [taylor]: Taking taylor expansion of x in x 2.153 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (/ (sin (/ -1 x)) x)) in x 2.153 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x 2.153 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.153 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.153 * [taylor]: Taking taylor expansion of x in x 2.153 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 2.153 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.153 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.153 * [taylor]: Taking taylor expansion of -1 in x 2.153 * [taylor]: Taking taylor expansion of x in x 2.154 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) x) in x 2.154 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.154 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.154 * [taylor]: Taking taylor expansion of -1 in x 2.154 * [taylor]: Taking taylor expansion of x in x 2.154 * [taylor]: Taking taylor expansion of x in x 2.166 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 2.167 * [approximate]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in (x) around 0 2.167 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in x 2.167 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.167 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.167 * [taylor]: Taking taylor expansion of (sin x) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.167 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in x 2.167 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.167 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.167 * [taylor]: Taking taylor expansion of (sin x) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.203 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in (x) around 0 2.203 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in x 2.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.203 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.204 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.204 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.204 * [taylor]: Taking taylor expansion of x in x 2.205 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in x 2.205 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.205 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.205 * [taylor]: Taking taylor expansion of x in x 2.205 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.205 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.205 * [taylor]: Taking taylor expansion of x in x 2.236 * [approximate]: Taking taylor expansion of (- (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3)))) in (x) around 0 2.236 * [taylor]: Taking taylor expansion of (- (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3)))) in x 2.236 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.236 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.236 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.236 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.236 * [taylor]: Taking taylor expansion of -1 in x 2.236 * [taylor]: Taking taylor expansion of x in x 2.236 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.236 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.236 * [taylor]: Taking taylor expansion of x in x 2.237 * [taylor]: Taking taylor expansion of (- (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3)))) in x 2.237 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.237 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.237 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.237 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.237 * [taylor]: Taking taylor expansion of -1 in x 2.237 * [taylor]: Taking taylor expansion of x in x 2.237 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.237 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.237 * [taylor]: Taking taylor expansion of x in x 2.268 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 2.269 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 2.269 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (tan x) in x 2.269 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.269 * [taylor]: Taking taylor expansion of (sin x) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (cos x) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (tan x) in x 2.270 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.270 * [taylor]: Taking taylor expansion of (sin x) in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (cos x) in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.300 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 2.300 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.301 * [taylor]: Taking taylor expansion of x in x 2.301 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.301 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.301 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.301 * [taylor]: Taking taylor expansion of x in x 2.301 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.301 * [taylor]: Taking taylor expansion of x in x 2.302 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.302 * [taylor]: Taking taylor expansion of x in x 2.302 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.302 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.302 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.302 * [taylor]: Taking taylor expansion of x in x 2.302 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.312 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 2.312 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 2.312 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.312 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.312 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.312 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.312 * [taylor]: Taking taylor expansion of -1 in x 2.312 * [taylor]: Taking taylor expansion of x in x 2.313 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.313 * [taylor]: Taking taylor expansion of -1 in x 2.313 * [taylor]: Taking taylor expansion of x in x 2.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.313 * [taylor]: Taking taylor expansion of x in x 2.313 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 2.313 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.313 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.313 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.314 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.314 * [taylor]: Taking taylor expansion of -1 in x 2.314 * [taylor]: Taking taylor expansion of x in x 2.314 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.314 * [taylor]: Taking taylor expansion of -1 in x 2.314 * [taylor]: Taking taylor expansion of x in x 2.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.314 * [taylor]: Taking taylor expansion of x in x 2.323 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 2.324 * [approximate]: Taking taylor expansion of (pow (sin x) 3) in (x) around 0 2.324 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.324 * [taylor]: Taking taylor expansion of (sin x) in x 2.324 * [taylor]: Taking taylor expansion of x in x 2.324 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.324 * [taylor]: Taking taylor expansion of (sin x) in x 2.324 * [taylor]: Taking taylor expansion of x in x 2.334 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in (x) around 0 2.334 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.334 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.334 * [taylor]: Taking taylor expansion of x in x 2.335 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.335 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.335 * [taylor]: Taking taylor expansion of x in x 2.344 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in (x) around 0 2.344 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.344 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.344 * [taylor]: Taking taylor expansion of -1 in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.344 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.344 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.344 * [taylor]: Taking taylor expansion of -1 in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.353 * * * [progress]: simplifying candidates 2.357 * [simplify]: Simplifying using # : (- (log (- (pow x 3) (pow (sin x) 3))) (+ (log (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (log (- x (tan x))))) (- (log (- (pow x 3) (pow (sin x) 3))) (log (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (log (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (exp (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (/ (* (* (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3))) (- (pow x 3) (pow (sin x) 3))) (* (* (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))))) (/ (* (* (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3))) (- (pow x 3) (pow (sin x) 3))) (* (* (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (* (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))))) (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (* (* (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (sqrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (sqrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (- (- (pow x 3) (pow (sin x) 3))) (- (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (pow x 3) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (pow (sin x) 3) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (* (cbrt (- (pow x 3) (pow (sin x) 3))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (cbrt (- (pow x 3) (pow (sin x) 3))) (- x (tan x))) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (- x (tan x))) (/ (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x)))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sin x) (/ 3 2))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (sqrt (pow x 3)) (pow (sin x) (/ 3 2))) (- x (tan x))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow x (/ 3 2)) (sqrt (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x (/ 3 2)) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow x (/ 3 2)) (pow (sin x) (/ 3 2))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x (/ 3 2)) (pow (sin x) (/ 3 2))) (- x (tan x))) (/ (pow 1 3) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (pow 1 3) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (pow 1 3) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (pow 1 3) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (- (pow x 3) (pow (sin x) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (sqrt (- (pow x 3) (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- x (sin x))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sin x) (/ 3 2)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x (/ 3 2)) (sqrt (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x (/ 3 2)) (pow (sin x) (/ 3 2)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (pow (* (sin x) (+ (sin x) x)) 3) (pow (pow x 2) 3)) (- (pow x 3) (pow (tan x) 3)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (pow (* (sin x) (+ (sin x) x)) 3) (pow (pow x 2) 3)) (- (* x x) (* (tan x) (tan x))))) (/ (- (pow x 3) (pow (sin x) 3)) (* (- (* (* (sin x) (+ (sin x) x)) (* (sin x) (+ (sin x) x))) (* (pow x 2) (pow x 2))) (- (pow x 3) (pow (tan x) 3)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (- (* (* (sin x) (+ (sin x) x)) (* (sin x) (+ (sin x) x))) (* (pow x 2) (pow x 2))) (- (* x x) (* (tan x) (tan x))))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- (* x x) (* (tan x) (tan x))))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (pow (* (sin x) (+ (sin x) x)) 3) (pow (pow x 2) 3)) (- x (tan x)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (- (* (* (sin x) (+ (sin x) x)) (* (sin x) (+ (sin x) x))) (* (pow x 2) (pow x 2))) (- x (tan x)))) (* (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (+ (* (pow x 3) (pow x 3)) (+ (* (pow (sin x) 3) (pow (sin x) 3)) (* (pow x 3) (pow (sin x) 3))))) (* (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (+ (pow x 3) (pow (sin x) 3))) (/ (exp (pow x 3)) (exp (pow (sin x) 3))) (log (- (pow x 3) (pow (sin x) 3))) (exp (- (pow x 3) (pow (sin x) 3))) (* (cbrt (- (pow x 3) (pow (sin x) 3))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (cbrt (- (pow x 3) (pow (sin x) 3))) (* (* (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3))) (- (pow x 3) (pow (sin x) 3))) (sqrt (- (pow x 3) (pow (sin x) 3))) (sqrt (- (pow x 3) (pow (sin x) 3))) (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x)))) (- x (sin x)) (- (pow (pow x 3) 3) (pow (pow (sin x) 3) 3)) (+ (* (pow x 3) (pow x 3)) (+ (* (pow (sin x) 3) (pow (sin x) 3)) (* (pow x 3) (pow (sin x) 3)))) (- (pow (sin x) 3)) (- (* (pow x 3) (pow x 3)) (* (pow (sin x) 3) (pow (sin x) 3))) (+ (pow x 3) (pow (sin x) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (+ (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (+ (sqrt (pow x 3)) (pow (sin x) (/ 3 2))) (- (sqrt (pow x 3)) (pow (sin x) (/ 3 2))) (+ (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (+ (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (+ (pow x (/ 3 2)) (sqrt (pow (sin x) 3))) (- (pow x (/ 3 2)) (sqrt (pow (sin x) 3))) (+ (pow x (/ 3 2)) (pow (sin x) (/ 3 2))) (- (pow x (/ 3 2)) (pow (sin x) (/ 3 2))) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow (sin x) 3)) (/ (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)) (* (log (sin x)) 3) (* (log (sin x)) 3) (* 1 3) (pow (sin x) (* (cbrt 3) (cbrt 3))) (pow (sin x) (sqrt 3)) (pow (sin x) 1) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (pow (cbrt (sin x)) 3) (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3) (pow 1 3) (pow (sin x) 3) (* (sin x) (sin x)) (log (pow (sin x) 3)) (exp (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (cbrt (pow (sin x) 3)) (* (* (pow (sin x) 3) (pow (sin x) 3)) (pow (sin x) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (pow (cbrt (sin x)) 3) (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3) (pow 1 3) (pow (sin x) 3) (* (sin x) (sin x)) (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)) (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)) (- (* 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/2 (pow x 5)) (* 41/3024 (pow x 9))) (* 13/120 (pow x 7))) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (+ (* 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))) (- (+ (* 13/120 (pow x 7)) (pow x 3)) (* 1/2 (pow x 5))) (pow (sin x) 3) (pow (sin x) 3) 2.372 * * [simplify]: iteration 0 : 630 enodes (cost 1900 ) 2.384 * * [simplify]: iteration 1 : 3022 enodes (cost 1778 ) 2.442 * * [simplify]: iteration 2 : 5002 enodes (cost 1734 ) 2.449 * [simplify]: Simplified to: (log (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (log (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (log (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (exp (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (pow (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) 3) (pow (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) 3) (* (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))))) (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (pow (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) 3) (sqrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (sqrt (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))))) (- (- (pow x 3) (pow (sin x) 3))) (- (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (pow x 3) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (pow (sin x) 3) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (* (cbrt (- (pow x 3) (pow (sin x) 3))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (cbrt (- (pow x 3) (pow (sin x) 3))) (- x (tan x))) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (- x (tan x))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow x 3/2) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3/2) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow x 3/2) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3/2) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow x 3/2) (sqrt (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3/2) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow x 3/2) (pow (sin x) 3/2)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3/2) (pow (sin x) 3/2)) (- x (tan x))) (/ 1 (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (- (pow x 3) (pow (sin x) 3)) (+ (* (sin x) (+ (sin x) x)) (pow x 2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (sqrt (- (pow x 3) (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- x (sin x))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3/2) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3/2) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3/2) (sqrt (pow (sin x) 3)))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3/2) (pow (sin x) 3/2))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (pow (* (sin x) (+ (sin x) x)) 3) (pow (pow x 2) 3)) (- (pow x 3) (pow (tan x) 3)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (pow (* (sin x) (+ (sin x) x)) 3) (pow (pow x 2) 3)) (- (* x x) (* (tan x) (tan x))))) (/ (/ (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (tan x) 3))) (+ (* (pow (sin x) 2) (* (+ (sin x) x) (+ (sin x) x))) (- (pow x 4)))) (/ (/ (- (pow x 3) (pow (sin x) 3)) (- (* x x) (* (tan x) (tan x)))) (+ (* (pow (sin x) 2) (* (+ (sin x) x) (+ (sin x) x))) (- (pow x 4)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- (pow x 3) (pow (tan x) 3)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- (* x x) (* (tan x) (tan x))))) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (pow (* (sin x) (+ (sin x) x)) 3) (pow (pow x 2) 3)) (- x (tan x)))) (/ (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (+ (* (pow (sin x) 2) (* (+ (sin x) x) (+ (sin x) x))) (- (pow x 4)))) (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (* (- x (tan x)) (+ (+ (pow x 6) (pow (sin x) 6)) (* (pow x 3) (pow (sin x) 3))))) (* (* (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (tan x))) (+ (pow x 3) (pow (sin x) 3))) (exp (- (pow x 3) (pow (sin x) 3))) (log (- (pow x 3) (pow (sin x) 3))) (exp (- (pow x 3) (pow (sin x) 3))) (* (cbrt (- (pow x 3) (pow (sin x) 3))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (cbrt (- (pow x 3) (pow (sin x) 3))) (pow (- (pow x 3) (pow (sin x) 3)) 3) (sqrt (- (pow x 3) (pow (sin x) 3))) (sqrt (- (pow x 3) (pow (sin x) 3))) (+ (* (sin x) (+ (sin x) x)) (pow x 2)) (- x (sin x)) (- (pow (pow x 3) 3) (pow (pow (sin x) 3) 3)) (+ (+ (pow x 6) (pow (sin x) 6)) (* (pow x 3) (pow (sin x) 3))) (- (pow (sin x) 3)) (+ (pow x 6) (- (pow (sin x) 6))) (+ (pow x 3) (pow (sin x) 3)) (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (sqrt (pow x 3)) (pow (sin x) 3/2)) (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (+ (sqrt (pow x 3)) (pow (sin x) 3/2)) (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (+ (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (+ (sqrt (pow x 3)) (pow (sin x) 3/2)) (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (+ (pow x 3/2) (pow (sin x) 3/2)) (- (pow x 3/2) (pow (sin x) 3/2)) (+ (pow x 3/2) (pow (sin x) 3/2)) (- (pow x 3/2) (pow (sin x) 3/2)) (+ (pow x 3/2) (sqrt (pow (sin x) 3))) (- (pow x 3/2) (sqrt (pow (sin x) 3))) (+ (pow x 3/2) (pow (sin x) 3/2)) (- (pow x 3/2) (pow (sin x) 3/2)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow (sin x) 3)) (exp (- x (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (pow (- x (tan x)) 3) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* (tan x) (+ (tan x) x)) (pow x 2)) (- (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)) (log (pow (sin x) 3)) (log (pow (sin x) 3)) 3 (pow (sin x) (* (cbrt 3) (cbrt 3))) (pow (sin x) (sqrt 3)) (sin x) (pow (sin x) 2) (sin x) (pow (sin x) 3/2) (pow (sin x) 3/2) 1 (pow (sin x) 3) (pow (sin x) 2) (log (pow (sin x) 3)) (exp (pow (sin x) 3)) (pow (sin x) 2) (sin x) (pow (pow (sin x) 3) 3) (pow (sin x) 2) (sin x) (pow (sin x) 3/2) (pow (sin x) 3/2) 1 (pow (sin x) 3) (pow (sin x) 2) (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)) (pow (sin x) 3/2) (pow (sin x) 3/2) (- (* 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/2 (pow x 5)) (* 41/3024 (pow x 9))) (* 13/120 (pow x 7))) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (+ (* 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))) (- (+ (* 13/120 (pow x 7)) (pow x 3)) (* 1/2 (pow x 5))) (pow (sin x) 3) (pow (sin x) 3) 2.451 * * * [progress]: adding candidates to table 2.854 * [progress]: [Phase 3 of 3] Extracting. 2.855 * * [regime]: Finding splitpoints for: (# # # #) 2.856 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- x (sin x)) (- x (tan x))) x) 2.856 * * * * [regimes]: Trying to branch on (/ (- x (sin x)) (- x (tan x))) from (# # # #) 2.881 * * * * [regimes]: Trying to branch on x from (# # # #) 2.911 * * * [regime]: Found split indices: #