0.857 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.467 * * * [progress]: [2/2] Setting up program. 0.470 * [progress]: [Phase 2 of 3] Improving. 0.473 * [simplify]: Simplifying using # : (/ (- x (sin x)) (- x (tan x))) 0.475 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 0.479 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.481 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 0.483 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 0.485 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.485 * [simplify]: Simplified to: (/ (- x (sin x)) (- x (tan x))) 0.486 * * [progress]: iteration 1 / 4 0.487 * * * [progress]: picking best candidate 0.489 * * * * [pick]: Picked # 0.489 * * * [progress]: localizing error 0.511 * * * [progress]: generating rewritten candidates 0.511 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.517 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.521 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.538 * * * [progress]: generating series expansions 0.538 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.541 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0 0.542 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.542 * [taylor]: Taking taylor expansion of (tan x) in x 0.543 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.544 * [taylor]: Taking taylor expansion of (sin x) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (cos x) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of (tan x) in x 0.546 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.546 * [taylor]: Taking taylor expansion of (sin x) in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of (cos x) in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.576 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0 0.577 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.577 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.577 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.578 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.578 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.579 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.579 * [taylor]: Taking taylor expansion of x in x 0.588 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.588 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.588 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.588 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.588 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.588 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.588 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.588 * [taylor]: Taking taylor expansion of -1 in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.589 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.589 * [taylor]: Taking taylor expansion of -1 in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.590 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x 0.590 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.590 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.590 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.590 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.590 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.590 * [taylor]: Taking taylor expansion of -1 in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.590 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.590 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.590 * [taylor]: Taking taylor expansion of -1 in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.606 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.606 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 0.606 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (sin x) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (sin x) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.621 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 0.621 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.621 * [taylor]: Taking taylor expansion of x in x 0.621 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.621 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.622 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.622 * [taylor]: Taking taylor expansion of x in x 0.629 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 0.629 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.629 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.629 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.629 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.629 * [taylor]: Taking taylor expansion of -1 in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 0.630 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.630 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.630 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.630 * [taylor]: Taking taylor expansion of -1 in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.637 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.637 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0 0.637 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.637 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of (sin x) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (tan x) in x 0.638 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.638 * [taylor]: Taking taylor expansion of (sin x) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (cos x) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x 0.647 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 0.647 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of (sin x) in x 0.647 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of (- x (tan x)) in x 0.647 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of (tan x) in x 0.647 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.647 * [taylor]: Taking taylor expansion of (sin x) in x 0.647 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of (cos x) in x 0.647 * [taylor]: Taking taylor expansion of x in x 0.692 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0 0.692 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.693 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.694 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.694 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.694 * [taylor]: Taking taylor expansion of x in x 0.694 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.694 * [taylor]: Taking taylor expansion of x in x 0.695 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x 0.695 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 0.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.695 * [taylor]: Taking taylor expansion of x in x 0.695 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.695 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x 0.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.696 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 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 x in x 0.696 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.703 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0 0.703 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.703 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.703 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.703 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.703 * [taylor]: Taking taylor expansion of -1 in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.704 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.704 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.704 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.704 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.704 * [taylor]: Taking taylor expansion of -1 in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.705 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.705 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.705 * [taylor]: Taking taylor expansion of -1 in x 0.705 * [taylor]: Taking taylor expansion of x in x 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.705 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x 0.706 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 0.706 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.706 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.706 * [taylor]: Taking taylor expansion of -1 in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x 0.707 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.707 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.707 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.707 * [taylor]: Taking taylor expansion of -1 in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.707 * [taylor]: Taking taylor expansion of -1 in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.708 * [taylor]: Taking taylor expansion of x in x 0.714 * * * [progress]: simplifying candidates 0.716 * [simplify]: Simplifying using # : (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma (sqrt x) (sqrt x) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma (sqrt x) (sqrt x) (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (fma 1 x (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (- (cbrt (tan x))) (* (cbrt (tan x)) (cbrt (tan x))) (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))) (fma 1 x (- (* (sqrt (tan x)) (sqrt (tan x))))) (fma (- (sqrt (tan x))) (sqrt (tan x)) (* (sqrt (tan x)) (sqrt (tan x)))) (fma 1 x (- (* (tan x) 1))) (fma (- (tan x)) 1 (* (tan x) 1)) (expm1 (- x (tan x))) (log1p (- x (tan x))) (- (tan x)) (- (tan x)) (- (tan x)) (/ (exp x) (exp (tan x))) (log (- x (tan x))) (exp (- x (tan x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))) (sqrt (- x (tan x))) (sqrt (- x (tan x))) (- (pow x 3) (pow (tan x) 3)) (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x)))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (tan x)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (fma (sqrt x) (sqrt x) (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma (sqrt x) (sqrt x) (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (fma 1 x (- (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x)))))) (fma (- (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (cbrt (sin x))))) (fma 1 x (- (* (sqrt (sin x)) (sqrt (sin x))))) (fma (- (sqrt (sin x))) (sqrt (sin x)) (* (sqrt (sin x)) (sqrt (sin x)))) (fma 1 x (- (* (sin x) 1))) (fma (- (sin x)) 1 (* (sin x) 1)) (expm1 (- x (sin x))) (log1p (- x (sin x))) (- (sin x)) (- (sin x)) (- (sin x)) (/ (exp x) (exp (sin x))) (log (- x (sin x))) (exp (- x (sin x))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (cbrt (- x (sin x))) (* (* (- x (sin x)) (- x (sin x))) (- x (sin x))) (sqrt (- x (sin x))) (sqrt (- x (sin x))) (- (pow x 3) (pow (sin x) 3)) (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (expm1 (/ (- x (sin x)) (- x (tan x)))) (log1p (/ (- x (sin x)) (- x (tan x)))) (- (log (- x (sin x))) (log (- x (tan x)))) (log (/ (- x (sin x)) (- x (tan x)))) (exp (/ (- x (sin x)) (- x (tan x)))) (/ (* (* (- x (sin x)) (- x (sin x))) (- x (sin x))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x)))) (* (cbrt (/ (- x (sin x)) (- x (tan x)))) (cbrt (/ (- x (sin x)) (- x (tan x))))) (cbrt (/ (- x (sin x)) (- x (tan x)))) (* (* (/ (- x (sin x)) (- x (tan x))) (/ (- x (sin x)) (- x (tan x)))) (/ (- x (sin x)) (- x (tan x)))) (sqrt (/ (- x (sin x)) (- x (tan x)))) (sqrt (/ (- x (sin x)) (- x (tan x)))) (- (- x (sin x))) (- (- x (tan x))) (/ x (- x (tan x))) (/ (sin x) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (cbrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (sqrt (- x (tan x)))) (/ (cbrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) 1) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (+ (sqrt x) (sqrt (tan x)))) (/ (cbrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) 1) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sqrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (sqrt (- x (sin x))) 1) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (sqrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (/ (sqrt (- x (sin x))) 1) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (/ 1 1) (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) (/ 1 1) (/ (- x (sin x)) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- (sqrt x) (sqrt (sin x))) (cbrt (- x (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) 1) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) 1) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (/ 1 1) (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) (/ 1 1) (/ (- x (sin x)) (- x (tan x))) (/ 1 (- x (tan x))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (/ (- x (sin x)) 1) (/ (- x (sin x)) (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) 1) (/ (- x (tan x)) (cbrt (- x (sin x)))) (/ (- x (tan x)) (sqrt (- x (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (tan x)) (- (sqrt x) (sqrt (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (- (pow x 3) (pow (tan x) 3))) (/ (- x (sin x)) (- (* x x) (* (tan x) (tan x)))) (* (- x (tan x)) (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x))))) (* (- x (tan x)) (+ x (sin x))) (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) 0.722 * * [simplify]: iteration 0 : 209 enodes (cost 1823 ) 0.766 * * [simplify]: iteration 1 : 468 enodes (cost 1563 ) 1.017 * * [simplify]: iteration 2 : 1408 enodes (cost 1384 ) 1.386 * * [simplify]: iteration done : 5001 enodes (cost 1384 ) 1.387 * [simplify]: Simplified to: (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (tan x))) (* (tan x) 0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (tan x))) (* (tan x) 0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (tan x))) (* (tan x) 0) (- x (tan x)) (* (tan x) 0) (- x (tan x)) (* (tan x) 0) (- x (tan x)) (* (tan x) 0) (- x (tan x)) (* (tan x) 0) (- x (tan x)) (* (tan x) 0) (- x (tan 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 x x (* (tan x) (+ x (tan x)))) (- (tan x)) (- (* x x) (* (tan x) (tan x))) (+ x (tan x)) (+ (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- x (tan x)) (- (tan x)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (sin x))) (* (sin x) 0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (sin x))) (* (sin x) 0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (sin x))) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin 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 x x (* (sin x) (+ x (sin x)))) (- (sin x)) (- (* x x) (pow (sin x) 2)) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (expm1 (/ (- x (sin x)) (- x (tan x)))) (log1p (/ (- x (sin x)) (- x (tan x)))) (log (/ (- x (sin x)) (- x (tan x)))) (log (/ (- x (sin x)) (- x (tan x)))) (exp (/ (- x (sin x)) (- x (tan x)))) (pow (/ (- x (sin x)) (- x (tan x))) 3) (* (cbrt (/ (- x (sin x)) (- x (tan x)))) (cbrt (/ (- x (sin x)) (- x (tan x))))) (cbrt (/ (- x (sin x)) (- x (tan x)))) (pow (/ (- x (sin x)) (- x (tan x))) 3) (sqrt (/ (- x (sin x)) (- x (tan x)))) (sqrt (/ (- x (sin x)) (- x (tan x)))) (- (- x (sin x))) (- (- x (tan x))) (/ x (- x (tan x))) (/ (sin x) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (cbrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (sqrt (- x (tan x)))) (/ (cbrt (- x (sin x))) (sqrt (- x (tan x)))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (+ (sqrt x) (sqrt (tan x)))) (/ (cbrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (* (cbrt (- x (sin x))) (cbrt (- x (sin x)))) (/ (cbrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (sqrt (- x (sin x))) (cbrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (/ (sqrt (- x (sin x))) (sqrt (- x (tan x)))) (sqrt (- x (sin x))) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ (sqrt (- x (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (sqrt (- x (sin x))) (- (sqrt x) (sqrt (tan x)))) (sqrt (- x (sin x))) (/ (sqrt (- x (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- (sqrt x) (sqrt (sin x))) (cbrt (- x (tan x)))) (/ (+ (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (sqrt (- x (tan x)))) (+ (sqrt x) (sqrt (sin x))) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ (+ (sqrt x) (sqrt (sin x))) (+ (sqrt x) (sqrt (tan x)))) (/ (- (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (tan x)))) (+ (sqrt x) (sqrt (sin x))) (/ (- (sqrt x) (sqrt (sin x))) (- x (tan x))) (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (cbrt (- x (tan x)))) (/ 1 (sqrt (- x (tan x)))) (/ (- x (sin x)) (sqrt (- x (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (+ (sqrt x) (sqrt (tan x)))) (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x)))) 1 (/ (- x (sin x)) (- x (tan x))) (/ 1 (- x (tan x))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (/ (- x (sin x)) (sqrt (- x (tan x)))) (- x (sin x)) (/ (- x (sin x)) (+ (sqrt x) (sqrt (tan x)))) (- x (sin x)) (/ (- x (tan x)) (cbrt (- x (sin x)))) (/ (- x (tan x)) (sqrt (- x (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (tan x)) (- (sqrt x) (sqrt (sin x)))) (/ (- x (tan x)) (- x (sin x))) (/ (- x (sin x)) (- (pow x 3) (pow (tan x) 3))) (/ (- x (sin x)) (- (* x x) (* (tan x) (tan x)))) (* (fma x x (* (sin x) (+ x (sin x)))) (- x (tan x))) (* (- x (tan x)) (+ x (sin x))) (- (fma 17/315 (pow x 7) (fma 1/3 (pow x 3) (* 2/15 (pow x 5))))) (- x (/ (sin x) (cos x))) (- x (/ (sin x) (cos x))) (fma (pow x 7) 1/5040 (fma 1/6 (pow x 3) (* -1/120 (pow x 5)))) (- x (sin x)) (- x (sin x)) (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2)) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x))))) 1.388 * * * [progress]: adding candidates to table 1.621 * * [progress]: iteration 2 / 4 1.621 * * * [progress]: picking best candidate 1.626 * * * * [pick]: Picked # 1.626 * * * [progress]: localizing error 1.637 * * * [progress]: generating rewritten candidates 1.637 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.641 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.647 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 1.648 * * * [progress]: generating series expansions 1.649 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.649 * [approximate]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2)) in (x) around 0 1.649 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2)) in x 1.649 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.649 * [taylor]: Taking taylor expansion of 9/40 in x 1.649 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.649 * [taylor]: Taking taylor expansion of x in x 1.649 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 1.649 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 1.649 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.649 * [taylor]: Taking taylor expansion of 27/2800 in x 1.649 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.649 * [taylor]: Taking taylor expansion of x in x 1.649 * [taylor]: Taking taylor expansion of 1/2 in x 1.649 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2)) in x 1.649 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.649 * [taylor]: Taking taylor expansion of 9/40 in x 1.649 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.650 * [taylor]: Taking taylor expansion of x in x 1.650 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 1.650 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 1.650 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.650 * [taylor]: Taking taylor expansion of 27/2800 in x 1.650 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.650 * [taylor]: Taking taylor expansion of x in x 1.650 * [taylor]: Taking taylor expansion of 1/2 in x 1.657 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (fma 27/2800 (pow (/ 1 x) 4) 1/2)) in (x) around 0 1.657 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (fma 27/2800 (pow (/ 1 x) 4) 1/2)) in x 1.657 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.657 * [taylor]: Taking taylor expansion of 9/40 in x 1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.657 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.657 * [taylor]: Taking taylor expansion of x in x 1.658 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 1.658 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 1.658 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 1.658 * [taylor]: Taking taylor expansion of 27/2800 in x 1.658 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.658 * [taylor]: Taking taylor expansion of x in x 1.658 * [taylor]: Taking taylor expansion of 1/2 in x 1.658 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (fma 27/2800 (pow (/ 1 x) 4) 1/2)) in x 1.658 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.658 * [taylor]: Taking taylor expansion of 9/40 in x 1.658 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.658 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.658 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 1.659 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 1.659 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 1.659 * [taylor]: Taking taylor expansion of 27/2800 in x 1.659 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of 1/2 in x 1.676 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (fma 27/2800 (pow (/ -1 x) 4) 1/2)) in (x) around 0 1.676 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (fma 27/2800 (pow (/ -1 x) 4) 1/2)) in x 1.676 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.676 * [taylor]: Taking taylor expansion of 9/40 in x 1.676 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.676 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.676 * [taylor]: Taking taylor expansion of x in x 1.677 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 1.677 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 1.677 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 1.677 * [taylor]: Taking taylor expansion of 27/2800 in x 1.677 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.677 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.677 * [taylor]: Taking taylor expansion of -1 in x 1.677 * [taylor]: Taking taylor expansion of x in x 1.677 * [taylor]: Taking taylor expansion of 1/2 in x 1.677 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (fma 27/2800 (pow (/ -1 x) 4) 1/2)) in x 1.677 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x 1.677 * [taylor]: Taking taylor expansion of 9/40 in x 1.677 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.677 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.677 * [taylor]: Taking taylor expansion of x in x 1.678 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 1.678 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 1.678 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 1.678 * [taylor]: Taking taylor expansion of 27/2800 in x 1.678 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.678 * [taylor]: Taking taylor expansion of -1 in x 1.678 * [taylor]: Taking taylor expansion of x in x 1.678 * [taylor]: Taking taylor expansion of 1/2 in x 1.694 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.694 * [approximate]: Taking taylor expansion of (* 9/40 (pow x 2)) in (x) around 0 1.694 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.694 * [taylor]: Taking taylor expansion of 9/40 in x 1.694 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.694 * [taylor]: Taking taylor expansion of x in x 1.694 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x 1.694 * [taylor]: Taking taylor expansion of 9/40 in x 1.694 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.694 * [taylor]: Taking taylor expansion of x in x 1.707 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0 1.707 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.707 * [taylor]: Taking taylor expansion of 9/40 in x 1.707 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.707 * [taylor]: Taking taylor expansion of x in x 1.708 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.708 * [taylor]: Taking taylor expansion of 9/40 in x 1.708 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.708 * [taylor]: Taking taylor expansion of x in x 1.715 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0 1.715 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.715 * [taylor]: Taking taylor expansion of 9/40 in x 1.715 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.715 * [taylor]: Taking taylor expansion of x in x 1.716 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x 1.716 * [taylor]: Taking taylor expansion of 9/40 in x 1.716 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.723 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 1.724 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in (x) around 0 1.724 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 1.724 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 1.724 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.724 * [taylor]: Taking taylor expansion of 27/2800 in x 1.724 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of 1/2 in x 1.724 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow x 4) 1/2) in x 1.724 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow x 4)) 1/2) 1.724 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x 1.724 * [taylor]: Taking taylor expansion of 27/2800 in x 1.724 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of 1/2 in x 1.738 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in (x) around 0 1.738 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 1.738 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 1.738 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 1.738 * [taylor]: Taking taylor expansion of 27/2800 in x 1.738 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.738 * [taylor]: Taking taylor expansion of x in x 1.739 * [taylor]: Taking taylor expansion of 1/2 in x 1.739 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ 1 x) 4) 1/2) in x 1.739 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ 1 x) 4)) 1/2) 1.739 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ 1 x) 4)) in x 1.739 * [taylor]: Taking taylor expansion of 27/2800 in x 1.739 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.739 * [taylor]: Taking taylor expansion of x in x 1.739 * [taylor]: Taking taylor expansion of 1/2 in x 1.770 * [approximate]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in (x) around 0 1.770 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 1.770 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 1.770 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 1.770 * [taylor]: Taking taylor expansion of 27/2800 in x 1.770 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.770 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.770 * [taylor]: Taking taylor expansion of -1 in x 1.770 * [taylor]: Taking taylor expansion of x in x 1.771 * [taylor]: Taking taylor expansion of 1/2 in x 1.771 * [taylor]: Taking taylor expansion of (fma 27/2800 (pow (/ -1 x) 4) 1/2) in x 1.771 * [taylor]: Rewrote expression to (+ (* 27/2800 (pow (/ -1 x) 4)) 1/2) 1.771 * [taylor]: Taking taylor expansion of (* 27/2800 (pow (/ -1 x) 4)) in x 1.771 * [taylor]: Taking taylor expansion of 27/2800 in x 1.771 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.771 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.771 * [taylor]: Taking taylor expansion of -1 in x 1.771 * [taylor]: Taking taylor expansion of x in x 1.771 * [taylor]: Taking taylor expansion of 1/2 in x 1.808 * * * [progress]: simplifying candidates 1.809 * [simplify]: Simplifying using # : (fma 9/40 (pow x 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 (- (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))) (* (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 9/40 (pow x 2) (- (* (sqrt (fma 27/2800 (pow x 4) 1/2)) (sqrt (fma 27/2800 (pow x 4) 1/2))))) (fma (- (sqrt (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)) (sqrt (fma 27/2800 (pow x 4) 1/2)))) (fma 9/40 (pow x 2) (- (* (fma 27/2800 (pow x 4) 1/2) 1))) (fma (- (fma 27/2800 (pow x 4) 1/2)) 1 (* (fma 27/2800 (pow x 4) 1/2) 1)) (expm1 (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (log1p (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (- (fma 27/2800 (pow x 4) 1/2)) (/ (exp (* 9/40 (pow x 2))) (exp (fma 27/2800 (pow x 4) 1/2))) (log (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (exp (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (* (cbrt (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (cbrt (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2)))) (cbrt (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (* (* (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2)) (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (sqrt (- (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2))) (- (pow (* 9/40 (pow x 2)) 3) (pow (fma 27/2800 (pow x 4) 1/2) 3)) (+ (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (+ (* (fma 27/2800 (pow x 4) 1/2) (fma 27/2800 (pow x 4) 1/2)) (* (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2)))) (- (fma 27/2800 (pow x 4) 1/2)) (- (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (* (fma 27/2800 (pow x 4) 1/2) (fma 27/2800 (pow x 4) 1/2))) (+ (* 9/40 (pow x 2)) (fma 27/2800 (pow x 4) 1/2)) (- (* 9/40 (pow x 2)) (* 27/2800 (pow x 4))) (- (fma 27/2800 (pow x 4) 1/2)) (expm1 (* 9/40 (pow x 2))) (log1p (* 9/40 (pow x 2))) (+ (log 9/40) (* (log x) 2)) (+ (log 9/40) (* (log x) 2)) (+ (log 9/40) (log (pow x 2))) (log (* 9/40 (pow x 2))) (exp (* 9/40 (pow x 2))) (* (* (* 9/40 9/40) 9/40) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2)))) (cbrt (* 9/40 (pow x 2))) (* (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (* (sqrt 9/40) (pow (sqrt x) 2)) (* (sqrt 9/40) (pow (sqrt x) 2)) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (sqrt 9/40) (sqrt (pow x 2))) (* (sqrt 9/40) (sqrt (pow x 2))) (* (sqrt 9/40) (pow x (/ 2 2))) (* (sqrt 9/40) (pow x (/ 2 2))) (* 9/40 (pow (* (cbrt x) (cbrt x)) 2)) (* 9/40 (pow (sqrt x) 2)) (* 9/40 (pow 1 2)) (* 9/40 x) (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 9/40 (sqrt (pow x 2))) (* 9/40 1) (* 9/40 (pow x (/ 2 2))) (* (cbrt 9/40) (pow x 2)) (* (sqrt 9/40) (pow x 2)) (* 9/40 (pow x 2)) (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)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2) 1.812 * * [simplify]: iteration 0 : 106 enodes (cost 845 ) 1.837 * * [simplify]: iteration 1 : 219 enodes (cost 700 ) 1.909 * * [simplify]: iteration 2 : 644 enodes (cost 642 ) 2.353 * * [simplify]: iteration 3 : 2833 enodes (cost 594 ) 3.267 * * [simplify]: iteration done : 5000 enodes (cost 594 ) 3.268 * [simplify]: Simplified to: (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2)) (* (fma (pow x 4) 27/2800 1/2) 0) (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2)) (* (fma (pow x 4) 27/2800 1/2) 0) (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2)) (* (fma (pow x 4) 27/2800 1/2) 0) (expm1 (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (log1p (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (fma (pow x 4) -27/2800 -1/2) (exp (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (log (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (exp (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (* (cbrt (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (cbrt (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2)))) (cbrt (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (pow (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2)) 3) (sqrt (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (sqrt (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2))) (fma 729/64000 (pow x 6) (- (pow (fma 27/2800 (pow x 4) 1/2) 3))) (fma (fma (pow x 4) 27/2800 1/2) (fma 9/40 (pow x 2) (fma 27/2800 (pow x 4) 1/2)) (* 81/1600 (pow x 4))) (fma (pow x 4) -27/2800 -1/2) (- (* 81/1600 (pow x 4)) (pow (cbrt (fma 27/2800 (pow x 4) 1/2)) 6)) (fma 9/40 (pow x 2) (fma 27/2800 (pow x 4) 1/2)) (fma (pow x 2) 9/40 (* (pow x 4) -27/2800)) (fma (pow x 4) -27/2800 -1/2) (expm1 (* 9/40 (pow x 2))) (log1p (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (log (* 9/40 (pow x 2))) (exp (* 9/40 (pow x 2))) (* (pow x 6) 729/64000) (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2)))) (cbrt (* 9/40 (pow x 2))) (* (pow x 6) 729/64000) (sqrt (* 9/40 (pow x 2))) (sqrt (* 9/40 (pow x 2))) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* (fabs x) (sqrt 9/40)) (* (fabs x) (sqrt 9/40)) (* (sqrt 9/40) x) (* (sqrt 9/40) x) (* 9/40 (pow (* (cbrt x) (cbrt x)) 2)) (* 9/40 x) 9/40 (* 9/40 x) (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* (fabs x) 9/40) 9/40 (* 9/40 x) (* (cbrt 9/40) (pow x 2)) (* (sqrt 9/40) (pow x 2)) (* 9/40 (pow x 2)) (expm1 (fma 27/2800 (pow x 4) 1/2)) (log1p (fma 27/2800 (pow x 4) 1/2)) (* (pow x 4) 27/2800) (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 x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2)) (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2)) (fma x (* 9/40 x) (fma (pow x 4) -27/2800 -1/2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (* 9/40 (pow x 2)) (fma (pow x 4) 27/2800 1/2) (fma (pow x 4) 27/2800 1/2) (fma (pow x 4) 27/2800 1/2) 3.268 * * * [progress]: adding candidates to table 3.420 * * [progress]: iteration 3 / 4 3.420 * * * [progress]: picking best candidate 3.423 * * * * [pick]: Picked # 3.423 * * * [progress]: localizing error 3.438 * * * [progress]: generating rewritten candidates 3.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.442 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 3.446 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 3.454 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 3.459 * * * [progress]: generating series expansions 3.459 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.460 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 3.460 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 3.460 * [taylor]: Taking taylor expansion of x in x 3.460 * [taylor]: Taking taylor expansion of (sin x) in x 3.460 * [taylor]: Taking taylor expansion of x in x 3.460 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 3.460 * [taylor]: Taking taylor expansion of x in x 3.460 * [taylor]: Taking taylor expansion of (sin x) in x 3.460 * [taylor]: Taking taylor expansion of x in x 3.474 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 3.474 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 3.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.474 * [taylor]: Taking taylor expansion of x in x 3.475 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.475 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.475 * [taylor]: Taking taylor expansion of x in x 3.475 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 3.475 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.475 * [taylor]: Taking taylor expansion of x in x 3.475 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.475 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.475 * [taylor]: Taking taylor expansion of x in x 3.482 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 3.482 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 3.483 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 3.483 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.483 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.483 * [taylor]: Taking taylor expansion of -1 in x 3.483 * [taylor]: Taking taylor expansion of x in x 3.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.483 * [taylor]: Taking taylor expansion of x in x 3.483 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 3.483 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 3.483 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.483 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.483 * [taylor]: Taking taylor expansion of -1 in x 3.483 * [taylor]: Taking taylor expansion of x in x 3.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.484 * [taylor]: Taking taylor expansion of x in x 3.491 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 3.491 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0 3.491 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 3.491 * [taylor]: Taking taylor expansion of x in x 3.491 * [taylor]: Taking taylor expansion of (sin x) in x 3.491 * [taylor]: Taking taylor expansion of x in x 3.491 * [taylor]: Taking taylor expansion of (- x (sin x)) in x 3.491 * [taylor]: Taking taylor expansion of x in x 3.491 * [taylor]: Taking taylor expansion of (sin x) in x 3.491 * [taylor]: Taking taylor expansion of x in x 3.511 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0 3.511 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 3.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.511 * [taylor]: Taking taylor expansion of x in x 3.512 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.512 * [taylor]: Taking taylor expansion of x in x 3.512 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x 3.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.512 * [taylor]: Taking taylor expansion of x in x 3.512 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.512 * [taylor]: Taking taylor expansion of x in x 3.519 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0 3.519 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 3.519 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 3.519 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.519 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.519 * [taylor]: Taking taylor expansion of -1 in x 3.519 * [taylor]: Taking taylor expansion of x in x 3.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.520 * [taylor]: Taking taylor expansion of x in x 3.520 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x 3.520 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x 3.520 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.520 * [taylor]: Taking taylor expansion of -1 in x 3.520 * [taylor]: Taking taylor expansion of x in x 3.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.521 * [taylor]: Taking taylor expansion of x in x 3.528 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 3.528 * [approximate]: Taking taylor expansion of (- (sqrt x) (sqrt (tan x))) in (x) around 0 3.528 * [taylor]: Taking taylor expansion of (- (sqrt x) (sqrt (tan x))) in x 3.528 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.528 * [taylor]: Taking taylor expansion of x in x 3.529 * [taylor]: Taking taylor expansion of (sqrt (tan x)) in x 3.529 * [taylor]: Taking taylor expansion of (tan x) in x 3.529 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.529 * [taylor]: Taking taylor expansion of (sin x) in x 3.529 * [taylor]: Taking taylor expansion of x in x 3.529 * [taylor]: Taking taylor expansion of (cos x) in x 3.529 * [taylor]: Taking taylor expansion of x in x 3.531 * [taylor]: Taking taylor expansion of (- (sqrt x) (sqrt (tan x))) in x 3.531 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.531 * [taylor]: Taking taylor expansion of x in x 3.532 * [taylor]: Taking taylor expansion of (sqrt (tan x)) in x 3.532 * [taylor]: Taking taylor expansion of (tan x) in x 3.532 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.532 * [taylor]: Taking taylor expansion of (sin x) in x 3.532 * [taylor]: Taking taylor expansion of x in x 3.532 * [taylor]: Taking taylor expansion of (cos x) in x 3.532 * [taylor]: Taking taylor expansion of x in x 3.550 * [approximate]: Taking taylor expansion of (- (sqrt (/ 1 x)) (sqrt (tan (/ 1 x)))) in (x) around 0 3.550 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 x)) (sqrt (tan (/ 1 x)))) in x 3.550 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.551 * [taylor]: Taking taylor expansion of x in x 3.552 * [taylor]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in x 3.552 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.552 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.552 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.552 * [taylor]: Taking taylor expansion of x in x 3.552 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.552 * [taylor]: Taking taylor expansion of x in x 3.553 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 x)) (sqrt (tan (/ 1 x)))) in x 3.553 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.553 * [taylor]: Taking taylor expansion of x in x 3.554 * [taylor]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in x 3.554 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.554 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.554 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.554 * [taylor]: Taking taylor expansion of x in x 3.555 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.555 * [taylor]: Taking taylor expansion of x in x 3.565 * [approximate]: Taking taylor expansion of (- (sqrt (/ -1 x)) (sqrt (tan (/ -1 x)))) in (x) around 0 3.565 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 x)) (sqrt (tan (/ -1 x)))) in x 3.565 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.565 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.565 * [taylor]: Taking taylor expansion of -1 in x 3.565 * [taylor]: Taking taylor expansion of x in x 3.566 * [taylor]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in x 3.566 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.566 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.567 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.567 * [taylor]: Taking taylor expansion of -1 in x 3.567 * [taylor]: Taking taylor expansion of x in x 3.567 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.567 * [taylor]: Taking taylor expansion of -1 in x 3.567 * [taylor]: Taking taylor expansion of x in x 3.568 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 x)) (sqrt (tan (/ -1 x)))) in x 3.568 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.568 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.568 * [taylor]: Taking taylor expansion of -1 in x 3.568 * [taylor]: Taking taylor expansion of x in x 3.569 * [taylor]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in x 3.569 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.569 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.569 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.569 * [taylor]: Taking taylor expansion of -1 in x 3.569 * [taylor]: Taking taylor expansion of x in x 3.570 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.570 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.570 * [taylor]: Taking taylor expansion of -1 in x 3.570 * [taylor]: Taking taylor expansion of x in x 3.579 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 3.579 * [approximate]: Taking taylor expansion of (sqrt (tan x)) in (x) around 0 3.579 * [taylor]: Taking taylor expansion of (sqrt (tan x)) in x 3.579 * [taylor]: Taking taylor expansion of (tan x) in x 3.579 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.579 * [taylor]: Taking taylor expansion of (sin x) in x 3.579 * [taylor]: Taking taylor expansion of x in x 3.579 * [taylor]: Taking taylor expansion of (cos x) in x 3.579 * [taylor]: Taking taylor expansion of x in x 3.581 * [taylor]: Taking taylor expansion of (sqrt (tan x)) in x 3.581 * [taylor]: Taking taylor expansion of (tan x) in x 3.581 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 3.581 * [taylor]: Taking taylor expansion of (sin x) in x 3.581 * [taylor]: Taking taylor expansion of x in x 3.581 * [taylor]: Taking taylor expansion of (cos x) in x 3.581 * [taylor]: Taking taylor expansion of x in x 3.595 * [approximate]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in (x) around 0 3.595 * [taylor]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in x 3.595 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.596 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.596 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.596 * [taylor]: Taking taylor expansion of x in x 3.596 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.596 * [taylor]: Taking taylor expansion of x in x 3.597 * [taylor]: Taking taylor expansion of (sqrt (tan (/ 1 x))) in x 3.597 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 3.597 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 3.597 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 3.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.597 * [taylor]: Taking taylor expansion of x in x 3.597 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.597 * [taylor]: Taking taylor expansion of x in x 3.603 * [approximate]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in (x) around 0 3.603 * [taylor]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in x 3.603 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.603 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.603 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.603 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.603 * [taylor]: Taking taylor expansion of -1 in x 3.603 * [taylor]: Taking taylor expansion of x in x 3.603 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.603 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.603 * [taylor]: Taking taylor expansion of -1 in x 3.603 * [taylor]: Taking taylor expansion of x in x 3.604 * [taylor]: Taking taylor expansion of (sqrt (tan (/ -1 x))) in x 3.604 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 3.604 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 3.604 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 3.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.604 * [taylor]: Taking taylor expansion of -1 in x 3.604 * [taylor]: Taking taylor expansion of x in x 3.605 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.605 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.605 * [taylor]: Taking taylor expansion of -1 in x 3.605 * [taylor]: Taking taylor expansion of x in x 3.610 * * * [progress]: simplifying candidates 3.612 * [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 (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)) (- (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x))))))) (fma (- (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))))) (fma (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)) (- (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (sqrt (cbrt (tan x)))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))) (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)) (- (* (sqrt (tan x)) (sqrt 1)))) (fma (- (sqrt (tan x))) (sqrt 1) (* (sqrt (tan x)) (sqrt 1))) (fma (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)) (- (* (sqrt (tan x)) 1))) (fma (- (sqrt (tan x))) 1 (* (sqrt (tan x)) 1)) (fma (sqrt (* (cbrt x) (cbrt x))) (sqrt (cbrt x)) (- (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x))))))) (fma (- (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))))) (fma (sqrt (* (cbrt x) (cbrt x))) (sqrt (cbrt x)) (- (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (sqrt (cbrt (tan x)))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))) (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (sqrt (* (cbrt x) (cbrt x))) (sqrt (cbrt x)) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (sqrt (* (cbrt x) (cbrt x))) (sqrt (cbrt x)) (- (* (sqrt (tan x)) (sqrt 1)))) (fma (- (sqrt (tan x))) (sqrt 1) (* (sqrt (tan x)) (sqrt 1))) (fma (sqrt (* (cbrt x) (cbrt x))) (sqrt (cbrt x)) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (sqrt (* (cbrt x) (cbrt x))) (sqrt (cbrt x)) (- (* (sqrt (tan x)) 1))) (fma (- (sqrt (tan x))) 1 (* (sqrt (tan x)) 1)) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x))))))) (fma (- (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (sqrt (cbrt (tan x)))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))) (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (tan x)) (sqrt 1)))) (fma (- (sqrt (tan x))) (sqrt 1) (* (sqrt (tan x)) (sqrt 1))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (tan x)) 1))) (fma (- (sqrt (tan x))) 1 (* (sqrt (tan x)) 1)) (fma (sqrt 1) (sqrt x) (- (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x))))))) (fma (- (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))))) (fma (sqrt 1) (sqrt x) (- (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (sqrt (cbrt (tan x)))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))) (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (sqrt 1) (sqrt x) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (sqrt 1) (sqrt x) (- (* (sqrt (tan x)) (sqrt 1)))) (fma (- (sqrt (tan x))) (sqrt 1) (* (sqrt (tan x)) (sqrt 1))) (fma (sqrt 1) (sqrt x) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (sqrt 1) (sqrt x) (- (* (sqrt (tan x)) 1))) (fma (- (sqrt (tan x))) 1 (* (sqrt (tan x)) 1)) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x))))))) (fma (- (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (sqrt (cbrt (tan x)))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))) (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (tan x)) (sqrt 1)))) (fma (- (sqrt (tan x))) (sqrt 1) (* (sqrt (tan x)) (sqrt 1))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (- (* (sqrt (tan x)) 1))) (fma (- (sqrt (tan x))) 1 (* (sqrt (tan x)) 1)) (fma 1 (sqrt x) (- (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x))))))) (fma (- (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (* (cbrt (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))))) (fma 1 (sqrt x) (- (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x))))))) (fma (- (sqrt (cbrt (tan x)))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))) (* (sqrt (cbrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))))) (fma 1 (sqrt x) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma 1 (sqrt x) (- (* (sqrt (tan x)) (sqrt 1)))) (fma (- (sqrt (tan x))) (sqrt 1) (* (sqrt (tan x)) (sqrt 1))) (fma 1 (sqrt x) (- (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x)))))) (fma (- (sqrt (sqrt (tan x)))) (sqrt (sqrt (tan x))) (* (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))))) (fma 1 (sqrt x) (- (* (sqrt (tan x)) 1))) (fma (- (sqrt (tan x))) 1 (* (sqrt (tan x)) 1)) (expm1 (- (sqrt x) (sqrt (tan x)))) (log1p (- (sqrt x) (sqrt (tan x)))) (- (sqrt (tan x))) (- (sqrt (tan x))) (- (sqrt (tan x))) (- (sqrt (tan x))) (- (sqrt (tan x))) (- (sqrt (tan x))) (/ (exp (sqrt x)) (exp (sqrt (tan x)))) (log (- (sqrt x) (sqrt (tan x)))) (exp (- (sqrt x) (sqrt (tan x)))) (* (cbrt (- (sqrt x) (sqrt (tan x)))) (cbrt (- (sqrt x) (sqrt (tan x))))) (cbrt (- (sqrt x) (sqrt (tan x)))) (* (* (- (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x)))) (- (sqrt x) (sqrt (tan x)))) (sqrt (- (sqrt x) (sqrt (tan x)))) (sqrt (- (sqrt x) (sqrt (tan x)))) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (* (sqrt x) (sqrt x)) (+ (* (sqrt (tan x)) (sqrt (tan x))) (* (sqrt x) (sqrt (tan x))))) (- (sqrt (tan x))) (- (* (sqrt x) (sqrt x)) (* (sqrt (tan x)) (sqrt (tan x)))) (+ (sqrt x) (sqrt (tan x))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- (sqrt (tan x))) (expm1 (sqrt (tan x))) (log1p (sqrt (tan x))) (log (sqrt (tan x))) (exp (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (cbrt (sqrt (tan x))) (* (* (sqrt (tan x)) (sqrt (tan x))) (sqrt (tan x))) (sqrt (* (cbrt (tan x)) (cbrt (tan x)))) (sqrt (cbrt (tan x))) (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))) (sqrt 1) (sqrt (tan x)) (sqrt (sin x)) (sqrt (cos x)) (/ 1 2) (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5))) (- x (sin x)) (- x (sin x)) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x)))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (sqrt (/ (sin x) (cos x))) (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (sqrt (/ (sin x) (cos x))) (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x)))))) (sqrt (/ (sin x) (cos x))) (sqrt (/ (sin x) (cos x))) 3.619 * * [simplify]: iteration 0 : 181 enodes (cost 2613 ) 3.653 * * [simplify]: iteration 1 : 366 enodes (cost 1807 ) 3.749 * * [simplify]: iteration 2 : 880 enodes (cost 1410 ) 4.267 * * [simplify]: iteration 3 : 2997 enodes (cost 1348 ) 4.988 * * [simplify]: iteration done : 5000 enodes (cost 1340 ) 4.989 * [simplify]: Simplified to: (- (pow (cbrt x) 3) (sin x)) (* (sin x) 0) (- (pow (cbrt x) 3) (sin x)) (* (sin x) 0) (- (pow (cbrt x) 3) (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin 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 x x (* (sin x) (+ x (sin x)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (- (pow (cbrt x) 3) (sin x)) (* (sin x) 0) (- (pow (cbrt x) 3) (sin x)) (* (sin x) 0) (- (pow (cbrt x) 3) (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin x)) (* (sin x) 0) (- x (sin 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 x x (* (sin x) (+ x (sin x)))) (- (sin x)) (- (* x x) (* (sin x) (sin x))) (+ x (sin x)) (+ (sqrt x) (sqrt (sin x))) (- (sqrt x) (sqrt (sin x))) (- x (sin x)) (- (sin x)) (- (pow (cbrt (sqrt x)) 3) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (pow (cbrt (sqrt x)) 3) (* (sqrt (cbrt (tan x))) (fabs (cbrt (tan x))))) (* (sqrt (cbrt (tan x))) (- (fabs (cbrt (tan x))) (fabs (cbrt (tan x))))) (- (pow (cbrt (sqrt x)) 3) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (pow (cbrt (sqrt x)) 3) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (pow (cbrt (sqrt x)) 3) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (pow (cbrt (sqrt x)) 3) (sqrt (tan x))) (* (sqrt (tan x)) 0) (fma (fabs (cbrt x)) (sqrt (cbrt x)) (- (sqrt (tan x)))) (* (sqrt (tan x)) 0) (fma (fabs (cbrt x)) (sqrt (cbrt x)) (- (* (sqrt (cbrt (tan x))) (fabs (cbrt (tan x)))))) (* (sqrt (cbrt (tan x))) (- (fabs (cbrt (tan x))) (fabs (cbrt (tan x))))) (fma (fabs (cbrt x)) (sqrt (cbrt x)) (- (sqrt (tan x)))) (* (sqrt (tan x)) 0) (fma (fabs (cbrt x)) (sqrt (cbrt x)) (- (sqrt (tan x)))) (* (sqrt (tan x)) 0) (fma (fabs (cbrt x)) (sqrt (cbrt x)) (- (sqrt (tan x)))) (* (sqrt (tan x)) 0) (fma (fabs (cbrt x)) (sqrt (cbrt x)) (- (sqrt (tan x)))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (* (sqrt (cbrt (tan x))) (fabs (cbrt (tan x))))) (* (sqrt (cbrt (tan x))) (- (fabs (cbrt (tan x))) (fabs (cbrt (tan x))))) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (* (sqrt (cbrt (tan x))) (fabs (cbrt (tan x))))) (* (sqrt (cbrt (tan x))) (- (fabs (cbrt (tan x))) (fabs (cbrt (tan x))))) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (* (sqrt (cbrt (tan x))) (fabs (cbrt (tan x))))) (* (sqrt (cbrt (tan x))) (- (fabs (cbrt (tan x))) (fabs (cbrt (tan x))))) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (* (sqrt (cbrt (tan x))) (fabs (cbrt (tan x))))) (* (sqrt (cbrt (tan x))) (- (fabs (cbrt (tan x))) (fabs (cbrt (tan x))))) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (- (sqrt x) (sqrt (tan x))) (* (sqrt (tan x)) 0) (expm1 (- (sqrt x) (sqrt (tan x)))) (log1p (- (sqrt x) (sqrt (tan x)))) (- (sqrt (tan x))) (- (sqrt (tan x))) (- (sqrt (tan x))) (- (sqrt (tan x))) (- (sqrt (tan x))) (- (sqrt (tan x))) (exp (- (sqrt x) (sqrt (tan x)))) (log (- (sqrt x) (sqrt (tan x)))) (exp (- (sqrt x) (sqrt (tan x)))) (* (cbrt (- (sqrt x) (sqrt (tan x)))) (cbrt (- (sqrt x) (sqrt (tan x))))) (cbrt (- (sqrt x) (sqrt (tan x)))) (pow (- (sqrt x) (sqrt (tan x))) 3) (sqrt (- (sqrt x) (sqrt (tan x)))) (sqrt (- (sqrt x) (sqrt (tan x)))) (- (pow (sqrt x) 3) (pow (sqrt (tan x)) 3)) (+ (fma (sqrt x) (sqrt (tan x)) (tan x)) x) (- (sqrt (tan x))) (- x (tan x)) (+ (sqrt (tan x)) (sqrt x)) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (+ (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt (sqrt x)) (sqrt (sqrt (tan x)))) (- (sqrt x) (sqrt (tan x))) (- (sqrt x) (sqrt (tan x))) (- (sqrt (tan x))) (expm1 (sqrt (tan x))) (log1p (sqrt (tan x))) (log (sqrt (tan x))) (exp (sqrt (tan x))) (* (cbrt (sqrt (tan x))) (cbrt (sqrt (tan x)))) (cbrt (sqrt (tan x))) (pow (sqrt (tan x)) 3) (fabs (cbrt (tan x))) (sqrt (cbrt (tan x))) (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))) 1 (sqrt (tan x)) (sqrt (sin x)) (sqrt (cos x)) 1/2 (sqrt (sqrt (tan x))) (sqrt (sqrt (tan x))) (fma (pow x 7) 1/5040 (fma 1/6 (pow x 3) (* (pow x 5) -1/120))) (- x (sin x)) (- x (sin x)) (fma (pow x 7) 1/5040 (fma 1/6 (pow x 3) (* (pow x 5) -1/120))) (- x (sin x)) (- x (sin x)) (fma (- +nan.0) (* x x) (* +nan.0 (- (pow x 3) x))) (- (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (* x x))) (sqrt (/ (sin x) (cos x)))) (- (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (* x x))) (sqrt (/ (sin x) (cos x)))) (fma (- +nan.0) (* x x) (* +nan.0 (- (pow x 3) x))) (sqrt (/ (sin x) (cos x))) (sqrt (/ (sin x) (cos x))) 4.990 * * * [progress]: adding candidates to table 5.334 * [progress]: [Phase 3 of 3] Extracting. 5.335 * * [regime]: Finding splitpoints for: (# # #) 5.336 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- x (sin x)) (- x (tan x))) x) 5.336 * * * * [regimes]: Trying to branch on (/ (- x (sin x)) (- x (tan x))) from (# # #) 5.358 * * * * [regimes]: Trying to branch on x from (# # #) 5.385 * * * [regime]: Found split indices: #