10.780 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.156 * * * [progress]: [2/2] Setting up program. 0.160 * [progress]: [Phase 2 of 3] Improving. 0.160 * [simplify]: Simplifying using # : (/ (- 1.0 (cos x)) (sin x)) 0.162 * * [simplify]: iteration 0 : 11 enodes (cost 4 ) 0.163 * * [simplify]: iteration 1 : 14 enodes (cost 4 ) 0.164 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 0.166 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 0.166 * [simplify]: Simplified to: (/ (- 1.0 (cos x)) (sin x)) 0.166 * * [progress]: iteration 1 / 4 0.166 * * * [progress]: picking best candidate 0.170 * * * * [pick]: Picked # 0.170 * * * [progress]: localizing error 0.182 * * * [progress]: generating rewritten candidates 0.182 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.185 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.196 * * * [progress]: generating series expansions 0.196 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.196 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.196 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.196 * [taylor]: Taking taylor expansion of 1.0 in x 0.196 * [taylor]: Taking taylor expansion of (cos x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.196 * [taylor]: Taking taylor expansion of 1.0 in x 0.196 * [taylor]: Taking taylor expansion of (cos x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.197 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.197 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.197 * [taylor]: Taking taylor expansion of 1.0 in x 0.197 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.197 * [taylor]: Taking taylor expansion of 1.0 in x 0.197 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.198 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 0.198 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.198 * [taylor]: Taking taylor expansion of 1.0 in x 0.198 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.198 * [taylor]: Taking taylor expansion of -1 in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.198 * [taylor]: Taking taylor expansion of 1.0 in x 0.198 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.198 * [taylor]: Taking taylor expansion of -1 in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.198 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0 0.198 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 0.198 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.198 * [taylor]: Taking taylor expansion of 1.0 in x 0.198 * [taylor]: Taking taylor expansion of (cos x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (sin x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 0.199 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.199 * [taylor]: Taking taylor expansion of 1.0 in x 0.199 * [taylor]: Taking taylor expansion of (cos x) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of (sin x) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.200 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0 0.200 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of 1.0 in x 0.200 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of 1.0 in x 0.200 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.203 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0 0.203 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 0.203 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.203 * [taylor]: Taking taylor expansion of 1.0 in x 0.203 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.203 * [taylor]: Taking taylor expansion of -1 in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.203 * [taylor]: Taking taylor expansion of -1 in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 0.203 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.203 * [taylor]: Taking taylor expansion of 1.0 in x 0.203 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.203 * [taylor]: Taking taylor expansion of -1 in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.203 * [taylor]: Taking taylor expansion of -1 in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.205 * * * [progress]: simplifying candidates 0.207 * [simplify]: Simplifying using # : (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))) (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x))))) (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cos x) 1))) (fma (- (cos x)) 1 (* (cos x) 1)) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))) (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x))))) (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cos x) 1))) (fma (- (cos x)) 1 (* (cos x) 1)) (fma 1 1.0 (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))) (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))) (fma 1 1.0 (- (* (sqrt (cos x)) (sqrt (cos x))))) (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))) (fma 1 1.0 (- (* (cos x) 1))) (fma (- (cos x)) 1 (* (cos x) 1)) (expm1 (- 1.0 (cos x))) (log1p (- 1.0 (cos x))) (- (cos x)) (- (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)) (expm1 (/ (- 1.0 (cos x)) (sin x))) (log1p (/ (- 1.0 (cos x)) (sin x))) (- (log (- 1.0 (cos x))) (log (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (* (* (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x))) (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (- (- 1.0 (cos x))) (- (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) 1) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ 1 1) (/ (- 1.0 (cos x)) (sin x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ 1 1) (/ (- 1.0 (cos x)) (sin x)) (/ 1 (sin x)) (/ (sin x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ (- 1.0 (cos x)) 1) (/ (sin x) (cbrt (- 1.0 (cos x)))) (/ (sin x) (sqrt (- 1.0 (cos x)))) (/ (sin x) (- 1.0 (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (sin x) (- 1.0 (cos x))) (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (* (sin x) (+ 1.0 (cos x))) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) 0.211 * * [simplify]: iteration 0 : 292 enodes (cost 569 ) 0.216 * * [simplify]: iteration 1 : 965 enodes (cost 460 ) 0.236 * * [simplify]: iteration 2 : 5002 enodes (cost 460 ) 0.239 * [simplify]: Simplified to: (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (cos x)) (fma (- (cos x)) 1 (cos x)) (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (cos x)) (fma (- (cos x)) 1 (cos x)) (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (cos x)) (fma (- (cos x)) 1 (cos x)) (- 1.0 (cos x)) (fma (- (cos x)) 1 (cos x)) (- 1.0 (cos x)) (fma (- (cos x)) 1 (cos x)) (- 1.0 (cos x)) (fma (- (cos x)) 1 (cos x)) (- 1.0 (cos x)) (fma (- (cos x)) 1 (cos x)) (- 1.0 (cos x)) (fma (- (cos x)) 1 (cos x)) (- 1.0 (cos x)) (fma (- (cos x)) 1 (cos x)) (expm1 (- 1.0 (cos x))) (log1p (- 1.0 (cos x))) (- (cos x)) (- (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)) (fma (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)) (expm1 (/ (- 1.0 (cos x)) (sin x))) (log1p (/ (- 1.0 (cos x)) (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (- (- 1.0 (cos x))) (- (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (sqrt (- 1.0 (cos x))) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) 1 (/ (- 1.0 (cos x)) (sin x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (+ (sqrt 1.0) (sqrt (cos x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) 1 (/ (- 1.0 (cos x)) (sin x)) (/ 1 (sin x)) (/ (sin x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (- 1.0 (cos x)) (/ (sin x) (cbrt (- 1.0 (cos x)))) (/ (sin x) (sqrt (- 1.0 (cos x)))) (/ (sin x) (- 1.0 (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (sin x) (- 1.0 (cos x))) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)) (* (sin x) (+ 1.0 (cos x))) (fma (pow x 2) 1/2 (- (* 1/720 (pow x 6)) (* 1/24 (pow x 4)))) (- 1.0 (cos x)) (- 1.0 (cos x)) (fma 1/24 (pow x 3) (fma 1/240 (pow x 5) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) 0.239 * * * [progress]: adding candidates to table 0.561 * * [progress]: iteration 2 / 4 0.561 * * * [progress]: picking best candidate 0.633 * * * * [pick]: Picked # 0.633 * * * [progress]: localizing error 0.651 * * * [progress]: generating rewritten candidates 0.651 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.671 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 3) 0.672 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.673 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.688 * * * [progress]: generating series expansions 0.688 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.688 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0 0.688 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 0.688 * [taylor]: Taking taylor expansion of 1.0 in x 0.688 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.688 * [taylor]: Taking taylor expansion of (cos x) in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 0.688 * [taylor]: Taking taylor expansion of 1.0 in x 0.688 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.688 * [taylor]: Taking taylor expansion of (cos x) in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.690 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0 0.690 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 0.690 * [taylor]: Taking taylor expansion of 1.0 in x 0.690 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.690 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.690 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 0.690 * [taylor]: Taking taylor expansion of 1.0 in x 0.690 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.690 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.693 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0 0.693 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 0.693 * [taylor]: Taking taylor expansion of 1.0 in x 0.693 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.693 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.693 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.693 * [taylor]: Taking taylor expansion of -1 in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 0.693 * [taylor]: Taking taylor expansion of 1.0 in x 0.693 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.693 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.693 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.693 * [taylor]: Taking taylor expansion of -1 in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.695 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 3) 0.695 * [approximate]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in (x) around 0 0.695 * [taylor]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in x 0.696 * [taylor]: Rewrote expression to (+ (* (cos x) (cos x)) (* 1.0 (cos x))) 0.696 * [taylor]: Taking taylor expansion of (* (cos x) (cos x)) in x 0.696 * [taylor]: Taking taylor expansion of (cos x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (cos x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 0.696 * [taylor]: Taking taylor expansion of 1.0 in x 0.696 * [taylor]: Taking taylor expansion of (cos x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in x 0.696 * [taylor]: Rewrote expression to (+ (* (cos x) (cos x)) (* 1.0 (cos x))) 0.696 * [taylor]: Taking taylor expansion of (* (cos x) (cos x)) in x 0.696 * [taylor]: Taking taylor expansion of (cos x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (cos x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 0.696 * [taylor]: Taking taylor expansion of 1.0 in x 0.696 * [taylor]: Taking taylor expansion of (cos x) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.697 * [approximate]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in (x) around 0 0.697 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in x 0.697 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 x)) (cos (/ 1 x))) (* 1.0 (cos (/ 1 x)))) 0.697 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (cos (/ 1 x))) in x 0.697 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 0.697 * [taylor]: Taking taylor expansion of 1.0 in x 0.697 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in x 0.698 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 x)) (cos (/ 1 x))) (* 1.0 (cos (/ 1 x)))) 0.698 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (cos (/ 1 x))) in x 0.698 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 0.698 * [taylor]: Taking taylor expansion of 1.0 in x 0.698 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.700 * [approximate]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in (x) around 0 0.700 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in x 0.700 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 x)) (cos (/ -1 x))) (* 1.0 (cos (/ -1 x)))) 0.700 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (cos (/ -1 x))) in x 0.700 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.700 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.700 * [taylor]: Taking taylor expansion of -1 in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.700 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.700 * [taylor]: Taking taylor expansion of -1 in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 0.700 * [taylor]: Taking taylor expansion of 1.0 in x 0.700 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.700 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.701 * [taylor]: Taking taylor expansion of -1 in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in x 0.701 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 x)) (cos (/ -1 x))) (* 1.0 (cos (/ -1 x)))) 0.701 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (cos (/ -1 x))) in x 0.701 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.701 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.701 * [taylor]: Taking taylor expansion of -1 in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.701 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.701 * [taylor]: Taking taylor expansion of -1 in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 0.701 * [taylor]: Taking taylor expansion of 1.0 in x 0.701 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.701 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.701 * [taylor]: Taking taylor expansion of -1 in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.706 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.706 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0 0.706 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.706 * [taylor]: Taking taylor expansion of (cos x) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.706 * [taylor]: Taking taylor expansion of (cos x) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.707 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0 0.707 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.707 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.707 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.709 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0 0.709 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.709 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.709 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.709 * [taylor]: Taking taylor expansion of -1 in x 0.709 * [taylor]: Taking taylor expansion of x in x 0.709 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.709 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.709 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.709 * [taylor]: Taking taylor expansion of -1 in x 0.709 * [taylor]: Taking taylor expansion of x in x 0.711 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.712 * [approximate]: Taking taylor expansion of (* (sin x) (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) in (x) around 0 0.712 * [taylor]: Taking taylor expansion of (* (sin x) (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) in x 0.712 * [taylor]: Taking taylor expansion of (sin x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) in x 0.712 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (fma (cos x) (cos x) (* 1.0 (cos x)))) 0.712 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 0.712 * [taylor]: Taking taylor expansion of 1.0 in x 0.712 * [taylor]: Taking taylor expansion of 1.0 in x 0.712 * [taylor]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in x 0.712 * [taylor]: Rewrote expression to (+ (* (cos x) (cos x)) (* 1.0 (cos x))) 0.712 * [taylor]: Taking taylor expansion of (* (cos x) (cos x)) in x 0.712 * [taylor]: Taking taylor expansion of (cos x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (cos x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 0.712 * [taylor]: Taking taylor expansion of 1.0 in x 0.712 * [taylor]: Taking taylor expansion of (cos x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (* (sin x) (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) in x 0.712 * [taylor]: Taking taylor expansion of (sin x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) in x 0.712 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (fma (cos x) (cos x) (* 1.0 (cos x)))) 0.712 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 0.712 * [taylor]: Taking taylor expansion of 1.0 in x 0.712 * [taylor]: Taking taylor expansion of 1.0 in x 0.712 * [taylor]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in x 0.712 * [taylor]: Rewrote expression to (+ (* (cos x) (cos x)) (* 1.0 (cos x))) 0.712 * [taylor]: Taking taylor expansion of (* (cos x) (cos x)) in x 0.712 * [taylor]: Taking taylor expansion of (cos x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (cos x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 0.712 * [taylor]: Taking taylor expansion of 1.0 in x 0.713 * [taylor]: Taking taylor expansion of (cos x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.715 * [approximate]: Taking taylor expansion of (* (fma 1.0 1.0 (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x))))) (sin (/ 1 x))) in (x) around 0 0.715 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x))))) (sin (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x))))) in x 0.715 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x))))) 0.715 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 0.715 * [taylor]: Taking taylor expansion of 1.0 in x 0.715 * [taylor]: Taking taylor expansion of 1.0 in x 0.715 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in x 0.715 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 x)) (cos (/ 1 x))) (* 1.0 (cos (/ 1 x)))) 0.715 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (cos (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of 1.0 in x 0.715 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x))))) (sin (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x))))) in x 0.716 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x))))) 0.716 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 0.716 * [taylor]: Taking taylor expansion of 1.0 in x 0.716 * [taylor]: Taking taylor expansion of 1.0 in x 0.716 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in x 0.716 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 x)) (cos (/ 1 x))) (* 1.0 (cos (/ 1 x)))) 0.716 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (cos (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of 1.0 in x 0.716 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.720 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (fma 1.0 1.0 (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))))) in (x) around 0 0.720 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (fma 1.0 1.0 (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))))) in x 0.720 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.720 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.720 * [taylor]: Taking taylor expansion of -1 in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x))))) in x 0.720 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x))))) 0.720 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 0.720 * [taylor]: Taking taylor expansion of 1.0 in x 0.720 * [taylor]: Taking taylor expansion of 1.0 in x 0.720 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in x 0.720 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 x)) (cos (/ -1 x))) (* 1.0 (cos (/ -1 x)))) 0.720 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (cos (/ -1 x))) in x 0.720 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.720 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.720 * [taylor]: Taking taylor expansion of -1 in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.721 * [taylor]: Taking taylor expansion of -1 in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 0.721 * [taylor]: Taking taylor expansion of 1.0 in x 0.721 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.721 * [taylor]: Taking taylor expansion of -1 in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (fma 1.0 1.0 (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))))) in x 0.721 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.721 * [taylor]: Taking taylor expansion of -1 in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x))))) in x 0.721 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x))))) 0.721 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 0.721 * [taylor]: Taking taylor expansion of 1.0 in x 0.721 * [taylor]: Taking taylor expansion of 1.0 in x 0.721 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in x 0.721 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 x)) (cos (/ -1 x))) (* 1.0 (cos (/ -1 x)))) 0.721 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (cos (/ -1 x))) in x 0.721 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.721 * [taylor]: Taking taylor expansion of -1 in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.721 * [taylor]: Taking taylor expansion of -1 in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 0.721 * [taylor]: Taking taylor expansion of 1.0 in x 0.721 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.722 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.722 * [taylor]: Taking taylor expansion of -1 in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.725 * * * [progress]: simplifying candidates 0.730 * [simplify]: Simplifying using # : (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (pow 1 3) (pow 1.0 3) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (pow 1 3) (pow 1.0 3) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (* 1.0 1.0) 1.0 (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (* 1.0 1.0) 1.0 (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (* 1.0 1.0) 1.0 (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (* 1.0 1.0) 1.0 (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (* 1.0 1.0) 1.0 (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (* 1.0 1.0) 1.0 (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (* 1.0 1.0) 1.0 (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (* 1.0 1.0) 1.0 (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (* 1.0 1.0) 1.0 (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (* 1.0 1.0) 1.0 (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (* 1.0 1.0) 1.0 (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (* 1.0 1.0) 1.0 (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (pow 1 3) (pow 1.0 3) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow 1 3) (pow 1.0 3) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (pow 1 3) (pow 1.0 3) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (pow 1 3) (pow 1.0 3) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma 1.0 (* 1.0 1.0) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma 1.0 (* 1.0 1.0) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma 1.0 (* 1.0 1.0) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma 1.0 (* 1.0 1.0) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma 1.0 (* 1.0 1.0) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma 1.0 (* 1.0 1.0) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma 1.0 (* 1.0 1.0) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma 1.0 (* 1.0 1.0) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma 1.0 (* 1.0 1.0) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma 1.0 (* 1.0 1.0) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma 1.0 (* 1.0 1.0) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma 1.0 (* 1.0 1.0) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma 1 (pow 1.0 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma 1 (pow 1.0 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma 1 (pow 1.0 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma 1 (pow 1.0 3) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma 1 (pow 1.0 3) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma 1 (pow 1.0 3) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma 1 (pow 1.0 3) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma 1 (pow 1.0 3) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma 1 (pow 1.0 3) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma 1 (pow 1.0 3) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma 1 (pow 1.0 3) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma 1 (pow 1.0 3) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (cos x) (* (cos x) (cos x))))) (fma (- (cos x)) (* (cos x) (cos x)) (* (cos x) (* (cos x) (cos x)))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))))) (fma (- (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (* (cbrt (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)))) (fma (- (pow (cbrt (cos x)) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (* (pow (cbrt (cos x)) 3) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3)))) (fma (- (pow (sqrt (cos x)) 3)) (pow (sqrt (cos x)) 3) (* (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (cos x) 3) (pow 1 3)))) (fma (- (pow (cos x) 3)) (pow 1 3) (* (pow (cos x) 3) (pow 1 3))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (* (cos x) (cos x)) (cos x)))) (fma (- (* (cos x) (cos x))) (cos x) (* (* (cos x) (cos x)) (cos x))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3))))) (fma (- (sqrt (pow (cos x) 3))) (sqrt (pow (cos x) 3)) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (cos x) 3) 1))) (fma (- (pow (cos x) 3)) 1 (* (pow (cos x) 3) 1)) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2))))) (fma (- (pow (cos x) (/ 3 2))) (pow (cos x) (/ 3 2)) (* (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)))) (expm1 (- (pow 1.0 3) (pow (cos x) 3))) (log1p (- (pow 1.0 3) (pow (cos x) 3))) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (/ (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)) (expm1 (fma (cos x) (cos x) (* 1.0 (cos x)))) (log1p (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (cos x) (cos x)) (log (fma (cos x) (cos x) (* 1.0 (cos x)))) (exp (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x))))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (* (fma (cos x) (cos x) (* 1.0 (cos x))) (fma (cos x) (cos x) (* 1.0 (cos x)))) (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (expm1 (pow (cos x) 3)) (log1p (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)) (expm1 (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (log1p (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)) (+ (log (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (log (sin x))) (log (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (exp (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (* (* (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (cbrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)))) (cbrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (* (* (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (sqrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (sqrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (* (sqrt (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (sqrt (sin x))) (* (sqrt (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (sqrt (sin x))) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (sin x))) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) 1) (* (cbrt (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (sin x)) (* (sqrt (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (sin x)) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin 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) (- (+ (* 3.0 x) (* 0.65 (pow x 5))) (* 2.0 (pow x 3))) (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) 0.745 * * [simplify]: iteration 0 : 616 enodes (cost 2913 ) 0.755 * * [simplify]: iteration 1 : 2153 enodes (cost 1995 ) 0.818 * * [simplify]: iteration 2 : 5002 enodes (cost 1966 ) 0.828 * [simplify]: Simplified to: (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (expm1 (- (pow 1.0 3) (pow (cos x) 3))) (log1p (- (pow 1.0 3) (pow (cos x) 3))) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (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))) (fma 1.0 1.0 (* (cos x) (+ (cos x) 1.0))) (- 1.0 (cos x)) (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3)) (fma (pow (cos x) 3) (+ (pow 1.0 3) (pow (cos x) 3)) (pow 1.0 6)) (- (pow (cos x) 3)) (fma (- (pow (cos x) 3)) (pow (cos x) 3) (pow 1.0 6)) (+ (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (fma 1.0 (sqrt 1.0) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (fma 1.0 (sqrt 1.0) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (fma 1.0 (sqrt 1.0) (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)) (expm1 (fma (cos x) (cos x) (* 1.0 (cos x)))) (log1p (fma (cos x) (cos x) (* 1.0 (cos x)))) (pow (cos x) 2) (log (fma (cos x) (cos x) (* 1.0 (cos x)))) (pow (exp (cos x)) (+ (cos x) 1.0)) (* (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x))))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (pow (* (cos x) (+ (cos x) 1.0)) 3) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (expm1 (pow (cos x) 3)) (log1p (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 (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) (expm1 (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (log1p (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)) (log (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (log (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (pow (exp (sin x)) (fma 1.0 1.0 (* (cos x) (+ (cos x) 1.0)))) (pow (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)) 3) (* (cbrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (cbrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)))) (cbrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (pow (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)) 3) (sqrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (sqrt (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x))) (* (sqrt (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (sqrt (sin x))) (* (sqrt (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (sqrt (sin x))) (* (cbrt (sin x)) (* (cbrt (sin x)) (fma 1.0 1.0 (* (cos x) (+ (cos x) 1.0))))) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (sin x))) (fma 1.0 1.0 (* (cos x) (+ (cos x) 1.0))) (* (cbrt (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (sin x)) (* (sqrt (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x))))) (sin x)) (* (fma 1.0 1.0 (fma (cos x) (cos x) (* 1.0 (cos x)))) (sin x)) (fma (pow x 2) 3/2 (- (* 61/240 (pow x 6)) (* 7/8 (pow x 4)))) (- 1.0 (pow (cos x) 3)) (- 1.0 (pow (cos x) 3)) (fma (pow x 4) 0.375 (- 2.0 (* 1.5 (pow x 2)))) (* (cos x) (+ (cos x) 1.0)) (* (cos x) (+ (cos x) 1.0)) (fma (pow x 4) 7/8 (- 1 (* 3/2 (pow x 2)))) (pow (cos x) 3) (pow (cos x) 3) (fma x 3.0 (- (* 0.65 (pow x 5)) (* 2.0 (pow x 3)))) (* (sin x) (+ 1.0 (* (cos x) (+ (cos x) 1.0)))) (* (sin x) (+ 1.0 (* (cos x) (+ (cos x) 1.0)))) 0.830 * * * [progress]: adding candidates to table 1.641 * * [progress]: iteration 3 / 4 1.641 * * * [progress]: picking best candidate 1.761 * * * * [pick]: Picked # 1.762 * * * [progress]: localizing error 1.783 * * * [progress]: generating rewritten candidates 1.783 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.796 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.796 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 3) 1.796 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 1.801 * * * [progress]: generating series expansions 1.801 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.801 * [approximate]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos x) 3)))) in (x) around 0 1.801 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos x) 3)))) in x 1.801 * [taylor]: Taking taylor expansion of 1.0 in x 1.801 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos x) 3))) in x 1.801 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos x) 3)))) 1.801 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos x) 3))) in x 1.801 * [taylor]: Taking taylor expansion of 1 in x 1.801 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 1.802 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 1.802 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 1.802 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.802 * [taylor]: Taking taylor expansion of (cos x) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of 1 in x 1.802 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos x) 3)))) in x 1.802 * [taylor]: Taking taylor expansion of 1.0 in x 1.802 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos x) 3))) in x 1.802 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos x) 3)))) 1.802 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos x) 3))) in x 1.802 * [taylor]: Taking taylor expansion of 1 in x 1.802 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 1.802 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 1.802 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 1.802 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.802 * [taylor]: Taking taylor expansion of (cos x) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of 1 in x 1.807 * [approximate]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3)))) in (x) around 0 1.807 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3)))) in x 1.807 * [taylor]: Taking taylor expansion of 1.0 in x 1.807 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ 1 x)) 3))) in x 1.807 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ 1 x)) 3)))) 1.808 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ 1 x)) 3))) in x 1.808 * [taylor]: Taking taylor expansion of 1 in x 1.808 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 1.808 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 1.808 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 1.808 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.808 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.808 * [taylor]: Taking taylor expansion of x in x 1.808 * [taylor]: Taking taylor expansion of 1 in x 1.808 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3)))) in x 1.808 * [taylor]: Taking taylor expansion of 1.0 in x 1.808 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ 1 x)) 3))) in x 1.808 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ 1 x)) 3)))) 1.808 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ 1 x)) 3))) in x 1.808 * [taylor]: Taking taylor expansion of 1 in x 1.808 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 1.808 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 1.809 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 1.809 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.809 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.809 * [taylor]: Taking taylor expansion of x in x 1.809 * [taylor]: Taking taylor expansion of 1 in x 1.817 * [approximate]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3)))) in (x) around 0 1.817 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3)))) in x 1.817 * [taylor]: Taking taylor expansion of 1.0 in x 1.817 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ -1 x)) 3))) in x 1.817 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ -1 x)) 3)))) 1.817 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ -1 x)) 3))) in x 1.817 * [taylor]: Taking taylor expansion of 1 in x 1.817 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 1.817 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 1.817 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 1.817 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.817 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.817 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.817 * [taylor]: Taking taylor expansion of -1 in x 1.817 * [taylor]: Taking taylor expansion of x in x 1.817 * [taylor]: Taking taylor expansion of 1 in x 1.818 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3)))) in x 1.818 * [taylor]: Taking taylor expansion of 1.0 in x 1.818 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ -1 x)) 3))) in x 1.818 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ -1 x)) 3)))) 1.818 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ -1 x)) 3))) in x 1.818 * [taylor]: Taking taylor expansion of 1 in x 1.818 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 1.818 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 1.818 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 1.818 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.818 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.818 * [taylor]: Taking taylor expansion of -1 in x 1.818 * [taylor]: Taking taylor expansion of x in x 1.818 * [taylor]: Taking taylor expansion of 1 in x 1.829 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.829 * [approximate]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in (x) around 0 1.829 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 1.829 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 1.829 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 1.829 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.829 * [taylor]: Taking taylor expansion of (cos x) in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of 1 in x 1.829 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 1.829 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 1.829 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 1.829 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.829 * [taylor]: Taking taylor expansion of (cos x) in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of 1 in x 1.830 * [approximate]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in (x) around 0 1.831 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 1.831 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 1.831 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 1.831 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.831 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.831 * [taylor]: Taking taylor expansion of x in x 1.831 * [taylor]: Taking taylor expansion of 1 in x 1.831 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 1.831 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 1.831 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 1.831 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.831 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.831 * [taylor]: Taking taylor expansion of x in x 1.831 * [taylor]: Taking taylor expansion of 1 in x 1.834 * [approximate]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in (x) around 0 1.834 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 1.835 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 1.835 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 1.835 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.835 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.835 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.835 * [taylor]: Taking taylor expansion of -1 in x 1.835 * [taylor]: Taking taylor expansion of x in x 1.835 * [taylor]: Taking taylor expansion of 1 in x 1.835 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 1.835 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 1.835 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 1.835 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.835 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.835 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.835 * [taylor]: Taking taylor expansion of -1 in x 1.835 * [taylor]: Taking taylor expansion of x in x 1.835 * [taylor]: Taking taylor expansion of 1 in x 1.838 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 3) 1.838 * [approximate]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in (x) around 0 1.839 * [taylor]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in x 1.839 * [taylor]: Rewrote expression to (+ (* (cos x) (cos x)) (* 1.0 (cos x))) 1.839 * [taylor]: Taking taylor expansion of (* (cos x) (cos x)) in x 1.839 * [taylor]: Taking taylor expansion of (cos x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (cos x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.839 * [taylor]: Taking taylor expansion of 1.0 in x 1.839 * [taylor]: Taking taylor expansion of (cos x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in x 1.839 * [taylor]: Rewrote expression to (+ (* (cos x) (cos x)) (* 1.0 (cos x))) 1.839 * [taylor]: Taking taylor expansion of (* (cos x) (cos x)) in x 1.839 * [taylor]: Taking taylor expansion of (cos x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (cos x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.839 * [taylor]: Taking taylor expansion of 1.0 in x 1.839 * [taylor]: Taking taylor expansion of (cos x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.840 * [approximate]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in (x) around 0 1.840 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in x 1.840 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 x)) (cos (/ 1 x))) (* 1.0 (cos (/ 1 x)))) 1.840 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (cos (/ 1 x))) in x 1.840 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.840 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.840 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.840 * [taylor]: Taking taylor expansion of 1.0 in x 1.840 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in x 1.841 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 x)) (cos (/ 1 x))) (* 1.0 (cos (/ 1 x)))) 1.841 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (cos (/ 1 x))) in x 1.841 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.841 * [taylor]: Taking taylor expansion of 1.0 in x 1.841 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.843 * [approximate]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in (x) around 0 1.843 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in x 1.843 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 x)) (cos (/ -1 x))) (* 1.0 (cos (/ -1 x)))) 1.843 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (cos (/ -1 x))) in x 1.843 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.843 * [taylor]: Taking taylor expansion of -1 in x 1.843 * [taylor]: Taking taylor expansion of x in x 1.843 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.843 * [taylor]: Taking taylor expansion of -1 in x 1.843 * [taylor]: Taking taylor expansion of x in x 1.843 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.843 * [taylor]: Taking taylor expansion of 1.0 in x 1.843 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.843 * [taylor]: Taking taylor expansion of -1 in x 1.843 * [taylor]: Taking taylor expansion of x in x 1.843 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in x 1.843 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 x)) (cos (/ -1 x))) (* 1.0 (cos (/ -1 x)))) 1.843 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (cos (/ -1 x))) in x 1.843 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.843 * [taylor]: Taking taylor expansion of -1 in x 1.844 * [taylor]: Taking taylor expansion of x in x 1.844 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.844 * [taylor]: Taking taylor expansion of -1 in x 1.844 * [taylor]: Taking taylor expansion of x in x 1.844 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.844 * [taylor]: Taking taylor expansion of 1.0 in x 1.844 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.844 * [taylor]: Taking taylor expansion of -1 in x 1.844 * [taylor]: Taking taylor expansion of x in x 1.846 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 1.846 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0 1.846 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.846 * [taylor]: Taking taylor expansion of (cos x) in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.846 * [taylor]: Taking taylor expansion of (cos x) in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0 1.846 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.846 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.847 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.847 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.849 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0 1.849 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.849 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.849 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.849 * [taylor]: Taking taylor expansion of -1 in x 1.849 * [taylor]: Taking taylor expansion of x in x 1.849 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.849 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.849 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.849 * [taylor]: Taking taylor expansion of -1 in x 1.849 * [taylor]: Taking taylor expansion of x in x 1.851 * * * [progress]: simplifying candidates 1.853 * [simplify]: Simplifying using # : (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow 1 3) (pow 1.0 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow 1 3) (pow 1.0 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow 1 3) (pow 1.0 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (* 1.0 1.0) 1.0 (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (* 1.0 1.0) 1.0 (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (* 1.0 1.0) 1.0 (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow 1 3) (pow 1.0 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow 1 3) (pow 1.0 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow 1 3) (pow 1.0 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma 1.0 (* 1.0 1.0) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma 1.0 (* 1.0 1.0) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma 1.0 (* 1.0 1.0) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma 1 (pow 1.0 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma 1 (pow 1.0 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma 1 (pow 1.0 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (expm1 (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log1p (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (/ (exp (pow 1.0 3)) (+ 1 (expm1 (pow (cos x) 3)))) (/ (exp (pow 1.0 3)) (exp (log1p (expm1 (pow (cos x) 3))))) (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (exp (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (* (* (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))) (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (pow (pow 1.0 3) 3) (pow (log1p (expm1 (pow (cos x) 3))) 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (log1p (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3)))) (* (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (- (log1p (expm1 (pow (cos x) 3)))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (log1p (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3))))) (+ (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))) (+ (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3))))) (+ (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3))))) (+ (sqrt (pow 1.0 3)) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (sqrt (pow 1.0 3)) (sqrt (log1p (expm1 (pow (cos x) 3))))) (+ (pow 1.0 (/ 3 2)) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (pow 1.0 (/ 3 2)) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (exp (pow (cos x) 3)) (expm1 (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3))) (log (expm1 (pow (cos x) 3))) (exp (expm1 (pow (cos x) 3))) (* (cbrt (expm1 (pow (cos x) 3))) (cbrt (expm1 (pow (cos x) 3)))) (cbrt (expm1 (pow (cos x) 3))) (* (* (expm1 (pow (cos x) 3)) (expm1 (pow (cos x) 3))) (expm1 (pow (cos x) 3))) (sqrt (expm1 (pow (cos x) 3))) (sqrt (expm1 (pow (cos x) 3))) (expm1 (fma (cos x) (cos x) (* 1.0 (cos x)))) (log1p (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (cos x) (cos x)) (log (fma (cos x) (cos x) (* 1.0 (cos x)))) (exp (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x))))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (* (fma (cos x) (cos x) (* 1.0 (cos x))) (fma (cos x) (cos x) (* 1.0 (cos x)))) (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (expm1 (pow (cos x) 3)) (log1p (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)) (- (+ (* 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)) (- (+ (* 2 (* (pow x 4) E)) E) (+ (* 3/2 (* (pow x 2) E)) 1)) (- (exp (pow (cos x) 3)) 1) (- (exp (pow (cos x) 3)) 1) (- (+ (* 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.861 * * [simplify]: iteration 0 : 377 enodes (cost 1164 ) 1.868 * * [simplify]: iteration 1 : 1523 enodes (cost 743 ) 1.914 * * [simplify]: iteration 2 : 5002 enodes (cost 735 ) 1.918 * [simplify]: Simplified to: (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (expm1 (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log1p (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (exp (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (exp (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (exp (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (* (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (pow (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3))) 3) (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (pow (pow 1.0 3) 3) (pow (log1p (expm1 (pow (cos x) 3))) 3)) (fma (pow (cos x) 3) (+ (pow (cos x) 3) (pow 1.0 3)) (pow 1.0 6)) (- (pow (cos x) 3)) (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow (cos x) 3) (pow 1.0 3)) (fma 1.0 (sqrt 1.0) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (fma 1.0 (sqrt 1.0) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (- (sqrt (pow 1.0 3)) (sqrt (pow (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) (pow (cos x) 3)) (- (pow (cos x) 3)) (exp (pow (cos x) 3)) (expm1 (expm1 (pow (cos x) 3))) (pow (cos x) 3) (log (expm1 (pow (cos x) 3))) (exp (expm1 (pow (cos x) 3))) (* (cbrt (expm1 (pow (cos x) 3))) (cbrt (expm1 (pow (cos x) 3)))) (cbrt (expm1 (pow (cos x) 3))) (pow (expm1 (pow (cos x) 3)) 3) (sqrt (expm1 (pow (cos x) 3))) (sqrt (expm1 (pow (cos x) 3))) (expm1 (fma (cos x) (cos x) (* 1.0 (cos x)))) (log1p (fma (cos x) (cos x) (* 1.0 (cos x)))) (pow (cos x) 2) (log (fma (cos x) (cos x) (* 1.0 (cos x)))) (exp (fma (cos x) 1.0 (pow (cos x) 2))) (* (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x))))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (pow (fma (cos x) 1.0 (pow (cos x) 2)) 3) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (expm1 (pow (cos x) 3)) (log1p (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 (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) (fma (pow x 2) 3/2 (- (* 61/240 (pow x 6)) (* 7/8 (pow x 4)))) (- 1.0 (pow (cos x) 3)) (- 1.0 (pow (cos x) 3)) (fma (* 2 (pow x 4)) E (- E (fma 3/2 (* (pow x 2) E) 1))) (expm1 (pow (cos x) 3)) (expm1 (pow (cos x) 3)) (fma (pow x 4) 0.375 (- 2.0 (* 1.5 (pow x 2)))) (fma (cos x) 1.0 (pow (cos x) 2)) (fma (cos x) 1.0 (pow (cos x) 2)) (fma (pow x 4) 7/8 (- 1 (* 3/2 (pow x 2)))) (pow (cos x) 3) (pow (cos x) 3) 1.918 * * * [progress]: adding candidates to table 2.653 * * [progress]: iteration 4 / 4 2.653 * * * [progress]: picking best candidate 2.778 * * * * [pick]: Picked # 2.778 * * * [progress]: localizing error 2.803 * * * [progress]: generating rewritten candidates 2.803 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 2.815 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 2.826 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1) 2.827 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 3) 2.831 * * * [progress]: generating series expansions 2.831 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 2.831 * [approximate]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos x) 3)))) in (x) around 0 2.831 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos x) 3)))) in x 2.831 * [taylor]: Taking taylor expansion of 1.0 in x 2.831 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos x) 3))) in x 2.831 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos x) 3)))) 2.831 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos x) 3))) in x 2.831 * [taylor]: Taking taylor expansion of 1 in x 2.831 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 2.831 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 2.831 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 2.831 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 2.831 * [taylor]: Taking taylor expansion of (cos x) in x 2.831 * [taylor]: Taking taylor expansion of x in x 2.831 * [taylor]: Taking taylor expansion of 1 in x 2.831 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos x) 3)))) in x 2.831 * [taylor]: Taking taylor expansion of 1.0 in x 2.831 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos x) 3))) in x 2.831 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos x) 3)))) 2.832 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos x) 3))) in x 2.832 * [taylor]: Taking taylor expansion of 1 in x 2.832 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 2.832 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 2.832 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 2.832 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 2.832 * [taylor]: Taking taylor expansion of (cos x) in x 2.832 * [taylor]: Taking taylor expansion of x in x 2.832 * [taylor]: Taking taylor expansion of 1 in x 2.837 * [approximate]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3)))) in (x) around 0 2.837 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3)))) in x 2.837 * [taylor]: Taking taylor expansion of 1.0 in x 2.837 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ 1 x)) 3))) in x 2.837 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ 1 x)) 3)))) 2.837 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ 1 x)) 3))) in x 2.837 * [taylor]: Taking taylor expansion of 1 in x 2.837 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 2.837 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 2.837 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 2.837 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 2.837 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.837 * [taylor]: Taking taylor expansion of x in x 2.837 * [taylor]: Taking taylor expansion of 1 in x 2.838 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3)))) in x 2.838 * [taylor]: Taking taylor expansion of 1.0 in x 2.838 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ 1 x)) 3))) in x 2.838 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ 1 x)) 3)))) 2.838 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ 1 x)) 3))) in x 2.838 * [taylor]: Taking taylor expansion of 1 in x 2.838 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 2.838 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 2.838 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 2.838 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 2.838 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.838 * [taylor]: Taking taylor expansion of x in x 2.838 * [taylor]: Taking taylor expansion of 1 in x 2.846 * [approximate]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3)))) in (x) around 0 2.846 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3)))) in x 2.846 * [taylor]: Taking taylor expansion of 1.0 in x 2.846 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ -1 x)) 3))) in x 2.846 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ -1 x)) 3)))) 2.846 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ -1 x)) 3))) in x 2.846 * [taylor]: Taking taylor expansion of 1 in x 2.846 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 2.846 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 2.847 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 2.847 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 2.847 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.847 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.847 * [taylor]: Taking taylor expansion of -1 in x 2.847 * [taylor]: Taking taylor expansion of x in x 2.847 * [taylor]: Taking taylor expansion of 1 in x 2.847 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3)))) in x 2.847 * [taylor]: Taking taylor expansion of 1.0 in x 2.847 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ -1 x)) 3))) in x 2.847 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ -1 x)) 3)))) 2.847 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ -1 x)) 3))) in x 2.847 * [taylor]: Taking taylor expansion of 1 in x 2.847 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 2.847 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 2.847 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 2.847 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 2.847 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.847 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.847 * [taylor]: Taking taylor expansion of -1 in x 2.847 * [taylor]: Taking taylor expansion of x in x 2.848 * [taylor]: Taking taylor expansion of 1 in x 2.856 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 2.856 * [approximate]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos x) 3))))) in (x) around 0 2.856 * [taylor]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos x) 3))))) in x 2.856 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos x) 3)))) in x 2.856 * [taylor]: Taking taylor expansion of 1.0 in x 2.856 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos x) 3))) in x 2.856 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos x) 3)))) 2.856 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos x) 3))) in x 2.856 * [taylor]: Taking taylor expansion of 1 in x 2.856 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 2.856 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 2.856 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 2.856 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 2.856 * [taylor]: Taking taylor expansion of (cos x) in x 2.856 * [taylor]: Taking taylor expansion of x in x 2.856 * [taylor]: Taking taylor expansion of 1 in x 2.857 * [taylor]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos x) 3))))) in x 2.857 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos x) 3)))) in x 2.857 * [taylor]: Taking taylor expansion of 1.0 in x 2.857 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos x) 3))) in x 2.857 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos x) 3)))) 2.857 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos x) 3))) in x 2.857 * [taylor]: Taking taylor expansion of 1 in x 2.857 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 2.857 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 2.857 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 2.857 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 2.857 * [taylor]: Taking taylor expansion of (cos x) in x 2.857 * [taylor]: Taking taylor expansion of x in x 2.857 * [taylor]: Taking taylor expansion of 1 in x 2.863 * [approximate]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3))))) in (x) around 0 2.863 * [taylor]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3))))) in x 2.863 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3)))) in x 2.863 * [taylor]: Taking taylor expansion of 1.0 in x 2.863 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ 1 x)) 3))) in x 2.863 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ 1 x)) 3)))) 2.863 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ 1 x)) 3))) in x 2.863 * [taylor]: Taking taylor expansion of 1 in x 2.863 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 2.863 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 2.863 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 2.863 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 2.863 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.863 * [taylor]: Taking taylor expansion of x in x 2.863 * [taylor]: Taking taylor expansion of 1 in x 2.864 * [taylor]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3))))) in x 2.864 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ 1 x)) 3)))) in x 2.864 * [taylor]: Taking taylor expansion of 1.0 in x 2.864 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ 1 x)) 3))) in x 2.864 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ 1 x)) 3)))) 2.864 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ 1 x)) 3))) in x 2.864 * [taylor]: Taking taylor expansion of 1 in x 2.864 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 2.864 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 2.864 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 2.864 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 2.864 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.864 * [taylor]: Taking taylor expansion of x in x 2.864 * [taylor]: Taking taylor expansion of 1 in x 2.878 * [approximate]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3))))) in (x) around 0 2.878 * [taylor]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3))))) in x 2.878 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3)))) in x 2.878 * [taylor]: Taking taylor expansion of 1.0 in x 2.878 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ -1 x)) 3))) in x 2.878 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ -1 x)) 3)))) 2.878 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ -1 x)) 3))) in x 2.878 * [taylor]: Taking taylor expansion of 1 in x 2.878 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 2.878 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 2.878 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 2.878 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 2.878 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.878 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.878 * [taylor]: Taking taylor expansion of -1 in x 2.878 * [taylor]: Taking taylor expansion of x in x 2.879 * [taylor]: Taking taylor expansion of 1 in x 2.879 * [taylor]: Taking taylor expansion of (log (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3))))) in x 2.879 * [taylor]: Taking taylor expansion of (- 1.0 (log1p (expm1 (pow (cos (/ -1 x)) 3)))) in x 2.879 * [taylor]: Taking taylor expansion of 1.0 in x 2.879 * [taylor]: Taking taylor expansion of (log1p (expm1 (pow (cos (/ -1 x)) 3))) in x 2.879 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (pow (cos (/ -1 x)) 3)))) 2.879 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (pow (cos (/ -1 x)) 3))) in x 2.879 * [taylor]: Taking taylor expansion of 1 in x 2.879 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 2.879 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 2.879 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 2.879 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 2.880 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.880 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.880 * [taylor]: Taking taylor expansion of -1 in x 2.880 * [taylor]: Taking taylor expansion of x in x 2.880 * [taylor]: Taking taylor expansion of 1 in x 2.893 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1) 2.893 * [approximate]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in (x) around 0 2.893 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 2.893 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 2.893 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 2.893 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 2.893 * [taylor]: Taking taylor expansion of (cos x) in x 2.893 * [taylor]: Taking taylor expansion of x in x 2.893 * [taylor]: Taking taylor expansion of 1 in x 2.893 * [taylor]: Taking taylor expansion of (expm1 (pow (cos x) 3)) in x 2.893 * [taylor]: Rewrote expression to (- (exp (pow (cos x) 3)) 1) 2.893 * [taylor]: Taking taylor expansion of (exp (pow (cos x) 3)) in x 2.893 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 2.893 * [taylor]: Taking taylor expansion of (cos x) in x 2.893 * [taylor]: Taking taylor expansion of x in x 2.893 * [taylor]: Taking taylor expansion of 1 in x 2.894 * [approximate]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in (x) around 0 2.894 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 2.894 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 2.894 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 2.894 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 2.895 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.895 * [taylor]: Taking taylor expansion of x in x 2.895 * [taylor]: Taking taylor expansion of 1 in x 2.895 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ 1 x)) 3)) in x 2.895 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ 1 x)) 3)) 1) 2.895 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ 1 x)) 3)) in x 2.895 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 2.895 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.895 * [taylor]: Taking taylor expansion of x in x 2.895 * [taylor]: Taking taylor expansion of 1 in x 2.898 * [approximate]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in (x) around 0 2.898 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 2.898 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 2.898 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 2.899 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 2.899 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.899 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.899 * [taylor]: Taking taylor expansion of -1 in x 2.899 * [taylor]: Taking taylor expansion of x in x 2.899 * [taylor]: Taking taylor expansion of 1 in x 2.899 * [taylor]: Taking taylor expansion of (expm1 (pow (cos (/ -1 x)) 3)) in x 2.899 * [taylor]: Rewrote expression to (- (exp (pow (cos (/ -1 x)) 3)) 1) 2.899 * [taylor]: Taking taylor expansion of (exp (pow (cos (/ -1 x)) 3)) in x 2.899 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 2.899 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.899 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.899 * [taylor]: Taking taylor expansion of -1 in x 2.899 * [taylor]: Taking taylor expansion of x in x 2.899 * [taylor]: Taking taylor expansion of 1 in x 2.902 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 3) 2.902 * [approximate]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in (x) around 0 2.902 * [taylor]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in x 2.903 * [taylor]: Rewrote expression to (+ (* (cos x) (cos x)) (* 1.0 (cos x))) 2.903 * [taylor]: Taking taylor expansion of (* (cos x) (cos x)) in x 2.903 * [taylor]: Taking taylor expansion of (cos x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.903 * [taylor]: Taking taylor expansion of (cos x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.903 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 2.903 * [taylor]: Taking taylor expansion of 1.0 in x 2.903 * [taylor]: Taking taylor expansion of (cos x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.903 * [taylor]: Taking taylor expansion of (fma (cos x) (cos x) (* 1.0 (cos x))) in x 2.903 * [taylor]: Rewrote expression to (+ (* (cos x) (cos x)) (* 1.0 (cos x))) 2.903 * [taylor]: Taking taylor expansion of (* (cos x) (cos x)) in x 2.903 * [taylor]: Taking taylor expansion of (cos x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.903 * [taylor]: Taking taylor expansion of (cos x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.903 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 2.903 * [taylor]: Taking taylor expansion of 1.0 in x 2.903 * [taylor]: Taking taylor expansion of (cos x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.904 * [approximate]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in (x) around 0 2.904 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in x 2.904 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 x)) (cos (/ 1 x))) (* 1.0 (cos (/ 1 x)))) 2.904 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (cos (/ 1 x))) in x 2.904 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.904 * [taylor]: Taking taylor expansion of x in x 2.904 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.904 * [taylor]: Taking taylor expansion of x in x 2.904 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 2.904 * [taylor]: Taking taylor expansion of 1.0 in x 2.904 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.904 * [taylor]: Taking taylor expansion of x in x 2.905 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 x)) (cos (/ 1 x)) (* 1.0 (cos (/ 1 x)))) in x 2.905 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 x)) (cos (/ 1 x))) (* 1.0 (cos (/ 1 x)))) 2.905 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (cos (/ 1 x))) in x 2.905 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.905 * [taylor]: Taking taylor expansion of x in x 2.905 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.905 * [taylor]: Taking taylor expansion of x in x 2.905 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 2.905 * [taylor]: Taking taylor expansion of 1.0 in x 2.905 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 2.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.905 * [taylor]: Taking taylor expansion of x in x 2.907 * [approximate]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in (x) around 0 2.907 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in x 2.907 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 x)) (cos (/ -1 x))) (* 1.0 (cos (/ -1 x)))) 2.907 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (cos (/ -1 x))) in x 2.907 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.907 * [taylor]: Taking taylor expansion of -1 in x 2.907 * [taylor]: Taking taylor expansion of x in x 2.907 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.907 * [taylor]: Taking taylor expansion of -1 in x 2.907 * [taylor]: Taking taylor expansion of x in x 2.907 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 2.907 * [taylor]: Taking taylor expansion of 1.0 in x 2.907 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.907 * [taylor]: Taking taylor expansion of -1 in x 2.907 * [taylor]: Taking taylor expansion of x in x 2.907 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 x)) (cos (/ -1 x)) (* 1.0 (cos (/ -1 x)))) in x 2.907 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 x)) (cos (/ -1 x))) (* 1.0 (cos (/ -1 x)))) 2.907 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (cos (/ -1 x))) in x 2.907 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.907 * [taylor]: Taking taylor expansion of -1 in x 2.908 * [taylor]: Taking taylor expansion of x in x 2.908 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.908 * [taylor]: Taking taylor expansion of -1 in x 2.908 * [taylor]: Taking taylor expansion of x in x 2.908 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 2.908 * [taylor]: Taking taylor expansion of 1.0 in x 2.908 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 2.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.908 * [taylor]: Taking taylor expansion of -1 in x 2.908 * [taylor]: Taking taylor expansion of x in x 2.910 * * * [progress]: simplifying candidates 2.912 * [simplify]: Simplifying using # : (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow 1 3) (pow 1.0 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow 1 3) (pow 1.0 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow 1 3) (pow 1.0 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (* 1.0 1.0) 1.0 (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (* 1.0 1.0) 1.0 (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (* 1.0 1.0) 1.0 (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (* (cbrt (pow 1.0 3)) (cbrt (pow 1.0 3))) (cbrt (pow 1.0 3)) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow (* (cbrt 1.0) (cbrt 1.0)) 3) (pow (cbrt 1.0) 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow (sqrt 1.0) 3) (pow (sqrt 1.0) 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow 1 3) (pow 1.0 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow 1 3) (pow 1.0 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow 1 3) (pow 1.0 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma 1.0 (* 1.0 1.0) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma 1.0 (* 1.0 1.0) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma 1.0 (* 1.0 1.0) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (sqrt (pow 1.0 3)) (sqrt (pow 1.0 3)) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma 1 (pow 1.0 3) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma 1 (pow 1.0 3) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma 1 (pow 1.0 3) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3)))))))) (fma (- (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (* (cbrt (log1p (expm1 (pow (cos x) 3)))) (cbrt (log1p (expm1 (pow (cos x) 3))))))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3))))))) (fma (- (sqrt (log1p (expm1 (pow (cos x) 3))))) (sqrt (log1p (expm1 (pow (cos x) 3)))) (* (sqrt (log1p (expm1 (pow (cos x) 3)))) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (fma (pow 1.0 (/ 3 2)) (pow 1.0 (/ 3 2)) (- (* (log1p (expm1 (pow (cos x) 3))) 1))) (fma (- (log1p (expm1 (pow (cos x) 3)))) 1 (* (log1p (expm1 (pow (cos x) 3))) 1)) (expm1 (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log1p (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (/ (exp (pow 1.0 3)) (+ 1 (expm1 (pow (cos x) 3)))) (/ (exp (pow 1.0 3)) (exp (log1p (expm1 (pow (cos x) 3))))) (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (exp (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (* (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (* (* (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))) (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (pow (pow 1.0 3) 3) (pow (log1p (expm1 (pow (cos x) 3))) 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (log1p (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3)))) (* (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (- (log1p (expm1 (pow (cos x) 3)))) (- (* (pow 1.0 3) (pow 1.0 3)) (* (log1p (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3))))) (+ (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))) (+ (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3))))) (+ (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3))))) (+ (sqrt (pow 1.0 3)) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (sqrt (pow 1.0 3)) (sqrt (log1p (expm1 (pow (cos x) 3))))) (+ (pow 1.0 (/ 3 2)) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (pow 1.0 (/ 3 2)) (sqrt (log1p (expm1 (pow (cos x) 3))))) (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))) (- (log1p (expm1 (pow (cos x) 3)))) (expm1 (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log1p (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log (* (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))))) (log (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log 1) (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log (+ (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (- (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (+ (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (- (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (+ (sqrt (pow 1.0 3)) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (- (sqrt (pow 1.0 3)) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (+ (pow 1.0 (/ 3 2)) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (- (pow 1.0 (/ 3 2)) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log 1) (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log (- (pow (pow 1.0 3) 3) (pow (log1p (expm1 (pow (cos x) 3))) 3))) (log (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (log1p (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3)))) (* (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))))) (log (- (* (pow 1.0 3) (pow 1.0 3)) (* (log1p (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3)))))) (log (+ (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (exp (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (* (cbrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (cbrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))))) (cbrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (* (* (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (sqrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (sqrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (exp (pow (cos x) 3)) (expm1 (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3))) (log (expm1 (pow (cos x) 3))) (exp (expm1 (pow (cos x) 3))) (* (cbrt (expm1 (pow (cos x) 3))) (cbrt (expm1 (pow (cos x) 3)))) (cbrt (expm1 (pow (cos x) 3))) (* (* (expm1 (pow (cos x) 3)) (expm1 (pow (cos x) 3))) (expm1 (pow (cos x) 3))) (sqrt (expm1 (pow (cos x) 3))) (sqrt (expm1 (pow (cos x) 3))) (expm1 (fma (cos x) (cos x) (* 1.0 (cos x)))) (log1p (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (cos x) (cos x)) (log (fma (cos x) (cos x) (* 1.0 (cos x)))) (exp (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x))))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (* (* (fma (cos x) (cos x) (* 1.0 (cos x))) (fma (cos x) (cos x) (* 1.0 (cos x)))) (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (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)) (- (+ (log 3/2) (* 2 (log x))) (+ (* 7/12 (pow x 2)) (* 1/1440 (pow x 4)))) (log (- 1.0 (pow (cos x) 3))) (log (- 1.0 (pow (cos x) 3))) (- (+ (* 2 (* (pow x 4) E)) E) (+ (* 3/2 (* (pow x 2) E)) 1)) (- (exp (pow (cos x) 3)) 1) (- (exp (pow (cos x) 3)) 1) (- (+ (* 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))) 2.922 * * [simplify]: iteration 0 : 365 enodes (cost 1826 ) 2.928 * * [simplify]: iteration 1 : 1265 enodes (cost 954 ) 2.962 * * [simplify]: iteration 2 : 5002 enodes (cost 931 ) 2.967 * [simplify]: Simplified to: (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (- (pow 1.0 3) (pow (cos x) 3)) (* (pow (cos x) 3) (+ (- 1) 1)) (expm1 (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log1p (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (- (pow (cos x) 3)) (exp (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (exp (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (log (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (exp (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (* (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (pow (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3))) 3) (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (- (pow (pow 1.0 3) 3) (pow (log1p (expm1 (pow (cos x) 3))) 3)) (fma (pow (cos x) 3) (+ (pow (cos x) 3) (pow 1.0 3)) (pow 1.0 6)) (- (pow (cos x) 3)) (fma (- (pow (cos x) 3)) (pow (cos x) 3) (pow 1.0 6)) (+ (pow (cos x) 3) (pow 1.0 3)) (fma 1.0 (sqrt 1.0) (fabs (pow (cos x) (/ 3 2)))) (- (pow (sqrt 1.0) 3) (fabs (pow (cos x) 3/2))) (fma 1.0 (sqrt 1.0) (fabs (pow (cos x) (/ 3 2)))) (- (pow (sqrt 1.0) 3) (fabs (pow (cos x) 3/2))) (+ (sqrt (pow 1.0 3)) (fabs (pow (cos x) 3/2))) (- (sqrt (pow 1.0 3)) (fabs (pow (cos x) 3/2))) (+ (pow 1.0 3/2) (fabs (pow (cos x) 3/2))) (- (pow 1.0 3/2) (fabs (pow (cos x) 3/2))) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow (cos x) 3)) (expm1 (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log1p (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (* 2 (log (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))))) (log (cbrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (log (sqrt (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) 0 (log (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (log (+ (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (- (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (+ (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (- (pow (sqrt 1.0) 3) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (+ (sqrt (pow 1.0 3)) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (- (sqrt (pow 1.0 3)) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (+ (pow 1.0 (/ 3 2)) (sqrt (log1p (expm1 (pow (cos x) 3)))))) (log (- (pow 1.0 (/ 3 2)) (sqrt (log1p (expm1 (pow (cos x) 3)))))) 0 (log (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (log (- (pow (pow 1.0 3) 3) (pow (log1p (expm1 (pow (cos x) 3))) 3))) (log (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (log1p (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3)))) (* (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))))) (log (- (* (pow 1.0 3) (pow 1.0 3)) (* (log1p (expm1 (pow (cos x) 3))) (log1p (expm1 (pow (cos x) 3)))))) (log (+ (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))) (log (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) (log (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (- (pow 1.0 3) (pow (cos x) 3)) (* (cbrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (cbrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3))))))) (cbrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (pow (log (fma 1.0 (* 1.0 1.0) (- (pow (cos x) 3)))) 3) (sqrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (sqrt (log (- (pow 1.0 3) (log1p (expm1 (pow (cos x) 3)))))) (exp (pow (cos x) 3)) (expm1 (expm1 (pow (cos x) 3))) (pow (cos x) 3) (log (expm1 (pow (cos x) 3))) (exp (expm1 (pow (cos x) 3))) (* (cbrt (expm1 (pow (cos x) 3))) (cbrt (expm1 (pow (cos x) 3)))) (cbrt (expm1 (pow (cos x) 3))) (pow (expm1 (pow (cos x) 3)) 3) (sqrt (expm1 (pow (cos x) 3))) (sqrt (expm1 (pow (cos x) 3))) (expm1 (fma (cos x) (cos x) (* 1.0 (cos x)))) (log1p (fma (cos x) (cos x) (* 1.0 (cos x)))) (pow (cos x) 2) (log (fma (cos x) (cos x) (* 1.0 (cos x)))) (exp (fma (cos x) 1.0 (pow (cos x) 2))) (* (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x))))) (cbrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (pow (fma (cos x) 1.0 (pow (cos x) 2)) 3) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (sqrt (fma (cos x) (cos x) (* 1.0 (cos x)))) (fma (pow x 2) 3/2 (- (* 61/240 (pow x 6)) (* 7/8 (pow x 4)))) (- 1.0 (pow (cos x) 3)) (- 1.0 (pow (cos x) 3)) (fma (log x) 2 (- (log 3/2) (fma 7/12 (pow x 2) (* 1/1440 (pow x 4))))) (log (- 1.0 (pow (cos x) 3))) (log (- 1.0 (pow (cos x) 3))) (fma (* 2 (pow x 4)) E (- E (fma 3/2 (* (pow x 2) E) 1))) (expm1 (pow (cos x) 3)) (expm1 (pow (cos x) 3)) (fma (pow x 4) 0.375 (- 2.0 (* 1.5 (pow x 2)))) (fma (cos x) 1.0 (pow (cos x) 2)) (fma (cos x) 1.0 (pow (cos x) 2)) 2.968 * * * [progress]: adding candidates to table 3.866 * [progress]: [Phase 3 of 3] Extracting. 3.866 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 3.871 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- 1.0 (cos x)) (sin x)) x) 3.871 * * * * [regimes]: Trying to branch on (/ (- 1.0 (cos x)) (sin x)) from (# # # # # # # # # # # # # # #) 4.070 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # #) 4.249 * * * [regime]: Found split indices: #