19.824 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.050 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.052 * [simplify]: Simplifying using # : (/ (- 1.0 (cos x)) (* x x)) 0.053 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.054 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.055 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 0.057 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 0.060 * * [simplify]: iteration 4 : 29 enodes (cost 8 ) 0.063 * * [simplify]: iteration done : 29 enodes (cost 8 ) 0.063 * [simplify]: Simplified to: (/ (- 1.0 (cos x)) (* x x)) 0.063 * * [progress]: iteration 1 / 4 0.063 * * * [progress]: picking best candidate 0.064 * * * * [pick]: Picked # 0.064 * * * [progress]: localizing error 0.070 * * * [progress]: generating rewritten candidates 0.070 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.079 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.082 * * * [progress]: generating series expansions 0.082 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.083 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0 0.083 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 0.083 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.083 * [taylor]: Taking taylor expansion of 1.0 in x 0.083 * [taylor]: Taking taylor expansion of (cos x) in x 0.083 * [taylor]: Taking taylor expansion of x in x 0.083 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.083 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 0.090 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.091 * [taylor]: Taking taylor expansion of 1.0 in x 0.091 * [taylor]: Taking taylor expansion of (cos x) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.106 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0 0.106 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 0.106 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.106 * [taylor]: Taking taylor expansion of 1.0 in x 0.106 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 0.106 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.107 * [taylor]: Taking taylor expansion of 1.0 in x 0.107 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.119 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0 0.119 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 0.119 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.119 * [taylor]: Taking taylor expansion of 1.0 in x 0.119 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.119 * [taylor]: Taking taylor expansion of -1 in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 0.120 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.120 * [taylor]: Taking taylor expansion of 1.0 in x 0.120 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.120 * [taylor]: Taking taylor expansion of -1 in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.130 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.130 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.130 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.130 * [taylor]: Taking taylor expansion of 1.0 in x 0.130 * [taylor]: Taking taylor expansion of (cos x) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.130 * [taylor]: Taking taylor expansion of 1.0 in x 0.130 * [taylor]: Taking taylor expansion of (cos x) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.140 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.140 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.140 * [taylor]: Taking taylor expansion of 1.0 in x 0.140 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.140 * [taylor]: Taking taylor expansion of 1.0 in x 0.140 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.144 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 0.144 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.144 * [taylor]: Taking taylor expansion of 1.0 in x 0.144 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.144 * [taylor]: Taking taylor expansion of -1 in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.144 * [taylor]: Taking taylor expansion of 1.0 in x 0.144 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.144 * [taylor]: Taking taylor expansion of -1 in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.147 * * * [progress]: simplifying candidates 0.148 * [simplify]: Simplifying using # : (- (log (- 1.0 (cos x))) (+ (log x) (log x))) (- (log (- 1.0 (cos x))) (log (* x x))) (log (/ (- 1.0 (cos x)) (* x x))) (exp (/ (- 1.0 (cos x)) (* x x))) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (* x x) x) (* (* x x) x))) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (* x x) (* x x)) (* x x))) (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x)))) (cbrt (/ (- 1.0 (cos x)) (* x x))) (* (* (/ (- 1.0 (cos x)) (* x x)) (/ (- 1.0 (cos x)) (* x x))) (/ (- 1.0 (cos x)) (* x x))) (sqrt (/ (- 1.0 (cos x)) (* x x))) (sqrt (/ (- 1.0 (cos x)) (* x x))) (- (- 1.0 (cos x))) (- (* x x)) (/ 1.0 (* x x)) (/ (cos x) (* x x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x) (/ (cbrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (/ 1 x) (/ (- 1.0 (cos x)) x) (/ (+ (sqrt 1.0) (sqrt (cos x))) x) (/ (- (sqrt 1.0) (sqrt (cos x))) x) (/ 1 x) (/ (- 1.0 (cos x)) x) (/ 1 (* x x)) (/ (* x x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) x) (/ (* x x) (cbrt (- 1.0 (cos x)))) (/ (* x x) (sqrt (- 1.0 (cos x)))) (/ (* x x) (- 1.0 (cos x))) (/ (* x x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (* x x) (- 1.0 (cos x))) (* (* x x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (* (* x x) (+ 1.0 (cos x))) (/ (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)) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) (pow x 2)) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) 0.150 * * [simplify]: iteration 0 : 88 enodes (cost 507 ) 0.167 * * [simplify]: iteration 1 : 220 enodes (cost 497 ) 0.209 * * [simplify]: iteration 2 : 693 enodes (cost 441 ) 0.406 * * [simplify]: iteration 3 : 2556 enodes (cost 441 ) 1.069 * * [simplify]: iteration done : 5001 enodes (cost 440 ) 1.069 * [simplify]: Simplified to: (log (/ (- 1.0 (cos x)) (* x x))) (log (/ (- 1.0 (cos x)) (* x x))) (log (/ (- 1.0 (cos x)) (* x x))) (exp (/ (- 1.0 (cos x)) (* x x))) (/ (pow (- 1.0 (cos x)) 3) (pow x 6)) (/ (pow (- 1.0 (cos x)) 3) (pow x 6)) (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x)))) (cbrt (/ (- 1.0 (cos x)) (* x x))) (/ (pow (- 1.0 (cos x)) 3) (pow x 6)) (sqrt (/ (- 1.0 (cos x)) (* x x))) (sqrt (/ (- 1.0 (cos x)) (* x x))) (- (cos x) 1.0) (- (pow x 2)) (/ 1.0 (pow x 2)) (/ (cos x) (pow x 2)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x) (/ (cbrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (/ 1 x) (/ (- 1.0 (cos x)) x) (/ (+ (sqrt 1.0) (sqrt (cos x))) x) (/ (- (sqrt 1.0) (sqrt (cos x))) x) (/ 1 x) (/ (- 1.0 (cos x)) x) (/ 1 (* x x)) (/ (* x x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) x) (/ (* x x) (cbrt (- 1.0 (cos x)))) (/ (* x x) (sqrt (- 1.0 (cos x)))) (/ (* x x) (- 1.0 (cos x))) (/ (* x x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (* x x) (- 1.0 (cos x))) (* (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (* x x)) (* (* x x) (+ 1.0 (cos x))) (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 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) (pow x 2)) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) 1.069 * * * [progress]: adding candidates to table 1.161 * * [progress]: iteration 2 / 4 1.161 * * * [progress]: picking best candidate 1.176 * * * * [pick]: Picked # 1.176 * * * [progress]: localizing error 1.183 * * * [progress]: generating rewritten candidates 1.183 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.186 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.188 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.230 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.249 * * * [progress]: generating series expansions 1.249 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.249 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 1.249 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.249 * [taylor]: Taking taylor expansion of 1.0 in x 1.249 * [taylor]: Taking taylor expansion of (cos x) in x 1.249 * [taylor]: Taking taylor expansion of x in x 1.249 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.249 * [taylor]: Taking taylor expansion of 1.0 in x 1.249 * [taylor]: Taking taylor expansion of (cos x) in x 1.249 * [taylor]: Taking taylor expansion of x in x 1.259 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 1.259 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.259 * [taylor]: Taking taylor expansion of 1.0 in x 1.259 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.259 * [taylor]: Taking taylor expansion of x in x 1.260 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.260 * [taylor]: Taking taylor expansion of 1.0 in x 1.260 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.260 * [taylor]: Taking taylor expansion of x in x 1.263 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 1.263 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.263 * [taylor]: Taking taylor expansion of 1.0 in x 1.263 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.263 * [taylor]: Taking taylor expansion of -1 in x 1.263 * [taylor]: Taking taylor expansion of x in x 1.263 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.263 * [taylor]: Taking taylor expansion of 1.0 in x 1.263 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.263 * [taylor]: Taking taylor expansion of -1 in x 1.263 * [taylor]: Taking taylor expansion of x in x 1.267 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.267 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 1.267 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.267 * [taylor]: Taking taylor expansion of 1.0 in x 1.267 * [taylor]: Taking taylor expansion of (cos x) in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.267 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.267 * [taylor]: Taking taylor expansion of 1.0 in x 1.267 * [taylor]: Taking taylor expansion of (cos x) in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.277 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 1.277 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.277 * [taylor]: Taking taylor expansion of 1.0 in x 1.277 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.277 * [taylor]: Taking taylor expansion of x in x 1.277 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.277 * [taylor]: Taking taylor expansion of 1.0 in x 1.277 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.277 * [taylor]: Taking taylor expansion of x in x 1.281 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 1.281 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.281 * [taylor]: Taking taylor expansion of 1.0 in x 1.281 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.281 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.281 * [taylor]: Taking taylor expansion of -1 in x 1.281 * [taylor]: Taking taylor expansion of x in x 1.281 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.281 * [taylor]: Taking taylor expansion of 1.0 in x 1.281 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.281 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.281 * [taylor]: Taking taylor expansion of -1 in x 1.281 * [taylor]: Taking taylor expansion of x in x 1.284 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.285 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0 1.285 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 1.285 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.285 * [taylor]: Taking taylor expansion of 1.0 in x 1.285 * [taylor]: Taking taylor expansion of (cos x) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.287 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 1.287 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.287 * [taylor]: Taking taylor expansion of 1.0 in x 1.287 * [taylor]: Taking taylor expansion of (cos x) in x 1.288 * [taylor]: Taking taylor expansion of x in x 1.288 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.288 * [taylor]: Taking taylor expansion of x in x 1.306 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0 1.306 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 1.306 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.306 * [taylor]: Taking taylor expansion of x in x 1.306 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.306 * [taylor]: Taking taylor expansion of 1.0 in x 1.306 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.306 * [taylor]: Taking taylor expansion of x in x 1.306 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 1.307 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.307 * [taylor]: Taking taylor expansion of 1.0 in x 1.307 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.319 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0 1.319 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 1.319 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.319 * [taylor]: Taking taylor expansion of 1.0 in x 1.319 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.319 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.319 * [taylor]: Taking taylor expansion of -1 in x 1.319 * [taylor]: Taking taylor expansion of x in x 1.319 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.319 * [taylor]: Taking taylor expansion of x in x 1.319 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 1.319 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.319 * [taylor]: Taking taylor expansion of 1.0 in x 1.319 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.319 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.320 * [taylor]: Taking taylor expansion of -1 in x 1.320 * [taylor]: Taking taylor expansion of x in x 1.320 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.320 * [taylor]: Taking taylor expansion of x in x 1.330 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.330 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in (x) around 0 1.330 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x 1.330 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x 1.330 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.330 * [taylor]: Taking taylor expansion of 1.0 in x 1.330 * [taylor]: Taking taylor expansion of (cos x) in x 1.330 * [taylor]: Taking taylor expansion of x in x 1.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.334 * [taylor]: Taking taylor expansion of x in x 1.334 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x 1.334 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x 1.334 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.334 * [taylor]: Taking taylor expansion of 1.0 in x 1.334 * [taylor]: Taking taylor expansion of (cos x) in x 1.334 * [taylor]: Taking taylor expansion of x in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.386 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in (x) around 0 1.386 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x 1.386 * [taylor]: Taking taylor expansion of x in x 1.386 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x 1.386 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.386 * [taylor]: Taking taylor expansion of 1.0 in x 1.386 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.386 * [taylor]: Taking taylor expansion of x in x 1.387 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x 1.387 * [taylor]: Taking taylor expansion of x in x 1.387 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x 1.387 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.387 * [taylor]: Taking taylor expansion of 1.0 in x 1.387 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.387 * [taylor]: Taking taylor expansion of x in x 1.401 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in (x) around 0 1.401 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x 1.401 * [taylor]: Taking taylor expansion of -1 in x 1.401 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x 1.401 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x 1.402 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.402 * [taylor]: Taking taylor expansion of 1.0 in x 1.402 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.402 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.402 * [taylor]: Taking taylor expansion of -1 in x 1.402 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x 1.403 * [taylor]: Taking taylor expansion of -1 in x 1.403 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x 1.403 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x 1.403 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.403 * [taylor]: Taking taylor expansion of 1.0 in x 1.403 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.403 * [taylor]: Taking taylor expansion of -1 in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.421 * * * [progress]: simplifying candidates 1.425 * [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)) (/ (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)) (+ 1 1) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (+ 1 1) (+ (- (log (sqrt (- 1.0 (cos x)))) (log x)) (- (log (sqrt (- 1.0 (cos x)))) (log x))) (+ (- (log (sqrt (- 1.0 (cos x)))) (log x)) (log (/ (sqrt (- 1.0 (cos x))) x))) (+ (log (/ (sqrt (- 1.0 (cos x))) x)) (- (log (sqrt (- 1.0 (cos x)))) (log x))) (+ (log (/ (sqrt (- 1.0 (cos x))) x)) (log (/ (sqrt (- 1.0 (cos x))) x))) (log (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (exp (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x)) (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x))) (* (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x)) (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x))) (* (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)) (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x))) (* (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x))) (* (cbrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (cbrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))) (cbrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (* (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (sqrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (sqrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (* x x) (* (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1)) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (cbrt (sqrt (- 1.0 (cos x)))) x)) (* (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x))) (* (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x)) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x))) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1)) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (cbrt (- 1.0 (cos x)))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) x)) (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x))) (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x))) (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x))) (* (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x))) (* (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1)) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)) (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x))) (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x))) (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt 1) 1) (/ (sqrt 1) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) x)) (* (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x))) (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ 1 1) (/ 1 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* 1 1) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (* (/ 1 x) (/ 1 x)) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* 2 1) (* (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (sqrt (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ 1 (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ 1 (sqrt x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ 1 1)) (* (/ (sqrt (- 1.0 (cos x))) x) 1) (* (/ (sqrt (- 1.0 (cos x))) x) (sqrt (- 1.0 (cos x)))) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ 1 x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) x) (sqrt (- 1.0 (cos x)))) (* (sqrt (- 1.0 (cos x))) (/ (sqrt (- 1.0 (cos x))) x)) (- (log (sqrt (- 1.0 (cos x)))) (log x)) (log (/ (sqrt (- 1.0 (cos x))) x)) (exp (/ (sqrt (- 1.0 (cos x))) x)) (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x)) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))) (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (- (sqrt (- 1.0 (cos x)))) (- x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1) (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1) (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt 1) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt 1) 1) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt 1) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt 1) 1) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ 1 1) (/ (sqrt (- 1.0 (cos x))) x) (/ 1 x) (/ x (sqrt (- 1.0 (cos x)))) (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) 1) (/ x (cbrt (sqrt (- 1.0 (cos x))))) (/ x (sqrt (cbrt (- 1.0 (cos x))))) (/ x (sqrt (sqrt (- 1.0 (cos x))))) (/ x (sqrt (- 1.0 (cos x)))) (/ x (sqrt (- (sqrt 1.0) (sqrt (cos x))))) (/ x (sqrt (- 1.0 (cos x)))) (/ x (sqrt (sqrt (- 1.0 (cos x))))) (/ x (sqrt (- 1.0 (cos x)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))) (* x (sqrt (+ 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/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) (pow x 2)) (- (+ (* 1/1440 (/ (pow x 4) (sqrt 1/2))) (sqrt 1/2)) (+ (* 1/48 (/ (pow x 2) (sqrt 1/2))) (* 1/4608 (/ (pow x 4) (pow (sqrt 1/2) 3))))) (* (sqrt (- 1.0 (cos x))) (/ 1 x)) (* (sqrt (- 1.0 (cos x))) (/ 1 x)) 1.434 * * [simplify]: iteration 0 : 231 enodes (cost 4237 ) 1.480 * * [simplify]: iteration 1 : 671 enodes (cost 3632 ) 1.662 * * [simplify]: iteration 2 : 2891 enodes (cost 3070 ) 2.610 * * [simplify]: iteration done : 5000 enodes (cost 3070 ) 2.612 * [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 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (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 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) 2 (/ (- 1.0 (cos x)) (pow x 2)) 2 (log (/ (/ (- 1.0 (cos x)) x) x)) (log (/ (/ (- 1.0 (cos x)) x) x)) (log (/ (/ (- 1.0 (cos x)) x) x)) (log (/ (/ (- 1.0 (cos x)) x) x)) (log (/ (/ (- 1.0 (cos x)) x) x)) (exp (/ (/ (- 1.0 (cos x)) x) x)) (pow (/ (- 1.0 (cos x)) (pow x 2)) 3) (pow (/ (- 1.0 (cos x)) (pow x 2)) 3) (pow (/ (- 1.0 (cos x)) (pow x 2)) 3) (pow (/ (- 1.0 (cos x)) (pow x 2)) 3) (* (cbrt (/ (/ (- 1.0 (cos x)) x) x)) (cbrt (/ (/ (- 1.0 (cos x)) x) x))) (cbrt (/ (/ (- 1.0 (cos x)) x) x)) (pow (/ (- 1.0 (cos x)) (pow x 2)) 3) (fabs (/ (sqrt (- 1.0 (cos x))) x)) (fabs (/ (sqrt (- 1.0 (cos x))) x)) (- 1.0 (cos x)) (pow x 2) (* (pow (cbrt (/ (sqrt (- 1.0 (cos x))) x)) 3) (cbrt (/ (sqrt (- 1.0 (cos x))) x))) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x)))))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (cbrt (sqrt (- 1.0 (cos x)))) x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x))) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (sqrt x)) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (cbrt (- 1.0 (cos x)))) x)) (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (sqrt (- 1.0 (cos x))) (/ (/ (sqrt (- 1.0 (cos x))) x) x) (sqrt (- 1.0 (cos x))) (/ (/ (sqrt (- 1.0 (cos x))) x) x) (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x)) (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x)) (/ (/ 1 (sqrt x)) (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x)) (/ (/ 1 (sqrt x)) (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x)) 1 (/ (- 1.0 (cos x)) (pow x 2)) 1 (/ (- 1.0 (cos x)) (pow x 2)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x))) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (sqrt x)) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x))) (+ (sqrt 1.0) (sqrt (cos x))) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)) (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x)) (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x)) (/ (/ 1 (sqrt x)) (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x)) (/ (/ 1 (sqrt x)) (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x)) 1 (/ (- 1.0 (cos x)) (pow x 2)) 1 (/ (- 1.0 (cos x)) (pow x 2)) (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (sqrt (- 1.0 (cos x))) (/ (/ (sqrt (- 1.0 (cos x))) x) x) (sqrt (- 1.0 (cos x))) (/ (/ (sqrt (- 1.0 (cos x))) x) x) (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x)) (/ (/ 1 (sqrt x)) (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x)) 1 (/ (- 1.0 (cos x)) (pow x 2)) 1 (/ (- 1.0 (cos x)) (pow x 2)) (- 1.0 (cos x)) (/ (/ 1 x) x) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) 2 (* (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))) (pow (sqrt (/ (sqrt (- 1.0 (cos x))) x)) 3) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))) (* (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (/ (sqrt (- 1.0 (cos x))) x)) (/ (* (sqrt (- 1.0 (cos x))) (/ (fabs (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) x) (* (/ (fabs (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (fabs (cbrt (- 1.0 (cos x)))) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (sqrt (- 1.0 (cos x)))) (/ (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))) (/ (* (sqrt (- 1.0 (cos x))) (sqrt (+ (sqrt 1.0) (sqrt (cos x))))) x) (/ (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (sqrt (- 1.0 (cos x)))) (/ (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (/ (- 1.0 (cos x)) x) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)) (pow (sqrt (/ (sqrt (- 1.0 (cos x))) x)) 3) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ (/ (- 1.0 (cos x)) x) (sqrt x)) (/ (- 1.0 (cos x)) (pow x 2)) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ (/ (- 1.0 (cos x)) x) (sqrt x)) (/ (- 1.0 (cos x)) (pow x 2)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ (/ (- 1.0 (cos x)) x) (sqrt x)) (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) (pow x 2)) (/ (/ (sqrt (- 1.0 (cos x))) x) x) (/ (- 1.0 (cos x)) x) (/ (- 1.0 (cos x)) x) (log (/ (sqrt (- 1.0 (cos x))) x)) (log (/ (sqrt (- 1.0 (cos x))) x)) (exp (/ (sqrt (- 1.0 (cos x))) x)) (pow (/ (sqrt (- 1.0 (cos x))) x) 3) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))) (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (pow (/ (sqrt (- 1.0 (cos x))) x) 3) (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (- (sqrt (- 1.0 (cos x)))) (- x) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (cbrt (sqrt (- 1.0 (cos x))))) (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (fabs (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (fabs (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (fabs (cbrt (- 1.0 (cos x)))) (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (sqrt (- 1.0 (cos x)))) (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) 1 (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) 1 (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (sqrt (- 1.0 (cos x)))) (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) 1 (/ (sqrt (- 1.0 (cos x))) x) (/ 1 x) (/ x (sqrt (- 1.0 (cos x)))) (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt (- 1.0 (cos x))) (/ x (cbrt (sqrt (- 1.0 (cos x))))) (/ x (sqrt (cbrt (- 1.0 (cos x))))) (/ x (sqrt (sqrt (- 1.0 (cos x))))) (/ x (sqrt (- 1.0 (cos x)))) (/ x (sqrt (- (sqrt 1.0) (sqrt (cos x))))) (/ x (sqrt (- 1.0 (cos x)))) (/ x (sqrt (sqrt (- 1.0 (cos x))))) (/ x (sqrt (- 1.0 (cos x)))) (* (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) x) (* x (sqrt (+ 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/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) (pow x 2)) (- (+ (* 1/1440 (/ (pow x 4) (sqrt 1/2))) (sqrt 1/2)) (+ (* 1/48 (/ (pow x 2) (sqrt 1/2))) (* 1/2304 (/ (pow x 4) (sqrt 1/2))))) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) 2.613 * * * [progress]: adding candidates to table 2.969 * * [progress]: iteration 3 / 4 2.969 * * * [progress]: picking best candidate 2.985 * * * * [pick]: Picked # 2.985 * * * [progress]: localizing error 2.991 * * * [progress]: generating rewritten candidates 2.991 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 2.993 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 3.001 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.018 * * * [progress]: generating series expansions 3.018 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 3.018 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 3.019 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.019 * [taylor]: Taking taylor expansion of 1.0 in x 3.019 * [taylor]: Taking taylor expansion of (cos x) in x 3.019 * [taylor]: Taking taylor expansion of x in x 3.019 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.019 * [taylor]: Taking taylor expansion of 1.0 in x 3.019 * [taylor]: Taking taylor expansion of (cos x) in x 3.019 * [taylor]: Taking taylor expansion of x in x 3.033 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 3.033 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.033 * [taylor]: Taking taylor expansion of 1.0 in x 3.033 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.033 * [taylor]: Taking taylor expansion of x in x 3.034 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.034 * [taylor]: Taking taylor expansion of 1.0 in x 3.034 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.034 * [taylor]: Taking taylor expansion of x in x 3.037 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 3.037 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.037 * [taylor]: Taking taylor expansion of 1.0 in x 3.037 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.037 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.037 * [taylor]: Taking taylor expansion of -1 in x 3.037 * [taylor]: Taking taylor expansion of x in x 3.037 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.037 * [taylor]: Taking taylor expansion of 1.0 in x 3.038 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.038 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.038 * [taylor]: Taking taylor expansion of -1 in x 3.038 * [taylor]: Taking taylor expansion of x in x 3.041 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 3.041 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in (x) around 0 3.041 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in x 3.041 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.041 * [taylor]: Taking taylor expansion of 1.0 in x 3.041 * [taylor]: Taking taylor expansion of (cos x) in x 3.041 * [taylor]: Taking taylor expansion of x in x 3.041 * [taylor]: Taking taylor expansion of x in x 3.043 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in x 3.043 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.043 * [taylor]: Taking taylor expansion of 1.0 in x 3.043 * [taylor]: Taking taylor expansion of (cos x) in x 3.043 * [taylor]: Taking taylor expansion of x in x 3.043 * [taylor]: Taking taylor expansion of x in x 3.056 * [approximate]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in (x) around 0 3.056 * [taylor]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in x 3.056 * [taylor]: Taking taylor expansion of x in x 3.056 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.056 * [taylor]: Taking taylor expansion of 1.0 in x 3.056 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.056 * [taylor]: Taking taylor expansion of x in x 3.057 * [taylor]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in x 3.057 * [taylor]: Taking taylor expansion of x in x 3.057 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.057 * [taylor]: Taking taylor expansion of 1.0 in x 3.057 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.057 * [taylor]: Taking taylor expansion of x in x 3.067 * [approximate]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in (x) around 0 3.067 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in x 3.068 * [taylor]: Taking taylor expansion of -1 in x 3.068 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) x) in x 3.068 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.068 * [taylor]: Taking taylor expansion of 1.0 in x 3.068 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.068 * [taylor]: Taking taylor expansion of -1 in x 3.068 * [taylor]: Taking taylor expansion of x in x 3.068 * [taylor]: Taking taylor expansion of x in x 3.068 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in x 3.068 * [taylor]: Taking taylor expansion of -1 in x 3.068 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) x) in x 3.068 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.068 * [taylor]: Taking taylor expansion of 1.0 in x 3.068 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.068 * [taylor]: Taking taylor expansion of -1 in x 3.068 * [taylor]: Taking taylor expansion of x in x 3.068 * [taylor]: Taking taylor expansion of x in x 3.083 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.083 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0 3.083 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 3.083 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.083 * [taylor]: Taking taylor expansion of 1.0 in x 3.083 * [taylor]: Taking taylor expansion of (cos x) in x 3.083 * [taylor]: Taking taylor expansion of x in x 3.083 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.083 * [taylor]: Taking taylor expansion of x in x 3.086 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 3.086 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.086 * [taylor]: Taking taylor expansion of 1.0 in x 3.086 * [taylor]: Taking taylor expansion of (cos x) in x 3.086 * [taylor]: Taking taylor expansion of x in x 3.086 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.086 * [taylor]: Taking taylor expansion of x in x 3.101 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0 3.101 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 3.101 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.101 * [taylor]: Taking taylor expansion of x in x 3.101 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.101 * [taylor]: Taking taylor expansion of 1.0 in x 3.101 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.101 * [taylor]: Taking taylor expansion of x in x 3.101 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 3.101 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.101 * [taylor]: Taking taylor expansion of x in x 3.101 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.101 * [taylor]: Taking taylor expansion of 1.0 in x 3.101 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.101 * [taylor]: Taking taylor expansion of x in x 3.118 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0 3.118 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 3.118 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.118 * [taylor]: Taking taylor expansion of 1.0 in x 3.118 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.118 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.118 * [taylor]: Taking taylor expansion of -1 in x 3.118 * [taylor]: Taking taylor expansion of x in x 3.118 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.119 * [taylor]: Taking taylor expansion of x in x 3.119 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 3.119 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.119 * [taylor]: Taking taylor expansion of 1.0 in x 3.119 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.119 * [taylor]: Taking taylor expansion of -1 in x 3.119 * [taylor]: Taking taylor expansion of x in x 3.119 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.119 * [taylor]: Taking taylor expansion of x in x 3.129 * * * [progress]: simplifying candidates 3.131 * [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 x)) (log (/ (- 1.0 (cos x)) x)) (exp (/ (- 1.0 (cos x)) x)) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* x x) x)) (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (cbrt (/ (- 1.0 (cos x)) x)) (* (* (/ (- 1.0 (cos x)) x) (/ (- 1.0 (cos x)) x)) (/ (- 1.0 (cos x)) x)) (sqrt (/ (- 1.0 (cos x)) x)) (sqrt (/ (- 1.0 (cos x)) x)) (- (- 1.0 (cos x))) (- x) (/ 1.0 x) (/ (cos x) x) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (cbrt (- 1.0 (cos x))) (sqrt x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (/ (cbrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) 1) (/ (sqrt (- 1.0 (cos x))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- 1.0 (cos x)) (cbrt x)) (/ 1 (sqrt x)) (/ (- 1.0 (cos x)) (sqrt x)) (/ 1 1) (/ (- 1.0 (cos x)) x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (/ (- (sqrt 1.0) (sqrt (cos x))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- 1.0 (cos x)) (cbrt x)) (/ 1 (sqrt x)) (/ (- 1.0 (cos x)) (sqrt x)) (/ 1 1) (/ (- 1.0 (cos x)) x) (/ 1 x) (/ x (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x))) (/ (- 1.0 (cos x)) (sqrt x)) (/ (- 1.0 (cos x)) 1) (/ x (cbrt (- 1.0 (cos x)))) (/ x (sqrt (- 1.0 (cos x)))) (/ x (- 1.0 (cos x))) (/ x (- (sqrt 1.0) (sqrt (cos x)))) (/ x (- 1.0 (cos x))) (* x (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (* x (+ 1.0 (cos x))) (- (- (log (- 1.0 (cos x))) (log x)) (log x)) (- (log (/ (- 1.0 (cos x)) x)) (log x)) (log (/ (/ (- 1.0 (cos x)) x) x)) (exp (/ (/ (- 1.0 (cos x)) x) x)) (/ (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* x x) x)) (* (* x x) x)) (/ (* (* (/ (- 1.0 (cos x)) x) (/ (- 1.0 (cos x)) x)) (/ (- 1.0 (cos x)) x)) (* (* x x) x)) (* (cbrt (/ (/ (- 1.0 (cos x)) x) x)) (cbrt (/ (/ (- 1.0 (cos x)) x) x))) (cbrt (/ (/ (- 1.0 (cos x)) x) x)) (* (* (/ (/ (- 1.0 (cos x)) x) x) (/ (/ (- 1.0 (cos x)) x) x)) (/ (/ (- 1.0 (cos x)) x) x)) (sqrt (/ (/ (- 1.0 (cos x)) x) x)) (sqrt (/ (/ (- 1.0 (cos x)) x) x)) (- (/ (- 1.0 (cos x)) x)) (- x) (/ (/ 1.0 x) x) (/ (/ (cos x) x) x) (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (* (cbrt x) (cbrt x))) (/ (cbrt (/ (- 1.0 (cos x)) x)) (cbrt x)) (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (sqrt x)) (/ (cbrt (/ (- 1.0 (cos x)) x)) (sqrt x)) (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) 1) (/ (cbrt (/ (- 1.0 (cos x)) x)) x) (/ (sqrt (/ (- 1.0 (cos x)) x)) (* (cbrt x) (cbrt x))) (/ (sqrt (/ (- 1.0 (cos x)) x)) (cbrt x)) (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x)) (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x)) (/ (sqrt (/ (- 1.0 (cos x)) x)) 1) (/ (sqrt (/ (- 1.0 (cos x)) x)) x) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (cbrt x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (sqrt x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) 1) (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) x) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) (cbrt x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (sqrt x)) (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) 1) (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) x) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (- 1.0 (cos x))) x) (cbrt x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (sqrt x)) (/ (/ (cbrt (- 1.0 (cos x))) x) (sqrt x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) 1) (/ (/ (cbrt (- 1.0 (cos x))) x) x) (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) 1) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) x) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (cbrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) 1) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) x) (/ (/ (sqrt (- 1.0 (cos x))) 1) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) x) (cbrt x)) (/ (/ (sqrt (- 1.0 (cos x))) 1) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) 1) 1) (/ (/ (sqrt (- 1.0 (cos x))) x) x) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x)) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (- 1.0 (cos x)) (cbrt x)) (sqrt x)) (/ (/ 1 (* (cbrt x) (cbrt x))) 1) (/ (/ (- 1.0 (cos x)) (cbrt x)) x) (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (sqrt x)) (cbrt x)) (/ (/ 1 (sqrt x)) (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x)) (/ (/ 1 (sqrt x)) 1) (/ (/ (- 1.0 (cos x)) (sqrt x)) x) (/ (/ 1 1) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ (/ 1 1) (sqrt x)) (/ (/ (- 1.0 (cos x)) x) (sqrt x)) (/ (/ 1 1) 1) (/ (/ (- 1.0 (cos x)) x) x) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (cbrt x)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (sqrt x)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) 1) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) x) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (cbrt x)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (sqrt x)) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (sqrt x)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) 1) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) x) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (* (cbrt x) (cbrt x))) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (cbrt x)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (sqrt x)) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (sqrt x)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) 1) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) x) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x)) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (- 1.0 (cos x)) (cbrt x)) (sqrt x)) (/ (/ 1 (* (cbrt x) (cbrt x))) 1) (/ (/ (- 1.0 (cos x)) (cbrt x)) x) (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (sqrt x)) (cbrt x)) (/ (/ 1 (sqrt x)) (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x)) (/ (/ 1 (sqrt x)) 1) (/ (/ (- 1.0 (cos x)) (sqrt x)) x) (/ (/ 1 1) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ (/ 1 1) (sqrt x)) (/ (/ (- 1.0 (cos x)) x) (sqrt x)) (/ (/ 1 1) 1) (/ (/ (- 1.0 (cos x)) x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (/ (- 1.0 (cos x)) x) (sqrt x)) (/ 1 1) (/ (/ (- 1.0 (cos x)) x) x) (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x))) (/ (/ 1 x) (cbrt x)) (/ (- 1.0 (cos x)) (sqrt x)) (/ (/ 1 x) (sqrt x)) (/ (- 1.0 (cos x)) 1) (/ (/ 1 x) x) (/ 1 x) (/ x (/ (- 1.0 (cos x)) x)) (/ (/ (- 1.0 (cos x)) x) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (sqrt x)) (/ (/ (- 1.0 (cos x)) x) 1) (/ x (cbrt (/ (- 1.0 (cos x)) x))) (/ x (sqrt (/ (- 1.0 (cos x)) x))) (/ x (/ (cbrt (- 1.0 (cos x))) (cbrt x))) (/ x (/ (cbrt (- 1.0 (cos x))) (sqrt x))) (/ x (/ (cbrt (- 1.0 (cos x))) x)) (/ x (/ (sqrt (- 1.0 (cos x))) (cbrt x))) (/ x (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (/ x (/ (sqrt (- 1.0 (cos x))) x)) (/ x (/ (- 1.0 (cos x)) (cbrt x))) (/ x (/ (- 1.0 (cos x)) (sqrt x))) (/ x (/ (- 1.0 (cos x)) x)) (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x))) (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x))) (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) x)) (/ x (/ (- 1.0 (cos x)) (cbrt x))) (/ x (/ (- 1.0 (cos x)) (sqrt x))) (/ x (/ (- 1.0 (cos x)) x)) (/ x (/ (- 1.0 (cos x)) x)) (/ x (/ 1 x)) (* x 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/2 x) (* 1/720 (pow x 5))) (* 1/24 (pow x 3))) (/ (- 1.0 (cos x)) x) (* -1 (/ (- (cos x) 1.0) x)) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) (pow x 2)) 3.137 * * [simplify]: iteration 0 : 229 enodes (cost 2262 ) 3.177 * * [simplify]: iteration 1 : 537 enodes (cost 2160 ) 3.284 * * [simplify]: iteration 2 : 1870 enodes (cost 2046 ) 3.830 * * [simplify]: iteration done : 5000 enodes (cost 2046 ) 3.831 * [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)) x)) (log (/ (- 1.0 (cos x)) x)) (exp (/ (- 1.0 (cos x)) x)) (pow (/ (- 1.0 (cos x)) x) 3) (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (cbrt (/ (- 1.0 (cos x)) x)) (pow (/ (- 1.0 (cos x)) x) 3) (sqrt (/ (- 1.0 (cos x)) x)) (sqrt (/ (- 1.0 (cos x)) x)) (- (- 1.0 (cos x))) (- x) (/ 1.0 x) (/ (cos x) x) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (cbrt (- 1.0 (cos x))) (sqrt x)) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) x) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt (- 1.0 (cos x))) (/ (sqrt (- 1.0 (cos x))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- 1.0 (cos x)) (cbrt x)) (/ 1 (sqrt x)) (/ (- 1.0 (cos x)) (sqrt x)) 1 (/ (- 1.0 (cos x)) x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (/ (+ (sqrt (cos x)) (sqrt 1.0)) (sqrt x)) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (+ (sqrt (cos x)) (sqrt 1.0)) (/ (- (sqrt 1.0) (sqrt (cos x))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- 1.0 (cos x)) (cbrt x)) (/ 1 (sqrt x)) (/ (- 1.0 (cos x)) (sqrt x)) 1 (/ (- 1.0 (cos x)) x) (/ 1 x) (/ x (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x))) (/ (- 1.0 (cos x)) (sqrt x)) (- 1.0 (cos x)) (/ x (cbrt (- 1.0 (cos x)))) (/ x (sqrt (- 1.0 (cos x)))) (/ x (- 1.0 (cos x))) (/ x (- (sqrt 1.0) (sqrt (cos x)))) (/ x (- 1.0 (cos x))) (* (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) x) (* x (+ 1.0 (cos x))) (log (/ (- 1.0 (cos x)) (pow x 2))) (log (/ (- 1.0 (cos x)) (pow x 2))) (log (/ (- 1.0 (cos x)) (pow x 2))) (exp (/ (/ (- 1.0 (cos x)) x) x)) (pow (/ (- 1.0 (cos x)) (pow x 2)) 3) (pow (/ (- 1.0 (cos x)) (pow x 2)) 3) (* (cbrt (/ (/ (- 1.0 (cos x)) x) x)) (cbrt (/ (/ (- 1.0 (cos x)) x) x))) (cbrt (/ (/ (- 1.0 (cos x)) x) x)) (pow (/ (- 1.0 (cos x)) (pow x 2)) 3) (sqrt (/ (/ (- 1.0 (cos x)) x) x)) (sqrt (/ (/ (- 1.0 (cos x)) x) x)) (- (/ (- 1.0 (cos x)) x)) (- x) (/ (/ 1.0 x) x) (/ (/ (cos x) x) x) (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (* (cbrt x) (cbrt x))) (/ (cbrt (/ (- 1.0 (cos x)) x)) (cbrt x)) (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (sqrt x)) (/ (cbrt (/ (- 1.0 (cos x)) x)) (sqrt x)) (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (/ (cbrt (/ (- 1.0 (cos x)) x)) x) (/ (sqrt (/ (- 1.0 (cos x)) x)) (* (cbrt x) (cbrt x))) (/ (sqrt (/ (- 1.0 (cos x)) x)) (cbrt x)) (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x)) (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x)) (sqrt (/ (- 1.0 (cos x)) x)) (/ (sqrt (/ (- 1.0 (cos x)) x)) x) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (cbrt x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) (cbrt x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (- 1.0 (cos x))) x) (cbrt x)) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) (cbrt x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x) (/ (cbrt (- 1.0 (cos x))) x) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) x) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (- 1.0 (cos x))) x) (cbrt x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) x) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (/ (cbrt (- 1.0 (cos x))) x) x) (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (cbrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) x) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) x) (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x)) (sqrt (- 1.0 (cos x))) (/ (/ (sqrt (- 1.0 (cos x))) x) x) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x))) (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (sqrt x)) (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (sqrt x)) (cbrt x)) (/ 1 x) (/ (- 1.0 (cos x)) x) (/ 1 (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) x) 1 (/ (- 1.0 (cos x)) (pow x 2)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (cbrt x)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (cbrt x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (cbrt x)) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (cbrt x)) (/ (+ (sqrt (cos x)) (sqrt 1.0)) x) (/ (- (sqrt 1.0) (sqrt (cos x))) x) (/ (+ (sqrt (cos x)) (sqrt 1.0)) (sqrt x)) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (cbrt x)) (/ (+ (sqrt (cos x)) (sqrt 1.0)) (sqrt x)) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) x) (+ (sqrt (cos x)) (sqrt 1.0)) (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) x) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x))) (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (sqrt x)) (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (sqrt x)) (cbrt x)) (/ 1 x) (/ (- 1.0 (cos x)) x) (/ 1 (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) x) 1 (/ (- 1.0 (cos x)) (pow x 2)) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (/ (- 1.0 (cos x)) (sqrt x)) x) 1 (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x))) (/ (/ 1 x) (cbrt x)) (/ (- 1.0 (cos x)) (sqrt x)) (/ (/ 1 x) (sqrt x)) (- 1.0 (cos x)) (/ (/ 1 x) x) (/ 1 x) (/ x (/ (- 1.0 (cos x)) x)) (/ (/ (- 1.0 (cos x)) x) (* (cbrt x) (cbrt x))) (/ (/ (- 1.0 (cos x)) (sqrt x)) x) (/ (- 1.0 (cos x)) x) (/ x (cbrt (/ (- 1.0 (cos x)) x))) (/ x (sqrt (/ (- 1.0 (cos x)) x))) (/ x (/ (cbrt (- 1.0 (cos x))) (cbrt x))) (/ x (/ (cbrt (- 1.0 (cos x))) (sqrt x))) (/ x (/ (cbrt (- 1.0 (cos x))) x)) (/ x (/ (sqrt (- 1.0 (cos x))) (cbrt x))) (/ x (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (/ x (/ (sqrt (- 1.0 (cos x))) x)) (/ x (/ (- 1.0 (cos x)) (cbrt x))) (/ x (/ (- 1.0 (cos x)) (sqrt x))) (/ x (/ (- 1.0 (cos x)) x)) (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x))) (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x))) (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) x)) (/ x (/ (- 1.0 (cos x)) (cbrt x))) (/ x (/ (- 1.0 (cos x)) (sqrt x))) (/ x (/ (- 1.0 (cos x)) x)) (/ x (/ (- 1.0 (cos x)) x)) (pow x 2) (pow x 2) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (- (+ (* 1/2 x) (* 1/720 (pow x 5))) (* 1/24 (pow x 3))) (/ (- 1.0 (cos x)) x) (- (/ (- (cos x) 1.0) x)) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) (pow x 2)) 3.832 * * * [progress]: adding candidates to table 4.074 * * [progress]: iteration 4 / 4 4.074 * * * [progress]: picking best candidate 4.087 * * * * [pick]: Picked # 4.087 * * * [progress]: localizing error 4.101 * * * [progress]: generating rewritten candidates 4.101 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 4.119 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2) 4.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 4.123 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 4.181 * * * [progress]: generating series expansions 4.181 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 4.182 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0 4.182 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 4.182 * [taylor]: Taking taylor expansion of 1.0 in x 4.182 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.182 * [taylor]: Taking taylor expansion of (cos x) in x 4.182 * [taylor]: Taking taylor expansion of x in x 4.182 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 4.182 * [taylor]: Taking taylor expansion of 1.0 in x 4.182 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.182 * [taylor]: Taking taylor expansion of (cos x) in x 4.182 * [taylor]: Taking taylor expansion of x in x 4.202 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0 4.202 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 4.202 * [taylor]: Taking taylor expansion of 1.0 in x 4.202 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 4.202 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.202 * [taylor]: Taking taylor expansion of x in x 4.203 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 4.203 * [taylor]: Taking taylor expansion of 1.0 in x 4.203 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 4.203 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.203 * [taylor]: Taking taylor expansion of x in x 4.215 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0 4.215 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 4.215 * [taylor]: Taking taylor expansion of 1.0 in x 4.215 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.215 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.215 * [taylor]: Taking taylor expansion of -1 in x 4.215 * [taylor]: Taking taylor expansion of x in x 4.215 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 4.216 * [taylor]: Taking taylor expansion of 1.0 in x 4.216 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.216 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.216 * [taylor]: Taking taylor expansion of -1 in x 4.216 * [taylor]: Taking taylor expansion of x in x 4.228 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2) 4.228 * [approximate]: Taking taylor expansion of (+ (cos x) 1.0) in (x) around 0 4.228 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x 4.228 * [taylor]: Taking taylor expansion of (cos x) in x 4.228 * [taylor]: Taking taylor expansion of x in x 4.228 * [taylor]: Taking taylor expansion of 1.0 in x 4.228 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x 4.228 * [taylor]: Taking taylor expansion of (cos x) in x 4.228 * [taylor]: Taking taylor expansion of x in x 4.228 * [taylor]: Taking taylor expansion of 1.0 in x 4.232 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0 4.232 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 4.232 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.232 * [taylor]: Taking taylor expansion of x in x 4.233 * [taylor]: Taking taylor expansion of 1.0 in x 4.233 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 4.233 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.233 * [taylor]: Taking taylor expansion of x in x 4.233 * [taylor]: Taking taylor expansion of 1.0 in x 4.235 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0 4.235 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 4.235 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.235 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.235 * [taylor]: Taking taylor expansion of -1 in x 4.235 * [taylor]: Taking taylor expansion of x in x 4.235 * [taylor]: Taking taylor expansion of 1.0 in x 4.235 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 4.235 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.235 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.235 * [taylor]: Taking taylor expansion of -1 in x 4.235 * [taylor]: Taking taylor expansion of x in x 4.236 * [taylor]: Taking taylor expansion of 1.0 in x 4.237 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 4.237 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0 4.237 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.237 * [taylor]: Taking taylor expansion of (cos x) in x 4.237 * [taylor]: Taking taylor expansion of x in x 4.237 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.237 * [taylor]: Taking taylor expansion of (cos x) in x 4.237 * [taylor]: Taking taylor expansion of x in x 4.246 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0 4.246 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 4.246 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.246 * [taylor]: Taking taylor expansion of x in x 4.247 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 4.247 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.247 * [taylor]: Taking taylor expansion of x in x 4.261 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0 4.261 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.261 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.261 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.261 * [taylor]: Taking taylor expansion of -1 in x 4.261 * [taylor]: Taking taylor expansion of x in x 4.261 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.261 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.261 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.261 * [taylor]: Taking taylor expansion of -1 in x 4.261 * [taylor]: Taking taylor expansion of x in x 4.270 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 4.271 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) in (x) around 0 4.271 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) in x 4.271 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 4.271 * [taylor]: Taking taylor expansion of 1.0 in x 4.271 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.271 * [taylor]: Taking taylor expansion of (cos x) in x 4.271 * [taylor]: Taking taylor expansion of x in x 4.271 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))) in x 4.271 * [taylor]: Taking taylor expansion of 1.0 in x 4.272 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 4.272 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 4.272 * [taylor]: Taking taylor expansion of (cos x) in x 4.272 * [taylor]: Taking taylor expansion of x in x 4.272 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 4.272 * [taylor]: Taking taylor expansion of 1.0 in x 4.272 * [taylor]: Taking taylor expansion of (cos x) in x 4.272 * [taylor]: Taking taylor expansion of x in x 4.277 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) in x 4.277 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 4.277 * [taylor]: Taking taylor expansion of 1.0 in x 4.277 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.277 * [taylor]: Taking taylor expansion of (cos x) in x 4.277 * [taylor]: Taking taylor expansion of x in x 4.278 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))) in x 4.278 * [taylor]: Taking taylor expansion of 1.0 in x 4.278 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 4.278 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 4.278 * [taylor]: Taking taylor expansion of (cos x) in x 4.278 * [taylor]: Taking taylor expansion of x in x 4.278 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 4.278 * [taylor]: Taking taylor expansion of 1.0 in x 4.278 * [taylor]: Taking taylor expansion of (cos x) in x 4.278 * [taylor]: Taking taylor expansion of x in x 4.323 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0))) in (x) around 0 4.323 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0))) in x 4.323 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 4.323 * [taylor]: Taking taylor expansion of 1.0 in x 4.323 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 4.323 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.323 * [taylor]: Taking taylor expansion of x in x 4.323 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) in x 4.323 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 4.323 * [taylor]: Taking taylor expansion of 1.0 in x 4.323 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.323 * [taylor]: Taking taylor expansion of x in x 4.324 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ 1 x)) 2) 1.0) in x 4.324 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 4.324 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.324 * [taylor]: Taking taylor expansion of x in x 4.324 * [taylor]: Taking taylor expansion of 1.0 in x 4.325 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0))) in x 4.325 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 4.325 * [taylor]: Taking taylor expansion of 1.0 in x 4.325 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 4.325 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.325 * [taylor]: Taking taylor expansion of x in x 4.325 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) in x 4.325 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 4.325 * [taylor]: Taking taylor expansion of 1.0 in x 4.325 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.326 * [taylor]: Taking taylor expansion of x in x 4.326 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ 1 x)) 2) 1.0) in x 4.326 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 4.326 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.326 * [taylor]: Taking taylor expansion of x in x 4.326 * [taylor]: Taking taylor expansion of 1.0 in x 4.362 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0))) in (x) around 0 4.362 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0))) in x 4.362 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 4.362 * [taylor]: Taking taylor expansion of 1.0 in x 4.362 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.363 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.363 * [taylor]: Taking taylor expansion of -1 in x 4.363 * [taylor]: Taking taylor expansion of x in x 4.363 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)) in x 4.363 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 4.363 * [taylor]: Taking taylor expansion of 1.0 in x 4.363 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.363 * [taylor]: Taking taylor expansion of -1 in x 4.363 * [taylor]: Taking taylor expansion of x in x 4.363 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ -1 x)) 2) 1.0) in x 4.363 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 4.363 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.363 * [taylor]: Taking taylor expansion of -1 in x 4.363 * [taylor]: Taking taylor expansion of x in x 4.364 * [taylor]: Taking taylor expansion of 1.0 in x 4.365 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0))) in x 4.365 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 4.365 * [taylor]: Taking taylor expansion of 1.0 in x 4.365 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.365 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.365 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.365 * [taylor]: Taking taylor expansion of -1 in x 4.365 * [taylor]: Taking taylor expansion of x in x 4.365 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)) in x 4.365 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 4.365 * [taylor]: Taking taylor expansion of 1.0 in x 4.365 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.365 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.365 * [taylor]: Taking taylor expansion of -1 in x 4.365 * [taylor]: Taking taylor expansion of x in x 4.366 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ -1 x)) 2) 1.0) in x 4.366 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 4.366 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.366 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.366 * [taylor]: Taking taylor expansion of -1 in x 4.366 * [taylor]: Taking taylor expansion of x in x 4.366 * [taylor]: Taking taylor expansion of 1.0 in x 4.396 * * * [progress]: simplifying candidates 4.400 * [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 (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (exp (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (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))) (* (* (+ (* (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)))) (* (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (* (* (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (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)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (- (- (pow 1.0 3) (pow (cos x) 3))) (- (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1.0 3) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow (cos x) 3) (+ (* (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)))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (+ (* (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)))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (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)))) 1) (/ (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) 1) (/ (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)))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- 1.0 (cos x)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- 1.0 (cos x)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) 1) (/ (- 1.0 (cos x)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 1) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) 1) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) 1) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) 1) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) 1) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) 1) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) 1) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) 1) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) 1) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) 1) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) 1) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) 1) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) 1) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) 1) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) 1) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) 1) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) 1) (/ (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1 3) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1 3) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1 3) 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1 3) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1 3) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1 3) 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1 3) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1 3) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1 3) 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1 3) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1 3) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (pow 1 3) 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (+ (* (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) 1) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- 1.0 (cos x))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (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 1.0) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (- (* (* (cos x) (+ 1.0 (cos x))) (* (cos x) (+ 1.0 (cos x)))) (* (* 1.0 1.0) (* 1.0 1.0)))) (* (+ (* (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))))) (* (+ (* (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.5 (pow x 2)) (* 0.00138888888888887 (pow x 6))) (* 0.041666666666666685 (pow x 4))) (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) (/ (- 1.0 (pow (cos x) 3)) (+ (pow (cos x) 2) (+ (* 1.0 (cos x)) 1.0))) 4.410 * * [simplify]: iteration 0 : 260 enodes (cost 5407 ) 4.458 * * [simplify]: iteration 1 : 623 enodes (cost 5084 ) 4.615 * * [simplify]: iteration 2 : 2559 enodes (cost 4978 ) 5.433 * * [simplify]: iteration done : 5000 enodes (cost 4978 ) 5.435 * [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 1.0 6) (pow (cos x) 6)) (* (pow 1.0 3) (pow (cos x) 3))) (- (pow (cos x) 3)) (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (pow (sqrt (cos x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt (cos x)) 3) (pow (sqrt 1.0) 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 (cos x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt (cos x)) 3) (pow (sqrt 1.0) 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 (cos x)) 3) (sqrt (pow 1.0 3))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt (cos x)) 3) (sqrt (pow 1.0 3))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow (cos x) 3)) (sqrt (pow 1.0 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)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (exp (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) 3) (* (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) 3) (sqrt (/ (- (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)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (- (- (pow 1.0 3) (pow (cos x) 3))) (- (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow 1.0 3) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ (pow (cos x) 3) (+ (* (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)))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (+ (* (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)))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (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)))) (/ (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- 1.0 (cos x)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- 1.0 (cos x)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (/ (- 1.0 (cos x)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 1 (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt (cos x)) 3) (pow (sqrt 1.0) 3)) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt (cos x)) 3) (pow (sqrt 1.0) 3)) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt (cos x)) 3) (pow (sqrt 1.0) 3)) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt (cos x)) 3) (pow (sqrt 1.0) 3)) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt (cos x)) 3) (sqrt (pow 1.0 3))) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt (cos x)) 3) (sqrt (pow 1.0 3))) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (sqrt (pow (cos x) 3)) (sqrt (pow 1.0 3))) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3))) (/ (- (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)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (/ (- (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)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (/ (- (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))) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (/ (- (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (/ 1 (+ (* (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)) (* (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)))) (- (pow 1.0 3) (pow (cos x) 3)) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- 1.0 (cos x))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (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)))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (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))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (- (* (pow (cos x) 2) (* (+ 1.0 (cos x)) (+ 1.0 (cos x)))) (pow 1.0 4))) (* (+ (+ (pow 1.0 6) (pow (cos x) 6)) (* (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)) (+ (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.5 (pow x 2)) (* 0.00138888888888887 (pow x 6))) (* 0.041666666666666685 (pow x 4))) (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (* (cos x) (+ 1.0 (cos x))))) (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (* (cos x) (+ 1.0 (cos x))))) 5.437 * * * [progress]: adding candidates to table 5.859 * [progress]: [Phase 3 of 3] Extracting. 5.859 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 5.860 * * * [regime-changes]: Trying 1 branch expressions: (x) 5.860 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 5.902 * * * [regime]: Found split indices: #