18.180 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.047 * * * [progress]: [2/2] Setting up program. 0.049 * [progress]: [Phase 2 of 3] Improving. 0.049 * [simplify]: Simplifying using # : (/ (- 1.0 (cos x)) (* x x)) 0.051 * * [simplify]: iteration 0 : 13 enodes (cost 4 ) 0.052 * * [simplify]: iteration 1 : 21 enodes (cost 4 ) 0.054 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 0.055 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 0.056 * * [simplify]: iteration 4 : 28 enodes (cost 4 ) 0.056 * [simplify]: Simplified to: (/ (- 1.0 (cos x)) (* x x)) 0.056 * * [progress]: iteration 1 / 4 0.056 * * * [progress]: picking best candidate 0.058 * * * * [pick]: Picked # 0.058 * * * [progress]: localizing error 0.064 * * * [progress]: generating rewritten candidates 0.064 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.072 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.076 * * * [progress]: generating series expansions 0.076 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.076 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0 0.076 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 0.076 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.076 * [taylor]: Taking taylor expansion of 1.0 in x 0.076 * [taylor]: Taking taylor expansion of (cos x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 0.080 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.080 * [taylor]: Taking taylor expansion of 1.0 in x 0.080 * [taylor]: Taking taylor expansion of (cos x) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.095 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0 0.096 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 0.096 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.096 * [taylor]: Taking taylor expansion of 1.0 in x 0.096 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 0.096 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.096 * [taylor]: Taking taylor expansion of 1.0 in x 0.096 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.109 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0 0.109 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 0.109 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.109 * [taylor]: Taking taylor expansion of 1.0 in x 0.109 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.109 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.109 * [taylor]: Taking taylor expansion of -1 in x 0.109 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 0.110 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.110 * [taylor]: Taking taylor expansion of 1.0 in x 0.110 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.110 * [taylor]: Taking taylor expansion of -1 in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.126 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.126 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.126 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.126 * [taylor]: Taking taylor expansion of 1.0 in x 0.126 * [taylor]: Taking taylor expansion of (cos x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.126 * [taylor]: Taking taylor expansion of 1.0 in x 0.126 * [taylor]: Taking taylor expansion of (cos x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.136 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.136 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.136 * [taylor]: Taking taylor expansion of 1.0 in x 0.137 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.137 * [taylor]: Taking taylor expansion of x in x 0.137 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.137 * [taylor]: Taking taylor expansion of 1.0 in x 0.137 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.137 * [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 -1 in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.141 * [taylor]: Taking taylor expansion of 1.0 in x 0.141 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.141 * [taylor]: Taking taylor expansion of -1 in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.144 * * * [progress]: simplifying candidates 0.145 * [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.148 * * [simplify]: iteration 0 : 221 enodes (cost 271 ) 0.152 * * [simplify]: iteration 1 : 735 enodes (cost 239 ) 0.163 * * [simplify]: iteration 2 : 2396 enodes (cost 239 ) 0.202 * * [simplify]: iteration 3 : 5002 enodes (cost 239 ) 0.203 * [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)) (* x x)) 3) (pow (/ (- 1.0 (cos x)) (* x x)) 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)) (* x x)) 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))) (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) (+ (cos x) 1.0)) (* 1.0 1.0)) (pow x 2)) (* (* 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) (+ (cos x) 1.0)) (* 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)) (* x x)) (/ (- 1.0 (cos 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)) 0.203 * * * [progress]: adding candidates to table 0.296 * * [progress]: iteration 2 / 4 0.296 * * * [progress]: picking best candidate 0.317 * * * * [pick]: Picked # 0.317 * * * [progress]: localizing error 0.325 * * * [progress]: generating rewritten candidates 0.325 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.328 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.330 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.338 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.350 * * * [progress]: generating series expansions 0.350 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.351 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.351 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.351 * [taylor]: Taking taylor expansion of 1.0 in x 0.351 * [taylor]: Taking taylor expansion of (cos x) in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.351 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.351 * [taylor]: Taking taylor expansion of 1.0 in x 0.351 * [taylor]: Taking taylor expansion of (cos x) in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.362 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.362 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.362 * [taylor]: Taking taylor expansion of 1.0 in x 0.362 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.362 * [taylor]: Taking taylor expansion of x in x 0.363 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.363 * [taylor]: Taking taylor expansion of 1.0 in x 0.363 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.363 * [taylor]: Taking taylor expansion of x in x 0.366 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 0.366 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.366 * [taylor]: Taking taylor expansion of 1.0 in x 0.366 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.366 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.366 * [taylor]: Taking taylor expansion of -1 in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.367 * [taylor]: Taking taylor expansion of 1.0 in x 0.367 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.367 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.367 * [taylor]: Taking taylor expansion of -1 in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.374 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.374 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.375 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.375 * [taylor]: Taking taylor expansion of 1.0 in x 0.375 * [taylor]: Taking taylor expansion of (cos x) in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.375 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.375 * [taylor]: Taking taylor expansion of 1.0 in x 0.375 * [taylor]: Taking taylor expansion of (cos x) in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.385 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.385 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.385 * [taylor]: Taking taylor expansion of 1.0 in x 0.385 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.386 * [taylor]: Taking taylor expansion of 1.0 in x 0.386 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.389 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 0.389 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.389 * [taylor]: Taking taylor expansion of 1.0 in x 0.389 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.389 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.389 * [taylor]: Taking taylor expansion of -1 in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.390 * [taylor]: Taking taylor expansion of 1.0 in x 0.390 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.390 * [taylor]: Taking taylor expansion of -1 in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.393 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.393 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in (x) around 0 0.393 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x 0.394 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x 0.394 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.394 * [taylor]: Taking taylor expansion of 1.0 in x 0.394 * [taylor]: Taking taylor expansion of (cos x) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x 0.398 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x 0.398 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.398 * [taylor]: Taking taylor expansion of 1.0 in x 0.398 * [taylor]: Taking taylor expansion of (cos x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.448 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in (x) around 0 0.448 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x 0.448 * [taylor]: Taking taylor expansion of x in x 0.448 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x 0.448 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.448 * [taylor]: Taking taylor expansion of 1.0 in x 0.448 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.448 * [taylor]: Taking taylor expansion of x in x 0.449 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x 0.449 * [taylor]: Taking taylor expansion of x in x 0.449 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x 0.449 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.449 * [taylor]: Taking taylor expansion of 1.0 in x 0.449 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.449 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.449 * [taylor]: Taking taylor expansion of x in x 0.469 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in (x) around 0 0.469 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x 0.469 * [taylor]: Taking taylor expansion of -1 in x 0.469 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x 0.469 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x 0.469 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.469 * [taylor]: Taking taylor expansion of 1.0 in x 0.470 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.470 * [taylor]: Taking taylor expansion of -1 in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.471 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x 0.471 * [taylor]: Taking taylor expansion of -1 in x 0.471 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x 0.471 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x 0.471 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.471 * [taylor]: Taking taylor expansion of 1.0 in x 0.471 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.471 * [taylor]: Taking taylor expansion of -1 in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.472 * [taylor]: Taking taylor expansion of x in x 0.490 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.490 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in (x) around 0 0.490 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x 0.490 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x 0.490 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.490 * [taylor]: Taking taylor expansion of 1.0 in x 0.490 * [taylor]: Taking taylor expansion of (cos x) in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x 0.494 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x 0.494 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.494 * [taylor]: Taking taylor expansion of 1.0 in x 0.494 * [taylor]: Taking taylor expansion of (cos x) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.499 * [taylor]: Taking taylor expansion of x in x 0.547 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in (x) around 0 0.547 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x 0.547 * [taylor]: Taking taylor expansion of x in x 0.547 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x 0.547 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.547 * [taylor]: Taking taylor expansion of 1.0 in x 0.547 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.547 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x 0.548 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x 0.548 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.548 * [taylor]: Taking taylor expansion of 1.0 in x 0.548 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.548 * [taylor]: Taking taylor expansion of x in x 0.563 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in (x) around 0 0.563 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x 0.563 * [taylor]: Taking taylor expansion of -1 in x 0.563 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x 0.563 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x 0.563 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.563 * [taylor]: Taking taylor expansion of 1.0 in x 0.563 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.563 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.563 * [taylor]: Taking taylor expansion of -1 in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x 0.564 * [taylor]: Taking taylor expansion of -1 in x 0.564 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x 0.564 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x 0.564 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.564 * [taylor]: Taking taylor expansion of 1.0 in x 0.564 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.564 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.564 * [taylor]: Taking taylor expansion of -1 in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.565 * [taylor]: Taking taylor expansion of x in x 0.583 * * * [progress]: simplifying candidates 0.585 * [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)) (- (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)))) (- (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/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/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)) 0.590 * * [simplify]: iteration 0 : 242 enodes (cost 1020 ) 0.594 * * [simplify]: iteration 1 : 706 enodes (cost 972 ) 0.606 * * [simplify]: iteration 2 : 2968 enodes (cost 960 ) 0.674 * * [simplify]: iteration 3 : 5002 enodes (cost 960 ) 0.679 * [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) (+ (cos x) 1.0)) (* 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) (+ (cos x) 1.0)) (* 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)) (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 (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))))) (/ (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) 1)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (pow x 1/2)) (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)))) (pow x 1/2)) (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)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))) (* x (sqrt (+ 1.0 (cos 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 (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))))) (/ (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) 1)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (pow x 1/2)) (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)))) (pow x 1/2)) (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)))) (* 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/1440 (/ (pow x 4) (sqrt 1/2))) (sqrt 1/2)) (* 1/2304 (/ (pow x 4) (sqrt 1/2)))) (* 1/48 (/ (pow x 2) (sqrt 1/2)))) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) (- (- (+ (* 1/1440 (/ (pow x 4) (sqrt 1/2))) (sqrt 1/2)) (* 1/2304 (/ (pow x 4) (sqrt 1/2)))) (* 1/48 (/ (pow x 2) (sqrt 1/2)))) (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x) 0.679 * * * [progress]: adding candidates to table 0.962 * * [progress]: iteration 3 / 4 0.962 * * * [progress]: picking best candidate 0.980 * * * * [pick]: Picked # 0.980 * * * [progress]: localizing error 1.001 * * * [progress]: generating rewritten candidates 1.001 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.006 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.021 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2) 1.025 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1.029 * * * [progress]: generating series expansions 1.029 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.029 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 1.029 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.029 * [taylor]: Taking taylor expansion of 1.0 in x 1.029 * [taylor]: Taking taylor expansion of (cos x) in x 1.029 * [taylor]: Taking taylor expansion of x in x 1.029 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.029 * [taylor]: Taking taylor expansion of 1.0 in x 1.029 * [taylor]: Taking taylor expansion of (cos x) in x 1.029 * [taylor]: Taking taylor expansion of x in x 1.040 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 1.040 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.040 * [taylor]: Taking taylor expansion of 1.0 in x 1.040 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.040 * [taylor]: Taking taylor expansion of 1.0 in x 1.040 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.044 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 1.044 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.044 * [taylor]: Taking taylor expansion of 1.0 in x 1.044 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.044 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.044 * [taylor]: Taking taylor expansion of -1 in x 1.044 * [taylor]: Taking taylor expansion of x in x 1.044 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.044 * [taylor]: Taking taylor expansion of 1.0 in x 1.044 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.044 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.044 * [taylor]: Taking taylor expansion of -1 in x 1.044 * [taylor]: Taking taylor expansion of x in x 1.047 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.048 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0 1.048 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 1.048 * [taylor]: Taking taylor expansion of 1.0 in x 1.048 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.048 * [taylor]: Taking taylor expansion of (cos x) in x 1.048 * [taylor]: Taking taylor expansion of x in x 1.048 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 1.048 * [taylor]: Taking taylor expansion of 1.0 in x 1.048 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.048 * [taylor]: Taking taylor expansion of (cos x) in x 1.048 * [taylor]: Taking taylor expansion of x in x 1.069 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0 1.069 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 1.069 * [taylor]: Taking taylor expansion of 1.0 in x 1.069 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.069 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.069 * [taylor]: Taking taylor expansion of x in x 1.069 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 1.069 * [taylor]: Taking taylor expansion of 1.0 in x 1.069 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.069 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.069 * [taylor]: Taking taylor expansion of x in x 1.082 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0 1.082 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 1.082 * [taylor]: Taking taylor expansion of 1.0 in x 1.082 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.082 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.082 * [taylor]: Taking taylor expansion of -1 in x 1.082 * [taylor]: Taking taylor expansion of x in x 1.082 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 1.083 * [taylor]: Taking taylor expansion of 1.0 in x 1.083 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.083 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.083 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.083 * [taylor]: Taking taylor expansion of -1 in x 1.083 * [taylor]: Taking taylor expansion of x in x 1.099 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2) 1.099 * [approximate]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in (x) around 0 1.099 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 1.099 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.099 * [taylor]: Taking taylor expansion of (cos x) in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.100 * [taylor]: Taking taylor expansion of 1.0 in x 1.100 * [taylor]: Taking taylor expansion of (cos x) in x 1.100 * [taylor]: Taking taylor expansion of x in x 1.100 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 1.100 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.100 * [taylor]: Taking taylor expansion of (cos x) in x 1.100 * [taylor]: Taking taylor expansion of x in x 1.100 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.100 * [taylor]: Taking taylor expansion of 1.0 in x 1.100 * [taylor]: Taking taylor expansion of (cos x) in x 1.100 * [taylor]: Taking taylor expansion of x in x 1.115 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in (x) around 0 1.115 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x 1.115 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.115 * [taylor]: Taking taylor expansion of 1.0 in x 1.115 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.115 * [taylor]: Taking taylor expansion of x in x 1.116 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.116 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.116 * [taylor]: Taking taylor expansion of x in x 1.116 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x 1.116 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.116 * [taylor]: Taking taylor expansion of 1.0 in x 1.116 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.116 * [taylor]: Taking taylor expansion of x in x 1.116 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.116 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.116 * [taylor]: Taking taylor expansion of x in x 1.129 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in (x) around 0 1.129 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x 1.129 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.129 * [taylor]: Taking taylor expansion of 1.0 in x 1.129 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.129 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.129 * [taylor]: Taking taylor expansion of -1 in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.129 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.129 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.129 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.129 * [taylor]: Taking taylor expansion of -1 in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.129 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x 1.130 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.130 * [taylor]: Taking taylor expansion of 1.0 in x 1.130 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.130 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.130 * [taylor]: Taking taylor expansion of -1 in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.130 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.130 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.130 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.130 * [taylor]: Taking taylor expansion of -1 in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.142 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1.142 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0 1.142 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.142 * [taylor]: Taking taylor expansion of (cos x) in x 1.142 * [taylor]: Taking taylor expansion of x in x 1.142 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.142 * [taylor]: Taking taylor expansion of (cos x) in x 1.142 * [taylor]: Taking taylor expansion of x in x 1.151 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0 1.151 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.151 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.151 * [taylor]: Taking taylor expansion of x in x 1.151 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.151 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.151 * [taylor]: Taking taylor expansion of x in x 1.161 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0 1.161 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.161 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.161 * [taylor]: Taking taylor expansion of -1 in x 1.161 * [taylor]: Taking taylor expansion of x in x 1.161 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.161 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.161 * [taylor]: Taking taylor expansion of -1 in x 1.161 * [taylor]: Taking taylor expansion of x in x 1.170 * * * [progress]: simplifying candidates 1.176 * [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 (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 (* (cos x) (cos x))) (exp (* 1.0 (cos x)))) (log (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (exp (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (* (* (+ (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (pow (* (cos x) (cos x)) 3) (pow (* 1.0 (cos x)) 3)) (+ (* (* (cos x) (cos x)) (* (cos x) (cos x))) (- (* (* 1.0 (cos x)) (* 1.0 (cos x))) (* (* (cos x) (cos x)) (* 1.0 (cos x))))) (- (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (* 1.0 (cos x)) (* 1.0 (cos x)))) (- (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (cos x) 1.0) (+ (* 1/2 (cos (* 2 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)) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (- (+ (* 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)) (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2))) (+ (pow (cos x) 2) (* 1.0 (cos x))) (+ (pow (cos x) 2) (* 1.0 (cos x))) (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2))) (pow (cos x) 3) (pow (cos x) 3) 1.181 * * [simplify]: iteration 0 : 361 enodes (cost 583 ) 1.188 * * [simplify]: iteration 1 : 1558 enodes (cost 544 ) 1.231 * * [simplify]: iteration 2 : 5003 enodes (cost 524 ) 1.234 * [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) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (cos x)) (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (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) (+ (cos x) 1.0)) (* 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 (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 1.0) 3) (pow (cos x) 3/2)) (- (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 (cos x) 3/2)) (+ (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 (cos x) 3/2)) (- (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 (cos x) 3/2)) (+ (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 (cos x) 3/2)) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (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 (cos x) 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (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)) (pow (exp (cos x)) (+ 1.0 (cos x))) (+ (log (cos x)) (log (+ 1.0 (cos x)))) (pow (exp (cos x)) (+ 1.0 (cos x))) (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (pow (* (cos x) (+ (cos x) 1.0)) 3) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (pow (* 1.0 (cos x)) 3) (pow (cos x) 6)) (- (* (* 1.0 1.0) (pow (cos x) 2)) (- (* (* (pow (cos x) 2) 1.0) (cos x)) (pow (cos x) 4))) (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0)) (+ 1.0 (cos x)) (+ (* 1/2 (cos (* 2 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 (cos x) 3/2) (pow (cos x) 3/2) 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 (cos x) 3/2) (pow (cos x) 3/2) 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) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (- (+ (* 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)) (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2))) (* (cos x) (+ (cos x) 1.0)) (* (cos x) (+ (cos x) 1.0)) (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2))) (pow (cos x) 3) (pow (cos x) 3) 1.234 * * * [progress]: adding candidates to table 1.525 * * [progress]: iteration 4 / 4 1.525 * * * [progress]: picking best candidate 1.553 * * * * [pick]: Picked # 1.553 * * * [progress]: localizing error 1.577 * * * [progress]: generating rewritten candidates 1.577 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.580 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.617 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1) 1.620 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 2) 1.629 * * * [progress]: generating series expansions 1.629 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.629 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 1.629 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.629 * [taylor]: Taking taylor expansion of 1.0 in x 1.629 * [taylor]: Taking taylor expansion of (cos x) in x 1.629 * [taylor]: Taking taylor expansion of x in x 1.629 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.629 * [taylor]: Taking taylor expansion of 1.0 in x 1.629 * [taylor]: Taking taylor expansion of (cos x) in x 1.629 * [taylor]: Taking taylor expansion of x in x 1.641 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 1.641 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.641 * [taylor]: Taking taylor expansion of 1.0 in x 1.641 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.641 * [taylor]: Taking taylor expansion of x in x 1.641 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.641 * [taylor]: Taking taylor expansion of 1.0 in x 1.641 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.641 * [taylor]: Taking taylor expansion of x in x 1.645 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 1.645 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.645 * [taylor]: Taking taylor expansion of 1.0 in x 1.645 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.645 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.645 * [taylor]: Taking taylor expansion of -1 in x 1.645 * [taylor]: Taking taylor expansion of x in x 1.645 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.645 * [taylor]: Taking taylor expansion of 1.0 in x 1.645 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.645 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.645 * [taylor]: Taking taylor expansion of -1 in x 1.645 * [taylor]: Taking taylor expansion of x in x 1.649 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.649 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0 1.649 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 1.649 * [taylor]: Taking taylor expansion of 1.0 in x 1.650 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.650 * [taylor]: Taking taylor expansion of (cos x) in x 1.650 * [taylor]: Taking taylor expansion of x in x 1.650 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 1.650 * [taylor]: Taking taylor expansion of 1.0 in x 1.650 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.650 * [taylor]: Taking taylor expansion of (cos x) in x 1.650 * [taylor]: Taking taylor expansion of x in x 1.671 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0 1.671 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 1.671 * [taylor]: Taking taylor expansion of 1.0 in x 1.671 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.671 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.671 * [taylor]: Taking taylor expansion of x in x 1.672 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 1.672 * [taylor]: Taking taylor expansion of 1.0 in x 1.672 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.672 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.672 * [taylor]: Taking taylor expansion of x in x 1.685 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0 1.685 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 1.685 * [taylor]: Taking taylor expansion of 1.0 in x 1.685 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.685 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.685 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.685 * [taylor]: Taking taylor expansion of -1 in x 1.685 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 1.686 * [taylor]: Taking taylor expansion of 1.0 in x 1.686 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.686 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.686 * [taylor]: Taking taylor expansion of -1 in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.703 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1) 1.704 * [approximate]: Taking taylor expansion of (pow (pow (cos x) 3) 3) in (x) around 0 1.704 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 3) 3) in x 1.704 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.704 * [taylor]: Taking taylor expansion of (cos x) in x 1.704 * [taylor]: Taking taylor expansion of x in x 1.704 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 3) 3) in x 1.704 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.704 * [taylor]: Taking taylor expansion of (cos x) in x 1.704 * [taylor]: Taking taylor expansion of x in x 1.719 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 3) 3) in (x) around 0 1.719 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 3) 3) in x 1.719 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.719 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.719 * [taylor]: Taking taylor expansion of x in x 1.720 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 3) 3) in x 1.720 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.720 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.720 * [taylor]: Taking taylor expansion of x in x 1.739 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 3) 3) in (x) around 0 1.739 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 3) 3) in x 1.739 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.739 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.739 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.740 * [taylor]: Taking taylor expansion of -1 in x 1.740 * [taylor]: Taking taylor expansion of x in x 1.740 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 3) 3) in x 1.740 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.740 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.740 * [taylor]: Taking taylor expansion of -1 in x 1.740 * [taylor]: Taking taylor expansion of x in x 1.759 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 2) 1.760 * [approximate]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in (x) around 0 1.760 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 1.760 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.760 * [taylor]: Taking taylor expansion of (cos x) in x 1.760 * [taylor]: Taking taylor expansion of x in x 1.760 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.760 * [taylor]: Taking taylor expansion of 1.0 in x 1.760 * [taylor]: Taking taylor expansion of (cos x) in x 1.760 * [taylor]: Taking taylor expansion of x in x 1.760 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 1.760 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.760 * [taylor]: Taking taylor expansion of (cos x) in x 1.760 * [taylor]: Taking taylor expansion of x in x 1.760 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.760 * [taylor]: Taking taylor expansion of 1.0 in x 1.760 * [taylor]: Taking taylor expansion of (cos x) in x 1.760 * [taylor]: Taking taylor expansion of x in x 1.775 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in (x) around 0 1.775 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x 1.775 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.775 * [taylor]: Taking taylor expansion of 1.0 in x 1.775 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.775 * [taylor]: Taking taylor expansion of x in x 1.776 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.776 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.776 * [taylor]: Taking taylor expansion of x in x 1.776 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x 1.776 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.776 * [taylor]: Taking taylor expansion of 1.0 in x 1.776 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.776 * [taylor]: Taking taylor expansion of x in x 1.776 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.776 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.776 * [taylor]: Taking taylor expansion of x in x 1.789 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in (x) around 0 1.789 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x 1.789 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.789 * [taylor]: Taking taylor expansion of 1.0 in x 1.789 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.789 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.789 * [taylor]: Taking taylor expansion of -1 in x 1.789 * [taylor]: Taking taylor expansion of x in x 1.789 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.789 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.789 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.789 * [taylor]: Taking taylor expansion of -1 in x 1.790 * [taylor]: Taking taylor expansion of x in x 1.790 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x 1.790 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.790 * [taylor]: Taking taylor expansion of 1.0 in x 1.794 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.794 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.794 * [taylor]: Taking taylor expansion of -1 in x 1.794 * [taylor]: Taking taylor expansion of x in x 1.795 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.795 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.795 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.795 * [taylor]: Taking taylor expansion of -1 in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.807 * * * [progress]: simplifying candidates 1.809 * [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 (pow 1.0 3)) (exp (cbrt (pow (pow (cos x) 3) 3)))) (log (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (exp (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (* (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))) (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (* (* (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (sqrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (sqrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (- (pow (pow 1.0 3) 3) (pow (cbrt (pow (pow (cos x) 3) 3)) 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (cbrt (pow (pow (cos x) 3) 3)) (cbrt (pow (pow (cos x) 3) 3))) (* (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))) (- (cbrt (pow (pow (cos x) 3) 3))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (cbrt (pow (pow (cos x) 3) 3)) (cbrt (pow (pow (cos x) 3) 3)))) (+ (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) 3) (/ 3 2)))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) 3) (/ 3 2)))) (+ (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (pow (cos x) 3) 3)))) (- (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (pow (cos x) 3) 3)))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) 3) (/ 3 2)))) (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) 3) (/ 3 2)))) (+ (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (pow (cos x) 3) 3)))) (- (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (pow (cos x) 3) 3)))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (- (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (- (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (+ (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) 3) (/ 3 2)))) (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) 3) (/ 3 2)))) (+ (sqrt (pow 1.0 3)) (sqrt (cbrt (pow (pow (cos x) 3) 3)))) (- (sqrt (pow 1.0 3)) (sqrt (cbrt (pow (pow (cos x) 3) 3)))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (pow (cos x) 3)) 3))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) (/ 3 2)) 3))) (+ (pow 1.0 (/ 3 2)) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 (/ 3 2)) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) 3) (/ 3 2)))) (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) 3) (/ 3 2)))) (+ (pow 1.0 (/ 3 2)) (sqrt (cbrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 (/ 3 2)) (sqrt (cbrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (- (cbrt (pow (pow (cos x) 3) 3))) (* (* (log (cos x)) 3) 3) (* (* (log (cos x)) 3) 3) (* (log (pow (cos x) 3)) 3) (* (log (pow (cos x) 3)) 3) (* 3 3) (pow (pow (cos x) 3) (* (cbrt 3) (cbrt 3))) (pow (pow (cos x) 3) (sqrt 3)) (pow (pow (cos x) 3) 1) (pow (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) 3) (pow (pow (cbrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow 1 3) 3) (pow (pow (cos x) 3) 3) (pow (* (cos x) (cos x)) 3) (pow (cos x) 3) (pow (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) 3) (pow (cbrt (pow (cos x) 3)) 3) (pow (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) 3) (pow (pow (cbrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow 1 3) 3) (pow (pow (cos x) 3) 3) (pow (cos x) 3) (pow (* (cos x) (cos x)) 3) (pow (sqrt (pow (cos x) 3)) 3) (pow (sqrt (pow (cos x) 3)) 3) (pow 1 3) (pow (pow (cos x) 3) 3) (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos x) (/ 3 2)) 3) (* (pow (cos x) 3) (pow (cos x) 3)) (log (pow (pow (cos x) 3) 3)) (exp (pow (pow (cos x) 3) 3)) (* (cbrt (pow (pow (cos x) 3) 3)) (cbrt (pow (pow (cos x) 3) 3))) (cbrt (pow (pow (cos x) 3) 3)) (* (* (pow (pow (cos x) 3) 3) (pow (pow (cos x) 3) 3)) (pow (pow (cos x) 3) 3)) (pow (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) 3) (pow (pow (cbrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow 1 3) 3) (pow (pow (cos x) 3) 3) (pow (* (cos x) (cos x)) 3) (pow (cos x) 3) (pow (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) 3) (pow (cbrt (pow (cos x) 3)) 3) (pow (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) 3) (pow (pow (cbrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow 1 3) 3) (pow (pow (cos x) 3) 3) (pow (cos x) 3) (pow (* (cos x) (cos x)) 3) (pow (sqrt (pow (cos x) 3)) 3) (pow (sqrt (pow (cos x) 3)) 3) (pow 1 3) (pow (pow (cos x) 3) 3) (pow (pow (cos x) (/ 3 2)) 3) (pow (pow (cos x) (/ 3 2)) 3) (* (pow (cos x) 3) (pow (cos x) 3)) (sqrt (pow (pow (cos x) 3) 3)) (sqrt (pow (pow (cos x) 3) 3)) (pow (pow (cos x) 3) (/ 3 2)) (pow (pow (cos x) 3) (/ 3 2)) (* (exp (* (cos x) (cos x))) (exp (* 1.0 (cos x)))) (log (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (exp (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (* (* (+ (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (pow (* (cos x) (cos x)) 3) (pow (* 1.0 (cos x)) 3)) (+ (* (* (cos x) (cos x)) (* (cos x) (cos x))) (- (* (* 1.0 (cos x)) (* 1.0 (cos x))) (* (* (cos x) (cos x)) (* 1.0 (cos x))))) (- (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (* 1.0 (cos x)) (* 1.0 (cos x)))) (- (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (cos x) 1.0) (+ (* 1/2 (cos (* 2 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)) (- (+ (* 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)) (- (+ (* 75/8 (pow x 4)) 1) (* 9/2 (pow x 2))) (pow (cos x) 9) (pow (cos x) 9) (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2))) (+ (pow (cos x) 2) (* 1.0 (cos x))) (+ (pow (cos x) 2) (* 1.0 (cos x))) 1.817 * * [simplify]: iteration 0 : 487 enodes (cost 1079 ) 1.825 * * [simplify]: iteration 1 : 1910 enodes (cost 1002 ) 1.875 * * [simplify]: iteration 2 : 5002 enodes (cost 993 ) 1.879 * [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) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (cos x)) (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (/ (exp (pow 1.0 3)) (exp (pow (cos x) 3))) (log (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (/ (exp (pow 1.0 3)) (exp (pow (cos x) 3))) (* (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))) (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (pow (- (pow 1.0 3) (pow (cos x) 3)) 3) (sqrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (sqrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (+ (pow (pow 1.0 3) 3) (- (pow (pow (cos x) 3) 3))) (+ (+ (pow 1.0 6) (pow (cos x) 6)) (pow (* 1.0 (cos x)) 3)) (- (pow (cos x) 3)) (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow (cos x) 3) (pow 1.0 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)) (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 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)) (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3)) (+ (pow (sqrt 1.0) 3) (- (sqrt (pow (cos x) 3)))) (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (+ (pow (sqrt 1.0) 3) (- (pow (cos x) 3/2))) (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3)) (+ (pow (sqrt 1.0) 3) (- (sqrt (pow (cos x) 3)))) (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3)) (+ (pow (sqrt 1.0) 3) (- (sqrt (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)) (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 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)) (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3)) (+ (pow (sqrt 1.0) 3) (- (sqrt (pow (cos x) 3)))) (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (+ (pow (sqrt 1.0) 3) (- (pow (cos x) 3/2))) (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3)) (+ (pow (sqrt 1.0) 3) (- (sqrt (pow (cos x) 3)))) (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3)) (+ (pow (sqrt 1.0) 3) (- (sqrt (pow (cos x) 3)))) (+ (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) (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))) (+ (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (+ (sqrt (pow (cos x) 3)) (sqrt (pow 1.0 3))) (+ (sqrt (pow 1.0 3)) (- (sqrt (pow (cos x) 3)))) (+ (sqrt (pow (cos x) 3)) (sqrt (pow 1.0 3))) (+ (sqrt (pow 1.0 3)) (- (sqrt (pow (cos x) 3)))) (+ (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)) (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2)) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (+ (pow 1.0 3/2) (- (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)) (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2)) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (+ (pow 1.0 3/2) (- (pow (cos x) 3/2))) (+ (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2)) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2)) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow (cos x) 3)) (* (log (cos x)) 9) (* (log (cos x)) 9) (* (log (cos x)) 9) (* (log (cos x)) 9) 9 (pow (pow (cos x) 3) (* (cbrt 3) (cbrt 3))) (pow (pow (cos x) 3) (sqrt 3)) (pow (cos x) 3) (pow (cos x) 6) (pow (cos x) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) 1 (pow (pow (cos x) 3) 3) (pow (cos x) 6) (pow (cos x) 3) (pow (cos x) 6) (pow (cos x) 3) (pow (cos x) 6) (pow (cos x) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) 1 (pow (pow (cos x) 3) 3) (pow (cos x) 3) (pow (cos x) 6) (pow (pow (cos x) 3) 3/2) (pow (pow (cos x) 3) 3/2) 1 (pow (pow (cos x) 3) 3) (pow (pow (cos x) 3/2) 3) (pow (pow (cos x) 3/2) 3) (pow (cos x) 6) (* (log (cos x)) 9) (exp (pow (pow (cos x) 3) 3)) (pow (cos x) 6) (pow (cos x) 3) (pow (pow (pow (cos x) 3) 3) 3) (pow (cos x) 6) (pow (cos x) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) 1 (pow (pow (cos x) 3) 3) (pow (cos x) 6) (pow (cos x) 3) (pow (cos x) 6) (pow (cos x) 3) (pow (cos x) 6) (pow (cos x) 3) (pow (pow (sqrt (cos x)) 3) 3) (pow (pow (sqrt (cos x)) 3) 3) 1 (pow (pow (cos x) 3) 3) (pow (cos x) 3) (pow (cos x) 6) (pow (pow (cos x) 3) 3/2) (pow (pow (cos x) 3) 3/2) 1 (pow (pow (cos x) 3) 3) (pow (pow (cos x) 3/2) 3) (pow (pow (cos x) 3/2) 3) (pow (cos x) 6) (sqrt (pow (pow (cos x) 3) 3)) (sqrt (pow (pow (cos x) 3) 3)) (pow (pow (cos x) 3) 3/2) (pow (pow (cos x) 3) 3/2) (pow (exp (cos x)) (+ 1.0 (cos x))) (+ (log (cos x)) (log (+ 1.0 (cos x)))) (pow (exp (cos x)) (+ 1.0 (cos x))) (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (pow (* (cos x) (+ (cos x) 1.0)) 3) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (pow (* 1.0 (cos x)) 3) (pow (cos x) 6)) (- (* (* 1.0 1.0) (pow (cos x) 2)) (- (* (* (pow (cos x) 2) 1.0) (cos x)) (pow (cos x) 4))) (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0)) (+ 1.0 (cos x)) (+ (* 1/2 (cos (* 2 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)) (- (+ (* 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)) (- (+ (* 75/8 (pow x 4)) 1) (* 9/2 (pow x 2))) (pow (cos x) 9) (pow (cos x) 9) (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2))) (* (cos x) (+ (cos x) 1.0)) (* (cos x) (+ (cos x) 1.0)) 1.880 * * * [progress]: adding candidates to table 2.251 * [progress]: [Phase 3 of 3] Extracting. 2.251 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 2.254 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.254 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 2.306 * * * [regime]: Found split indices: #