0.889 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.469 * * * [progress]: [2/2] Setting up program. 0.473 * [progress]: [Phase 2 of 3] Improving. 0.476 * [simplify]: Simplifying using # : (/ (- x (sin x)) (- x (tan x))) 0.479 * * [simplify]: iteration 0 : 13 enodes (cost 5 ) 0.481 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 0.482 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 0.483 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 0.484 * [simplify]: Simplified to: (/ (- x (sin x)) (- x (tan x))) 0.485 * * [progress]: iteration 1 / 4 0.485 * * * [progress]: picking best candidate 0.487 * * * * [pick]: Picked # 0.487 * * * [progress]: localizing error 0.498 * * * [progress]: generating rewritten candidates 0.498 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.504 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.507 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.536 * * * [progress]: generating series expansions 0.536 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.540 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 0.541 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.541 * [taylor]: Taking taylor expansion of (sin x) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.542 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.542 * [taylor]: Taking taylor expansion of (sin x) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.560 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 0.560 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.561 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.561 * [taylor]: Taking taylor expansion of x in x 0.561 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.561 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.569 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 0.569 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.569 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in 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 (/ 1 x) in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.570 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.570 * [taylor]: Taking taylor expansion of (sin (/ -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.577 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.578 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 0.578 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (tan x) in x 0.579 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.579 * [taylor]: Taking taylor expansion of (sin x) in x 0.579 * [taylor]: Taking taylor expansion of x in x 0.579 * [taylor]: Taking taylor expansion of (cos x) in x 0.579 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (tan x) in x 0.580 * [taylor]: Rewrote expression to (/ (sin x) (cos 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 (cos x) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.605 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 0.605 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.605 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.606 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.606 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.607 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.607 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.617 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.617 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.617 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.617 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.617 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.617 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.617 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.617 * [taylor]: Taking taylor expansion of -1 in x 0.617 * [taylor]: Taking taylor expansion of x in x 0.618 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.618 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.618 * [taylor]: Taking taylor expansion of -1 in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.623 * [taylor]: Taking taylor expansion of x in x 0.623 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.624 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.624 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.624 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.624 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.624 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.624 * [taylor]: Taking taylor expansion of -1 in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.624 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.624 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.624 * [taylor]: Taking taylor expansion of -1 in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.634 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.634 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 0.634 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.634 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of (sin x) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of (tan x) in x 0.634 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.634 * [taylor]: Taking taylor expansion of (sin x) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of (cos x) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.643 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (sin x) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (tan x) in x 0.643 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.643 * [taylor]: Taking taylor expansion of (sin x) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (cos x) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.686 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 0.686 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.686 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 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 (sin (/ 1 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 (- (/ 1 x) (tan (/ 1 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.687 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.687 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.687 * [taylor]: Taking taylor expansion of (sin (/ 1 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.687 * [taylor]: Taking taylor expansion of (cos (/ 1 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 (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.688 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 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 (sin (/ 1 x)) in x 0.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.689 * [taylor]: Taking taylor expansion of x in x 0.689 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.689 * [taylor]: Taking taylor expansion of 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 x in x 0.690 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.696 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.696 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.696 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.696 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.696 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.696 * [taylor]: Taking taylor expansion of -1 in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.697 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.697 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.697 * [taylor]: Taking taylor expansion of -1 in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.697 * [taylor]: Taking taylor expansion of -1 in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.699 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.699 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.699 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.699 * [taylor]: Taking taylor expansion of -1 in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.700 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.700 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.700 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.700 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.700 * [taylor]: Taking taylor expansion of -1 in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.700 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.700 * [taylor]: Taking taylor expansion of -1 in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.709 * * * [progress]: simplifying candidates 0.712 * [simplify]: Simplifying using # : (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)) (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)) (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))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) 0.719 * * [simplify]: iteration 0 : 472 enodes (cost 1059 ) 0.727 * * [simplify]: iteration 1 : 1737 enodes (cost 854 ) 0.760 * * [simplify]: iteration 2 : 5001 enodes (cost 854 ) 0.764 * [simplify]: Simplified to: (- (* (* (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)) (- (* (* (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)) (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))) (fma (pow x 7) 1/5040 (- (* 1/6 (pow x 3)) (* 1/120 (pow x 5)))) (- x (sin 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 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.765 * * * [progress]: adding candidates to table 0.999 * * [progress]: iteration 2 / 4 0.999 * * * [progress]: picking best candidate 1.006 * * * * [pick]: Picked # 1.007 * * * [progress]: localizing error 1.018 * * * [progress]: generating rewritten candidates 1.018 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.018 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 1) 1.019 * * * [progress]: generating series expansions 1.019 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.019 * [approximate]: Taking taylor expansion of (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) in (x) around 0 1.019 * [taylor]: Taking taylor expansion of (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) in x 1.019 * [taylor]: Rewrote expression to (+ (* 9/40 (pow x 2)) (- (fma 27/2800 (pow x 4) 1/2))) 1.019 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.019 * [taylor]: Taking taylor expansion of 9/40 in x 1.019 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.019 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow x 4) 1/2)) in x 1.019 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 1.019 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 1.019 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.019 * [taylor]: Taking taylor expansion of 27/2800 in x 1.019 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.020 * [taylor]: Taking taylor expansion of 1/2 in x 1.020 * [taylor]: Taking taylor expansion of (fma 9/40 (pow x 2) (- (fma 27/2800 (pow x 4) 1/2))) in x 1.020 * [taylor]: Rewrote expression to (+ (* 9/40 (pow x 2)) (- (fma 27/2800 (pow x 4) 1/2))) 1.020 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.020 * [taylor]: Taking taylor expansion of 9/40 in x 1.020 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.020 * [taylor]: Taking taylor expansion of x in x 1.020 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow x 4) 1/2)) in x 1.020 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 1.020 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 1.020 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.020 * [taylor]: Taking taylor expansion of 27/2800 in x 1.020 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.020 * [taylor]: Taking taylor expansion of x in x 1.020 * [taylor]: Taking taylor expansion of 1/2 in x 1.027 * [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 1.027 * [taylor]: Taking taylor expansion of (fma 9/40 (pow (/ 1 x) 2) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) in x 1.027 * [taylor]: Rewrote expression to (+ (* 9/40 (pow (/ 1 x) 2)) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) 1.027 * [taylor]: Taking taylor expansion of (* 9/40 (pow (/ 1 x) 2)) in x 1.027 * [taylor]: Taking taylor expansion of 9/40 in x 1.027 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in x 1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.028 * [taylor]: Taking taylor expansion of x in x 1.028 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow (/ 1 x) 4) 1/2)) in x 1.028 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 1.028 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 1.028 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 1.028 * [taylor]: Taking taylor expansion of 27/2800 in x 1.028 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.028 * [taylor]: Taking taylor expansion of x in x 1.028 * [taylor]: Taking taylor expansion of 1/2 in x 1.028 * [taylor]: Taking taylor expansion of (fma 9/40 (pow (/ 1 x) 2) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) in x 1.028 * [taylor]: Rewrote expression to (+ (* 9/40 (pow (/ 1 x) 2)) (- (fma 27/2800 (pow (/ 1 x) 4) 1/2))) 1.028 * [taylor]: Taking taylor expansion of (* 9/40 (pow (/ 1 x) 2)) in x 1.028 * [taylor]: Taking taylor expansion of 9/40 in x 1.028 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in x 1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.028 * [taylor]: Taking taylor expansion of x in x 1.029 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow (/ 1 x) 4) 1/2)) in x 1.029 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 1.029 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 1.029 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 1.029 * [taylor]: Taking taylor expansion of 27/2800 in x 1.029 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.029 * [taylor]: Taking taylor expansion of x in x 1.029 * [taylor]: Taking taylor expansion of 1/2 in x 1.045 * [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 1.045 * [taylor]: Taking taylor expansion of (fma 9/40 (pow (/ -1 x) 2) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) in x 1.045 * [taylor]: Rewrote expression to (+ (* 9/40 (pow (/ -1 x) 2)) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) 1.045 * [taylor]: Taking taylor expansion of (* 9/40 (pow (/ -1 x) 2)) in x 1.045 * [taylor]: Taking taylor expansion of 9/40 in x 1.045 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in x 1.045 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.045 * [taylor]: Taking taylor expansion of -1 in x 1.045 * [taylor]: Taking taylor expansion of x in x 1.045 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow (/ -1 x) 4) 1/2)) in x 1.046 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 1.046 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 1.046 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 1.046 * [taylor]: Taking taylor expansion of 27/2800 in x 1.046 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.046 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.046 * [taylor]: Taking taylor expansion of -1 in x 1.046 * [taylor]: Taking taylor expansion of x in x 1.046 * [taylor]: Taking taylor expansion of 1/2 in x 1.046 * [taylor]: Taking taylor expansion of (fma 9/40 (pow (/ -1 x) 2) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) in x 1.046 * [taylor]: Rewrote expression to (+ (* 9/40 (pow (/ -1 x) 2)) (- (fma 27/2800 (pow (/ -1 x) 4) 1/2))) 1.046 * [taylor]: Taking taylor expansion of (* 9/40 (pow (/ -1 x) 2)) in x 1.046 * [taylor]: Taking taylor expansion of 9/40 in x 1.046 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in x 1.046 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.046 * [taylor]: Taking taylor expansion of -1 in x 1.046 * [taylor]: Taking taylor expansion of x in x 1.047 * [taylor]: Taking taylor expansion of (- (fma 27/2800 (pow (/ -1 x) 4) 1/2)) in x 1.047 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 1.047 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 1.047 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 1.047 * [taylor]: Taking taylor expansion of 27/2800 in x 1.047 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.047 * [taylor]: Taking taylor expansion of -1 in x 1.047 * [taylor]: Taking taylor expansion of x in x 1.047 * [taylor]: Taking taylor expansion of 1/2 in x 1.062 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 1) 1.062 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in (x) around 0 1.062 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 1.063 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 1.063 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.063 * [taylor]: Taking taylor expansion of 27/2800 in x 1.063 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.063 * [taylor]: Taking taylor expansion of x in x 1.063 * [taylor]: Taking taylor expansion of 1/2 in x 1.063 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 1.063 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 1.063 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.063 * [taylor]: Taking taylor expansion of 27/2800 in x 1.063 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.063 * [taylor]: Taking taylor expansion of x in x 1.063 * [taylor]: Taking taylor expansion of 1/2 in x 1.080 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in (x) around 0 1.080 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 1.080 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 1.080 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 1.080 * [taylor]: Taking taylor expansion of 27/2800 in x 1.080 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.080 * [taylor]: Taking taylor expansion of x in x 1.080 * [taylor]: Taking taylor expansion of 1/2 in x 1.080 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 1.080 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 1.080 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 1.080 * [taylor]: Taking taylor expansion of 27/2800 in x 1.081 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) 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 1/2 in x 1.111 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in (x) around 0 1.111 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 1.111 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 1.111 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 1.111 * [taylor]: Taking taylor expansion of 27/2800 in x 1.111 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.111 * [taylor]: Taking taylor expansion of -1 in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.111 * [taylor]: Taking taylor expansion of 1/2 in x 1.111 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 1.111 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 1.111 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 1.111 * [taylor]: Taking taylor expansion of 27/2800 in x 1.111 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.111 * [taylor]: Taking taylor expansion of -1 in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of 1/2 in x 1.145 * * * [progress]: simplifying candidates 1.146 * [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) 1.149 * * [simplify]: iteration 0 : 51 enodes (cost 133 ) 1.150 * * [simplify]: iteration 1 : 162 enodes (cost 117 ) 1.154 * * [simplify]: iteration 2 : 626 enodes (cost 117 ) 1.169 * * [simplify]: iteration 3 : 3552 enodes (cost 117 ) 1.288 * * [simplify]: iteration 4 : 5001 enodes (cost 117 ) 1.289 * [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) 1.289 * * * [progress]: adding candidates to table 1.355 * * [progress]: iteration 3 / 4 1.355 * * * [progress]: picking best candidate 1.361 * * * * [pick]: Picked # 1.361 * * * [progress]: localizing error 1.373 * * * [progress]: generating rewritten candidates 1.373 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.377 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.380 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.384 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.390 * * * [progress]: generating series expansions 1.390 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.390 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 1.390 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.390 * [taylor]: Taking taylor expansion of x in x 1.390 * [taylor]: Taking taylor expansion of (sin x) in x 1.390 * [taylor]: Taking taylor expansion of x in x 1.390 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.390 * [taylor]: Taking taylor expansion of x in x 1.390 * [taylor]: Taking taylor expansion of (sin x) in x 1.390 * [taylor]: Taking taylor expansion of x in x 1.404 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 1.404 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.405 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.405 * [taylor]: Taking taylor expansion of x in x 1.405 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.405 * [taylor]: Taking taylor expansion of x in x 1.412 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 1.412 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.412 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.412 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.412 * [taylor]: Taking taylor expansion of -1 in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.412 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.412 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.412 * [taylor]: Taking taylor expansion of -1 in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.413 * [taylor]: Taking taylor expansion of x in x 1.423 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.424 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 1.424 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.424 * [taylor]: Taking taylor expansion of x in x 1.424 * [taylor]: Taking taylor expansion of (sin x) in x 1.424 * [taylor]: Taking taylor expansion of x in x 1.424 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.424 * [taylor]: Taking taylor expansion of x in x 1.424 * [taylor]: Taking taylor expansion of (sin x) in x 1.424 * [taylor]: Taking taylor expansion of x in x 1.438 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 1.438 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.438 * [taylor]: Taking taylor expansion of x in x 1.438 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.438 * [taylor]: Taking taylor expansion of x in x 1.438 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.438 * [taylor]: Taking taylor expansion of x in x 1.439 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.439 * [taylor]: Taking taylor expansion of x in x 1.446 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 1.446 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.446 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.446 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.446 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.446 * [taylor]: Taking taylor expansion of -1 in x 1.446 * [taylor]: Taking taylor expansion of x in x 1.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.446 * [taylor]: Taking taylor expansion of x in x 1.446 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.446 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.446 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.446 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.447 * [taylor]: Taking taylor expansion of -1 in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.454 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.454 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 1.454 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.454 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of (sin x) in x 1.454 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 1.454 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of (sin x) in x 1.454 * [taylor]: Taking taylor expansion of x in x 1.468 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 1.468 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.468 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.469 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 1.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.469 * [taylor]: Taking taylor expansion of x in x 1.469 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.469 * [taylor]: Taking taylor expansion of x in x 1.476 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 1.476 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.476 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.476 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.476 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.476 * [taylor]: Taking taylor expansion of -1 in x 1.476 * [taylor]: Taking taylor expansion of x in x 1.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.476 * [taylor]: Taking taylor expansion of x in x 1.476 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 1.477 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 1.477 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.477 * [taylor]: Taking taylor expansion of -1 in x 1.477 * [taylor]: Taking taylor expansion of x in x 1.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.477 * [taylor]: Taking taylor expansion of x in x 1.484 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.484 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 1.484 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.484 * [taylor]: Taking taylor expansion of x in x 1.484 * [taylor]: Taking taylor expansion of (tan x) in x 1.484 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.484 * [taylor]: Taking taylor expansion of (sin x) in x 1.484 * [taylor]: Taking taylor expansion of x in x 1.484 * [taylor]: Taking taylor expansion of (cos x) in x 1.484 * [taylor]: Taking taylor expansion of x in x 1.485 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.485 * [taylor]: Taking taylor expansion of (tan x) in x 1.485 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 1.485 * [taylor]: Taking taylor expansion of (sin x) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.485 * [taylor]: Taking taylor expansion of (cos x) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.513 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 1.513 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.513 * [taylor]: Taking taylor expansion of x in x 1.513 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.513 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.513 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.513 * [taylor]: Taking taylor expansion of x in x 1.514 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.514 * [taylor]: Taking taylor expansion of x in x 1.514 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 1.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.514 * [taylor]: Taking taylor expansion of x in x 1.514 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 1.515 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 1.515 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 1.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.515 * [taylor]: Taking taylor expansion of x in x 1.515 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.515 * [taylor]: Taking taylor expansion of x in x 1.524 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 1.524 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 1.524 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.524 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.524 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.524 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.524 * [taylor]: Taking taylor expansion of -1 in x 1.524 * [taylor]: Taking taylor expansion of x in x 1.524 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.524 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.524 * [taylor]: Taking taylor expansion of -1 in x 1.524 * [taylor]: Taking taylor expansion of x in x 1.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.525 * [taylor]: Taking taylor expansion of x in x 1.525 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 1.525 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 1.525 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 1.525 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 1.525 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 1.525 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.525 * [taylor]: Taking taylor expansion of -1 in x 1.525 * [taylor]: Taking taylor expansion of x in x 1.526 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.526 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.526 * [taylor]: Taking taylor expansion of -1 in x 1.526 * [taylor]: Taking taylor expansion of x in x 1.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.526 * [taylor]: Taking taylor expansion of x in x 1.535 * * * [progress]: simplifying candidates 1.538 * [simplify]: Simplifying using # : (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)) (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)) (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)) (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)) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) 1.544 * * [simplify]: iteration 0 : 258 enodes (cost 969 ) 1.548 * * [simplify]: iteration 1 : 749 enodes (cost 605 ) 1.564 * * [simplify]: iteration 2 : 3295 enodes (cost 569 ) 1.626 * * [simplify]: iteration 3 : 5001 enodes (cost 401 ) 1.628 * [simplify]: Simplified to: (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (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)) (* x x)) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (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)) (* x x)) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (- x (sin x)) 0 (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)) (* x x)) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (- x (tan x)) 0 (- x (tan x)) 0 (- x (tan x)) 0 (- x (tan x)) 0 (- x (tan x)) 0 (- x (tan x)) 0 (- x (tan x)) 0 (- x (tan x)) 0 (- x (tan x)) 0 (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)) (* x x)) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (tan x)) (fma (pow x 7) 1/5040 (- (* 1/6 (pow x 3)) (* 1/120 (pow x 5)))) (- x (sin x)) (- x (sin x)) (fma (pow x 7) 1/5040 (- (* 1/6 (pow x 3)) (* 1/120 (pow x 5)))) (- x (sin x)) (- x (sin x)) (fma (pow x 7) 1/5040 (- (* 1/6 (pow x 3)) (* 1/120 (pow x 5)))) (- x (sin 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))) 1.629 * * * [progress]: adding candidates to table 1.876 * * [progress]: iteration 4 / 4 1.876 * * * [progress]: picking best candidate 1.879 * * * * [pick]: Picked # 1.879 * * * [progress]: localizing error 1.897 * * * [progress]: generating rewritten candidates 1.897 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.958 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.980 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.983 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 2.002 * * * [progress]: generating series expansions 2.002 * * * * [progress]: [ 1 / 4 ] generating series at (2) 2.003 * [approximate]: Taking taylor expansion of (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) in (x) around 0 2.003 * [taylor]: Taking taylor expansion of (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) in x 2.003 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in x 2.003 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.003 * [taylor]: Taking taylor expansion of x in x 2.003 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.003 * [taylor]: Taking taylor expansion of (sin x) in x 2.003 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) in x 2.004 * [taylor]: Taking taylor expansion of (fma x x (fma (sin x) (sin x) (* x (sin x)))) in x 2.004 * [taylor]: Rewrote expression to (+ (* x x) (fma (sin x) (sin x) (* x (sin x)))) 2.004 * [taylor]: Taking taylor expansion of (* x x) in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of (fma (sin x) (sin x) (* x (sin x))) in x 2.004 * [taylor]: Rewrote expression to (+ (* (sin x) (sin x)) (* x (sin x))) 2.004 * [taylor]: Taking taylor expansion of (* (sin x) (sin x)) in x 2.004 * [taylor]: Taking taylor expansion of (sin x) in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of (sin x) in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of (* x (sin x)) in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of (sin x) in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of (tan x) in x 2.004 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.004 * [taylor]: Taking taylor expansion of (sin x) in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.004 * [taylor]: Taking taylor expansion of (cos x) in x 2.004 * [taylor]: Taking taylor expansion of x in x 2.050 * [taylor]: Taking taylor expansion of (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) in x 2.050 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in x 2.050 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.050 * [taylor]: Taking taylor expansion of x in x 2.050 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.050 * [taylor]: Taking taylor expansion of (sin x) in x 2.050 * [taylor]: Taking taylor expansion of x in x 2.050 * [taylor]: Taking taylor expansion of (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) in x 2.051 * [taylor]: Taking taylor expansion of (fma x x (fma (sin x) (sin x) (* x (sin x)))) in x 2.051 * [taylor]: Rewrote expression to (+ (* x x) (fma (sin x) (sin x) (* x (sin x)))) 2.051 * [taylor]: Taking taylor expansion of (* x x) in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.051 * [taylor]: Taking taylor expansion of (fma (sin x) (sin x) (* x (sin x))) in x 2.051 * [taylor]: Rewrote expression to (+ (* (sin x) (sin x)) (* x (sin x))) 2.051 * [taylor]: Taking taylor expansion of (* (sin x) (sin x)) in x 2.051 * [taylor]: Taking taylor expansion of (sin x) in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.051 * [taylor]: Taking taylor expansion of (sin x) in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.051 * [taylor]: Taking taylor expansion of (* x (sin x)) in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.051 * [taylor]: Taking taylor expansion of (sin x) in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.051 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.051 * [taylor]: Taking taylor expansion of (tan x) in x 2.051 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.051 * [taylor]: Taking taylor expansion of (sin x) in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.051 * [taylor]: Taking taylor expansion of (cos x) in x 2.051 * [taylor]: Taking taylor expansion of x in x 2.238 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) (* (fma (/ 1 x) (/ 1 x) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x))))) in (x) around 0 2.238 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) (* (fma (/ 1 x) (/ 1 x) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x))))) in x 2.238 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in x 2.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.238 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.238 * [taylor]: Taking taylor expansion of x in x 2.239 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.239 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.239 * [taylor]: Taking taylor expansion of x in x 2.239 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) (/ 1 x) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x)))) in x 2.239 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) in x 2.239 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) 2.239 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 2.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.239 * [taylor]: Taking taylor expansion of x in x 2.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.240 * [taylor]: Taking taylor expansion of x in x 2.240 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x)) in x 2.240 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 x)) (sin (/ 1 x))) (/ (sin (/ 1 x)) x)) 2.240 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (sin (/ 1 x))) in x 2.240 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.240 * [taylor]: Taking taylor expansion of x in x 2.240 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.240 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) x) in x 2.241 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.241 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.241 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.242 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.242 * [taylor]: Taking taylor expansion of x in x 2.243 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) (* (fma (/ 1 x) (/ 1 x) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x))))) in x 2.244 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in x 2.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.244 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.244 * [taylor]: Taking taylor expansion of x in x 2.244 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.244 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.244 * [taylor]: Taking taylor expansion of x in x 2.245 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) (/ 1 x) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) (- (/ 1 x) (tan (/ 1 x)))) in x 2.245 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) in x 2.245 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x))) 2.245 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 2.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.245 * [taylor]: Taking taylor expansion of x in x 2.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.245 * [taylor]: Taking taylor expansion of x in x 2.245 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 x)) (sin (/ 1 x)) (/ (sin (/ 1 x)) x)) in x 2.245 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 x)) (sin (/ 1 x))) (/ (sin (/ 1 x)) x)) 2.245 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (sin (/ 1 x))) in x 2.246 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) x) in x 2.246 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.247 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.247 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.261 * [approximate]: Taking taylor expansion of (/ (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) (* (+ (tan (/ -1 x)) (/ 1 x)) (fma (/ -1 x) (/ -1 x) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x)))))) in (x) around 0 2.261 * [taylor]: Taking taylor expansion of (/ (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) (* (+ (tan (/ -1 x)) (/ 1 x)) (fma (/ -1 x) (/ -1 x) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x)))))) in x 2.261 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.261 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.261 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.261 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.261 * [taylor]: Taking taylor expansion of -1 in x 2.261 * [taylor]: Taking taylor expansion of x in x 2.261 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.261 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.262 * [taylor]: Taking taylor expansion of x in x 2.262 * [taylor]: Taking taylor expansion of (* (+ (tan (/ -1 x)) (/ 1 x)) (fma (/ -1 x) (/ -1 x) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x))))) in x 2.262 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.262 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.262 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.262 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.262 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.262 * [taylor]: Taking taylor expansion of -1 in x 2.262 * [taylor]: Taking taylor expansion of x in x 2.263 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.263 * [taylor]: Taking taylor expansion of -1 in x 2.263 * [taylor]: Taking taylor expansion of x in x 2.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.263 * [taylor]: Taking taylor expansion of x in x 2.263 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x)))) in x 2.264 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x)))) 2.264 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 2.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.264 * [taylor]: Taking taylor expansion of -1 in x 2.264 * [taylor]: Taking taylor expansion of x in x 2.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.264 * [taylor]: Taking taylor expansion of -1 in x 2.264 * [taylor]: Taking taylor expansion of x in x 2.264 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x))) in x 2.264 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 x)) (sin (/ -1 x))) (* -1 (/ (sin (/ -1 x)) x))) 2.264 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 x))) in x 2.264 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.264 * [taylor]: Taking taylor expansion of -1 in x 2.264 * [taylor]: Taking taylor expansion of x in x 2.265 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.265 * [taylor]: Taking taylor expansion of -1 in x 2.265 * [taylor]: Taking taylor expansion of x in x 2.265 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) x)) in x 2.265 * [taylor]: Taking taylor expansion of -1 in x 2.265 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) x) in x 2.265 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.265 * [taylor]: Taking taylor expansion of -1 in x 2.265 * [taylor]: Taking taylor expansion of x in x 2.266 * [taylor]: Taking taylor expansion of x in x 2.267 * [taylor]: Taking taylor expansion of (/ (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) (* (+ (tan (/ -1 x)) (/ 1 x)) (fma (/ -1 x) (/ -1 x) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x)))))) in x 2.267 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.267 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.267 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.267 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.267 * [taylor]: Taking taylor expansion of -1 in x 2.267 * [taylor]: Taking taylor expansion of x in x 2.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.268 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.268 * [taylor]: Taking taylor expansion of x in x 2.268 * [taylor]: Taking taylor expansion of (* (+ (tan (/ -1 x)) (/ 1 x)) (fma (/ -1 x) (/ -1 x) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x))))) in x 2.268 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.268 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.268 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.268 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.268 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.268 * [taylor]: Taking taylor expansion of -1 in x 2.268 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.269 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.269 * [taylor]: Taking taylor expansion of -1 in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x)))) in x 2.270 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x)))) 2.270 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 2.270 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.270 * [taylor]: Taking taylor expansion of -1 in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.270 * [taylor]: Taking taylor expansion of -1 in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 x)) (sin (/ -1 x)) (* -1 (/ (sin (/ -1 x)) x))) in x 2.270 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 x)) (sin (/ -1 x))) (* -1 (/ (sin (/ -1 x)) x))) 2.270 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sin (/ -1 x))) in x 2.270 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.270 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.270 * [taylor]: Taking taylor expansion of -1 in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.271 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.271 * [taylor]: Taking taylor expansion of -1 in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.271 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) x)) in x 2.271 * [taylor]: Taking taylor expansion of -1 in x 2.271 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) x) in x 2.271 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.271 * [taylor]: Taking taylor expansion of -1 in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.272 * [taylor]: Taking taylor expansion of x in x 2.290 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 2.290 * [approximate]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in (x) around 0 2.290 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in x 2.290 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.290 * [taylor]: Taking taylor expansion of x in x 2.290 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.290 * [taylor]: Taking taylor expansion of (sin x) in x 2.290 * [taylor]: Taking taylor expansion of x in x 2.291 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow (sin x) 3)) in x 2.291 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.291 * [taylor]: Taking taylor expansion of x in x 2.291 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.291 * [taylor]: Taking taylor expansion of (sin x) in x 2.291 * [taylor]: Taking taylor expansion of x in x 2.320 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in (x) around 0 2.321 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in x 2.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.321 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.321 * [taylor]: Taking taylor expansion of x in x 2.321 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.321 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.321 * [taylor]: Taking taylor expansion of x in x 2.322 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (pow (sin (/ 1 x)) 3)) in x 2.322 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.322 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.322 * [taylor]: Taking taylor expansion of x in x 2.322 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.323 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.323 * [taylor]: Taking taylor expansion of x in x 2.352 * [approximate]: Taking taylor expansion of (- (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3)))) in (x) around 0 2.352 * [taylor]: Taking taylor expansion of (- (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3)))) in x 2.352 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.352 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.352 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.352 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.352 * [taylor]: Taking taylor expansion of -1 in x 2.352 * [taylor]: Taking taylor expansion of x in x 2.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.352 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.352 * [taylor]: Taking taylor expansion of x in x 2.353 * [taylor]: Taking taylor expansion of (- (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3)))) in x 2.353 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 x)) 3) (/ 1 (pow x 3))) in x 2.353 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.353 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.353 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.353 * [taylor]: Taking taylor expansion of -1 in x 2.353 * [taylor]: Taking taylor expansion of x in x 2.353 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.353 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.353 * [taylor]: Taking taylor expansion of x in x 2.388 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 2.388 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 2.388 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.388 * [taylor]: Taking taylor expansion of x in x 2.388 * [taylor]: Taking taylor expansion of (tan x) in x 2.389 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.389 * [taylor]: Taking taylor expansion of (sin x) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (cos x) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (tan x) in x 2.389 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 2.389 * [taylor]: Taking taylor expansion of (sin x) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of (cos x) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.414 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 2.414 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.414 * [taylor]: Taking taylor expansion of x in x 2.415 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.415 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.415 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.415 * [taylor]: Taking taylor expansion of x in x 2.415 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.415 * [taylor]: Taking taylor expansion of x in x 2.416 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 2.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.416 * [taylor]: Taking taylor expansion of x in x 2.416 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 2.416 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 2.416 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.416 * [taylor]: Taking taylor expansion of x in x 2.416 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.416 * [taylor]: Taking taylor expansion of x in x 2.425 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 2.425 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 2.425 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.425 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.425 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.425 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) 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 (cos (/ -1 x)) 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 (/ 1 x) in x 2.426 * [taylor]: Taking taylor expansion of x in x 2.427 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 2.427 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 2.427 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 2.427 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 2.427 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.427 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.427 * [taylor]: Taking taylor expansion of -1 in x 2.427 * [taylor]: Taking taylor expansion of x in x 2.427 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.427 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.427 * [taylor]: Taking taylor expansion of -1 in x 2.427 * [taylor]: Taking taylor expansion of x in x 2.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.428 * [taylor]: Taking taylor expansion of x in x 2.437 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 2.437 * [approximate]: Taking taylor expansion of (pow (sin x) 3) in (x) around 0 2.437 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.437 * [taylor]: Taking taylor expansion of (sin x) in x 2.437 * [taylor]: Taking taylor expansion of x in x 2.437 * [taylor]: Taking taylor expansion of (pow (sin x) 3) in x 2.437 * [taylor]: Taking taylor expansion of (sin x) in x 2.437 * [taylor]: Taking taylor expansion of x in x 2.452 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in (x) around 0 2.452 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.452 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.452 * [taylor]: Taking taylor expansion of x in x 2.453 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 3) in x 2.453 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.453 * [taylor]: Taking taylor expansion of x in x 2.462 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in (x) around 0 2.462 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.462 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.462 * [taylor]: Taking taylor expansion of -1 in x 2.462 * [taylor]: Taking taylor expansion of x in x 2.462 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 3) in x 2.462 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.462 * [taylor]: Taking taylor expansion of -1 in x 2.462 * [taylor]: Taking taylor expansion of x in x 2.471 * * * [progress]: simplifying candidates 2.481 * [simplify]: Simplifying using # : (expm1 (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (log1p (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (- (log (- (pow x 3) (pow (sin x) 3))) (+ (log (fma x x (fma (sin x) (sin x) (* x (sin x))))) (log (- x (tan x))))) (- (log (- (pow x 3) (pow (sin x) 3))) (log (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (log (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (exp (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (/ (* (* (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3))) (- (pow x 3) (pow (sin x) 3))) (* (* (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))))) (/ (* (* (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3))) (- (pow x 3) (pow (sin x) 3))) (* (* (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (* (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))))) (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (* (* (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (sqrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (sqrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (- (- (pow x 3) (pow (sin x) 3))) (- (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) (/ (pow x 3) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) (/ (pow (sin x) 3) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) (/ (* (cbrt (- (pow x 3) (pow (sin x) 3))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (cbrt (- (pow x 3) (pow (sin x) 3))) (- x (tan x))) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (- x (tan x))) (/ (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x)))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- x (sin x)) (- x (tan x))) (/ 1 (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sin x) (/ 3 2))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (sqrt (pow x 3)) (pow (sin x) (/ 3 2))) (- x (tan x))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow x (/ 3 2)) (sqrt (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x (/ 3 2)) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow x (/ 3 2)) (pow (sin x) (/ 3 2))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x (/ 3 2)) (pow (sin x) (/ 3 2))) (- x (tan x))) (/ (pow 1 3) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (pow 1 3) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (pow 1 3) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (pow 1 3) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (sqrt (- (pow x 3) (pow (sin x) 3)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- x (sin x))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (sqrt (pow x 3)) (pow (sin x) (/ 3 2)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x (/ 3 2)) (sqrt (pow (sin x) 3)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x (/ 3 2)) (pow (sin x) (/ 3 2)))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (- (pow x 3) (pow (sin x) 3))) (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- (pow x 3) (pow (tan x) 3)))) (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- (* x x) (* (tan x) (tan x))))) (* (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (+ (* (pow x 3) (pow x 3)) (+ (* (pow (sin x) 3) (pow (sin x) 3)) (* (pow x 3) (pow (sin x) 3))))) (* (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))) (+ (pow x 3) (pow (sin x) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (pow 1 3) (pow x 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow 1 3) (pow x 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow 1 3) (pow x 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow 1 3) (pow x 3) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (pow 1 3) (pow x 3) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (pow 1 3) (pow x 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow 1 3) (pow x 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow 1 3) (pow x 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow 1 3) (pow x 3) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (pow 1 3) (pow x 3) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (pow 1 3) (pow x 3) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (pow 1 3) (pow x 3) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (* x x) x (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (* x x) x (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (* x x) x (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (* x x) x (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (* x x) x (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (* x x) x (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (* x x) x (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (* x x) x (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (* x x) x (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (* x x) x (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (* x x) x (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (* x x) x (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (pow 1 3) (pow x 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow 1 3) (pow x 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow 1 3) (pow x 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow 1 3) (pow x 3) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (pow 1 3) (pow x 3) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (pow 1 3) (pow x 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow 1 3) (pow x 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow 1 3) (pow x 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow 1 3) (pow x 3) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (pow 1 3) (pow x 3) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (pow 1 3) (pow x 3) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (pow 1 3) (pow x 3) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma x (* x x) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma x (* x x) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma x (* x x) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma x (* x x) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma x (* x x) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma x (* x x) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma x (* x x) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma x (* x x) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma x (* x x) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma x (* x x) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma x (* x x) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma x (* x x) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma 1 (pow x 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma 1 (pow x 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma 1 (pow x 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma 1 (pow x 3) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma 1 (pow x 3) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma 1 (pow x 3) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma 1 (pow x 3) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma 1 (pow x 3) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma 1 (pow x 3) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma 1 (pow x 3) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma 1 (pow x 3) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma 1 (pow x 3) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (sin x) (* (sin x) (sin x))))) (fma (- (sin x)) (* (sin x) (sin x)) (* (sin x) (* (sin x) (sin x)))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3)))))) (fma (- (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (* (cbrt (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3)))) (fma (- (pow (cbrt (sin x)) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (* (pow (cbrt (sin x)) 3) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3)))) (fma (- (pow (sqrt (sin x)) 3)) (pow (sqrt (sin x)) 3) (* (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (sin x) 3) (pow 1 3)))) (fma (- (pow (sin x) 3)) (pow 1 3) (* (pow (sin x) 3) (pow 1 3))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (* (sin x) (sin x)) (sin x)))) (fma (- (* (sin x) (sin x))) (sin x) (* (* (sin x) (sin x)) (sin x))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3))))) (fma (- (sqrt (pow (sin x) 3))) (sqrt (pow (sin x) 3)) (* (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)))) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (sin x) 3) 1))) (fma (- (pow (sin x) 3)) 1 (* (pow (sin x) 3) 1)) (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2))))) (fma (- (pow (sin x) (/ 3 2))) (pow (sin x) (/ 3 2)) (* (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)))) (expm1 (- (pow x 3) (pow (sin x) 3))) (log1p (- (pow x 3) (pow (sin x) 3))) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (/ (exp (pow x 3)) (exp (pow (sin x) 3))) (log (- (pow x 3) (pow (sin x) 3))) (exp (- (pow x 3) (pow (sin x) 3))) (* (cbrt (- (pow x 3) (pow (sin x) 3))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (cbrt (- (pow x 3) (pow (sin x) 3))) (* (* (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3))) (- (pow x 3) (pow (sin x) 3))) (sqrt (- (pow x 3) (pow (sin x) 3))) (sqrt (- (pow x 3) (pow (sin x) 3))) (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x)))) (- x (sin x)) (- (pow (pow x 3) 3) (pow (pow (sin x) 3) 3)) (+ (* (pow x 3) (pow x 3)) (+ (* (pow (sin x) 3) (pow (sin x) 3)) (* (pow x 3) (pow (sin x) 3)))) (- (pow (sin x) 3)) (- (* (pow x 3) (pow x 3)) (* (pow (sin x) 3) (pow (sin x) 3))) (+ (pow x 3) (pow (sin x) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (+ (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (- (pow (sqrt x) 3) (pow (sin x) (/ 3 2))) (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (+ (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (+ (sqrt (pow x 3)) (pow (sin x) (/ 3 2))) (- (sqrt (pow x 3)) (pow (sin x) (/ 3 2))) (+ (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (+ (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (- (pow x (/ 3 2)) (pow (sqrt (sin x)) 3)) (+ (pow x (/ 3 2)) (sqrt (pow (sin x) 3))) (- (pow x (/ 3 2)) (sqrt (pow (sin x) 3))) (+ (pow x (/ 3 2)) (pow (sin x) (/ 3 2))) (- (pow x (/ 3 2)) (pow (sin x) (/ 3 2))) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow (sin x) 3)) (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)) (expm1 (pow (sin x) 3)) (log1p (pow (sin x) 3)) (* (log (sin x)) 3) (* (log (sin x)) 3) (* 1 3) (pow (sin x) (* (cbrt 3) (cbrt 3))) (pow (sin x) (sqrt 3)) (pow (sin x) 1) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (pow (cbrt (sin x)) 3) (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3) (pow 1 3) (pow (sin x) 3) (* (sin x) (sin x)) (log (pow (sin x) 3)) (exp (pow (sin x) 3)) (* (cbrt (pow (sin x) 3)) (cbrt (pow (sin x) 3))) (cbrt (pow (sin x) 3)) (* (* (pow (sin x) 3) (pow (sin x) 3)) (pow (sin x) 3)) (pow (* (cbrt (sin x)) (cbrt (sin x))) 3) (pow (cbrt (sin x)) 3) (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3) (pow 1 3) (pow (sin x) 3) (* (sin x) (sin x)) (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)) (pow (sin x) (/ 3 2)) (pow (sin x) (/ 3 2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (* 1/2 (pow x 5)) (* 41/3024 (pow x 9))) (* 13/120 (pow x 7))) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (+ (* 13/120 (pow x 7)) (pow x 3)) (* 1/2 (pow x 5))) (pow (sin x) 3) (pow (sin x) 3) 2.500 * * [simplify]: iteration 0 : 863 enodes (cost 4164 ) 2.515 * * [simplify]: iteration 1 : 3682 enodes (cost 3059 ) 2.603 * * [simplify]: iteration 2 : 5001 enodes (cost 3050 ) 2.617 * [simplify]: Simplified to: (expm1 (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (log1p (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (log (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (log (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (log (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (exp (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (pow (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) 3) (pow (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) 3) (* (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))))) (cbrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (pow (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x)))) 3) (sqrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (sqrt (/ (- (pow x 3) (pow (sin x) 3)) (* (fma x x (fma (sin x) (sin x) (* x (sin x)))) (- x (tan x))))) (- (- (pow x 3) (pow (sin x) 3))) (* (- (- x (tan x))) (fma x x (* (sin x) (+ (sin x) x)))) (/ (/ (pow x 3) (- x (tan x))) (fma x x (* (sin x) (+ (sin x) x)))) (/ (/ (pow (sin x) 3) (- x (tan x))) (fma x x (* (sin x) (+ (sin x) x)))) (/ (cbrt (- (pow x 3) (pow (sin x) 3))) (/ (fma x x (* (sin x) (+ (sin x) x))) (cbrt (- (pow x 3) (pow (sin x) 3))))) (/ (cbrt (- (pow x 3) (pow (sin x) 3))) (- x (tan x))) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (fma x x (* (sin x) (+ (sin x) x)))) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (- x (tan x))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (fma x x (* (sin x) (+ (sin x) x)))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow (sqrt x) 3) (pow (sin x) 3/2)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (sqrt (pow x 3)) (pow (sin x) 3/2)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (- x (tan x))) (/ (+ (pow x 3/2) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3/2) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow x 3/2) (pow (sqrt (sin x)) 3)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3/2) (pow (sqrt (sin x)) 3)) (- x (tan x))) (/ (+ (pow x 3/2) (sqrt (pow (sin x) 3))) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3/2) (sqrt (pow (sin x) 3))) (- x (tan x))) (/ (+ (pow x 3/2) (pow (sin x) 3/2)) (fma x x (fma (sin x) (sin x) (* x (sin x))))) (/ (- (pow x 3/2) (pow (sin x) 3/2)) (- x (tan x))) (/ 1 (fma x x (* (sin x) (+ (sin x) x)))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (fma x x (* (sin x) (+ (sin x) x)))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (fma x x (* (sin x) (+ (sin x) x)))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (fma x x (* (sin x) (+ (sin x) x)))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ 1 (fma x x (* (sin x) (+ (sin x) x)))) (/ (- (pow x 3) (pow (sin x) 3)) (- x (tan x))) (/ (/ 1 (- x (tan x))) (fma x x (* (sin x) (+ (sin x) x)))) (/ (- x (tan x)) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (* (sin x) (+ (sin x) x)))) (/ (- x (tan x)) (/ (cbrt (- (pow x 3) (pow (sin x) 3))) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (sqrt (- (pow x 3) (pow (sin x) 3))) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- x (sin x)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3/2) (pow (sqrt (sin x)) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3/2) (pow (sqrt (sin x)) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3/2) (sqrt (pow (sin x) 3))) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3/2) (pow (sin x) 3/2)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (- x (tan x)) (/ (- (pow x 3) (pow (sin x) 3)) (fma x x (* (sin x) (+ (sin x) x))))) (/ (/ (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (tan x) 3))) (fma x x (* (sin x) (+ (sin x) x)))) (/ (/ (- (pow x 3) (pow (sin x) 3)) (- (* x x) (* (tan x) (tan x)))) (fma x x (* (sin x) (+ (sin x) x)))) (* (* (fma x x (* (sin x) (+ (sin x) x))) (- x (tan x))) (fma (pow (sin x) 3) (+ (pow x 3) (pow (sin x) 3)) (pow x 6))) (* (* (fma x x (* (sin x) (+ (sin x) x))) (- x (tan x))) (+ (pow x 3) (pow (sin x) 3))) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (- (pow x 3) (pow (sin x) 3)) (* (pow (sin x) 3) (+ (- 1) 1)) (expm1 (- (pow x 3) (pow (sin x) 3))) (log1p (- (pow x 3) (pow (sin x) 3))) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (- (pow (sin x) 3)) (exp (- (pow x 3) (pow (sin x) 3))) (log (- (pow x 3) (pow (sin x) 3))) (exp (- (pow x 3) (pow (sin x) 3))) (* (cbrt (- (pow x 3) (pow (sin x) 3))) (cbrt (- (pow x 3) (pow (sin x) 3)))) (cbrt (- (pow x 3) (pow (sin x) 3))) (pow (- (pow x 3) (pow (sin x) 3)) 3) (sqrt (- (pow x 3) (pow (sin x) 3))) (sqrt (- (pow x 3) (pow (sin x) 3))) (fma x x (* (sin x) (+ (sin x) x))) (- x (sin x)) (- (pow (pow x 3) 3) (pow (pow (sin x) 3) 3)) (fma (pow (sin x) 3) (+ (pow x 3) (pow (sin x) 3)) (pow x 6)) (- (pow (sin x) 3)) (fma (- (pow (sin x) 3)) (pow (sin x) 3) (pow x 6)) (+ (pow x 3) (pow (sin x) 3)) (fma x (sqrt x) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x (sqrt x) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x (sqrt x) (sqrt (pow (sin x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (fma x (sqrt x) (pow (sin x) 3/2)) (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (fma x (sqrt x) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x (sqrt x) (pow (sqrt (sin x)) 3)) (- (pow (sqrt x) 3) (pow (sqrt (sin x)) 3)) (fma x (sqrt x) (sqrt (pow (sin x) 3))) (- (pow (sqrt x) 3) (sqrt (pow (sin x) 3))) (fma x (sqrt x) (pow (sin x) 3/2)) (- (pow (sqrt x) 3) (pow (sin x) 3/2)) (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (+ (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (- (sqrt (pow x 3)) (pow (sqrt (sin x)) 3)) (+ (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (- (sqrt (pow x 3)) (sqrt (pow (sin x) 3))) (+ (sqrt (pow x 3)) (pow (sin x) 3/2)) (- (sqrt (pow x 3)) (pow (sin x) 3/2)) (+ (pow x 3/2) (pow (sqrt (sin x)) 3)) (- (pow x 3/2) (pow (sqrt (sin x)) 3)) (+ (pow x 3/2) (pow (sqrt (sin x)) 3)) (- (pow x 3/2) (pow (sqrt (sin x)) 3)) (+ (pow x 3/2) (sqrt (pow (sin x) 3))) (- (pow x 3/2) (sqrt (pow (sin x) 3))) (+ (pow x 3/2) (pow (sin x) 3/2)) (- (pow x 3/2) (pow (sin x) 3/2)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (pow (sin x) 3)) (- 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)) (- 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 x x (* (tan x) (+ (tan x) x))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (tan x)) (expm1 (pow (sin x) 3)) (log1p (pow (sin x) 3)) (log (pow (sin x) 3)) (log (pow (sin x) 3)) 3 (pow (sin x) (* (cbrt 3) (cbrt 3))) (pow (sin x) (sqrt 3)) (sin x) (pow (sin x) 2) (sin x) (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3) 1 (pow (sin x) 3) (pow (sin x) 2) (log (pow (sin x) 3)) (exp (pow (sin x) 3)) (pow (sin x) 2) (sin x) (pow (pow (sin x) 3) 3) (pow (sin x) 2) (sin x) (pow (sqrt (sin x)) 3) (pow (sqrt (sin x)) 3) 1 (pow (sin x) 3) (pow (sin x) 2) (sqrt (pow (sin x) 3)) (sqrt (pow (sin x) 3)) (pow (sin x) 3/2) (pow (sin x) 3/2) (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 (pow x 5) 1/2 (- (* 41/3024 (pow x 9)) (* 13/120 (pow x 7)))) (- (pow x 3) (pow (sin x) 3)) (- (pow x 3) (pow (sin x) 3)) (- (- (* 17/315 (pow x 7))) (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) 13/120 (- (pow x 3) (* 1/2 (pow x 5)))) (pow (sin x) 3) (pow (sin x) 3) 2.619 * * * [progress]: adding candidates to table 3.114 * [progress]: [Phase 3 of 3] Extracting. 3.114 * * [regime]: Finding splitpoints for: (# # # #) 3.116 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- x (sin x)) (- x (tan x))) x) 3.116 * * * * [regimes]: Trying to branch on (/ (- x (sin x)) (- x (tan x))) from (# # # #) 3.141 * * * * [regimes]: Trying to branch on x from (# # # #) 3.171 * * * [regime]: Found split indices: #