15.137 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.056 * * * [progress]: [2/2] Setting up program. 0.058 * [progress]: [Phase 2 of 3] Improving. 0.058 * [simplify]: Simplifying using # : (/ (- 1.0 (cos x)) (* x x)) 0.059 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.059 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.061 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 0.063 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 0.065 * * [simplify]: iteration 4 : 29 enodes (cost 8 ) 0.068 * * [simplify]: iteration done : 29 enodes (cost 8 ) 0.068 * [simplify]: Simplified to: (/ (- 1.0 (cos x)) (* x x)) 0.069 * * [progress]: iteration 1 / 4 0.069 * * * [progress]: picking best candidate 0.070 * * * * [pick]: Picked # 0.070 * * * [progress]: localizing error 0.076 * * * [progress]: generating rewritten candidates 0.076 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.085 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.088 * * * [progress]: generating series expansions 0.088 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.089 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0 0.089 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 0.089 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.089 * [taylor]: Taking taylor expansion of 1.0 in x 0.089 * [taylor]: Taking taylor expansion of (cos x) in x 0.089 * [taylor]: Taking taylor expansion of x in x 0.089 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.089 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 0.092 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.092 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [taylor]: Taking taylor expansion of (cos x) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.107 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0 0.107 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 0.107 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [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.107 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 0.107 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.108 * [taylor]: Taking taylor expansion of 1.0 in x 0.108 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.108 * [taylor]: Taking taylor expansion of x in x 0.120 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0 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.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.121 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.133 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.134 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.134 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.134 * [taylor]: Taking taylor expansion of 1.0 in x 0.134 * [taylor]: Taking taylor expansion of (cos x) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.134 * [taylor]: Taking taylor expansion of 1.0 in x 0.134 * [taylor]: Taking taylor expansion of (cos x) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.143 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.143 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.143 * [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 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 x in x 0.147 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 0.147 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.147 * [taylor]: Taking taylor expansion of 1.0 in x 0.147 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.147 * [taylor]: Taking taylor expansion of -1 in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.147 * [taylor]: Taking taylor expansion of 1.0 in x 0.147 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.151 * * * [progress]: simplifying candidates 0.151 * [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.154 * * [simplify]: iteration 0 : 88 enodes (cost 507 ) 0.169 * * [simplify]: iteration 1 : 218 enodes (cost 489 ) 0.213 * * [simplify]: iteration 2 : 636 enodes (cost 441 ) 0.443 * * [simplify]: iteration 3 : 2189 enodes (cost 441 ) 1.208 * * [simplify]: iteration done : 5000 enodes (cost 440 ) 1.208 * [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))) (- (cos x) 1.0) (- (* 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) (+ 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)) (* 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)) 1.208 * * * [progress]: adding candidates to table 1.299 * * [progress]: iteration 2 / 4 1.299 * * * [progress]: picking best candidate 1.311 * * * * [pick]: Picked # 1.311 * * * [progress]: localizing error 1.321 * * * [progress]: generating rewritten candidates 1.321 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.345 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.350 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1.360 * * * [progress]: generating series expansions 1.360 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.360 * [approximate]: Taking taylor expansion of (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) in (x) around 0 1.360 * [taylor]: Taking taylor expansion of (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) in x 1.360 * [taylor]: Taking taylor expansion of (+ (* 1/720 (pow x 4)) 1/2) in x 1.360 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 4)) in x 1.360 * [taylor]: Taking taylor expansion of 1/720 in x 1.360 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.360 * [taylor]: Taking taylor expansion of x in x 1.360 * [taylor]: Taking taylor expansion of 1/2 in x 1.360 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x 1.360 * [taylor]: Taking taylor expansion of 1/24 in x 1.360 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.360 * [taylor]: Taking taylor expansion of x in x 1.360 * [taylor]: Taking taylor expansion of (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) in x 1.360 * [taylor]: Taking taylor expansion of (+ (* 1/720 (pow x 4)) 1/2) in x 1.360 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 4)) in x 1.360 * [taylor]: Taking taylor expansion of 1/720 in x 1.360 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.360 * [taylor]: Taking taylor expansion of x in x 1.360 * [taylor]: Taking taylor expansion of 1/2 in x 1.360 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x 1.360 * [taylor]: Taking taylor expansion of 1/24 in x 1.361 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.361 * [taylor]: Taking taylor expansion of x in x 1.367 * [approximate]: Taking taylor expansion of (- (+ (* 1/720 (/ 1 (pow x 4))) 1/2) (* 1/24 (/ 1 (pow x 2)))) in (x) around 0 1.367 * [taylor]: Taking taylor expansion of (- (+ (* 1/720 (/ 1 (pow x 4))) 1/2) (* 1/24 (/ 1 (pow x 2)))) in x 1.367 * [taylor]: Taking taylor expansion of (+ (* 1/720 (/ 1 (pow x 4))) 1/2) in x 1.367 * [taylor]: Taking taylor expansion of (* 1/720 (/ 1 (pow x 4))) in x 1.367 * [taylor]: Taking taylor expansion of 1/720 in x 1.367 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.368 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.368 * [taylor]: Taking taylor expansion of 1/2 in x 1.368 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 (pow x 2))) in x 1.368 * [taylor]: Taking taylor expansion of 1/24 in x 1.368 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.368 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.369 * [taylor]: Taking taylor expansion of (- (+ (* 1/720 (/ 1 (pow x 4))) 1/2) (* 1/24 (/ 1 (pow x 2)))) in x 1.369 * [taylor]: Taking taylor expansion of (+ (* 1/720 (/ 1 (pow x 4))) 1/2) in x 1.369 * [taylor]: Taking taylor expansion of (* 1/720 (/ 1 (pow x 4))) in x 1.369 * [taylor]: Taking taylor expansion of 1/720 in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.369 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.369 * [taylor]: Taking taylor expansion of x in x 1.370 * [taylor]: Taking taylor expansion of 1/2 in x 1.370 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 (pow x 2))) in x 1.370 * [taylor]: Taking taylor expansion of 1/24 in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.370 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.370 * [taylor]: Taking taylor expansion of x in x 1.385 * [approximate]: Taking taylor expansion of (- (+ (* 1/720 (/ 1 (pow x 4))) 1/2) (* 1/24 (/ 1 (pow x 2)))) in (x) around 0 1.385 * [taylor]: Taking taylor expansion of (- (+ (* 1/720 (/ 1 (pow x 4))) 1/2) (* 1/24 (/ 1 (pow x 2)))) in x 1.385 * [taylor]: Taking taylor expansion of (+ (* 1/720 (/ 1 (pow x 4))) 1/2) in x 1.385 * [taylor]: Taking taylor expansion of (* 1/720 (/ 1 (pow x 4))) in x 1.385 * [taylor]: Taking taylor expansion of 1/720 in x 1.385 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.385 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.385 * [taylor]: Taking taylor expansion of x in x 1.386 * [taylor]: Taking taylor expansion of 1/2 in x 1.386 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 (pow x 2))) in x 1.386 * [taylor]: Taking taylor expansion of 1/24 in x 1.386 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.386 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.386 * [taylor]: Taking taylor expansion of x in x 1.386 * [taylor]: Taking taylor expansion of (- (+ (* 1/720 (/ 1 (pow x 4))) 1/2) (* 1/24 (/ 1 (pow x 2)))) in x 1.386 * [taylor]: Taking taylor expansion of (+ (* 1/720 (/ 1 (pow x 4))) 1/2) in x 1.386 * [taylor]: Taking taylor expansion of (* 1/720 (/ 1 (pow x 4))) in x 1.386 * [taylor]: Taking taylor expansion of 1/720 in x 1.386 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.386 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.386 * [taylor]: Taking taylor expansion of x in x 1.387 * [taylor]: Taking taylor expansion of 1/2 in x 1.387 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 (pow x 2))) in x 1.387 * [taylor]: Taking taylor expansion of 1/24 in x 1.387 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.387 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.387 * [taylor]: Taking taylor expansion of x in x 1.402 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.402 * [approximate]: Taking taylor expansion of (* 1/24 (pow x 2)) in (x) around 0 1.402 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x 1.402 * [taylor]: Taking taylor expansion of 1/24 in x 1.402 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.402 * [taylor]: Taking taylor expansion of x in x 1.402 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x 1.402 * [taylor]: Taking taylor expansion of 1/24 in x 1.402 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.402 * [taylor]: Taking taylor expansion of x in x 1.410 * [approximate]: Taking taylor expansion of (/ 1/24 (pow x 2)) in (x) around 0 1.410 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 2)) in x 1.410 * [taylor]: Taking taylor expansion of 1/24 in x 1.410 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.410 * [taylor]: Taking taylor expansion of x in x 1.410 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 2)) in x 1.410 * [taylor]: Taking taylor expansion of 1/24 in x 1.410 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.410 * [taylor]: Taking taylor expansion of x in x 1.418 * [approximate]: Taking taylor expansion of (/ 1/24 (pow x 2)) in (x) around 0 1.418 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 2)) in x 1.418 * [taylor]: Taking taylor expansion of 1/24 in x 1.418 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.418 * [taylor]: Taking taylor expansion of x in x 1.418 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 2)) in x 1.418 * [taylor]: Taking taylor expansion of 1/24 in x 1.418 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.418 * [taylor]: Taking taylor expansion of x in x 1.426 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1.426 * [approximate]: Taking taylor expansion of (* 1/720 (pow x 4)) in (x) around 0 1.426 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 4)) in x 1.426 * [taylor]: Taking taylor expansion of 1/720 in x 1.426 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.426 * [taylor]: Taking taylor expansion of x in x 1.426 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 4)) in x 1.426 * [taylor]: Taking taylor expansion of 1/720 in x 1.426 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.426 * [taylor]: Taking taylor expansion of x in x 1.441 * [approximate]: Taking taylor expansion of (/ 1/720 (pow x 4)) in (x) around 0 1.441 * [taylor]: Taking taylor expansion of (/ 1/720 (pow x 4)) in x 1.441 * [taylor]: Taking taylor expansion of 1/720 in x 1.441 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.441 * [taylor]: Taking taylor expansion of x in x 1.441 * [taylor]: Taking taylor expansion of (/ 1/720 (pow x 4)) in x 1.442 * [taylor]: Taking taylor expansion of 1/720 in x 1.442 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.442 * [taylor]: Taking taylor expansion of x in x 1.453 * [approximate]: Taking taylor expansion of (/ 1/720 (pow x 4)) in (x) around 0 1.453 * [taylor]: Taking taylor expansion of (/ 1/720 (pow x 4)) in x 1.453 * [taylor]: Taking taylor expansion of 1/720 in x 1.453 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of (/ 1/720 (pow x 4)) in x 1.454 * [taylor]: Taking taylor expansion of 1/720 in x 1.454 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.454 * [taylor]: Taking taylor expansion of x in x 1.464 * * * [progress]: simplifying candidates 1.465 * [simplify]: Simplifying using # : (/ (* (exp (* 1/720 (pow x 4))) (exp 1/2)) (exp (* 1/24 (pow x 2)))) (/ (exp (+ (* 1/720 (pow x 4)) 1/2)) (exp (* 1/24 (pow x 2)))) (log (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (exp (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (* (cbrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (cbrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))))) (cbrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (* (* (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (sqrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (sqrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (- (pow (+ (* 1/720 (pow x 4)) 1/2) 3) (pow (* 1/24 (pow x 2)) 3)) (+ (* (+ (* 1/720 (pow x 4)) 1/2) (+ (* 1/720 (pow x 4)) 1/2)) (+ (* (* 1/24 (pow x 2)) (* 1/24 (pow x 2))) (* (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))))) (- (* 1/24 (pow x 2))) (- (* (+ (* 1/720 (pow x 4)) 1/2) (+ (* 1/720 (pow x 4)) 1/2)) (* (* 1/24 (pow x 2)) (* 1/24 (pow x 2)))) (+ (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (- 1/2 (* 1/24 (pow x 2))) (- (* 1/24 (pow x 2))) (+ (log 1/24) (* (log x) 2)) (+ (log 1/24) (* (log x) 2)) (+ (log 1/24) (log (pow x 2))) (log (* 1/24 (pow x 2))) (exp (* 1/24 (pow x 2))) (* (* (* 1/24 1/24) 1/24) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 1/24 (pow x 2))) (cbrt (* 1/24 (pow x 2)))) (cbrt (* 1/24 (pow x 2))) (* (* (* 1/24 (pow x 2)) (* 1/24 (pow x 2))) (* 1/24 (pow x 2))) (sqrt (* 1/24 (pow x 2))) (sqrt (* 1/24 (pow x 2))) (* (sqrt 1/24) (pow (sqrt x) 2)) (* (sqrt 1/24) (pow (sqrt x) 2)) (* (sqrt 1/24) x) (* (sqrt 1/24) x) (* (sqrt 1/24) (sqrt (pow x 2))) (* (sqrt 1/24) (sqrt (pow x 2))) (* (sqrt 1/24) (pow x (/ 2 2))) (* (sqrt 1/24) (pow x (/ 2 2))) (* 1/24 (pow (* (cbrt x) (cbrt x)) 2)) (* 1/24 (pow (sqrt x) 2)) (* 1/24 (pow 1 2)) (* 1/24 x) (* 1/24 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 1/24 (sqrt (pow x 2))) (* 1/24 1) (* 1/24 (pow x (/ 2 2))) (* (cbrt 1/24) (pow x 2)) (* (sqrt 1/24) (pow x 2)) (* 1/24 (pow x 2)) (+ (log 1/720) (* (log x) 4)) (+ (log 1/720) (* (log x) 4)) (+ (log 1/720) (log (pow x 4))) (log (* 1/720 (pow x 4))) (exp (* 1/720 (pow x 4))) (* (* (* 1/720 1/720) 1/720) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 1/720 (pow x 4))) (cbrt (* 1/720 (pow x 4)))) (cbrt (* 1/720 (pow x 4))) (* (* (* 1/720 (pow x 4)) (* 1/720 (pow x 4))) (* 1/720 (pow x 4))) (sqrt (* 1/720 (pow x 4))) (sqrt (* 1/720 (pow x 4))) (* (sqrt 1/720) (pow (sqrt x) 4)) (* (sqrt 1/720) (pow (sqrt x) 4)) (* (sqrt 1/720) (sqrt (pow x 4))) (* (sqrt 1/720) (sqrt (pow x 4))) (* (sqrt 1/720) (pow x (/ 4 2))) (* (sqrt 1/720) (pow x (/ 4 2))) (* 1/720 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/720 (pow (sqrt x) 4)) (* 1/720 (pow 1 4)) (* 1/720 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/720 (sqrt (pow x 4))) (* 1/720 1) (* 1/720 (pow x (/ 4 2))) (* (cbrt 1/720) (pow x 4)) (* (sqrt 1/720) (pow x 4)) (* 1/720 (pow x 4)) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (* 1/24 (pow x 2)) (* 1/24 (pow x 2)) (* 1/24 (pow x 2)) (* 1/720 (pow x 4)) (* 1/720 (pow x 4)) (* 1/720 (pow x 4)) 1.468 * * [simplify]: iteration 0 : 121 enodes (cost 780 ) 1.503 * * [simplify]: iteration 1 : 274 enodes (cost 701 ) 1.580 * * [simplify]: iteration 2 : 823 enodes (cost 643 ) 1.891 * * [simplify]: iteration 3 : 2860 enodes (cost 629 ) 2.885 * * [simplify]: iteration done : 5001 enodes (cost 629 ) 2.886 * [simplify]: Simplified to: (exp (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (exp (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (log (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (exp (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (* (cbrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (cbrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))))) (cbrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (pow (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) 3) (sqrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (sqrt (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))) (- (pow (+ (* 1/720 (pow x 4)) 1/2) 3) (* (pow x 6) 1/13824)) (+ (* 1/576 (pow x 4)) (* (+ (* 1/720 (pow x 4)) 1/2) (+ (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))))) (* -1/24 (pow x 2)) (- (* (+ (* 1/720 (pow x 4)) 1/2) (+ (* 1/720 (pow x 4)) 1/2)) (* 1/576 (pow x 4))) (+ (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (- 1/2 (* 1/24 (pow x 2))) (* -1/24 (pow x 2)) (log (* 1/24 (pow x 2))) (log (* 1/24 (pow x 2))) (log (* 1/24 (pow x 2))) (log (* 1/24 (pow x 2))) (exp (* 1/24 (pow x 2))) (* (pow x 6) 1/13824) (* (cbrt (* 1/24 (pow x 2))) (cbrt (* 1/24 (pow x 2)))) (cbrt (* 1/24 (pow x 2))) (* (pow x 6) 1/13824) (sqrt (* 1/24 (pow x 2))) (sqrt (* 1/24 (pow x 2))) (* (sqrt 1/24) x) (* (sqrt 1/24) x) (* (sqrt 1/24) x) (* (sqrt 1/24) x) (* (sqrt 1/24) (fabs x)) (* (sqrt 1/24) (fabs x)) (* (sqrt 1/24) x) (* (sqrt 1/24) x) (* 1/24 (pow (* (cbrt x) (cbrt x)) 2)) (* 1/24 x) 1/24 (* 1/24 x) (* 1/24 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 1/24 (fabs x)) 1/24 (* 1/24 x) (* (cbrt 1/24) (pow x 2)) (* (sqrt 1/24) (pow x 2)) (* 1/24 (pow x 2)) (log (* 1/720 (pow x 4))) (log (* 1/720 (pow x 4))) (log (* 1/720 (pow x 4))) (log (* 1/720 (pow x 4))) (exp (* 1/720 (pow x 4))) (pow (* 1/720 (pow x 4)) 3) (* (cbrt (* 1/720 (pow x 4))) (cbrt (* 1/720 (pow x 4)))) (cbrt (* 1/720 (pow x 4))) (pow (* 1/720 (pow x 4)) 3) (sqrt (* 1/720 (pow x 4))) (sqrt (* 1/720 (pow x 4))) (* (sqrt 1/720) (* x x)) (* (sqrt 1/720) (* x x)) (* (sqrt 1/720) (sqrt (pow x 4))) (* (sqrt 1/720) (sqrt (pow x 4))) (* (sqrt 1/720) (* x x)) (* (sqrt 1/720) (* x x)) (* 1/720 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/720 (pow x 2)) 1/720 (* 1/720 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/720 (sqrt (pow x 4))) 1/720 (* 1/720 (pow x 2)) (* (cbrt 1/720) (pow x 4)) (* (sqrt 1/720) (pow x 4)) (* 1/720 (pow x 4)) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2))) (* 1/24 (pow x 2)) (* 1/24 (pow x 2)) (* 1/24 (pow x 2)) (* 1/720 (pow x 4)) (* 1/720 (pow x 4)) (* 1/720 (pow x 4)) 2.886 * * * [progress]: adding candidates to table 3.025 * * [progress]: iteration 3 / 4 3.025 * * * [progress]: picking best candidate 3.036 * * * * [pick]: Picked # 3.036 * * * [progress]: localizing error 3.043 * * * [progress]: generating rewritten candidates 3.043 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 3.046 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 3.067 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 3.081 * * * [progress]: generating series expansions 3.081 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 3.081 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 3.081 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.081 * [taylor]: Taking taylor expansion of 1.0 in x 3.081 * [taylor]: Taking taylor expansion of (cos x) in x 3.082 * [taylor]: Taking taylor expansion of x in x 3.082 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.082 * [taylor]: Taking taylor expansion of 1.0 in x 3.082 * [taylor]: Taking taylor expansion of (cos x) in x 3.082 * [taylor]: Taking taylor expansion of x in x 3.092 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 3.092 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.092 * [taylor]: Taking taylor expansion of 1.0 in x 3.092 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.092 * [taylor]: Taking taylor expansion of x in x 3.092 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.092 * [taylor]: Taking taylor expansion of 1.0 in x 3.093 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.093 * [taylor]: Taking taylor expansion of x in x 3.096 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 3.096 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.096 * [taylor]: Taking taylor expansion of 1.0 in x 3.096 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.096 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.096 * [taylor]: Taking taylor expansion of -1 in x 3.096 * [taylor]: Taking taylor expansion of x in x 3.096 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.096 * [taylor]: Taking taylor expansion of 1.0 in x 3.096 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.096 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.096 * [taylor]: Taking taylor expansion of -1 in x 3.096 * [taylor]: Taking taylor expansion of x in x 3.099 * * * * [progress]: [ 2 / 3 ] generating series at (2) 3.100 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0 3.100 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 3.100 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.100 * [taylor]: Taking taylor expansion of 1.0 in x 3.100 * [taylor]: Taking taylor expansion of (cos x) in x 3.100 * [taylor]: Taking taylor expansion of x in x 3.100 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.100 * [taylor]: Taking taylor expansion of x in x 3.102 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x 3.102 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.103 * [taylor]: Taking taylor expansion of 1.0 in x 3.103 * [taylor]: Taking taylor expansion of (cos x) in x 3.103 * [taylor]: Taking taylor expansion of x in x 3.103 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.103 * [taylor]: Taking taylor expansion of x in x 3.117 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0 3.118 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 3.118 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.118 * [taylor]: Taking taylor expansion of x 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 x in x 3.118 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x 3.118 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.118 * [taylor]: Taking taylor expansion of x 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 x in x 3.130 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0 3.131 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 3.131 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.131 * [taylor]: Taking taylor expansion of 1.0 in x 3.131 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.131 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.131 * [taylor]: Taking taylor expansion of -1 in x 3.131 * [taylor]: Taking taylor expansion of x in x 3.131 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.131 * [taylor]: Taking taylor expansion of x in x 3.131 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x 3.131 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.131 * [taylor]: Taking taylor expansion of 1.0 in x 3.131 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.131 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.131 * [taylor]: Taking taylor expansion of -1 in x 3.131 * [taylor]: Taking taylor expansion of x in x 3.132 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.132 * [taylor]: Taking taylor expansion of x in x 3.141 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 3.141 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in (x) around 0 3.141 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in x 3.141 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.141 * [taylor]: Taking taylor expansion of 1.0 in x 3.141 * [taylor]: Taking taylor expansion of (cos x) in x 3.141 * [taylor]: Taking taylor expansion of x in x 3.141 * [taylor]: Taking taylor expansion of x in x 3.144 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in x 3.144 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 3.144 * [taylor]: Taking taylor expansion of 1.0 in x 3.144 * [taylor]: Taking taylor expansion of (cos x) in x 3.144 * [taylor]: Taking taylor expansion of x in x 3.144 * [taylor]: Taking taylor expansion of x in x 3.160 * [approximate]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in (x) around 0 3.160 * [taylor]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in x 3.160 * [taylor]: Taking taylor expansion of x in x 3.160 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.160 * [taylor]: Taking taylor expansion of 1.0 in x 3.160 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.160 * [taylor]: Taking taylor expansion of x in x 3.161 * [taylor]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in x 3.161 * [taylor]: Taking taylor expansion of x in x 3.161 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 3.161 * [taylor]: Taking taylor expansion of 1.0 in x 3.161 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.161 * [taylor]: Taking taylor expansion of x in x 3.172 * [approximate]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in (x) around 0 3.172 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in x 3.172 * [taylor]: Taking taylor expansion of -1 in x 3.172 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) x) in x 3.172 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.172 * [taylor]: Taking taylor expansion of 1.0 in x 3.172 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.172 * [taylor]: Taking taylor expansion of -1 in x 3.172 * [taylor]: Taking taylor expansion of x in x 3.172 * [taylor]: Taking taylor expansion of x in x 3.172 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in x 3.172 * [taylor]: Taking taylor expansion of -1 in x 3.172 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) x) in x 3.172 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 3.172 * [taylor]: Taking taylor expansion of 1.0 in x 3.172 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.172 * [taylor]: Taking taylor expansion of -1 in x 3.172 * [taylor]: Taking taylor expansion of x in x 3.173 * [taylor]: Taking taylor expansion of x in x 3.187 * * * [progress]: simplifying candidates 3.188 * [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)) (* (/ 1 x) (/ (- 1.0 (cos x)) x)) (+ (- (log x)) (- (log (- 1.0 (cos x))) (log x))) (+ (- (log x)) (log (/ (- 1.0 (cos x)) x))) (+ (- 0 (log x)) (- (log (- 1.0 (cos x))) (log x))) (+ (- 0 (log x)) (log (/ (- 1.0 (cos x)) x))) (+ (- (log 1) (log x)) (- (log (- 1.0 (cos x))) (log x))) (+ (- (log 1) (log x)) (log (/ (- 1.0 (cos x)) x))) (+ (log (/ 1 x)) (- (log (- 1.0 (cos x))) (log x))) (+ (log (/ 1 x)) (log (/ (- 1.0 (cos x)) x))) (log (* (/ 1 x) (/ (- 1.0 (cos x)) x))) (exp (* (/ 1 x) (/ (- 1.0 (cos x)) x))) (* (/ (* (* 1 1) 1) (* (* x x) x)) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* x x) x))) (* (/ (* (* 1 1) 1) (* (* x x) x)) (* (* (/ (- 1.0 (cos x)) x) (/ (- 1.0 (cos x)) x)) (/ (- 1.0 (cos x)) x))) (* (* (* (/ 1 x) (/ 1 x)) (/ 1 x)) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* x x) x))) (* (* (* (/ 1 x) (/ 1 x)) (/ 1 x)) (* (* (/ (- 1.0 (cos x)) x) (/ (- 1.0 (cos x)) x)) (/ (- 1.0 (cos x)) x))) (* (cbrt (* (/ 1 x) (/ (- 1.0 (cos x)) x))) (cbrt (* (/ 1 x) (/ (- 1.0 (cos x)) x)))) (cbrt (* (/ 1 x) (/ (- 1.0 (cos x)) x))) (* (* (* (/ 1 x) (/ (- 1.0 (cos x)) x)) (* (/ 1 x) (/ (- 1.0 (cos x)) x))) (* (/ 1 x) (/ (- 1.0 (cos x)) x))) (sqrt (* (/ 1 x) (/ (- 1.0 (cos x)) x))) (sqrt (* (/ 1 x) (/ (- 1.0 (cos x)) x))) (* 1 (- 1.0 (cos x))) (* x x) (* (sqrt (/ 1 x)) (sqrt (/ (- 1.0 (cos x)) x))) (* (sqrt (/ 1 x)) (sqrt (/ (- 1.0 (cos x)) x))) (* (sqrt (/ 1 x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (sqrt (/ 1 x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ (sqrt 1) (sqrt x)) (sqrt (/ (- 1.0 (cos x)) x))) (* (/ (sqrt 1) (sqrt x)) (sqrt (/ (- 1.0 (cos x)) x))) (* (/ (sqrt 1) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ (sqrt 1) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ 1 (sqrt x)) (sqrt (/ (- 1.0 (cos x)) x))) (* (/ 1 (sqrt x)) (sqrt (/ (- 1.0 (cos x)) x))) (* (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ 1 (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ 1 x) (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x)))) (* (/ 1 x) (sqrt (/ (- 1.0 (cos x)) x))) (* (/ 1 x) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))) (* (/ 1 x) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x))) (* (/ 1 x) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1)) (* (/ 1 x) (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))) (* (/ 1 x) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (/ 1 x) (/ (sqrt (- 1.0 (cos x))) 1)) (* (/ 1 x) (/ 1 (* (cbrt x) (cbrt x)))) (* (/ 1 x) (/ 1 (sqrt x))) (* (/ 1 x) (/ 1 1)) (* (/ 1 x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x)))) (* (/ 1 x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x))) (* (/ 1 x) (/ (+ (sqrt 1.0) (sqrt (cos x))) 1)) (* (/ 1 x) (/ 1 (* (cbrt x) (cbrt x)))) (* (/ 1 x) (/ 1 (sqrt x))) (* (/ 1 x) (/ 1 1)) (* (/ 1 x) 1) (* (/ 1 x) (- 1.0 (cos x))) (* (cbrt (/ 1 x)) (/ (- 1.0 (cos x)) x)) (* (sqrt (/ 1 x)) (/ (- 1.0 (cos x)) x)) (* (/ (cbrt 1) (cbrt x)) (/ (- 1.0 (cos x)) x)) (* (/ (cbrt 1) (sqrt x)) (/ (- 1.0 (cos x)) x)) (* (/ (cbrt 1) x) (/ (- 1.0 (cos x)) x)) (* (/ (sqrt 1) (cbrt x)) (/ (- 1.0 (cos x)) x)) (* (/ (sqrt 1) (sqrt x)) (/ (- 1.0 (cos x)) x)) (* (/ (sqrt 1) x) (/ (- 1.0 (cos x)) x)) (* (/ 1 (cbrt x)) (/ (- 1.0 (cos x)) x)) (* (/ 1 (sqrt x)) (/ (- 1.0 (cos x)) x)) (* (/ 1 x) (/ (- 1.0 (cos x)) x)) (* (/ 1 x) (/ (- 1.0 (cos x)) x)) (* (/ 1 x) (/ (- 1.0 (cos x)) x)) (* (/ 1 x) (- 1.0 (cos x))) (* 1 (/ (- 1.0 (cos x)) 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))) (- (+ (* 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/2 x) (* 1/720 (pow x 5))) (* 1/24 (pow x 3))) (/ (- 1.0 (cos x)) x) (* -1 (/ (- (cos x) 1.0) x)) 3.193 * * [simplify]: iteration 0 : 189 enodes (cost 1536 ) 3.246 * * [simplify]: iteration 1 : 519 enodes (cost 1379 ) 3.401 * * [simplify]: iteration 2 : 1542 enodes (cost 1227 ) 4.033 * * [simplify]: iteration done : 5000 enodes (cost 1227 ) 4.034 * [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)) (/ (- 1.0 (cos x)) (pow x 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)) (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) (sqrt (/ (/ (- 1.0 (cos x)) x) x)) (sqrt (/ (/ (- 1.0 (cos x)) x) x)) (- 1.0 (cos x)) (* x x) (* (sqrt (/ 1 x)) (sqrt (/ (- 1.0 (cos x)) x))) (* (sqrt (/ 1 x)) (sqrt (/ (- 1.0 (cos x)) x))) (* (sqrt (/ 1 x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (* (sqrt (/ 1 x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x))) (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x)) (/ (sqrt (/ (- 1.0 (cos x)) 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)) x)) (sqrt x)) (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x)) (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) x) (/ (sqrt (/ (- 1.0 (cos x)) x)) x) (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x) (* (cbrt x) (cbrt x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (sqrt x) x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (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) (/ (/ 1 x) (* (cbrt x) (cbrt x))) (/ (/ 1 x) (sqrt x)) (/ 1 x) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) x) (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) x) (/ (+ (sqrt (cos x)) (sqrt 1.0)) x) (/ (/ 1 x) (* (cbrt x) (cbrt x))) (/ (/ 1 x) (sqrt x)) (/ 1 x) (/ 1 x) (/ (- 1.0 (cos x)) x) (* (cbrt (/ 1 x)) (/ (- 1.0 (cos x)) x)) (* (sqrt (/ 1 x)) (/ (- 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)) x) (cbrt x)) (/ (/ (- 1.0 (cos x)) x) (sqrt x)) (/ (- 1.0 (cos x)) (pow x 2)) (/ (/ (- 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)) (/ (- 1.0 (cos x)) (pow x 2)) (/ (- 1.0 (cos x)) x) (/ (- 1.0 (cos x)) 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 1.0) (sqrt (cos x))) (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))) (- (+ (* 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/2 x) (* 1/720 (pow x 5))) (* 1/24 (pow x 3))) (/ (- 1.0 (cos x)) x) (- (/ (- (cos x) 1.0) x)) 4.035 * * * [progress]: adding candidates to table 4.240 * * [progress]: iteration 4 / 4 4.240 * * * [progress]: picking best candidate 4.253 * * * * [pick]: Picked # 4.253 * * * [progress]: localizing error 4.269 * * * [progress]: generating rewritten candidates 4.269 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 4.287 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 4.288 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2) 4.291 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 4.303 * * * [progress]: generating series expansions 4.303 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 4.304 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0 4.304 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 4.304 * [taylor]: Taking taylor expansion of 1.0 in x 4.304 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.304 * [taylor]: Taking taylor expansion of (cos x) in x 4.304 * [taylor]: Taking taylor expansion of x in x 4.304 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 4.304 * [taylor]: Taking taylor expansion of 1.0 in x 4.304 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.304 * [taylor]: Taking taylor expansion of (cos x) in x 4.304 * [taylor]: Taking taylor expansion of x in x 4.324 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0 4.324 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 4.324 * [taylor]: Taking taylor expansion of 1.0 in x 4.324 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) 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.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.337 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0 4.337 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 4.337 * [taylor]: Taking taylor expansion of 1.0 in x 4.337 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.337 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.337 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.337 * [taylor]: Taking taylor expansion of -1 in x 4.337 * [taylor]: Taking taylor expansion of x in x 4.337 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 4.338 * [taylor]: Taking taylor expansion of 1.0 in x 4.338 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.338 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.338 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.338 * [taylor]: Taking taylor expansion of -1 in x 4.338 * [taylor]: Taking taylor expansion of x in x 4.350 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 4.350 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0 4.350 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.350 * [taylor]: Taking taylor expansion of (cos x) in x 4.350 * [taylor]: Taking taylor expansion of x in x 4.350 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 4.350 * [taylor]: Taking taylor expansion of (cos x) in x 4.350 * [taylor]: Taking taylor expansion of x in x 4.362 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0 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 x in x 4.363 * [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 x in x 4.372 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0 4.372 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.372 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.372 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.372 * [taylor]: Taking taylor expansion of -1 in x 4.372 * [taylor]: Taking taylor expansion of x in x 4.372 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 4.372 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.372 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.372 * [taylor]: Taking taylor expansion of -1 in x 4.372 * [taylor]: Taking taylor expansion of x in x 4.381 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2) 4.381 * [approximate]: Taking taylor expansion of (+ (cos x) 1.0) in (x) around 0 4.381 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x 4.381 * [taylor]: Taking taylor expansion of (cos x) in x 4.381 * [taylor]: Taking taylor expansion of x in x 4.381 * [taylor]: Taking taylor expansion of 1.0 in x 4.381 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x 4.381 * [taylor]: Taking taylor expansion of (cos x) in x 4.381 * [taylor]: Taking taylor expansion of x in x 4.381 * [taylor]: Taking taylor expansion of 1.0 in x 4.386 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0 4.386 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 4.386 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.386 * [taylor]: Taking taylor expansion of x in x 4.386 * [taylor]: Taking taylor expansion of 1.0 in x 4.386 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 4.386 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.386 * [taylor]: Taking taylor expansion of x in x 4.387 * [taylor]: Taking taylor expansion of 1.0 in x 4.388 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0 4.388 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 4.388 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.389 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.389 * [taylor]: Taking taylor expansion of -1 in x 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [taylor]: Taking taylor expansion of 1.0 in x 4.389 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 4.389 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.389 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.389 * [taylor]: Taking taylor expansion of -1 in x 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [taylor]: Taking taylor expansion of 1.0 in x 4.391 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 4.391 * [approximate]: Taking taylor expansion of (* (+ (cos x) 1.0) (cos x)) in (x) around 0 4.391 * [taylor]: Taking taylor expansion of (* (+ (cos x) 1.0) (cos x)) in x 4.391 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x 4.391 * [taylor]: Taking taylor expansion of (cos x) in x 4.391 * [taylor]: Taking taylor expansion of x in x 4.391 * [taylor]: Taking taylor expansion of 1.0 in x 4.391 * [taylor]: Taking taylor expansion of (cos x) in x 4.391 * [taylor]: Taking taylor expansion of x in x 4.391 * [taylor]: Taking taylor expansion of (* (+ (cos x) 1.0) (cos x)) in x 4.391 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x 4.391 * [taylor]: Taking taylor expansion of (cos x) in x 4.391 * [taylor]: Taking taylor expansion of x in x 4.391 * [taylor]: Taking taylor expansion of 1.0 in x 4.391 * [taylor]: Taking taylor expansion of (cos x) in x 4.391 * [taylor]: Taking taylor expansion of x in x 4.403 * [approximate]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in (x) around 0 4.403 * [taylor]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in x 4.403 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 4.403 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.403 * [taylor]: Taking taylor expansion of x in x 4.403 * [taylor]: Taking taylor expansion of 1.0 in x 4.403 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.403 * [taylor]: Taking taylor expansion of x in x 4.404 * [taylor]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in x 4.404 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 4.404 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.404 * [taylor]: Taking taylor expansion of x in x 4.404 * [taylor]: Taking taylor expansion of 1.0 in x 4.404 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.404 * [taylor]: Taking taylor expansion of x in x 4.410 * [approximate]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in (x) around 0 4.410 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in x 4.410 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.410 * [taylor]: Taking taylor expansion of -1 in x 4.410 * [taylor]: Taking taylor expansion of x in x 4.410 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 4.411 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.411 * [taylor]: Taking taylor expansion of -1 in x 4.411 * [taylor]: Taking taylor expansion of x in x 4.411 * [taylor]: Taking taylor expansion of 1.0 in x 4.411 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in x 4.411 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.411 * [taylor]: Taking taylor expansion of -1 in x 4.411 * [taylor]: Taking taylor expansion of x in x 4.411 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 4.411 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.411 * [taylor]: Taking taylor expansion of -1 in x 4.411 * [taylor]: Taking taylor expansion of x in x 4.412 * [taylor]: Taking taylor expansion of 1.0 in x 4.417 * * * [progress]: simplifying candidates 4.419 * [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)) (* (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)) (* (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)) (* (cos x) (+ 1.0 (cos x))) (+ (log (cos x)) (log (+ 1.0 (cos x)))) (log (* (cos x) (+ 1.0 (cos x)))) (exp (* (cos x) (+ 1.0 (cos x)))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (+ 1.0 (cos x)) (+ 1.0 (cos x))) (+ 1.0 (cos x)))) (* (cbrt (* (cos x) (+ 1.0 (cos x)))) (cbrt (* (cos x) (+ 1.0 (cos x))))) (cbrt (* (cos x) (+ 1.0 (cos x)))) (* (* (* (cos x) (+ 1.0 (cos x))) (* (cos x) (+ 1.0 (cos x)))) (* (cos x) (+ 1.0 (cos x)))) (sqrt (* (cos x) (+ 1.0 (cos x)))) (sqrt (* (cos x) (+ 1.0 (cos x)))) (* (sqrt (cos x)) (sqrt (+ 1.0 (cos x)))) (* (sqrt (cos x)) (sqrt (+ 1.0 (cos x)))) (* (cos x) 1.0) (* (cos x) (cos x)) (* 1.0 (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x))))) (* (cos x) (sqrt (+ 1.0 (cos x)))) (* (cos x) 1) (* (cos x) 1) (* (cbrt (cos x)) (+ 1.0 (cos x))) (* (sqrt (cos x)) (+ 1.0 (cos x))) (* (cos x) (+ 1.0 (cos x))) (* (cos x) (+ (pow 1.0 3) (pow (cos x) 3))) (* (cos x) (- (* 1.0 1.0) (* (cos x) (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)) (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2))) (pow (cos x) 3) (pow (cos x) 3) (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2))) (+ 1.0 (cos x)) (+ 1.0 (cos x)) (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2))) (* (+ 1.0 (cos x)) (cos x)) (* (+ 1.0 (cos x)) (cos x)) 4.423 * * [simplify]: iteration 0 : 145 enodes (cost 1155 ) 4.460 * * [simplify]: iteration 1 : 346 enodes (cost 1045 ) 4.587 * * [simplify]: iteration 2 : 1371 enodes (cost 992 ) 5.031 * * [simplify]: iteration done : 5000 enodes (cost 992 ) 5.032 * [simplify]: Simplified to: (exp (- (pow 1.0 3) (pow (cos x) 3))) (log (- (pow 1.0 3) (pow (cos x) 3))) (exp (- (pow 1.0 3) (pow (cos x) 3))) (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (pow (- (pow 1.0 3) (pow (cos x) 3)) 3) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ 1.0 (cos x))) (* 1.0 1.0)) (- 1.0 (cos x)) (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3)) (+ (* (pow (cos x) 3) (+ (pow 1.0 3) (pow (cos x) 3))) (pow 1.0 6)) (- (pow (cos x) 3)) (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3))) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt (cos x)) 3) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow (cos x) 3)) (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) (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)) (+ (* 1.0 1.0) (* (cos x) (- (cos x) 1.0))) (- (* 1.0 1.0) (pow (cos x) 2)) (- 1.0 (cos x)) (+ 1.0 (cos x)) (* (+ 1.0 (cos x)) (cos x)) (log (* (cos x) (+ 1.0 (cos x)))) (log (* (cos x) (+ 1.0 (cos x)))) (exp (* (cos x) (+ 1.0 (cos x)))) (* (pow (+ 1.0 (cos x)) 3) (pow (cos x) 3)) (* (cbrt (* (cos x) (+ 1.0 (cos x)))) (cbrt (* (cos x) (+ 1.0 (cos x))))) (cbrt (* (cos x) (+ 1.0 (cos x)))) (* (pow (+ 1.0 (cos x)) 3) (pow (cos x) 3)) (sqrt (* (cos x) (+ 1.0 (cos x)))) (sqrt (* (cos x) (+ 1.0 (cos x)))) (* (sqrt (cos x)) (sqrt (+ 1.0 (cos x)))) (* (sqrt (cos x)) (sqrt (+ 1.0 (cos x)))) (* (cos x) 1.0) (pow (cos x) 2) (* (cos x) 1.0) (pow (cos x) 2) (* (cos x) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x))))) (* (cos x) (sqrt (+ 1.0 (cos x)))) (cos x) (cos x) (* (cbrt (cos x)) (+ 1.0 (cos x))) (* (sqrt (cos x)) (+ 1.0 (cos x))) (* (+ 1.0 (cos x)) (cos x)) (* (cos x) (+ (pow 1.0 3) (pow (cos x) 3))) (* (- (* 1.0 1.0) (pow (cos x) 2)) (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)) (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2))) (pow (cos x) 3) (pow (cos x) 3) (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2))) (+ 1.0 (cos x)) (+ 1.0 (cos x)) (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2))) (* (+ 1.0 (cos x)) (cos x)) (* (+ 1.0 (cos x)) (cos x)) 5.032 * * * [progress]: adding candidates to table 5.270 * [progress]: [Phase 3 of 3] Extracting. 5.270 * * [regime]: Finding splitpoints for: (# # # # # # #) 5.271 * * * [regime-changes]: Trying 1 branch expressions: (x) 5.271 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 5.309 * * * [regime]: Found split indices: #