0.863 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.448 * * * [progress]: [2/2] Setting up program. 0.451 * [progress]: [Phase 2 of 3] Improving. 0.454 * [simplify]: Simplifying using # : (/ (- x (sin x)) (- x (tan x))) 0.457 * * [simplify]: iteration 0 : 13 enodes (cost 5 ) 0.459 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 0.460 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 0.461 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 0.462 * [simplify]: Simplified to: (/ (- x (sin x)) (- x (tan x))) 0.463 * * [progress]: iteration 1 / 4 0.463 * * * [progress]: picking best candidate 0.465 * * * * [pick]: Picked # 0.465 * * * [progress]: localizing error 0.476 * * * [progress]: generating rewritten candidates 0.476 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.495 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.499 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.517 * * * [progress]: generating series expansions 0.517 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.520 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 0.521 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.521 * [taylor]: Taking taylor expansion of x in x 0.521 * [taylor]: Taking taylor expansion of (tan x) in x 0.522 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.522 * [taylor]: Taking taylor expansion of (sin x) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of (cos x) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.525 * [taylor]: Taking taylor expansion of (tan x) in x 0.525 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.525 * [taylor]: Taking taylor expansion of (sin x) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.525 * [taylor]: Taking taylor expansion of (cos x) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.555 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 0.555 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 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.556 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.556 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.556 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.557 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.557 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.568 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.568 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.568 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.568 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.568 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.568 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.568 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.568 * [taylor]: Taking taylor expansion of -1 in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.568 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.568 * [taylor]: Taking taylor expansion of -1 in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.569 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.569 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.569 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.569 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.569 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.569 * [taylor]: Taking taylor expansion of -1 in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.570 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.570 * [taylor]: Taking taylor expansion of -1 in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.580 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.580 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 0.580 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (sin x) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (sin x) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.601 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 0.601 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 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 (sin (/ 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.602 * [taylor]: Taking taylor expansion of (- (/ 1 x) (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 (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.609 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 0.609 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.609 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.609 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.609 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.609 * [taylor]: Taking taylor expansion of -1 in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.610 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.610 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.610 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.610 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.610 * [taylor]: Taking taylor expansion of -1 in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.618 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.618 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 0.618 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.618 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.618 * [taylor]: Taking taylor expansion of (sin x) in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.618 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.618 * [taylor]: Taking taylor expansion of (tan x) in x 0.618 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.618 * [taylor]: Taking taylor expansion of (sin x) in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.618 * [taylor]: Taking taylor expansion of (cos x) in x 0.618 * [taylor]: Taking taylor expansion of x in x 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.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (sin x) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (tan x) in x 0.628 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.628 * [taylor]: Taking taylor expansion of (sin x) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (cos x) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.674 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 0.674 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.674 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.674 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.674 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.675 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.675 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.675 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.675 * [taylor]: Taking taylor expansion of x in x 0.675 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.675 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.677 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.678 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.678 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.678 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.678 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.685 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.685 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.685 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.685 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.685 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.685 * [taylor]: Taking taylor expansion of -1 in x 0.685 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.686 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.686 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.686 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.686 * [taylor]: Taking taylor expansion of -1 in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.686 * [taylor]: Taking taylor expansion of -1 in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.688 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.688 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.688 * [taylor]: Taking taylor expansion of -1 in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.689 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.689 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.689 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.689 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.689 * [taylor]: Taking taylor expansion of -1 in x 0.689 * [taylor]: Taking taylor expansion of x in x 0.689 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.689 * [taylor]: Taking taylor expansion of -1 in x 0.689 * [taylor]: Taking taylor expansion of x in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.696 * * * [progress]: simplifying candidates 0.698 * [simplify]: Simplifying using # : (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt x) (sqrt x) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt x) (sqrt x) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma 1 x (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma 1 x (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma 1 x (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (expm1 (- x (tan x))) (log1p (- x (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (/ (exp x) (exp (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (tan x)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (fma (sqrt x) (sqrt x) (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma (sqrt x) (sqrt x) (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (fma 1 x (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma 1 x (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma 1 x (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (expm1 (- x (sin x))) (log1p (- x (sin x))) (- (sin 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)) (expm1 (/ (- x (sin x)) (- x (tan x)))) (log1p (/ (- x (sin x)) (- 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))) (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) 0.704 * * [simplify]: iteration 0 : 472 enodes (cost 1059 ) 0.713 * * [simplify]: iteration 1 : 1737 enodes (cost 854 ) 0.745 * * [simplify]: iteration 2 : 5001 enodes (cost 854 ) 0.750 * [simplify]: Simplified to: (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (tan x)) (fma (- (tan x)) 1 (tan x)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (tan x)) (fma (- (tan x)) 1 (tan x)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (expm1 (- x (tan x))) (log1p (- x (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (exp (- x (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (pow (- x (tan x)) 3) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (fma (tan x) (+ x (tan 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)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (sin x)) (fma (- (sin x)) 1 (sin x)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (sin x)) (fma (- (sin x)) 1 (sin x)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (expm1 (- x (sin x))) (log1p (- x (sin x))) (- (sin 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)) (fma (sin x) (+ x (sin x)) (pow x 2)) (- (sin x)) (fma x x (- (pow (sin x) 2))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (expm1 (/ (- x (sin x)) (- x (tan x)))) (log1p (/ (- x (sin x)) (- 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)))) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (* (- x (tan x)) (+ x (sin x))) (- (- (* 17/315 (pow x 7))) (fma 1/3 (pow x 3) (* 2/15 (pow x 5)))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (fma (pow x 7) 1/5040 (- (* 1/6 (pow x 3)) (* 1/120 (pow x 5)))) (- x (sin x)) (- x (sin x)) (fma 9/40 (pow x 2) (- (fma 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.751 * * * [progress]: adding candidates to table 0.982 * * [progress]: iteration 2 / 4 0.983 * * * [progress]: picking best candidate 0.990 * * * * [pick]: Picked # 0.991 * * * [progress]: localizing error 1.003 * * * [progress]: generating rewritten candidates 1.003 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.006 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.010 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.022 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.053 * * * [progress]: generating series expansions 1.053 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.053 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 1.053 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (tan x) in x 1.053 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.053 * [taylor]: Taking taylor expansion of (sin x) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (cos x) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of (tan x) in x 1.054 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.054 * [taylor]: Taking taylor expansion of (sin x) in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of (cos x) in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.081 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 1.081 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.081 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.081 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.082 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.082 * [taylor]: Taking taylor expansion of x in x 1.082 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.082 * [taylor]: Taking taylor expansion of x in x 1.082 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.082 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.083 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.083 * [taylor]: Taking taylor expansion of x in x 1.083 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.083 * [taylor]: Taking taylor expansion of x in x 1.092 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 1.092 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 1.092 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.092 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.092 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.092 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.092 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.092 * [taylor]: Taking taylor expansion of -1 in x 1.092 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.093 * [taylor]: Taking taylor expansion of -1 in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 1.093 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.093 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.093 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.093 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.093 * [taylor]: Taking taylor expansion of -1 in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.094 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.094 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.094 * [taylor]: Taking taylor expansion of -1 in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.104 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.104 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 1.104 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.104 * [taylor]: Taking taylor expansion of (sin x) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.104 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.104 * [taylor]: Taking taylor expansion of (sin x) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.118 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 1.118 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.130 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 1.130 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.130 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.130 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.130 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.130 * [taylor]: Taking taylor expansion of -1 in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.131 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.131 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.131 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.131 * [taylor]: Taking taylor expansion of -1 in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.138 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.138 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 1.138 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 1.138 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.138 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of (sin x) in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of (tan x) in x 1.139 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.139 * [taylor]: Taking taylor expansion of (sin x) in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of (cos x) in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 1.148 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.148 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of (sin x) in x 1.148 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.148 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of (tan x) in x 1.148 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.148 * [taylor]: Taking taylor expansion of (sin x) in x 1.148 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of (cos x) in x 1.148 * [taylor]: Taking taylor expansion of x in x 1.191 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 1.191 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 1.191 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.191 * [taylor]: Taking taylor expansion of x in x 1.191 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.191 * [taylor]: Taking taylor expansion of x in x 1.192 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.192 * [taylor]: Taking taylor expansion of x in x 1.192 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.192 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.192 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.192 * [taylor]: Taking taylor expansion of x in x 1.192 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.193 * [taylor]: Taking taylor expansion of x in x 1.194 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 1.194 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.194 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.194 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.195 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.195 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.195 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.195 * [taylor]: Taking taylor expansion of x in x 1.195 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.195 * [taylor]: Taking taylor expansion of x in x 1.202 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 1.202 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 1.202 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.202 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.202 * [taylor]: Taking taylor expansion of -1 in x 1.202 * [taylor]: Taking taylor expansion of x in x 1.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.202 * [taylor]: Taking taylor expansion of x in x 1.203 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.203 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.203 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.203 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.203 * [taylor]: Taking taylor expansion of -1 in x 1.203 * [taylor]: Taking taylor expansion of x in x 1.203 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.203 * [taylor]: Taking taylor expansion of -1 in x 1.203 * [taylor]: Taking taylor expansion of x in x 1.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.204 * [taylor]: Taking taylor expansion of x in x 1.207 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 1.207 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.207 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.207 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.207 * [taylor]: Taking taylor expansion of -1 in x 1.207 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.208 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.208 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.208 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.208 * [taylor]: Taking taylor expansion of -1 in x 1.208 * [taylor]: Taking taylor expansion of x in x 1.209 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.209 * [taylor]: Taking taylor expansion of -1 in x 1.209 * [taylor]: Taking taylor expansion of x in x 1.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.209 * [taylor]: Taking taylor expansion of x in x 1.215 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.215 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 1.215 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 1.215 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (sin x) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (tan x) in x 1.215 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.215 * [taylor]: Taking taylor expansion of (sin x) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (cos x) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 1.225 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of (sin x) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of (tan x) in x 1.225 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.225 * [taylor]: Taking taylor expansion of (sin x) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of (cos x) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.268 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 1.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 1.268 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.268 * [taylor]: Taking taylor expansion of x in x 1.269 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.269 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.269 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.269 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.269 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.270 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.270 * [taylor]: Taking taylor expansion of x in x 1.271 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 1.271 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.271 * [taylor]: Taking taylor expansion of x in x 1.271 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.271 * [taylor]: Taking taylor expansion of x in x 1.271 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.272 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.272 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.279 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 1.279 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 1.279 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.279 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.279 * [taylor]: Taking taylor expansion of -1 in x 1.279 * [taylor]: Taking taylor expansion of x in x 1.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.280 * [taylor]: Taking taylor expansion of x in x 1.280 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.280 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.280 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.280 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.280 * [taylor]: Taking taylor expansion of -1 in x 1.280 * [taylor]: Taking taylor expansion of x in x 1.280 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.280 * [taylor]: Taking taylor expansion of -1 in x 1.280 * [taylor]: Taking taylor expansion of x in x 1.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.281 * [taylor]: Taking taylor expansion of x in x 1.282 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 1.282 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.282 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.282 * [taylor]: Taking taylor expansion of -1 in x 1.282 * [taylor]: Taking taylor expansion of x in x 1.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.282 * [taylor]: Taking taylor expansion of x in x 1.283 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.283 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.283 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.283 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.283 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.283 * [taylor]: Taking taylor expansion of -1 in x 1.283 * [taylor]: Taking taylor expansion of x in x 1.283 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.283 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.283 * [taylor]: Taking taylor expansion of -1 in x 1.283 * [taylor]: Taking taylor expansion of x in x 1.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.284 * [taylor]: Taking taylor expansion of x in x 1.292 * * * [progress]: simplifying candidates 1.294 * [simplify]: Simplifying using # : (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt x) (sqrt x) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt x) (sqrt x) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma 1 x (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma 1 x (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma 1 x (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (expm1 (- x (tan x))) (log1p (- x (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (/ (exp x) (exp (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (tan x)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (fma (sqrt x) (sqrt x) (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma (sqrt x) (sqrt x) (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (fma 1 x (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma 1 x (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma 1 x (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (expm1 (- x (sin x))) (log1p (- x (sin x))) (- (sin 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)) (expm1 (/ (- x (sin x)) (- x (tan x)))) (log1p (/ (- x (sin x)) (- 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))) (expm1 (log (exp (/ (- x (sin x)) (- x (tan x)))))) (log1p (log (exp (/ (- x (sin x)) (- x (tan x)))))) (log (* (cbrt (exp (/ (- x (sin x)) (- x (tan x))))) (cbrt (exp (/ (- x (sin x)) (- x (tan x))))))) (log (cbrt (exp (/ (- x (sin x)) (- x (tan x)))))) (log (sqrt (exp (/ (- x (sin x)) (- x (tan x)))))) (log (sqrt (exp (/ (- x (sin x)) (- x (tan x)))))) (log 1) (log (exp (/ (- x (sin x)) (- x (tan x))))) (log (exp (/ x (- x (tan x))))) (log (exp (/ (sin x) (- x (tan x))))) (log (exp (/ (- x (sin x)) (- x (tan x))))) (log (exp (* (cbrt (/ (- x (sin x)) (- x (tan x)))) (cbrt (/ (- x (sin x)) (- x (tan x))))))) (log (exp (sqrt (/ (- x (sin x)) (- x (tan x)))))) (log (exp (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))))) (log (exp (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (sqrt (- x (tan x)))))) (log (exp (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) 1))) (log (exp (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (+ (sqrt x) (sqrt (tan x)))))) (log (exp (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) 1))) (log (exp (/ (sqrt (- x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))))) (log (exp (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))))) (log (exp (/ (sqrt (- x (sin x))) 1))) (log (exp (/ (sqrt (- x (sin x))) (+ (sqrt x) (sqrt (tan x)))))) (log (exp (/ (sqrt (- x (sin x))) 1))) (log (exp (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))))) (log (exp (/ 1 (sqrt (- x (tan x)))))) (log (exp (/ 1 1))) (log (exp (/ 1 (+ (sqrt x) (sqrt (tan x)))))) (log (exp (/ 1 1))) (log (exp (/ (+ (sqrt x) (sqrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))))) (log (exp (/ (+ (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))))) (log (exp (/ (+ (sqrt x) (sqrt (sin x))) 1))) (log (exp (/ (+ (sqrt x) (sqrt (sin x))) (+ (sqrt x) (sqrt (tan x)))))) (log (exp (/ (+ (sqrt x) (sqrt (sin x))) 1))) (log (exp (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))))) (log (exp (/ 1 (sqrt (- x (tan x)))))) (log (exp (/ 1 1))) (log (exp (/ 1 (+ (sqrt x) (sqrt (tan x)))))) (log (exp (/ 1 1))) (log (exp 1)) (log (exp (- x (sin x)))) (log (exp (/ (- x (sin x)) (- (pow x 3) (pow (tan x) 3))))) (log (exp (/ (- x (sin x)) (- (* x x) (* (tan x) (tan x)))))) (log (log (exp (/ (- x (sin x)) (- x (tan x)))))) (exp (log (exp (/ (- x (sin x)) (- x (tan x)))))) (* (cbrt (log (exp (/ (- x (sin x)) (- x (tan x)))))) (cbrt (log (exp (/ (- x (sin x)) (- x (tan x))))))) (cbrt (log (exp (/ (- x (sin x)) (- x (tan x)))))) (* (* (log (exp (/ (- x (sin x)) (- x (tan x))))) (log (exp (/ (- x (sin x)) (- x (tan x)))))) (log (exp (/ (- x (sin x)) (- x (tan x)))))) (sqrt (log (exp (/ (- x (sin x)) (- x (tan x)))))) (sqrt (log (exp (/ (- x (sin x)) (- x (tan x)))))) (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (* 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.302 * * [simplify]: iteration 0 : 541 enodes (cost 1431 ) 1.311 * * [simplify]: iteration 1 : 1836 enodes (cost 1207 ) 1.344 * * [simplify]: iteration 2 : 5001 enodes (cost 1207 ) 1.350 * [simplify]: Simplified to: (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (tan x)) (fma (- (tan x)) 1 (tan x)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (tan x)) (fma (- (tan x)) 1 (tan x)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (- x (tan x)) (fma (- (tan x)) 1 (tan x)) (expm1 (- x (tan x))) (log1p (- x (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (exp (- x (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (pow (- x (tan x)) 3) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (fma (tan x) (+ x (tan 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)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (sin x)) (fma (- (sin x)) 1 (sin x)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (sin x)) (fma (- (sin x)) 1 (sin x)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (- x (sin x)) (fma (- (sin x)) 1 (sin x)) (expm1 (- x (sin x))) (log1p (- x (sin x))) (- (sin 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)) (fma (sin x) (+ x (sin x)) (pow x 2)) (- (sin x)) (fma x x (- (pow (sin x) 2))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (expm1 (/ (- x (sin x)) (- x (tan x)))) (log1p (/ (- x (sin x)) (- 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)))) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (* (- x (tan x)) (+ x (sin x))) (expm1 (/ (- x (sin x)) (- x (tan x)))) (log1p (/ (- x (sin x)) (- x (tan x)))) (* 2 (log (cbrt (exp (/ (- x (sin x)) (- x (tan x))))))) (log (cbrt (exp (/ (- x (sin x)) (- x (tan x)))))) (log (sqrt (exp (/ (- x (sin x)) (- x (tan x)))))) (log (sqrt (exp (/ (- x (sin x)) (- x (tan x)))))) 0 (/ (- x (sin x)) (- x (tan x))) (/ x (- x (tan x))) (/ (sin x) (- x (tan x))) (/ (- x (sin x)) (- x (tan x))) (* (cbrt (/ (- x (sin x)) (- x (tan x)))) (cbrt (/ (- x (sin x)) (- x (tan x))))) (sqrt (/ (- 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 (sin x)))) (sqrt (- x (tan x)))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (+ (sqrt x) (sqrt (tan x)))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (/ (sqrt (- x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (sqrt (- x (sin x))) (/ (sqrt (- x (sin x))) (+ (sqrt x) (sqrt (tan x)))) (sqrt (- x (sin x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ 1 (sqrt (- x (tan x)))) 1 (/ 1 (+ (sqrt x) (sqrt (tan x)))) 1 (/ (+ (sqrt x) (sqrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (+ (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (+ (sqrt x) (sqrt (sin x))) (/ (+ (sqrt x) (sqrt (sin x))) (+ (sqrt x) (sqrt (tan x)))) (+ (sqrt x) (sqrt (sin x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ 1 (sqrt (- x (tan x)))) 1 (/ 1 (+ (sqrt x) (sqrt (tan x)))) 1 1 (- x (sin x)) (/ (- x (sin x)) (- (pow x 3) (pow (tan x) 3))) (/ (- x (sin x)) (- (* x x) (* (tan x) (tan x)))) (log (/ (- x (sin x)) (- x (tan x)))) (exp (/ (- x (sin 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)))) (pow (/ (- x (sin x)) (- x (tan x))) 3) (sqrt (/ (- x (sin x)) (- x (tan x)))) (sqrt (/ (- x (sin x)) (- x (tan x)))) (- (- (* 17/315 (pow x 7))) (fma 1/3 (pow x 3) (* 2/15 (pow x 5)))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (fma (pow x 7) 1/5040 (- (* 1/6 (pow x 3)) (* 1/120 (pow x 5)))) (- x (sin x)) (- x (sin x)) (fma 9/40 (pow x 2) (- (fma 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))))) (fma 9/40 (pow x 2) (- (fma 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.351 * * * [progress]: adding candidates to table 1.725 * * [progress]: iteration 3 / 4 1.725 * * * [progress]: picking best candidate 1.730 * * * * [pick]: Picked # 1.730 * * * [progress]: localizing error 1.753 * * * [progress]: generating rewritten candidates 1.753 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.760 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.768 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2) 1.769 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 1.775 * * * [progress]: generating series expansions 1.775 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.776 * [approximate]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (cos x))) in (x) around 0 1.776 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (cos x))) in x 1.776 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.776 * [taylor]: Taking taylor expansion of (sin x) in x 1.776 * [taylor]: Taking taylor expansion of x in x 1.777 * [taylor]: Taking taylor expansion of (* (pow x 2) (cos x)) in x 1.777 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.777 * [taylor]: Taking taylor expansion of x in x 1.777 * [taylor]: Taking taylor expansion of (cos x) in x 1.777 * [taylor]: Taking taylor expansion of x in x 1.778 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (cos x))) in x 1.778 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.778 * [taylor]: Taking taylor expansion of (sin x) in x 1.778 * [taylor]: Taking taylor expansion of x in x 1.778 * [taylor]: Taking taylor expansion of (* (pow x 2) (cos x)) in x 1.778 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.778 * [taylor]: Taking taylor expansion of x in x 1.778 * [taylor]: Taking taylor expansion of (cos x) in x 1.778 * [taylor]: Taking taylor expansion of x in x 1.801 * [approximate]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (cos (/ 1 x))) in (x) around 0 1.801 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (cos (/ 1 x))) in x 1.801 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin (/ 1 x)) 2)) in x 1.801 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.802 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.803 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (cos (/ 1 x))) in x 1.803 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin (/ 1 x)) 2)) in x 1.803 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.803 * [taylor]: Taking taylor expansion of x in x 1.803 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.803 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.803 * [taylor]: Taking taylor expansion of x in x 1.803 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.803 * [taylor]: Taking taylor expansion of x in x 1.820 * [approximate]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (cos (/ -1 x))) in (x) around 0 1.820 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (cos (/ -1 x))) in x 1.820 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 2) (pow x 2)) in x 1.820 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.820 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.820 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.820 * [taylor]: Taking taylor expansion of -1 in x 1.820 * [taylor]: Taking taylor expansion of x in x 1.821 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.821 * [taylor]: Taking taylor expansion of x in x 1.821 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.821 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.821 * [taylor]: Taking taylor expansion of -1 in x 1.821 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (cos (/ -1 x))) in x 1.822 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 2) (pow x 2)) in x 1.822 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.822 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.822 * [taylor]: Taking taylor expansion of -1 in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.822 * [taylor]: Taking taylor expansion of -1 in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.836 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.837 * [approximate]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) in (x) around 0 1.837 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) in x 1.837 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.837 * [taylor]: Taking taylor expansion of (sin x) in x 1.837 * [taylor]: Taking taylor expansion of x in x 1.837 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cos x) 2)) in x 1.837 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.837 * [taylor]: Taking taylor expansion of x in x 1.837 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.837 * [taylor]: Taking taylor expansion of (cos x) in x 1.837 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) in x 1.839 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.839 * [taylor]: Taking taylor expansion of (sin x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cos x) 2)) in x 1.839 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.839 * [taylor]: Taking taylor expansion of (cos x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.860 * [approximate]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (pow (cos (/ 1 x)) 2)) in (x) around 0 1.860 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (pow (cos (/ 1 x)) 2)) in x 1.860 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin (/ 1 x)) 2)) in x 1.860 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.860 * [taylor]: Taking taylor expansion of x in x 1.860 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.860 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.860 * [taylor]: Taking taylor expansion of x in x 1.860 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.860 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.860 * [taylor]: Taking taylor expansion of x in x 1.861 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (pow (sin (/ 1 x)) 2)) (pow (cos (/ 1 x)) 2)) in x 1.861 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin (/ 1 x)) 2)) in x 1.861 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.861 * [taylor]: Taking taylor expansion of x in x 1.861 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.861 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.861 * [taylor]: Taking taylor expansion of x in x 1.861 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.861 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.862 * [taylor]: Taking taylor expansion of x in x 1.889 * [approximate]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (pow (cos (/ -1 x)) 2)) in (x) around 0 1.889 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (pow (cos (/ -1 x)) 2)) in x 1.889 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 2) (pow x 2)) in x 1.889 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.889 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.889 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.889 * [taylor]: Taking taylor expansion of -1 in x 1.889 * [taylor]: Taking taylor expansion of x in x 1.889 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.889 * [taylor]: Taking taylor expansion of x in x 1.889 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.889 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.889 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.889 * [taylor]: Taking taylor expansion of -1 in x 1.889 * [taylor]: Taking taylor expansion of x in x 1.890 * [taylor]: Taking taylor expansion of (/ (* (pow (sin (/ -1 x)) 2) (pow x 2)) (pow (cos (/ -1 x)) 2)) in x 1.890 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 x)) 2) (pow x 2)) in x 1.890 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.890 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.891 * [taylor]: Taking taylor expansion of -1 in x 1.891 * [taylor]: Taking taylor expansion of x in x 1.891 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.891 * [taylor]: Taking taylor expansion of x in x 1.891 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.891 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.891 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.891 * [taylor]: Taking taylor expansion of -1 in x 1.891 * [taylor]: Taking taylor expansion of x in x 1.911 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2) 1.911 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0 1.911 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.911 * [taylor]: Taking taylor expansion of (cos x) in x 1.911 * [taylor]: Taking taylor expansion of x in x 1.911 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.911 * [taylor]: Taking taylor expansion of (cos x) in x 1.911 * [taylor]: Taking taylor expansion of x in x 1.917 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0 1.917 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.918 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.918 * [taylor]: Taking taylor expansion of x in x 1.918 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.918 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.918 * [taylor]: Taking taylor expansion of x in x 1.923 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0 1.923 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.923 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.923 * [taylor]: Taking taylor expansion of -1 in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.923 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.923 * [taylor]: Taking taylor expansion of -1 in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.929 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 1.929 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0 1.929 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.929 * [taylor]: Taking taylor expansion of (sin x) in x 1.929 * [taylor]: Taking taylor expansion of x in x 1.929 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 1.929 * [taylor]: Taking taylor expansion of (sin x) in x 1.929 * [taylor]: Taking taylor expansion of x in x 1.937 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0 1.937 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.937 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.937 * [taylor]: Taking taylor expansion of x in x 1.937 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 1.937 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.937 * [taylor]: Taking taylor expansion of x in x 1.942 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0 1.942 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.942 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.942 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.942 * [taylor]: Taking taylor expansion of -1 in x 1.942 * [taylor]: Taking taylor expansion of x in x 1.943 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 1.943 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.943 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.943 * [taylor]: Taking taylor expansion of -1 in x 1.943 * [taylor]: Taking taylor expansion of x in x 1.947 * * * [progress]: simplifying candidates 1.949 * [simplify]: Simplifying using # : (expm1 (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log1p (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (cos x)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (cos x)))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (log (cos x)))) (- (* (log (sin x)) 2) (log (* (pow x 2) (cos x)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (cos x)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (cos x)))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (log (cos x)))) (- (* (log (sin x)) 2) (log (* (pow x 2) (cos x)))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (log (cos x)))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (log (cos x)))) (- (log (pow (sin x) 2)) (+ (log (pow x 2)) (log (cos x)))) (- (log (pow (sin x) 2)) (log (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (exp (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (cos x) (cos x)) (cos x)))) (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (* (pow x 2) (cos x)) (* (pow x 2) (cos x))) (* (pow x 2) (cos x)))) (* (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (* (* (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (- (pow (sin x) 2)) (- (* (pow x 2) (cos x))) (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow x 2)) (/ (pow (cbrt (sin x)) 2) (cos x)) (/ (pow (sqrt (sin x)) 2) (pow x 2)) (/ (pow (sqrt (sin x)) 2) (cos x)) (/ (pow 1 2) (pow x 2)) (/ (pow (sin x) 2) (cos x)) (/ (sin x) (pow x 2)) (/ (sin x) (cos x)) (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow x 2)) (/ (cbrt (pow (sin x) 2)) (cos x)) (/ (sqrt (pow (sin x) 2)) (pow x 2)) (/ (sqrt (pow (sin x) 2)) (cos x)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (cos x)) (/ (pow (sin x) (/ 2 2)) (pow x 2)) (/ (pow (sin x) (/ 2 2)) (cos x)) (/ 1 (* (pow x 2) (cos x))) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (pow (sin x) 2) (pow x 2)) (/ (* (pow x 2) (cos x)) (pow (cbrt (sin x)) 2)) (/ (* (pow x 2) (cos x)) (pow (sqrt (sin x)) 2)) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (* (pow x 2) (cos x)) (sin x)) (/ (* (pow x 2) (cos x)) (cbrt (pow (sin x) 2))) (/ (* (pow x 2) (cos x)) (sqrt (pow (sin x) 2))) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (* (pow x 2) (cos x)) (pow (sin x) (/ 2 2))) (expm1 (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log1p (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (log (* (pow x 2) (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (* (log (sin x)) 2) (+ (log (pow x 2)) (log (pow (cos x) 2)))) (- (* (log (sin x)) 2) (log (* (pow x 2) (pow (cos x) 2)))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (* (log x) 2) (log (pow (cos x) 2)))) (- (log (pow (sin x) 2)) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (log (pow x 2)) (* (log (cos x)) 2))) (- (log (pow (sin x) 2)) (+ (log (pow x 2)) (log (pow (cos x) 2)))) (- (log (pow (sin x) 2)) (log (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (exp (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (pow (cos x) 2) (pow (cos x) 2)) (pow (cos x) 2)))) (/ (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (* (* (* (pow x 2) (pow (cos x) 2)) (* (pow x 2) (pow (cos x) 2))) (* (pow x 2) (pow (cos x) 2)))) (* (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (* (* (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (- (pow (sin x) 2)) (- (* (pow x 2) (pow (cos x) 2))) (/ (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow x 2)) (/ (pow (cbrt (sin x)) 2) (pow (cos x) 2)) (/ (pow (sqrt (sin x)) 2) (pow x 2)) (/ (pow (sqrt (sin x)) 2) (pow (cos x) 2)) (/ (pow 1 2) (pow x 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (sin x) (pow x 2)) (/ (sin x) (pow (cos x) 2)) (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow x 2)) (/ (cbrt (pow (sin x) 2)) (pow (cos x) 2)) (/ (sqrt (pow (sin x) 2)) (pow x 2)) (/ (sqrt (pow (sin x) 2)) (pow (cos x) 2)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (pow (sin x) (/ 2 2)) (pow x 2)) (/ (pow (sin x) (/ 2 2)) (pow (cos x) 2)) (/ 1 (* (pow x 2) (pow (cos x) 2))) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (pow (sin x) 2) (pow x 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (cbrt (sin x)) 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sqrt (sin x)) 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (* (pow x 2) (pow (cos x) 2)) (sin x)) (/ (* (pow x 2) (pow (cos x) 2)) (cbrt (pow (sin x) 2))) (/ (* (pow x 2) (pow (cos x) 2)) (sqrt (pow (sin x) 2))) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) (/ 2 2))) (expm1 (pow (cos x) 2)) (log1p (pow (cos x) 2)) (* (log (cos x)) 2) (* (log (cos x)) 2) (* 1 2) (pow (cos x) (* (cbrt 2) (cbrt 2))) (pow (cos x) (sqrt 2)) (pow (cos x) 1) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2) (pow (cbrt (cos x)) 2) (pow (sqrt (cos x)) 2) (pow (sqrt (cos x)) 2) (pow 1 2) (pow (cos x) 2) (log (pow (cos x) 2)) (exp (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)) (* (* (pow (cos x) 2) (pow (cos x) 2)) (pow (cos x) 2)) (sqrt (pow (cos x) 2)) (sqrt (pow (cos x) 2)) (pow (cos x) (/ 2 2)) (pow (cos x) (/ 2 2)) (expm1 (pow (sin x) 2)) (log1p (pow (sin x) 2)) (* (log (sin x)) 2) (* (log (sin x)) 2) (* 1 2) (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (pow (sin x) 1) (pow (* (cbrt (sin x)) (cbrt (sin x))) 2) (pow (cbrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow (sqrt (sin x)) 2) (pow 1 2) (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (* (* (pow (sin x) 2) (pow (sin x) 2)) (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (sqrt (pow (sin x) 2)) (pow (sin x) (/ 2 2)) (pow (sin x) (/ 2 2)) (+ (* 1/6 (pow x 2)) (+ (* 31/360 (pow x 4)) 1)) (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (+ (* 2/3 (pow x 2)) (+ (* 17/45 (pow x 4)) 1)) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (- (+ (* 1/3 (pow x 4)) 1) (pow x 2)) (pow (cos x) 2) (pow (cos x) 2) (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4))) (pow (sin x) 2) (pow (sin x) 2) 1.956 * * [simplify]: iteration 0 : 434 enodes (cost 1060 ) 1.964 * * [simplify]: iteration 1 : 1839 enodes (cost 950 ) 1.994 * * [simplify]: iteration 2 : 5002 enodes (cost 950 ) 2.003 * [simplify]: Simplified to: (expm1 (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log1p (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (log (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (exp (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (pow (/ (pow (sin x) 2) (* (pow x 2) (cos x))) 3) (pow (/ (pow (sin x) 2) (* (pow x 2) (cos x))) 3) (* (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (pow (/ (pow (sin x) 2) (* (pow x 2) (cos x))) 3) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (cos x)))) (- (pow (sin x) 2)) (- (* (pow x 2) (cos x))) (/ (/ (pow (cbrt (sin x)) 4) x) x) (/ (pow (cbrt (sin x)) 2) (cos x)) (/ (/ (sin x) x) x) (/ (sin x) (cos x)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (cos x)) (/ (/ (sin x) x) x) (/ (sin x) (cos x)) (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow x 2)) (/ (cbrt (pow (sin x) 2)) (cos x)) (/ (/ (fabs (sin x)) x) x) (/ (fabs (sin x)) (cos x)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (cos x)) (/ (/ (sin x) x) x) (/ (sin x) (cos x)) (/ 1 (* (pow x 2) (cos x))) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (pow (sin x) 2) (pow x 2)) (/ (* (pow x 2) (cos x)) (pow (cbrt (sin x)) 2)) (/ (cos x) (/ (/ (sin x) x) x)) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (cos x) (/ (/ (sin x) x) x)) (/ (* (pow x 2) (cos x)) (cbrt (pow (sin x) 2))) (/ (cos x) (/ (/ (fabs (sin x)) x) x)) (/ (* (pow x 2) (cos x)) (pow (sin x) 2)) (/ (cos x) (/ (/ (sin x) x) x)) (expm1 (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log1p (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (log (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (exp (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (pow (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 3) (pow (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 3) (* (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))))) (cbrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (pow (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 3) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (sqrt (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2)))) (- (pow (sin x) 2)) (- (* (pow x 2) (pow (cos x) 2))) (/ (/ (pow (cbrt (sin x)) 4) x) x) (/ (pow (cbrt (sin x)) 2) (pow (cos x) 2)) (/ (/ (sin x) x) x) (/ (sin x) (pow (cos x) 2)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (/ (sin x) x) x) (/ (sin x) (pow (cos x) 2)) (/ (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (pow x 2)) (/ (cbrt (pow (sin x) 2)) (pow (cos x) 2)) (/ (/ (fabs (sin x)) x) x) (/ (sqrt (pow (sin x) 2)) (pow (cos x) 2)) (/ 1 (pow x 2)) (/ (pow (sin x) 2) (pow (cos x) 2)) (/ (/ (sin x) x) x) (/ (sin x) (pow (cos x) 2)) (/ 1 (* (pow x 2) (pow (cos x) 2))) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (pow (sin x) 2) (pow x 2)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (cbrt (sin x)) 2)) (/ (pow (cos x) 2) (/ (/ (sin x) x) x)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (pow (cos x) 2) (/ (/ (sin x) x) x)) (/ (* (pow x 2) (pow (cos x) 2)) (cbrt (pow (sin x) 2))) (/ (pow (cos x) 2) (/ (/ (fabs (sin x)) x) x)) (/ (* (pow x 2) (pow (cos x) 2)) (pow (sin x) 2)) (/ (pow (cos x) 2) (/ (/ (sin x) x) x)) (expm1 (pow (cos x) 2)) (log1p (pow (cos x) 2)) (log (pow (cos x) 2)) (log (pow (cos x) 2)) 2 (pow (cos x) (* (cbrt 2) (cbrt 2))) (pow (cos x) (sqrt 2)) (cos x) (pow (cbrt (cos x)) 4) (pow (cbrt (cos x)) 2) (cos x) (cos x) 1 (pow (cos x) 2) (log (pow (cos x) 2)) (exp (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (cbrt (pow (cos x) 2)) (pow (pow (cos x) 2) 3) (fabs (cos x)) (fabs (cos x)) (cos x) (cos x) (expm1 (pow (sin x) 2)) (log1p (pow (sin x) 2)) (log (pow (sin x) 2)) (log (pow (sin x) 2)) 2 (pow (sin x) (* (cbrt 2) (cbrt 2))) (pow (sin x) (sqrt 2)) (sin x) (pow (cbrt (sin x)) 4) (pow (cbrt (sin x)) 2) (sin x) (sin x) 1 (pow (sin x) 2) (log (pow (sin x) 2)) (exp (pow (sin x) 2)) (* (cbrt (pow (sin x) 2)) (cbrt (pow (sin x) 2))) (cbrt (pow (sin x) 2)) (pow (pow (sin x) 2) 3) (fabs (sin x)) (fabs (sin x)) (sin x) (sin x) (fma 1/6 (pow x 2) (fma 31/360 (pow x 4) 1)) (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (/ (pow (sin x) 2) (* (pow x 2) (cos x))) (fma 2/3 (pow x 2) (fma 17/45 (pow x 4) 1)) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) (fma (pow x 4) 1/3 (- 1 (pow x 2))) (pow (cos x) 2) (pow (cos x) 2) (fma x x (- (* 2/45 (pow x 6)) (* 1/3 (pow x 4)))) (pow (sin x) 2) (pow (sin x) 2) 2.004 * * * [progress]: adding candidates to table 2.383 * * [progress]: iteration 4 / 4 2.383 * * * [progress]: picking best candidate 2.386 * * * * [pick]: Picked # 2.386 * * * [progress]: localizing error 2.396 * * * [progress]: generating rewritten candidates 2.396 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.397 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 1) 2.398 * * * [progress]: generating series expansions 2.398 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.398 * [approximate]: Taking taylor expansion of (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) in (x) around 0 2.398 * [taylor]: Taking taylor expansion of (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) in x 2.398 * [taylor]: Rewrote expression to (+ (* 9/40 (pow x 2)) (- (fma 27/2800 (pow x 4) 1/2))) 2.398 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 2.398 * [taylor]: Taking taylor expansion of 9/40 in x 2.398 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.398 * [taylor]: Taking taylor expansion of x in x 2.398 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow x 4) 1/2)) in x 2.398 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 2.398 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 2.398 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 2.398 * [taylor]: Taking taylor expansion of 27/2800 in x 2.398 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.398 * [taylor]: Taking taylor expansion of x in x 2.398 * [taylor]: Taking taylor expansion of 1/2 in x 2.398 * [taylor]: Taking taylor expansion of (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) in x 2.399 * [taylor]: Rewrote expression to (+ (* 9/40 (pow x 2)) (- (fma 27/2800 (pow x 4) 1/2))) 2.399 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 2.399 * [taylor]: Taking taylor expansion of 9/40 in x 2.399 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.399 * [taylor]: Taking taylor expansion of x in x 2.399 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow x 4) 1/2)) in x 2.399 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 2.399 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 2.399 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 2.399 * [taylor]: Taking taylor expansion of 27/2800 in x 2.399 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.399 * [taylor]: Taking taylor expansion of x in x 2.399 * [taylor]: Taking taylor expansion of 1/2 in x 2.406 * [approximate]: Taking taylor expansion of (fma 9/40 (pow (/ 1 x) 2) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) in (x) around 0 2.406 * [taylor]: Taking taylor expansion of (fma 9/40 (pow (/ 1 x) 2) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) in x 2.406 * [taylor]: Rewrote expression to (+ (* 9/40 (pow (/ 1 x) 2)) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) 2.406 * [taylor]: Taking taylor expansion of (* 9/40 (pow (/ 1 x) 2)) in x 2.406 * [taylor]: Taking taylor expansion of 9/40 in x 2.406 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in x 2.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.406 * [taylor]: Taking taylor expansion of x in x 2.407 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow (/ 1 x) 4) 1/2)) in x 2.407 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 2.407 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 2.407 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 2.407 * [taylor]: Taking taylor expansion of 27/2800 in x 2.407 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 2.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.407 * [taylor]: Taking taylor expansion of x in x 2.407 * [taylor]: Taking taylor expansion of 1/2 in x 2.407 * [taylor]: Taking taylor expansion of (fma 9/40 (pow (/ 1 x) 2) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) in x 2.407 * [taylor]: Rewrote expression to (+ (* 9/40 (pow (/ 1 x) 2)) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) 2.407 * [taylor]: Taking taylor expansion of (* 9/40 (pow (/ 1 x) 2)) in x 2.407 * [taylor]: Taking taylor expansion of 9/40 in x 2.407 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in x 2.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.407 * [taylor]: Taking taylor expansion of x in x 2.408 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow (/ 1 x) 4) 1/2)) in x 2.408 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 2.408 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 2.408 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 2.408 * [taylor]: Taking taylor expansion of 27/2800 in x 2.408 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 2.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.408 * [taylor]: Taking taylor expansion of x in x 2.408 * [taylor]: Taking taylor expansion of 1/2 in x 2.424 * [approximate]: Taking taylor expansion of (fma 9/40 (pow (/ -1 x) 2) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) in (x) around 0 2.424 * [taylor]: Taking taylor expansion of (fma 9/40 (pow (/ -1 x) 2) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) in x 2.425 * [taylor]: Rewrote expression to (+ (* 9/40 (pow (/ -1 x) 2)) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) 2.425 * [taylor]: Taking taylor expansion of (* 9/40 (pow (/ -1 x) 2)) in x 2.425 * [taylor]: Taking taylor expansion of 9/40 in x 2.425 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in x 2.425 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.425 * [taylor]: Taking taylor expansion of -1 in x 2.425 * [taylor]: Taking taylor expansion of x in x 2.425 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow (/ -1 x) 4) 1/2)) in x 2.425 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 2.425 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 2.425 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 2.425 * [taylor]: Taking taylor expansion of 27/2800 in x 2.425 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 2.425 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.425 * [taylor]: Taking taylor expansion of -1 in x 2.425 * [taylor]: Taking taylor expansion of x in x 2.426 * [taylor]: Taking taylor expansion of 1/2 in x 2.426 * [taylor]: Taking taylor expansion of (fma 9/40 (pow (/ -1 x) 2) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) in x 2.426 * [taylor]: Rewrote expression to (+ (* 9/40 (pow (/ -1 x) 2)) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) 2.426 * [taylor]: Taking taylor expansion of (* 9/40 (pow (/ -1 x) 2)) in x 2.426 * [taylor]: Taking taylor expansion of 9/40 in x 2.426 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in x 2.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.426 * [taylor]: Taking taylor expansion of -1 in x 2.426 * [taylor]: Taking taylor expansion of x in x 2.426 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow (/ -1 x) 4) 1/2)) in x 2.426 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 2.426 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 2.426 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 2.426 * [taylor]: Taking taylor expansion of 27/2800 in x 2.426 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 2.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.426 * [taylor]: Taking taylor expansion of -1 in x 2.426 * [taylor]: Taking taylor expansion of x in x 2.427 * [taylor]: Taking taylor expansion of 1/2 in x 2.447 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 1) 2.447 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in (x) around 0 2.447 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 2.448 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 2.448 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 2.448 * [taylor]: Taking taylor expansion of 27/2800 in x 2.448 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.448 * [taylor]: Taking taylor expansion of x in x 2.448 * [taylor]: Taking taylor expansion of 1/2 in x 2.448 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 2.448 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 2.448 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 2.448 * [taylor]: Taking taylor expansion of 27/2800 in x 2.448 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.448 * [taylor]: Taking taylor expansion of x in x 2.448 * [taylor]: Taking taylor expansion of 1/2 in x 2.462 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in (x) around 0 2.462 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 2.463 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 2.463 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 2.463 * [taylor]: Taking taylor expansion of 27/2800 in x 2.463 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 2.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.463 * [taylor]: Taking taylor expansion of x in x 2.463 * [taylor]: Taking taylor expansion of 1/2 in x 2.463 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 2.463 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 2.463 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 2.463 * [taylor]: Taking taylor expansion of 27/2800 in x 2.463 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 2.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.463 * [taylor]: Taking taylor expansion of x in x 2.463 * [taylor]: Taking taylor expansion of 1/2 in x 2.495 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in (x) around 0 2.495 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 2.495 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 2.495 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 2.495 * [taylor]: Taking taylor expansion of 27/2800 in x 2.495 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 2.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.495 * [taylor]: Taking taylor expansion of -1 in x 2.495 * [taylor]: Taking taylor expansion of x in x 2.496 * [taylor]: Taking taylor expansion of 1/2 in x 2.496 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 2.496 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 2.496 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 2.496 * [taylor]: Taking taylor expansion of 27/2800 in x 2.496 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 2.496 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.496 * [taylor]: Taking taylor expansion of -1 in x 2.496 * [taylor]: Taking taylor expansion of x in x 2.496 * [taylor]: Taking taylor expansion of 1/2 in x 2.534 * * * [progress]: simplifying candidates 2.534 * [simplify]: Simplifying using # : (expm1 (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (log1p (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (* 9/40 (pow x 2)) (log (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (exp (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (* (cbrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (cbrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))))) (cbrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (* (* (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (sqrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (sqrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (expm1 (fma 27/2800 (pow x 4) 1/2)) (log1p (fma 27/2800 (pow x 4) 1/2)) (* 27/2800 (pow x 4)) (log (fma 27/2800 (pow x 4) 1/2)) (exp (fma 27/2800 (pow x 4) 1/2)) (* (cbrt (fma 27/2800 (pow x 4) 1/2)) (cbrt (fma 27/2800 (pow x 4) 1/2))) (cbrt (fma 27/2800 (pow x 4) 1/2)) (* (* (fma 27/2800 (pow x 4) 1/2) (fma 27/2800 (pow x 4) 1/2)) (fma 27/2800 (pow x 4) 1/2)) (sqrt (fma 27/2800 (pow x 4) 1/2)) (sqrt (fma 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)) (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2) 2.537 * * [simplify]: iteration 0 : 51 enodes (cost 133 ) 2.539 * * [simplify]: iteration 1 : 162 enodes (cost 117 ) 2.543 * * [simplify]: iteration 2 : 626 enodes (cost 117 ) 2.558 * * [simplify]: iteration 3 : 3552 enodes (cost 117 ) 2.679 * * [simplify]: iteration 4 : 5001 enodes (cost 117 ) 2.680 * [simplify]: Simplified to: (expm1 (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (log1p (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (* 9/40 (pow x 2)) (log (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (exp (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (* (cbrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (cbrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))))) (cbrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (pow (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) 3) (sqrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (sqrt (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2)))) (expm1 (fma 27/2800 (pow x 4) 1/2)) (log1p (fma 27/2800 (pow x 4) 1/2)) (* 27/2800 (pow x 4)) (log (fma 27/2800 (pow x 4) 1/2)) (exp (fma 27/2800 (pow x 4) 1/2)) (* (cbrt (fma 27/2800 (pow x 4) 1/2)) (cbrt (fma 27/2800 (pow x 4) 1/2))) (cbrt (fma 27/2800 (pow x 4) 1/2)) (pow (fma 27/2800 (pow x 4) 1/2) 3) (sqrt (fma 27/2800 (pow x 4) 1/2)) (sqrt (fma 27/2800 (pow x 4) 1/2)) (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) (fma 27/2800 (pow x 4) 1/2) (fma 27/2800 (pow x 4) 1/2) (fma 27/2800 (pow x 4) 1/2) 2.680 * * * [progress]: adding candidates to table 2.748 * [progress]: [Phase 3 of 3] Extracting. 2.748 * * [regime]: Finding splitpoints for: (# # #) 2.749 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- x (sin x)) (- x (tan x))) x) 2.750 * * * * [regimes]: Trying to branch on (/ (- x (sin x)) (- x (tan x))) from (# # #) 2.773 * * * * [regimes]: Trying to branch on x from (# # #) 2.801 * * * [regime]: Found split indices: #