11.304 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.129 * * * [progress]: [2/2] Setting up program. 0.131 * [progress]: [Phase 2 of 3] Improving. 0.131 * [simplify]: Simplifying using # : (/ (- 1.0 (cos x)) (sin x)) 0.132 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.133 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.134 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 0.135 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 0.137 * * [simplify]: iteration done : 16 enodes (cost 7 ) 0.137 * [simplify]: Simplified to: (/ (- 1.0 (cos x)) (sin x)) 0.137 * * [progress]: iteration 1 / 4 0.137 * * * [progress]: picking best candidate 0.139 * * * * [pick]: Picked # 0.139 * * * [progress]: localizing error 0.151 * * * [progress]: generating rewritten candidates 0.151 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.154 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.163 * * * [progress]: generating series expansions 0.163 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.163 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.163 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.163 * [taylor]: Taking taylor expansion of 1.0 in x 0.163 * [taylor]: Taking taylor expansion of (cos x) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.163 * [taylor]: Taking taylor expansion of 1.0 in x 0.163 * [taylor]: Taking taylor expansion of (cos x) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.173 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.173 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.173 * [taylor]: Taking taylor expansion of 1.0 in x 0.173 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.174 * [taylor]: Taking taylor expansion of 1.0 in x 0.174 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.177 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 0.177 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.177 * [taylor]: Taking taylor expansion of 1.0 in x 0.177 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.177 * [taylor]: Taking taylor expansion of -1 in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.178 * [taylor]: Taking taylor expansion of 1.0 in x 0.178 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.178 * [taylor]: Taking taylor expansion of -1 in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.181 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.181 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0 0.181 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 0.181 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.181 * [taylor]: Taking taylor expansion of 1.0 in x 0.181 * [taylor]: Taking taylor expansion of (cos x) in x 0.181 * [taylor]: Taking taylor expansion of x in x 0.181 * [taylor]: Taking taylor expansion of (sin x) in x 0.181 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 0.184 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.184 * [taylor]: Taking taylor expansion of 1.0 in x 0.184 * [taylor]: Taking taylor expansion of (cos x) in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of (sin x) in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.201 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0 0.201 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 0.201 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.201 * [taylor]: Taking taylor expansion of 1.0 in x 0.201 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.202 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.202 * [taylor]: Taking taylor expansion of x in x 0.202 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 0.202 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.202 * [taylor]: Taking taylor expansion of 1.0 in x 0.202 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.202 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.208 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0 0.208 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 0.208 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.208 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.208 * [taylor]: Taking taylor expansion of -1 in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.208 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.208 * [taylor]: Taking taylor expansion of -1 in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 0.209 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.209 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.209 * [taylor]: Taking taylor expansion of -1 in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.209 * [taylor]: Taking taylor expansion of -1 in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.214 * * * [progress]: simplifying candidates 0.215 * [simplify]: Simplifying using # : (/ (exp 1.0) (exp (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (- (log (- 1.0 (cos x))) (log (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (* (* (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x))) (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (- (- 1.0 (cos x))) (- (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) 1) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ 1 1) (/ (- 1.0 (cos x)) (sin x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ 1 1) (/ (- 1.0 (cos x)) (sin x)) (/ 1 (sin x)) (/ (sin x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ (- 1.0 (cos x)) 1) (/ (sin x) (cbrt (- 1.0 (cos x)))) (/ (sin x) (sqrt (- 1.0 (cos x)))) (/ (sin x) (- 1.0 (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (sin x) (- 1.0 (cos x))) (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (* (sin x) (+ 1.0 (cos x))) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) 0.218 * * [simplify]: iteration 0 : 106 enodes (cost 665 ) 0.239 * * [simplify]: iteration 1 : 235 enodes (cost 645 ) 0.289 * * [simplify]: iteration 2 : 525 enodes (cost 609 ) 0.427 * * [simplify]: iteration 3 : 1298 enodes (cost 609 ) 1.027 * * [simplify]: iteration 4 : 4026 enodes (cost 608 ) 2.386 * * [simplify]: iteration done : 5000 enodes (cost 608 ) 2.386 * [simplify]: Simplified to: (exp (- 1.0 (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (pow (- 1.0 (cos x)) 3) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt (cos x)) (sqrt 1.0)) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (log (/ (- 1.0 (cos x)) (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (- (cos x) 1.0) (- (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (sqrt (- 1.0 (cos x))) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) 1 (/ (- 1.0 (cos x)) (sin x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (+ (sqrt (cos x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) 1 (/ (- 1.0 (cos x)) (sin x)) (/ 1 (sin x)) (/ (sin x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (- 1.0 (cos x)) (/ (sin x) (cbrt (- 1.0 (cos x)))) (/ (sin x) (sqrt (- 1.0 (cos x)))) (/ (sin x) (- 1.0 (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (sin x) (- 1.0 (cos x))) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (* (sin x) (+ 1.0 (cos x))) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) 2.386 * * * [progress]: adding candidates to table 2.513 * * [progress]: iteration 2 / 4 2.513 * * * [progress]: picking best candidate 2.540 * * * * [pick]: Picked # 2.540 * * * [progress]: localizing error 2.550 * * * [progress]: generating rewritten candidates 2.550 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 2.553 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.565 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 2.577 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.589 * * * [progress]: generating series expansions 2.589 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 2.589 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 2.589 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 2.589 * [taylor]: Taking taylor expansion of 1.0 in x 2.589 * [taylor]: Taking taylor expansion of (cos x) in x 2.589 * [taylor]: Taking taylor expansion of x in x 2.589 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 2.589 * [taylor]: Taking taylor expansion of 1.0 in x 2.589 * [taylor]: Taking taylor expansion of (cos x) in x 2.589 * [taylor]: Taking taylor expansion of x in x 2.600 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 2.600 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 2.600 * [taylor]: Taking taylor expansion of 1.0 in x 2.600 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.600 * [taylor]: Taking taylor expansion of x in x 2.600 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 2.600 * [taylor]: Taking taylor expansion of 1.0 in x 2.600 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.600 * [taylor]: Taking taylor expansion of x in x 2.604 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 2.604 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 2.604 * [taylor]: Taking taylor expansion of 1.0 in x 2.604 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.604 * [taylor]: Taking taylor expansion of -1 in x 2.604 * [taylor]: Taking taylor expansion of x in x 2.604 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 2.604 * [taylor]: Taking taylor expansion of 1.0 in x 2.604 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.604 * [taylor]: Taking taylor expansion of -1 in x 2.604 * [taylor]: Taking taylor expansion of x in x 2.610 * * * * [progress]: [ 2 / 4 ] generating series at (2) 2.611 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0 2.611 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 2.611 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 2.611 * [taylor]: Taking taylor expansion of 1.0 in x 2.611 * [taylor]: Taking taylor expansion of (cos x) in x 2.611 * [taylor]: Taking taylor expansion of x in x 2.611 * [taylor]: Taking taylor expansion of (sin x) in x 2.611 * [taylor]: Taking taylor expansion of x in x 2.614 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 2.614 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 2.614 * [taylor]: Taking taylor expansion of 1.0 in x 2.614 * [taylor]: Taking taylor expansion of (cos x) in x 2.614 * [taylor]: Taking taylor expansion of x in x 2.614 * [taylor]: Taking taylor expansion of (sin x) in x 2.614 * [taylor]: Taking taylor expansion of x in x 2.631 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0 2.631 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 2.631 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 2.631 * [taylor]: Taking taylor expansion of 1.0 in x 2.631 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.631 * [taylor]: Taking taylor expansion of x in x 2.632 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.632 * [taylor]: Taking taylor expansion of x in x 2.632 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 2.632 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 2.632 * [taylor]: Taking taylor expansion of 1.0 in x 2.632 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.632 * [taylor]: Taking taylor expansion of x in x 2.633 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.633 * [taylor]: Taking taylor expansion of x in x 2.638 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0 2.638 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 2.638 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 2.638 * [taylor]: Taking taylor expansion of 1.0 in x 2.638 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.638 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.638 * [taylor]: Taking taylor expansion of -1 in x 2.638 * [taylor]: Taking taylor expansion of x in x 2.638 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.638 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.639 * [taylor]: Taking taylor expansion of -1 in x 2.639 * [taylor]: Taking taylor expansion of x in x 2.639 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 2.639 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 2.639 * [taylor]: Taking taylor expansion of 1.0 in x 2.639 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.639 * [taylor]: Taking taylor expansion of -1 in x 2.639 * [taylor]: Taking taylor expansion of x in x 2.639 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.639 * [taylor]: Taking taylor expansion of -1 in x 2.639 * [taylor]: Taking taylor expansion of x in x 2.645 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 2.645 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in (x) around 0 2.645 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in x 2.645 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 2.645 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 2.645 * [taylor]: Taking taylor expansion of 1.0 in x 2.645 * [taylor]: Taking taylor expansion of (cos x) in x 2.645 * [taylor]: Taking taylor expansion of x in x 2.645 * [taylor]: Taking taylor expansion of (sin x) in x 2.645 * [taylor]: Taking taylor expansion of x in x 2.648 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in x 2.648 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 2.648 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 2.648 * [taylor]: Taking taylor expansion of 1.0 in x 2.648 * [taylor]: Taking taylor expansion of (cos x) in x 2.648 * [taylor]: Taking taylor expansion of x in x 2.648 * [taylor]: Taking taylor expansion of (sin x) in x 2.648 * [taylor]: Taking taylor expansion of x in x 2.655 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in (x) around 0 2.655 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in x 2.655 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 2.655 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 2.655 * [taylor]: Taking taylor expansion of 1.0 in x 2.655 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.655 * [taylor]: Taking taylor expansion of x in x 2.656 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.656 * [taylor]: Taking taylor expansion of x in x 2.656 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in x 2.656 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 2.656 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 2.656 * [taylor]: Taking taylor expansion of 1.0 in x 2.656 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.656 * [taylor]: Taking taylor expansion of x in x 2.657 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.657 * [taylor]: Taking taylor expansion of x in x 2.671 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in (x) around 0 2.671 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in x 2.671 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 2.671 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 2.671 * [taylor]: Taking taylor expansion of 1.0 in x 2.671 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.671 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.671 * [taylor]: Taking taylor expansion of -1 in x 2.671 * [taylor]: Taking taylor expansion of x in x 2.671 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.671 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.671 * [taylor]: Taking taylor expansion of -1 in x 2.671 * [taylor]: Taking taylor expansion of x in x 2.672 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in x 2.672 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 2.672 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 2.672 * [taylor]: Taking taylor expansion of 1.0 in x 2.672 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.672 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.672 * [taylor]: Taking taylor expansion of -1 in x 2.672 * [taylor]: Taking taylor expansion of x in x 2.672 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.672 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.672 * [taylor]: Taking taylor expansion of -1 in x 2.672 * [taylor]: Taking taylor expansion of x in x 2.686 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.686 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0 2.686 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 2.686 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 2.686 * [taylor]: Taking taylor expansion of 1.0 in x 2.686 * [taylor]: Taking taylor expansion of (cos x) in x 2.686 * [taylor]: Taking taylor expansion of x in x 2.686 * [taylor]: Taking taylor expansion of (sin x) in x 2.686 * [taylor]: Taking taylor expansion of x in x 2.689 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 2.689 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 2.689 * [taylor]: Taking taylor expansion of 1.0 in x 2.689 * [taylor]: Taking taylor expansion of (cos x) in x 2.689 * [taylor]: Taking taylor expansion of x in x 2.689 * [taylor]: Taking taylor expansion of (sin x) in x 2.689 * [taylor]: Taking taylor expansion of x in x 2.709 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0 2.710 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 2.710 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 2.710 * [taylor]: Taking taylor expansion of 1.0 in x 2.710 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.710 * [taylor]: Taking taylor expansion of x in x 2.710 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.710 * [taylor]: Taking taylor expansion of x in x 2.710 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 2.710 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 2.710 * [taylor]: Taking taylor expansion of 1.0 in x 2.711 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.711 * [taylor]: Taking taylor expansion of x in x 2.711 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 2.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.711 * [taylor]: Taking taylor expansion of x in x 2.716 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0 2.716 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 2.716 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 2.716 * [taylor]: Taking taylor expansion of 1.0 in x 2.716 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.716 * [taylor]: Taking taylor expansion of -1 in x 2.716 * [taylor]: Taking taylor expansion of x in x 2.717 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.717 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.717 * [taylor]: Taking taylor expansion of -1 in x 2.717 * [taylor]: Taking taylor expansion of x in x 2.717 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 2.717 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 2.717 * [taylor]: Taking taylor expansion of 1.0 in x 2.717 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.717 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.717 * [taylor]: Taking taylor expansion of -1 in x 2.717 * [taylor]: Taking taylor expansion of x in x 2.717 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 2.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.718 * [taylor]: Taking taylor expansion of -1 in x 2.718 * [taylor]: Taking taylor expansion of x in x 2.723 * * * [progress]: simplifying candidates 2.725 * [simplify]: Simplifying using # : (/ (exp 1.0) (exp (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (log (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))) (log (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (log (sqrt (exp (/ (- 1.0 (cos x)) (sin x))))) (log (sqrt (exp (/ (- 1.0 (cos x)) (sin x))))) (log 1) (log (exp (/ (- 1.0 (cos x)) (sin x)))) (log (exp (/ 1.0 (sin x)))) (log (exp (/ (cos x) (sin x)))) (log (exp (/ (- 1.0 (cos x)) (sin x)))) (log (exp (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))) (log (exp (sqrt (/ (- 1.0 (cos x)) (sin x))))) (log (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))))) (log (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))))) (log (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1))) (log (exp (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))))) (log (exp (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))))) (log (exp (/ (sqrt (- 1.0 (cos x))) 1))) (log (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))) (log (exp (/ 1 (sqrt (sin x))))) (log (exp (/ 1 1))) (log (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))))) (log (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))))) (log (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) 1))) (log (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))) (log (exp (/ 1 (sqrt (sin x))))) (log (exp (/ 1 1))) (log (exp 1)) (log (exp (- 1.0 (cos x)))) (log (log (exp (/ (- 1.0 (cos x)) (sin x))))) (exp (log (exp (/ (- 1.0 (cos x)) (sin x))))) (* (cbrt (log (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (log (exp (/ (- 1.0 (cos x)) (sin x)))))) (cbrt (log (exp (/ (- 1.0 (cos x)) (sin x))))) (* (* (log (exp (/ (- 1.0 (cos x)) (sin x)))) (log (exp (/ (- 1.0 (cos x)) (sin x))))) (log (exp (/ (- 1.0 (cos x)) (sin x))))) (sqrt (log (exp (/ (- 1.0 (cos x)) (sin x))))) (sqrt (log (exp (/ (- 1.0 (cos x)) (sin x))))) (exp (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))) (exp (sqrt (/ (- 1.0 (cos x)) (sin x)))) (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))) (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1)) (exp (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))) (exp (/ (sqrt (- 1.0 (cos x))) 1)) (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ 1 (sqrt (sin x)))) (exp (/ 1 1)) (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))) (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) 1)) (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ 1 (sqrt (sin x)))) (exp (/ 1 1)) (exp 1) (exp (- 1.0 (cos x))) (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))) (log (exp (/ (- 1.0 (cos x)) (sin x)))) (exp (exp (/ (- 1.0 (cos x)) (sin x)))) (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (* (* (exp (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x)))) (exp (/ (- 1.0 (cos x)) (sin x)))) (sqrt (exp (/ (- 1.0 (cos x)) (sin x)))) (sqrt (exp (/ (- 1.0 (cos x)) (sin x)))) (- (log (- 1.0 (cos x))) (log (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (* (* (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x))) (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (- (- 1.0 (cos x))) (- (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) 1) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ 1 1) (/ (- 1.0 (cos x)) (sin x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ 1 1) (/ (- 1.0 (cos x)) (sin x)) (/ 1 (sin x)) (/ (sin x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ (- 1.0 (cos x)) 1) (/ (sin x) (cbrt (- 1.0 (cos x)))) (/ (sin x) (sqrt (- 1.0 (cos x)))) (/ (sin x) (- 1.0 (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (sin x) (- 1.0 (cos x))) (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (* (sin x) (+ 1.0 (cos x))) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (exp (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) 2.729 * * [simplify]: iteration 0 : 163 enodes (cost 1406 ) 2.753 * * [simplify]: iteration 1 : 305 enodes (cost 1293 ) 2.812 * * [simplify]: iteration 2 : 633 enodes (cost 1220 ) 2.981 * * [simplify]: iteration 3 : 1530 enodes (cost 1218 ) 3.654 * * [simplify]: iteration 4 : 4626 enodes (cost 1217 ) 5.082 * * [simplify]: iteration done : 5000 enodes (cost 1217 ) 5.083 * [simplify]: Simplified to: (exp (- 1.0 (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (pow (- 1.0 (cos x)) 3) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt (cos x)) (sqrt 1.0)) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (* 2 (log (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))) (log (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (log (sqrt (exp (/ (- 1.0 (cos x)) (sin x))))) (log (sqrt (exp (/ (- 1.0 (cos x)) (sin x))))) 0 (/ (- 1.0 (cos x)) (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (- 1.0 (cos x)) (sin x)) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (sqrt (- 1.0 (cos x))) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1 (sqrt (sin x))) 1 (/ (+ (sqrt (cos x)) (sqrt 1.0)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (+ (sqrt (cos x)) (sqrt 1.0)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1 (sqrt (sin x))) 1 1 (- 1.0 (cos x)) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (exp (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))) (exp (sqrt (/ (- 1.0 (cos x)) (sin x)))) (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))) (exp (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (exp (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))) (exp (sqrt (- 1.0 (cos x)))) (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ 1 (sqrt (sin x)))) E (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))) (exp (+ (sqrt (cos x)) (sqrt 1.0))) (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (exp (/ 1 (sqrt (sin x)))) E E (exp (- 1.0 (cos x))) (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))) (/ (- 1.0 (cos x)) (sin x)) (exp (exp (/ (- 1.0 (cos x)) (sin x)))) (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (pow (exp (/ (- 1.0 (cos x)) (sin x))) 3) (sqrt (exp (/ (- 1.0 (cos x)) (sin x)))) (sqrt (exp (/ (- 1.0 (cos x)) (sin x)))) (log (/ (- 1.0 (cos x)) (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (- (cos x) 1.0) (- (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (sqrt (- 1.0 (cos x))) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) 1 (/ (- 1.0 (cos x)) (sin x)) (/ (+ (sqrt (cos x)) (sqrt 1.0)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (+ (sqrt (cos x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) 1 (/ (- 1.0 (cos x)) (sin x)) (/ 1 (sin x)) (/ (sin x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (- 1.0 (cos x)) (/ (sin x) (cbrt (- 1.0 (cos x)))) (/ (sin x) (sqrt (- 1.0 (cos x)))) (/ (sin x) (- 1.0 (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (sin x) (- 1.0 (cos x))) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (* (sin x) (+ 1.0 (cos x))) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) (+ (* x (+ 1/2 (* 1/8 x))) 1) (exp (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) 5.083 * * * [progress]: adding candidates to table 5.344 * * [progress]: iteration 3 / 4 5.344 * * * [progress]: picking best candidate 5.368 * * * * [pick]: Picked # 5.369 * * * [progress]: localizing error 5.376 * * * [progress]: generating rewritten candidates 5.377 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 5.397 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 5.401 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 5.405 * * * [progress]: generating series expansions 5.405 * * * * [progress]: [ 1 / 3 ] generating series at (2) 5.405 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin x))) (/ (cos x) (sin x))) in (x) around 0 5.405 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin x))) (/ (cos x) (sin x))) in x 5.405 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin x))) in x 5.405 * [taylor]: Taking taylor expansion of 1.0 in x 5.405 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x 5.405 * [taylor]: Taking taylor expansion of (sin x) in x 5.405 * [taylor]: Taking taylor expansion of x in x 5.406 * [taylor]: Taking taylor expansion of (/ (cos x) (sin x)) in x 5.406 * [taylor]: Taking taylor expansion of (cos x) in x 5.406 * [taylor]: Taking taylor expansion of x in x 5.406 * [taylor]: Taking taylor expansion of (sin x) in x 5.406 * [taylor]: Taking taylor expansion of x in x 5.407 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin x))) (/ (cos x) (sin x))) in x 5.407 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin x))) in x 5.407 * [taylor]: Taking taylor expansion of 1.0 in x 5.407 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x 5.407 * [taylor]: Taking taylor expansion of (sin x) in x 5.407 * [taylor]: Taking taylor expansion of x in x 5.408 * [taylor]: Taking taylor expansion of (/ (cos x) (sin x)) in x 5.408 * [taylor]: Taking taylor expansion of (cos x) in x 5.408 * [taylor]: Taking taylor expansion of x in x 5.408 * [taylor]: Taking taylor expansion of (sin x) in x 5.408 * [taylor]: Taking taylor expansion of x in x 5.457 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 x)))) (/ (cos (/ 1 x)) (sin (/ 1 x)))) in (x) around 0 5.457 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 x)))) (/ (cos (/ 1 x)) (sin (/ 1 x)))) in x 5.457 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 x)))) in x 5.457 * [taylor]: Taking taylor expansion of 1.0 in x 5.457 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x 5.457 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.457 * [taylor]: Taking taylor expansion of x in x 5.458 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 x)) (sin (/ 1 x))) in x 5.458 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.458 * [taylor]: Taking taylor expansion of x in x 5.458 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.458 * [taylor]: Taking taylor expansion of x in x 5.458 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 x)))) (/ (cos (/ 1 x)) (sin (/ 1 x)))) in x 5.458 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 x)))) in x 5.458 * [taylor]: Taking taylor expansion of 1.0 in x 5.459 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x 5.459 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.459 * [taylor]: Taking taylor expansion of x in x 5.459 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 x)) (sin (/ 1 x))) in x 5.459 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.459 * [taylor]: Taking taylor expansion of x in x 5.459 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.459 * [taylor]: Taking taylor expansion of x in x 5.471 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ -1 x)))) (/ (cos (/ -1 x)) (sin (/ -1 x)))) in (x) around 0 5.471 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ -1 x)))) (/ (cos (/ -1 x)) (sin (/ -1 x)))) in x 5.471 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 x)))) in x 5.471 * [taylor]: Taking taylor expansion of 1.0 in x 5.471 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x 5.471 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.471 * [taylor]: Taking taylor expansion of -1 in x 5.471 * [taylor]: Taking taylor expansion of x in x 5.471 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 x)) (sin (/ -1 x))) in x 5.471 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.472 * [taylor]: Taking taylor expansion of -1 in x 5.472 * [taylor]: Taking taylor expansion of x in x 5.472 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.472 * [taylor]: Taking taylor expansion of -1 in x 5.472 * [taylor]: Taking taylor expansion of x in x 5.472 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ -1 x)))) (/ (cos (/ -1 x)) (sin (/ -1 x)))) in x 5.472 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 x)))) in x 5.472 * [taylor]: Taking taylor expansion of 1.0 in x 5.472 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x 5.472 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.472 * [taylor]: Taking taylor expansion of -1 in x 5.472 * [taylor]: Taking taylor expansion of x in x 5.473 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 x)) (sin (/ -1 x))) in x 5.473 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.473 * [taylor]: Taking taylor expansion of -1 in x 5.473 * [taylor]: Taking taylor expansion of x in x 5.473 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.473 * [taylor]: Taking taylor expansion of -1 in x 5.473 * [taylor]: Taking taylor expansion of x in x 5.485 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 5.485 * [approximate]: Taking taylor expansion of (/ (cos x) (sin x)) in (x) around 0 5.485 * [taylor]: Taking taylor expansion of (/ (cos x) (sin x)) in x 5.485 * [taylor]: Taking taylor expansion of (cos x) in x 5.485 * [taylor]: Taking taylor expansion of x in x 5.485 * [taylor]: Taking taylor expansion of (sin x) in x 5.485 * [taylor]: Taking taylor expansion of x in x 5.486 * [taylor]: Taking taylor expansion of (/ (cos x) (sin x)) in x 5.486 * [taylor]: Taking taylor expansion of (cos x) in x 5.486 * [taylor]: Taking taylor expansion of x in x 5.486 * [taylor]: Taking taylor expansion of (sin x) in x 5.486 * [taylor]: Taking taylor expansion of x in x 5.496 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 x)) (sin (/ 1 x))) in (x) around 0 5.496 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 x)) (sin (/ 1 x))) in x 5.496 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.496 * [taylor]: Taking taylor expansion of x in x 5.496 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.496 * [taylor]: Taking taylor expansion of x in x 5.496 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 x)) (sin (/ 1 x))) in x 5.496 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.496 * [taylor]: Taking taylor expansion of x in x 5.497 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.497 * [taylor]: Taking taylor expansion of x in x 5.499 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 x)) (sin (/ -1 x))) in (x) around 0 5.499 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 x)) (sin (/ -1 x))) in x 5.499 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.499 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.499 * [taylor]: Taking taylor expansion of -1 in x 5.499 * [taylor]: Taking taylor expansion of x in x 5.499 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.500 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.500 * [taylor]: Taking taylor expansion of -1 in x 5.500 * [taylor]: Taking taylor expansion of x in x 5.500 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 x)) (sin (/ -1 x))) in x 5.500 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.500 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.500 * [taylor]: Taking taylor expansion of -1 in x 5.500 * [taylor]: Taking taylor expansion of x in x 5.500 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.500 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.500 * [taylor]: Taking taylor expansion of -1 in x 5.500 * [taylor]: Taking taylor expansion of x in x 5.503 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 5.503 * [approximate]: Taking taylor expansion of (/ 1.0 (sin x)) in (x) around 0 5.503 * [taylor]: Taking taylor expansion of (/ 1.0 (sin x)) in x 5.503 * [taylor]: Taking taylor expansion of 1.0 in x 5.503 * [taylor]: Taking taylor expansion of (sin x) in x 5.503 * [taylor]: Taking taylor expansion of x in x 5.503 * [taylor]: Taking taylor expansion of (/ 1.0 (sin x)) in x 5.503 * [taylor]: Taking taylor expansion of 1.0 in x 5.503 * [taylor]: Taking taylor expansion of (sin x) in x 5.503 * [taylor]: Taking taylor expansion of x in x 5.515 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 x))) in (x) around 0 5.515 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 x))) in x 5.515 * [taylor]: Taking taylor expansion of 1.0 in x 5.515 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.515 * [taylor]: Taking taylor expansion of x in x 5.515 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 x))) in x 5.515 * [taylor]: Taking taylor expansion of 1.0 in x 5.515 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 5.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.515 * [taylor]: Taking taylor expansion of x in x 5.517 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 x))) in (x) around 0 5.517 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 x))) in x 5.517 * [taylor]: Taking taylor expansion of 1.0 in x 5.517 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.517 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.517 * [taylor]: Taking taylor expansion of -1 in x 5.517 * [taylor]: Taking taylor expansion of x in x 5.518 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 x))) in x 5.518 * [taylor]: Taking taylor expansion of 1.0 in x 5.518 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 5.518 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.518 * [taylor]: Taking taylor expansion of -1 in x 5.518 * [taylor]: Taking taylor expansion of x in x 5.520 * * * [progress]: simplifying candidates 5.521 * [simplify]: Simplifying using # : (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x)))) (log (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (exp (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (* (cbrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (cbrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))) (cbrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (* (* (- (/ 1.0 (sin x)) (/ (cos x) (sin x))) (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (sqrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (sqrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (- 1.0 (cos x)) (- (* 1.0 (sin x)) (* (sin x) (cos x))) (* (sin x) (sin x)) (- (pow (/ 1.0 (sin x)) 3) (pow (/ (cos x) (sin x)) 3)) (+ (* (/ 1.0 (sin x)) (/ 1.0 (sin x))) (+ (* (/ (cos x) (sin x)) (/ (cos x) (sin x))) (* (/ 1.0 (sin x)) (/ (cos x) (sin x))))) (- (/ (cos x) (sin x))) (- (* (/ 1.0 (sin x)) (/ 1.0 (sin x))) (* (/ (cos x) (sin x)) (/ (cos x) (sin x)))) (+ (/ 1.0 (sin x)) (/ (cos x) (sin x))) (+ (sqrt (/ 1.0 (sin x))) (sqrt (/ (cos x) (sin x)))) (- (sqrt (/ 1.0 (sin x))) (sqrt (/ (cos x) (sin x)))) (+ (sqrt (/ 1.0 (sin x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (- (sqrt (/ 1.0 (sin x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (+ (/ (sqrt 1.0) (sqrt (sin x))) (sqrt (/ (cos x) (sin x)))) (- (/ (sqrt 1.0) (sqrt (sin x))) (sqrt (/ (cos x) (sin x)))) (+ (/ (sqrt 1.0) (sqrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (- (/ (sqrt 1.0) (sqrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (- (/ 1.0 (cbrt (sin x))) (/ (cos x) (cbrt (sin x)))) (- (/ 1.0 (sqrt (sin x))) (/ (cos x) (sqrt (sin x)))) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))) (- 1.0 (cos x)) (- (/ (cos x) (sin x))) (- (log (cos x)) (log (sin x))) (log (/ (cos x) (sin x))) (exp (/ (cos x) (sin x))) (/ (* (* (cos x) (cos x)) (cos x)) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x)))) (cbrt (/ (cos x) (sin x))) (* (* (/ (cos x) (sin x)) (/ (cos x) (sin x))) (/ (cos x) (sin x))) (sqrt (/ (cos x) (sin x))) (sqrt (/ (cos x) (sin x))) (- (cos x)) (- (sin x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (cos x)) (cbrt (sin x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x))) (/ (cbrt (cos x)) (sqrt (sin x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) 1) (/ (cbrt (cos x)) (sin x)) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (cos x)) (cbrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x))) (/ (sqrt (cos x)) 1) (/ (sqrt (cos x)) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cos x) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (cos x) (sqrt (sin x))) (/ 1 1) (/ (cos x) (sin x)) (/ 1 (sin x)) (/ (sin x) (cos x)) (/ (cos x) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cos x) (sqrt (sin x))) (/ (cos x) 1) (/ (sin x) (cbrt (cos x))) (/ (sin x) (sqrt (cos x))) (/ (sin x) (cos x)) (- (log 1.0) (log (sin x))) (log (/ 1.0 (sin x))) (exp (/ 1.0 (sin x))) (/ (* (* 1.0 1.0) 1.0) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (/ 1.0 (sin x))) (cbrt (/ 1.0 (sin x)))) (cbrt (/ 1.0 (sin x))) (* (* (/ 1.0 (sin x)) (/ 1.0 (sin x))) (/ 1.0 (sin x))) (sqrt (/ 1.0 (sin x))) (sqrt (/ 1.0 (sin x))) (- 1.0) (- (sin x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt 1.0) (cbrt (sin x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin x))) (/ (cbrt 1.0) (sqrt (sin x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (sin x)) (/ (sqrt 1.0) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt 1.0) (cbrt (sin x))) (/ (sqrt 1.0) (sqrt (sin x))) (/ (sqrt 1.0) (sqrt (sin x))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1.0 (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ 1.0 (sqrt (sin x))) (/ 1 1) (/ 1.0 (sin x)) (/ 1 (sin x)) (/ (sin x) 1.0) (/ 1.0 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1.0 (sqrt (sin x))) (/ 1.0 1) (/ (sin x) (cbrt 1.0)) (/ (sin x) (sqrt 1.0)) (/ (sin x) 1.0) (+ (* 0.04166666666666667 (pow x 3)) (+ (* 0.004166666666666667 (pow x 5)) (* 0.5 x))) (- (* 1.0 (/ 1 (sin x))) (/ (cos x) (sin x))) (- (* 1.0 (/ 1 (sin x))) (/ (cos x) (sin x))) (- (/ 1 x) (+ (* 1/45 (pow x 3)) (* 1/3 x))) (/ (cos x) (sin x)) (/ (cos x) (sin x)) (+ (* 0.019444444444444445 (pow x 3)) (+ (* 1.0 (/ 1 x)) (* 0.16666666666666666 x))) (/ 1.0 (sin x)) (/ 1.0 (sin x)) 5.525 * * [simplify]: iteration 0 : 146 enodes (cost 963 ) 5.552 * * [simplify]: iteration 1 : 289 enodes (cost 920 ) 5.608 * * [simplify]: iteration 2 : 610 enodes (cost 873 ) 5.756 * * [simplify]: iteration 3 : 1421 enodes (cost 873 ) 6.155 * * [simplify]: iteration 4 : 3480 enodes (cost 870 ) 6.916 * * [simplify]: iteration done : 5000 enodes (cost 870 ) 6.917 * [simplify]: Simplified to: (exp (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (log (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (exp (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (* (cbrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (cbrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))) (cbrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (pow (- (/ 1.0 (sin x)) (/ (cos x) (sin x))) 3) (sqrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (sqrt (- (/ 1.0 (sin x)) (/ (cos x) (sin x)))) (- 1.0 (cos x)) (* (sin x) (- 1.0 (cos x))) (* (sin x) (sin x)) (- (pow (/ 1.0 (sin x)) 3) (pow (/ (cos x) (sin x)) 3)) (+ (/ (* (/ (cos x) (sin x)) (+ (cos x) 1.0)) (sin x)) (* 1.0 (/ 1.0 (* (sin x) (sin x))))) (- (/ (cos x) (sin x))) (- (* (/ 1.0 (sin x)) (/ 1.0 (sin x))) (* (/ (cos x) (sin x)) (/ (cos x) (sin x)))) (+ (/ 1.0 (sin x)) (/ (cos x) (sin x))) (+ (sqrt (/ 1.0 (sin x))) (sqrt (/ (cos x) (sin x)))) (- (sqrt (/ 1.0 (sin x))) (sqrt (/ (cos x) (sin x)))) (+ (sqrt (/ 1.0 (sin x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (- (sqrt (/ 1.0 (sin x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (+ (/ (sqrt 1.0) (sqrt (sin x))) (sqrt (/ (cos x) (sin x)))) (- (/ (sqrt 1.0) (sqrt (sin x))) (sqrt (/ (cos x) (sin x)))) (+ (/ (sqrt 1.0) (sqrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (- (/ (sqrt 1.0) (sqrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x)))) (- (/ 1.0 (cbrt (sin x))) (/ (cos x) (cbrt (sin x)))) (- (/ 1.0 (sqrt (sin x))) (/ (cos x) (sqrt (sin x)))) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))) (- 1.0 (cos x)) (- (/ (cos x) (sin x))) (log (/ (cos x) (sin x))) (log (/ (cos x) (sin x))) (exp (/ (cos x) (sin x))) (pow (/ (cos x) (sin x)) 3) (* (cbrt (/ (cos x) (sin x))) (cbrt (/ (cos x) (sin x)))) (cbrt (/ (cos x) (sin x))) (pow (/ (cos x) (sin x)) 3) (sqrt (/ (cos x) (sin x))) (sqrt (/ (cos x) (sin x))) (- (cos x)) (- (sin x)) (/ (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (cos x)) (cbrt (sin x))) (/ (* (cbrt (cos x)) (cbrt (cos x))) (sqrt (sin x))) (/ (cbrt (cos x)) (sqrt (sin x))) (* (cbrt (cos x)) (cbrt (cos x))) (/ (cbrt (cos x)) (sin x)) (/ (sqrt (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (cos x)) (cbrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x))) (/ (sqrt (cos x)) (sqrt (sin x))) (sqrt (cos x)) (/ (sqrt (cos x)) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cos x) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (cos x) (sqrt (sin x))) 1 (/ (cos x) (sin x)) (/ 1 (sin x)) (/ (sin x) (cos x)) (/ (cos x) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cos x) (sqrt (sin x))) (cos x) (/ (sin x) (cbrt (cos x))) (/ (sin x) (sqrt (cos x))) (/ (sin x) (cos x)) (log (/ 1.0 (sin x))) (log (/ 1.0 (sin x))) (exp (/ 1.0 (sin x))) (pow (/ 1.0 (sin x)) 3) (* (cbrt (/ 1.0 (sin x))) (cbrt (/ 1.0 (sin x)))) (cbrt (/ 1.0 (sin x))) (pow (/ 1.0 (sin x)) 3) (sqrt (/ 1.0 (sin x))) (sqrt (/ 1.0 (sin x))) (- 1.0) (- (sin x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt 1.0) (cbrt (sin x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin x))) (/ (cbrt 1.0) (sqrt (sin x))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (sin x)) (/ (sqrt 1.0) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt 1.0) (cbrt (sin x))) (/ (sqrt 1.0) (sqrt (sin x))) (/ (sqrt 1.0) (sqrt (sin x))) (sqrt 1.0) (/ (sqrt 1.0) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1.0 (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ 1.0 (sqrt (sin x))) 1 (/ 1.0 (sin x)) (/ 1 (sin x)) (/ (sin x) 1.0) (/ 1.0 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1.0 (sqrt (sin x))) 1.0 (/ (sin x) (cbrt 1.0)) (/ (sin x) (sqrt 1.0)) (/ (sin x) 1.0) (+ (* 0.04166666666666667 (pow x 3)) (+ (* 0.004166666666666667 (pow x 5)) (* 0.5 x))) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))) (- (/ 1 x) (+ (* 1/45 (pow x 3)) (* 1/3 x))) (/ (cos x) (sin x)) (/ (cos x) (sin x)) (+ (* 0.16666666666666666 x) (+ (* 0.019444444444444445 (pow x 3)) (/ 1.0 x))) (/ 1.0 (sin x)) (/ 1.0 (sin x)) 6.918 * * * [progress]: adding candidates to table 7.122 * * [progress]: iteration 4 / 4 7.122 * * * [progress]: picking best candidate 7.145 * * * * [pick]: Picked # 7.145 * * * [progress]: localizing error 7.160 * * * [progress]: generating rewritten candidates 7.160 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 7.174 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 7.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 7.181 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 7.233 * * * [progress]: generating series expansions 7.233 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 7.234 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0 7.234 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 7.234 * [taylor]: Taking taylor expansion of 1.0 in x 7.234 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 7.234 * [taylor]: Taking taylor expansion of (cos x) in x 7.234 * [taylor]: Taking taylor expansion of x in x 7.234 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 7.234 * [taylor]: Taking taylor expansion of 1.0 in x 7.234 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 7.234 * [taylor]: Taking taylor expansion of (cos x) in x 7.234 * [taylor]: Taking taylor expansion of x in x 7.258 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0 7.258 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 7.258 * [taylor]: Taking taylor expansion of 1.0 in x 7.258 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 7.258 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.258 * [taylor]: Taking taylor expansion of x in x 7.258 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 7.258 * [taylor]: Taking taylor expansion of 1.0 in x 7.258 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 7.258 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.258 * [taylor]: Taking taylor expansion of x in x 7.270 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0 7.270 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 7.270 * [taylor]: Taking taylor expansion of 1.0 in x 7.270 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 7.270 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.270 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.270 * [taylor]: Taking taylor expansion of -1 in x 7.270 * [taylor]: Taking taylor expansion of x in x 7.271 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 7.271 * [taylor]: Taking taylor expansion of 1.0 in x 7.271 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 7.271 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.271 * [taylor]: Taking taylor expansion of -1 in x 7.271 * [taylor]: Taking taylor expansion of x in x 7.282 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 7.282 * [approximate]: Taking taylor expansion of (+ (cos x) 1.0) in (x) around 0 7.282 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x 7.283 * [taylor]: Taking taylor expansion of (cos x) in x 7.283 * [taylor]: Taking taylor expansion of x in x 7.283 * [taylor]: Taking taylor expansion of 1.0 in x 7.283 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x 7.283 * [taylor]: Taking taylor expansion of (cos x) in x 7.283 * [taylor]: Taking taylor expansion of x in x 7.283 * [taylor]: Taking taylor expansion of 1.0 in x 7.287 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0 7.287 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 7.287 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.287 * [taylor]: Taking taylor expansion of x in x 7.287 * [taylor]: Taking taylor expansion of 1.0 in x 7.287 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 7.287 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.288 * [taylor]: Taking taylor expansion of x in x 7.288 * [taylor]: Taking taylor expansion of 1.0 in x 7.289 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0 7.290 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 7.290 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.290 * [taylor]: Taking taylor expansion of -1 in x 7.290 * [taylor]: Taking taylor expansion of x in x 7.290 * [taylor]: Taking taylor expansion of 1.0 in x 7.290 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 7.290 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.290 * [taylor]: Taking taylor expansion of -1 in x 7.290 * [taylor]: Taking taylor expansion of x in x 7.290 * [taylor]: Taking taylor expansion of 1.0 in x 7.292 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 7.292 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0 7.292 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 7.292 * [taylor]: Taking taylor expansion of (cos x) in x 7.292 * [taylor]: Taking taylor expansion of x in x 7.292 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 7.292 * [taylor]: Taking taylor expansion of (cos x) in x 7.292 * [taylor]: Taking taylor expansion of x in x 7.300 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0 7.300 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 7.300 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.300 * [taylor]: Taking taylor expansion of x in x 7.301 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 7.301 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.301 * [taylor]: Taking taylor expansion of x in x 7.310 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0 7.310 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 7.310 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.310 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.310 * [taylor]: Taking taylor expansion of -1 in x 7.310 * [taylor]: Taking taylor expansion of x in x 7.310 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 7.310 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.310 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.310 * [taylor]: Taking taylor expansion of -1 in x 7.310 * [taylor]: Taking taylor expansion of x in x 7.319 * * * * [progress]: [ 4 / 4 ] generating series at (2) 7.320 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))))) in (x) around 0 7.320 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))))) in x 7.320 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 7.320 * [taylor]: Taking taylor expansion of 1.0 in x 7.320 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 7.320 * [taylor]: Taking taylor expansion of (cos x) in x 7.320 * [taylor]: Taking taylor expansion of x in x 7.320 * [taylor]: Taking taylor expansion of (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) in x 7.320 * [taylor]: Taking taylor expansion of (sin x) in x 7.320 * [taylor]: Taking taylor expansion of x in x 7.320 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))) in x 7.320 * [taylor]: Taking taylor expansion of 1.0 in x 7.320 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 7.320 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 7.320 * [taylor]: Taking taylor expansion of (cos x) in x 7.320 * [taylor]: Taking taylor expansion of x in x 7.320 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 7.320 * [taylor]: Taking taylor expansion of 1.0 in x 7.320 * [taylor]: Taking taylor expansion of (cos x) in x 7.320 * [taylor]: Taking taylor expansion of x in x 7.333 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))))) in x 7.333 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 7.333 * [taylor]: Taking taylor expansion of 1.0 in x 7.334 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 7.334 * [taylor]: Taking taylor expansion of (cos x) in x 7.334 * [taylor]: Taking taylor expansion of x in x 7.334 * [taylor]: Taking taylor expansion of (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) in x 7.334 * [taylor]: Taking taylor expansion of (sin x) in x 7.334 * [taylor]: Taking taylor expansion of x in x 7.334 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))) in x 7.334 * [taylor]: Taking taylor expansion of 1.0 in x 7.334 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 7.334 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 7.334 * [taylor]: Taking taylor expansion of (cos x) in x 7.334 * [taylor]: Taking taylor expansion of x in x 7.334 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 7.334 * [taylor]: Taking taylor expansion of 1.0 in x 7.334 * [taylor]: Taking taylor expansion of (cos x) in x 7.334 * [taylor]: Taking taylor expansion of x in x 7.399 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (* (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) (sin (/ 1 x)))) in (x) around 0 7.399 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (* (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) (sin (/ 1 x)))) in x 7.399 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 7.399 * [taylor]: Taking taylor expansion of 1.0 in x 7.399 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 7.399 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.399 * [taylor]: Taking taylor expansion of x in x 7.399 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) (sin (/ 1 x))) in x 7.399 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) in x 7.399 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 7.399 * [taylor]: Taking taylor expansion of 1.0 in x 7.399 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.399 * [taylor]: Taking taylor expansion of x in x 7.399 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ 1 x)) 2) 1.0) in x 7.399 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 7.399 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.399 * [taylor]: Taking taylor expansion of x in x 7.400 * [taylor]: Taking taylor expansion of 1.0 in x 7.400 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 7.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.400 * [taylor]: Taking taylor expansion of x in x 7.401 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (* (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) (sin (/ 1 x)))) in x 7.401 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 7.401 * [taylor]: Taking taylor expansion of 1.0 in x 7.401 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 7.401 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.401 * [taylor]: Taking taylor expansion of x in x 7.402 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) (sin (/ 1 x))) in x 7.402 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) in x 7.402 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 7.402 * [taylor]: Taking taylor expansion of 1.0 in x 7.402 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.402 * [taylor]: Taking taylor expansion of x in x 7.402 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ 1 x)) 2) 1.0) in x 7.402 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 7.402 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 7.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.402 * [taylor]: Taking taylor expansion of x in x 7.402 * [taylor]: Taking taylor expansion of 1.0 in x 7.403 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 7.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.403 * [taylor]: Taking taylor expansion of x in x 7.447 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (* (sin (/ -1 x)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)))) in (x) around 0 7.447 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (* (sin (/ -1 x)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)))) in x 7.447 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 7.447 * [taylor]: Taking taylor expansion of 1.0 in x 7.447 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 7.447 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.447 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.447 * [taylor]: Taking taylor expansion of -1 in x 7.447 * [taylor]: Taking taylor expansion of x in x 7.447 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0))) in x 7.447 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 7.447 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.447 * [taylor]: Taking taylor expansion of -1 in x 7.447 * [taylor]: Taking taylor expansion of x in x 7.448 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)) in x 7.448 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 7.448 * [taylor]: Taking taylor expansion of 1.0 in x 7.448 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.448 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.448 * [taylor]: Taking taylor expansion of -1 in x 7.448 * [taylor]: Taking taylor expansion of x in x 7.448 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ -1 x)) 2) 1.0) in x 7.448 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 7.448 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.448 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.448 * [taylor]: Taking taylor expansion of -1 in x 7.448 * [taylor]: Taking taylor expansion of x in x 7.449 * [taylor]: Taking taylor expansion of 1.0 in x 7.450 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (* (sin (/ -1 x)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)))) in x 7.450 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 7.450 * [taylor]: Taking taylor expansion of 1.0 in x 7.450 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 7.450 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.450 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.450 * [taylor]: Taking taylor expansion of -1 in x 7.450 * [taylor]: Taking taylor expansion of x in x 7.450 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0))) in x 7.450 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 7.450 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.450 * [taylor]: Taking taylor expansion of -1 in x 7.450 * [taylor]: Taking taylor expansion of x in x 7.451 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)) in x 7.451 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 7.451 * [taylor]: Taking taylor expansion of 1.0 in x 7.451 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.451 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.451 * [taylor]: Taking taylor expansion of -1 in x 7.451 * [taylor]: Taking taylor expansion of x in x 7.451 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ -1 x)) 2) 1.0) in x 7.451 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 7.451 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 7.451 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.451 * [taylor]: Taking taylor expansion of -1 in x 7.451 * [taylor]: Taking taylor expansion of x in x 7.451 * [taylor]: Taking taylor expansion of 1.0 in x 7.489 * * * [progress]: simplifying candidates 7.491 * [simplify]: Simplifying using # : (/ (exp (pow 1.0 3)) (exp (pow (cos x) 3))) (log (- (pow 1.0 3) (pow (cos x) 3))) (exp (- (pow 1.0 3) (pow (cos x) 3))) (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (- 1.0 (cos x)) (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow 1.0 3) (pow (cos x) 3)))) (- (pow (cos x) 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow (cos x) 3) (pow (cos x) 3))) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow (cos x) 3)) (* (exp 1.0) (exp (cos x))) (log (+ 1.0 (cos x))) (exp (+ 1.0 (cos x))) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))) (cbrt (+ 1.0 (cos x))) (* (* (+ 1.0 (cos x)) (+ 1.0 (cos x))) (+ 1.0 (cos x))) (sqrt (+ 1.0 (cos x))) (sqrt (+ 1.0 (cos x))) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (* 1.0 1.0) (- (* (cos x) (cos x)) (* 1.0 (cos x)))) (- (* 1.0 1.0) (* (cos x) (cos x))) (- 1.0 (cos x)) (+ 1.0 (cos x)) (* (log (cos x)) 3) (* (log (cos x)) 3) (* 1 3) (pow (cos x) (* (cbrt 3) (cbrt 3))) (pow (cos x) (sqrt 3)) (pow (cos x) 1) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (pow (cbrt (cos x)) 3) (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3) (pow 1 3) (pow (cos x) 3) (* (cos x) (cos x)) (log (pow (cos x) 3)) (exp (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (cbrt (pow (cos x) 3)) (* (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (pow (cbrt (cos x)) 3) (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3) (pow 1 3) (pow (cos x) 3) (* (cos x) (cos x)) (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)) (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)) (- (log (- (pow 1.0 3) (pow (cos x) 3))) (+ (log (sin x)) (log (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (- (log (- (pow 1.0 3) (pow (cos x) 3))) (log (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (exp (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3))) (* (* (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (* (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (* (* (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (- (- (pow 1.0 3) (pow (cos x) 3))) (- (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1.0 3) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow (cos x) 3) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (sin x)) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sin x)) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sin x)) (/ (- 1.0 (cos x)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sin x)) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sin x)) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sin x)) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (sin x)) (/ (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (sin x)) (/ (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1 3) (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1 3) (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1 3) (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1 3) (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (sqrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- 1.0 (cos x))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (pow (* (cos x) (+ 1.0 (cos x))) 3) (pow (* 1.0 1.0) 3)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (- (* (* (cos x) (+ 1.0 (cos x))) (* (cos x) (+ 1.0 (cos x)))) (* (* 1.0 1.0) (* 1.0 1.0))))) (* (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow 1.0 3) (pow (cos x) 3))))) (* (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (+ (pow 1.0 3) (pow (cos x) 3))) (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4))) (- 1.0 (pow (cos x) 3)) (- 1.0 (pow (cos x) 3)) (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2))) (+ 1.0 (cos x)) (+ 1.0 (cos x)) (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2))) (pow (cos x) 3) (pow (cos x) 3) (+ (* 0.04166666666666663 (pow x 3)) (+ (* 0.004166666666666624 (pow x 5)) (* 0.5 x))) (/ (- 1.0 (pow (cos x) 3)) (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))))) (/ (- 1.0 (pow (cos x) 3)) (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))))) 7.503 * * [simplify]: iteration 0 : 219 enodes (cost 3074 ) 7.548 * * [simplify]: iteration 1 : 572 enodes (cost 2887 ) 7.717 * * [simplify]: iteration 2 : 2197 enodes (cost 2723 ) 8.226 * * [simplify]: iteration done : 5000 enodes (cost 2723 ) 8.228 * [simplify]: Simplified to: (exp (- (pow 1.0 3) (pow (cos x) 3))) (log (- (pow 1.0 3) (pow (cos x) 3))) (exp (- (pow 1.0 3) (pow (cos x) 3))) (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (pow (- (pow 1.0 3) (pow (cos x) 3)) 3) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- 1.0 (cos x)) (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3)) (+ (* (pow (cos x) 3) (+ (pow 1.0 3) (pow (cos x) 3))) (pow 1.0 6)) (- (pow (cos x) 3)) (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3))) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow (cos x) 3)) (exp (+ 1.0 (cos x))) (log (+ 1.0 (cos x))) (exp (+ 1.0 (cos x))) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))) (cbrt (+ 1.0 (cos x))) (pow (+ 1.0 (cos x)) 3) (sqrt (+ 1.0 (cos x))) (sqrt (+ 1.0 (cos x))) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (- (cos x) 1.0)) (* 1.0 1.0)) (- (* 1.0 1.0) (pow (cos x) 2)) (- 1.0 (cos x)) (+ 1.0 (cos x)) (log (pow (cos x) 3)) (log (pow (cos x) 3)) 3 (pow (cos x) (* (cbrt 3) (cbrt 3))) (pow (cos x) (sqrt 3)) (cos x) (pow (cos x) 2) (cos x) (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3) 1 (pow (cos x) 3) (pow (cos x) 2) (log (pow (cos x) 3)) (exp (pow (cos x) 3)) (pow (cos x) 2) (cos x) (pow (pow (cos x) 3) 3) (pow (cos x) 2) (cos x) (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3) 1 (pow (cos x) 3) (pow (cos x) 2) (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)) (pow (cos x) 3/2) (pow (cos x) 3/2) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (exp (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 3) (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 3) (* (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 3) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (- (- (pow 1.0 3) (pow (cos x) 3))) (- (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1.0 3) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow (cos x) 3) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (sin x)) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sin x)) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (sin x)) (/ (- 1.0 (cos x)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sin x)) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sin x)) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (sin x)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sin x)) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3))) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (sin x)) (/ (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (sin x)) (/ (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (sin x)) (/ (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (sin x)) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (sin x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (sqrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- 1.0 (cos x))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))) (/ (sin x) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))) (/ (sin x) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))) (/ (sin x) (/ (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (- (pow 1.0 3) (pow (cos x) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (+ (pow (* (cos x) (+ 1.0 (cos x))) 3) (pow 1.0 6)) (sin x))) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (- (* (pow (cos x) 2) (* (+ 1.0 (cos x)) (+ 1.0 (cos x)))) (pow 1.0 4))) (* (+ (* (pow (cos x) 3) (+ (pow 1.0 3) (pow (cos x) 3))) (pow 1.0 6)) (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (* (* (sin x) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (+ (pow 1.0 3) (pow (cos x) 3))) (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4))) (- 1.0 (pow (cos x) 3)) (- 1.0 (pow (cos x) 3)) (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2))) (+ 1.0 (cos x)) (+ 1.0 (cos x)) (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2))) (pow (cos x) 3) (pow (cos x) 3) (+ (* 0.04166666666666663 (pow x 3)) (+ (* 0.004166666666666624 (pow x 5)) (* 0.5 x))) (/ (/ (- 1.0 (pow (cos x) 3)) (sin x)) (+ 1.0 (* (cos x) (+ 1.0 (cos x))))) (/ (/ (- 1.0 (pow (cos x) 3)) (sin x)) (+ 1.0 (* (cos x) (+ 1.0 (cos x))))) 8.229 * * * [progress]: adding candidates to table 8.574 * [progress]: [Phase 3 of 3] Extracting. 8.574 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 8.576 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- 1.0 (cos x)) (sin x)) x) 8.577 * * * * [regimes]: Trying to branch on (/ (- 1.0 (cos x)) (sin x)) from (# # # # # # # # # # #) 8.633 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 8.682 * * * [regime]: Found split indices: #