11.809 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.057 * * * [progress]: [2/2] Setting up program.
0.059 * [progress]: [Phase 2 of 3] Improving.
0.059 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- 1.0 (cos x)) (* x x))
0.061 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
0.063 * * [simplify]: iteration  1 :  21  enodes  (cost  4 )
0.064 * * [simplify]: iteration  2 :  26  enodes  (cost  4 )
0.065 * * [simplify]: iteration  3 :  28  enodes  (cost  4 )
0.066 * * [simplify]: iteration  4 :  28  enodes  (cost  4 )
0.066 * [simplify]: Simplified to:
   (/ (- 1.0 (cos x)) (* x x))
0.067 * * [progress]: iteration 1 / 4
0.067 * * * [progress]: picking best candidate
0.068 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (cos x)) (* x x)))>
0.068 * * * [progress]: localizing error
0.074 * * * [progress]: generating rewritten candidates
0.074 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.082 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.088 * * * [progress]: generating series expansions
0.088 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.088 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0
0.088 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
0.088 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.088 * [taylor]: Taking taylor expansion of 1.0 in x
0.088 * [taylor]: Taking taylor expansion of (cos x) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
0.092 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.092 * [taylor]: Taking taylor expansion of 1.0 in x
0.092 * [taylor]: Taking taylor expansion of (cos x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.106 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0
0.106 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
0.106 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.107 * [taylor]: Taking taylor expansion of 1.0 in x
0.107 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
0.107 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.107 * [taylor]: Taking taylor expansion of 1.0 in x
0.107 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.119 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0
0.119 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
0.119 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.119 * [taylor]: Taking taylor expansion of 1.0 in x
0.119 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.119 * [taylor]: Taking taylor expansion of -1 in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
0.120 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.120 * [taylor]: Taking taylor expansion of 1.0 in x
0.120 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.120 * [taylor]: Taking taylor expansion of -1 in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.134 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.134 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.134 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.135 * [taylor]: Taking taylor expansion of 1.0 in x
0.135 * [taylor]: Taking taylor expansion of (cos x) in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.135 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.135 * [taylor]: Taking taylor expansion of 1.0 in x
0.135 * [taylor]: Taking taylor expansion of (cos x) in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.145 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.145 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.145 * [taylor]: Taking taylor expansion of 1.0 in x
0.145 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.145 * [taylor]: Taking taylor expansion of 1.0 in x
0.145 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.149 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.149 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.149 * [taylor]: Taking taylor expansion of 1.0 in x
0.149 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.149 * [taylor]: Taking taylor expansion of 1.0 in x
0.149 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.152 * * * [progress]: simplifying candidates
0.153 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (- 1.0 (cos x)) (* x x)))
  (log1p (/ (- 1.0 (cos x)) (* x x)))
  (- (log (- 1.0 (cos x))) (+ (log x) (log x)))
  (- (log (- 1.0 (cos x))) (log (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (exp (/ (- 1.0 (cos x)) (* x x)))
  (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (* x x) x) (* (* x x) x)))
  (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x))))
  (cbrt (/ (- 1.0 (cos x)) (* x x)))
  (* (* (/ (- 1.0 (cos x)) (* x x)) (/ (- 1.0 (cos x)) (* x x))) (/ (- 1.0 (cos x)) (* x x)))
  (sqrt (/ (- 1.0 (cos x)) (* x x)))
  (sqrt (/ (- 1.0 (cos x)) (* x x)))
  (- (- 1.0 (cos x)))
  (- (* x x))
  (/ 1.0 (* x x))
  (/ (cos x) (* x x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x)
  (/ (cbrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ (+ (sqrt 1.0) (sqrt (cos x))) x)
  (/ (- (sqrt 1.0) (sqrt (cos x))) x)
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ 1 (* x x))
  (/ (* x x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) x)
  (/ (* x x) (cbrt (- 1.0 (cos x))))
  (/ (* x x) (sqrt (- 1.0 (cos x))))
  (/ (* x x) (- 1.0 (cos x)))
  (/ (* x x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (* x x) (- 1.0 (cos x)))
  (* (* x x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (* (* x x) (+ 1.0 (cos x)))
  (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))
  (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (- 1.0 (cos x)) (pow x 2))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
0.157 * * [simplify]: iteration  0 :  279  enodes  (cost  446 )
0.162 * * [simplify]: iteration  1 :  1006  enodes  (cost  326 )
0.182 * * [simplify]: iteration  2 :  5001  enodes  (cost  317 )
0.184 * [simplify]: Simplified to:
   (expm1 (/ (- 1.0 (cos x)) (* x x)))
  (log1p (/ (- 1.0 (cos x)) (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (exp (/ (- 1.0 (cos x)) (* x x)))
  (pow (/ (- 1.0 (cos x)) (* x x)) 3)
  (pow (/ (- 1.0 (cos x)) (* x x)) 3)
  (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x))))
  (cbrt (/ (- 1.0 (cos x)) (* x x)))
  (pow (/ (- 1.0 (cos x)) (* x x)) 3)
  (sqrt (/ (- 1.0 (cos x)) (* x x)))
  (sqrt (/ (- 1.0 (cos x)) (* x x)))
  (- (- 1.0 (cos x)))
  (- (* x x))
  (/ 1.0 (* x x))
  (/ (cos x) (* x x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x)
  (/ (cbrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ (+ (sqrt 1.0) (sqrt (cos x))) x)
  (/ (- (sqrt 1.0) (sqrt (cos x))) x)
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ 1 (* x x))
  (/ (* x x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) x)
  (/ (* x x) (cbrt (- 1.0 (cos x))))
  (/ (* x x) (sqrt (- 1.0 (cos x))))
  (/ (* x x) (- 1.0 (cos x)))
  (/ (* x x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (* x x) (- 1.0 (cos x)))
  (* (pow x 2) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0)))
  (* (* x x) (+ 1.0 (cos x)))
  (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (cos x))
  (- (cos x) (cos x))
  (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (cos x))
  (- (cos x) (cos x))
  (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (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))
  (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))
  (/ (- 1.0 (cos x)) (* x x))
  (/ (- 1.0 (cos x)) (* x 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))
0.184 * * * [progress]: adding candidates to table
0.293 * * [progress]: iteration 2 / 4
0.293 * * * [progress]: picking best candidate
0.308 * * * * [pick]: Picked  #<alt (λ (x) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))>
0.308 * * * [progress]: localizing error
0.318 * * * [progress]: generating rewritten candidates
0.318 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.319 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 2)
0.325 * * * [progress]: generating series expansions
0.325 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.325 * [approximate]: Taking taylor expansion of (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))) in (x) around 0
0.325 * [taylor]: Taking taylor expansion of (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))) in x
0.326 * [taylor]: Rewrote expression to (+ (* (pow x 4) 1/720) (- 1/2 (* 1/24 (pow x 2))))
0.326 * [taylor]: Taking taylor expansion of (* (pow x 4) 1/720) in x
0.326 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.326 * [taylor]: Taking taylor expansion of x in x
0.326 * [taylor]: Taking taylor expansion of 1/720 in x
0.326 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/24 (pow x 2))) in x
0.326 * [taylor]: Taking taylor expansion of 1/2 in x
0.326 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x
0.326 * [taylor]: Taking taylor expansion of 1/24 in x
0.326 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.326 * [taylor]: Taking taylor expansion of x in x
0.326 * [taylor]: Taking taylor expansion of (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))) in x
0.327 * [taylor]: Rewrote expression to (+ (* (pow x 4) 1/720) (- 1/2 (* 1/24 (pow x 2))))
0.327 * [taylor]: Taking taylor expansion of (* (pow x 4) 1/720) in x
0.327 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of 1/720 in x
0.327 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/24 (pow x 2))) in x
0.327 * [taylor]: Taking taylor expansion of 1/2 in x
0.327 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x
0.327 * [taylor]: Taking taylor expansion of 1/24 in x
0.327 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.337 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 4) 1/720 (- 1/2 (* 1/24 (/ 1 (pow x 2))))) in (x) around 0
0.337 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4) 1/720 (- 1/2 (* 1/24 (/ 1 (pow x 2))))) in x
0.337 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4) 1/720) (- 1/2 (* 1/24 (/ 1 (pow x 2)))))
0.338 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4) 1/720) in x
0.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of 1/720 in x
0.338 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/24 (/ 1 (pow x 2)))) in x
0.338 * [taylor]: Taking taylor expansion of 1/2 in x
0.338 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 (pow x 2))) in x
0.338 * [taylor]: Taking taylor expansion of 1/24 in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.338 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4) 1/720 (- 1/2 (* 1/24 (/ 1 (pow x 2))))) in x
0.339 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4) 1/720) (- 1/2 (* 1/24 (/ 1 (pow x 2)))))
0.339 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4) 1/720) in x
0.339 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of 1/720 in x
0.339 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/24 (/ 1 (pow x 2)))) in x
0.339 * [taylor]: Taking taylor expansion of 1/2 in x
0.339 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 (pow x 2))) in x
0.339 * [taylor]: Taking taylor expansion of 1/24 in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.339 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.353 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 4) 1/720 (- 1/2 (* 1/24 (/ 1 (pow x 2))))) in (x) around 0
0.354 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4) 1/720 (- 1/2 (* 1/24 (/ 1 (pow x 2))))) in x
0.354 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4) 1/720) (- 1/2 (* 1/24 (/ 1 (pow x 2)))))
0.354 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4) 1/720) in x
0.354 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x
0.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.354 * [taylor]: Taking taylor expansion of -1 in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of 1/720 in x
0.354 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/24 (/ 1 (pow x 2)))) in x
0.354 * [taylor]: Taking taylor expansion of 1/2 in x
0.354 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 (pow x 2))) in x
0.354 * [taylor]: Taking taylor expansion of 1/24 in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.354 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4) 1/720 (- 1/2 (* 1/24 (/ 1 (pow x 2))))) in x
0.355 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4) 1/720) (- 1/2 (* 1/24 (/ 1 (pow x 2)))))
0.355 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4) 1/720) in x
0.355 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x
0.355 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.355 * [taylor]: Taking taylor expansion of -1 in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of 1/720 in x
0.355 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/24 (/ 1 (pow x 2)))) in x
0.355 * [taylor]: Taking taylor expansion of 1/2 in x
0.355 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 (pow x 2))) in x
0.355 * [taylor]: Taking taylor expansion of 1/24 in x
0.355 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.355 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.370 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 2)
0.370 * [approximate]: Taking taylor expansion of (* 1/24 (pow x 2)) in (x) around 0
0.370 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x
0.370 * [taylor]: Taking taylor expansion of 1/24 in x
0.370 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.370 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x
0.370 * [taylor]: Taking taylor expansion of 1/24 in x
0.370 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.377 * [approximate]: Taking taylor expansion of (/ 1/24 (pow x 2)) in (x) around 0
0.377 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 2)) in x
0.377 * [taylor]: Taking taylor expansion of 1/24 in x
0.377 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.378 * [taylor]: Taking taylor expansion of x in x
0.378 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 2)) in x
0.378 * [taylor]: Taking taylor expansion of 1/24 in x
0.378 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.378 * [taylor]: Taking taylor expansion of x in x
0.386 * [approximate]: Taking taylor expansion of (/ 1/24 (pow x 2)) in (x) around 0
0.386 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 2)) in x
0.386 * [taylor]: Taking taylor expansion of 1/24 in x
0.386 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.386 * [taylor]: Taking taylor expansion of x in x
0.386 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 2)) in x
0.386 * [taylor]: Taking taylor expansion of 1/24 in x
0.386 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.386 * [taylor]: Taking taylor expansion of x in x
0.394 * * * [progress]: simplifying candidates
0.394 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (log1p (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (* (pow x 4) 1/720)
  (log (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (exp (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (* (cbrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))) (cbrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))))
  (cbrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (* (* (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (sqrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (sqrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (expm1 (* 1/24 (pow x 2)))
  (log1p (* 1/24 (pow x 2)))
  (+ (log 1/24) (* (log x) 2))
  (+ (log 1/24) (* (log x) 2))
  (+ (log 1/24) (log (pow x 2)))
  (log (* 1/24 (pow x 2)))
  (exp (* 1/24 (pow x 2)))
  (* (* (* 1/24 1/24) 1/24) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* 1/24 (pow x 2))) (cbrt (* 1/24 (pow x 2))))
  (cbrt (* 1/24 (pow x 2)))
  (* (* (* 1/24 (pow x 2)) (* 1/24 (pow x 2))) (* 1/24 (pow x 2)))
  (sqrt (* 1/24 (pow x 2)))
  (sqrt (* 1/24 (pow x 2)))
  (* (sqrt 1/24) (pow (sqrt x) 2))
  (* (sqrt 1/24) (pow (sqrt x) 2))
  (* (sqrt 1/24) x)
  (* (sqrt 1/24) x)
  (* (sqrt 1/24) (sqrt (pow x 2)))
  (* (sqrt 1/24) (sqrt (pow x 2)))
  (* (sqrt 1/24) (pow x (/ 2 2)))
  (* (sqrt 1/24) (pow x (/ 2 2)))
  (* 1/24 (pow (* (cbrt x) (cbrt x)) 2))
  (* 1/24 (pow (sqrt x) 2))
  (* 1/24 (pow 1 2))
  (* 1/24 x)
  (* 1/24 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 1/24 (sqrt (pow x 2)))
  (* 1/24 1)
  (* 1/24 (pow x (/ 2 2)))
  (* (cbrt 1/24) (pow x 2))
  (* (sqrt 1/24) (pow x 2))
  (* 1/24 (pow x 2))
  (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))
  (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))
  (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))
  (* 1/24 (pow x 2))
  (* 1/24 (pow x 2))
  (* 1/24 (pow x 2))
0.398 * * [simplify]: iteration  0 :  139  enodes  (cost  194 )
0.401 * * [simplify]: iteration  1 :  532  enodes  (cost  171 )
0.413 * * [simplify]: iteration  2 :  2601  enodes  (cost  171 )
0.497 * * [simplify]: iteration  3 :  5001  enodes  (cost  170 )
0.498 * [simplify]: Simplified to:
   (expm1 (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (log1p (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (* (pow x 4) 1/720)
  (log (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (exp (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (* (cbrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))) (cbrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))))
  (cbrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (pow (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))) 3)
  (sqrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (sqrt (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
  (expm1 (* 1/24 (pow x 2)))
  (log1p (* 1/24 (pow x 2)))
  (log (* 1/24 (pow x 2)))
  (log (* 1/24 (pow x 2)))
  (log (* 1/24 (pow x 2)))
  (log (* 1/24 (pow x 2)))
  (exp (* 1/24 (pow x 2)))
  (pow (* 1/24 (pow x 2)) 3)
  (* (cbrt (* 1/24 (pow x 2))) (cbrt (* 1/24 (pow x 2))))
  (cbrt (* 1/24 (pow x 2)))
  (pow (* 1/24 (pow x 2)) 3)
  (sqrt (* 1/24 (pow x 2)))
  (sqrt (* 1/24 (pow x 2)))
  (* x (sqrt 1/24))
  (* x (sqrt 1/24))
  (* x (sqrt 1/24))
  (* x (sqrt 1/24))
  (* (sqrt 1/24) (sqrt (pow x 2)))
  (* (sqrt 1/24) (sqrt (pow x 2)))
  (* x (sqrt 1/24))
  (* x (sqrt 1/24))
  (* (/ (pow (cbrt x) 4) 1) 1/24)
  (* x 1/24)
  1/24
  (* x 1/24)
  (* 1/24 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 1/24 (fabs x))
  1/24
  (* x 1/24)
  (* (cbrt 1/24) (pow x 2))
  (* (sqrt 1/24) (pow x 2))
  (* 1/24 (pow x 2))
  (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))
  (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))
  (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2))))
  (* 1/24 (pow x 2))
  (* 1/24 (pow x 2))
  (* 1/24 (pow x 2))
0.499 * * * [progress]: adding candidates to table
0.591 * * [progress]: iteration 3 / 4
0.591 * * * [progress]: picking best candidate
0.604 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))>
0.604 * * * [progress]: localizing error
0.611 * * * [progress]: generating rewritten candidates
0.612 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.616 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.620 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.629 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.641 * * * [progress]: generating series expansions
0.641 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.641 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.641 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.641 * [taylor]: Taking taylor expansion of 1.0 in x
0.641 * [taylor]: Taking taylor expansion of (cos x) in x
0.641 * [taylor]: Taking taylor expansion of x in x
0.641 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.641 * [taylor]: Taking taylor expansion of 1.0 in x
0.641 * [taylor]: Taking taylor expansion of (cos x) in x
0.641 * [taylor]: Taking taylor expansion of x in x
0.651 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.652 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.652 * [taylor]: Taking taylor expansion of 1.0 in x
0.652 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.652 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.652 * [taylor]: Taking taylor expansion of 1.0 in x
0.652 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.655 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.655 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.655 * [taylor]: Taking taylor expansion of 1.0 in x
0.655 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.655 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.655 * [taylor]: Taking taylor expansion of -1 in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.655 * [taylor]: Taking taylor expansion of 1.0 in x
0.656 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.656 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.656 * [taylor]: Taking taylor expansion of -1 in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.659 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.659 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.659 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.659 * [taylor]: Taking taylor expansion of 1.0 in x
0.659 * [taylor]: Taking taylor expansion of (cos x) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.659 * [taylor]: Taking taylor expansion of 1.0 in x
0.659 * [taylor]: Taking taylor expansion of (cos x) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.668 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.668 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.668 * [taylor]: Taking taylor expansion of 1.0 in x
0.668 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.669 * [taylor]: Taking taylor expansion of 1.0 in x
0.669 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.672 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.672 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.672 * [taylor]: Taking taylor expansion of 1.0 in x
0.672 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.672 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.672 * [taylor]: Taking taylor expansion of -1 in x
0.672 * [taylor]: Taking taylor expansion of x in x
0.672 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.672 * [taylor]: Taking taylor expansion of 1.0 in x
0.673 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.673 * [taylor]: Taking taylor expansion of -1 in x
0.673 * [taylor]: Taking taylor expansion of x in x
0.676 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.676 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in (x) around 0
0.676 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x
0.676 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.676 * [taylor]: Taking taylor expansion of 1.0 in x
0.676 * [taylor]: Taking taylor expansion of (cos x) in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x
0.680 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x
0.680 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.680 * [taylor]: Taking taylor expansion of 1.0 in x
0.680 * [taylor]: Taking taylor expansion of (cos x) in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.729 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in (x) around 0
0.729 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x
0.729 * [taylor]: Taking taylor expansion of x in x
0.729 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x
0.730 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.730 * [taylor]: Taking taylor expansion of 1.0 in x
0.730 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.730 * [taylor]: Taking taylor expansion of x in x
0.730 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x
0.730 * [taylor]: Taking taylor expansion of x in x
0.731 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x
0.731 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.731 * [taylor]: Taking taylor expansion of 1.0 in x
0.731 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.744 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in (x) around 0
0.744 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x
0.744 * [taylor]: Taking taylor expansion of -1 in x
0.744 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x
0.744 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x
0.744 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.744 * [taylor]: Taking taylor expansion of 1.0 in x
0.744 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.744 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.744 * [taylor]: Taking taylor expansion of -1 in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.745 * [taylor]: Taking taylor expansion of x in x
0.745 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x
0.745 * [taylor]: Taking taylor expansion of -1 in x
0.745 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x
0.745 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x
0.745 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.745 * [taylor]: Taking taylor expansion of 1.0 in x
0.745 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.745 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.745 * [taylor]: Taking taylor expansion of -1 in x
0.745 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.763 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.763 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in (x) around 0
0.763 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x
0.763 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x
0.763 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.763 * [taylor]: Taking taylor expansion of 1.0 in x
0.763 * [taylor]: Taking taylor expansion of (cos x) in x
0.763 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x
0.767 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x
0.767 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.767 * [taylor]: Taking taylor expansion of 1.0 in x
0.768 * [taylor]: Taking taylor expansion of (cos x) in x
0.768 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.817 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in (x) around 0
0.817 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x
0.817 * [taylor]: Taking taylor expansion of x in x
0.817 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x
0.817 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.817 * [taylor]: Taking taylor expansion of 1.0 in x
0.817 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.817 * [taylor]: Taking taylor expansion of x in x
0.818 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x
0.818 * [taylor]: Taking taylor expansion of x in x
0.818 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x
0.818 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.818 * [taylor]: Taking taylor expansion of 1.0 in x
0.818 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.818 * [taylor]: Taking taylor expansion of x in x
0.832 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in (x) around 0
0.832 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x
0.832 * [taylor]: Taking taylor expansion of -1 in x
0.832 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x
0.832 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x
0.832 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.832 * [taylor]: Taking taylor expansion of 1.0 in x
0.832 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.832 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.832 * [taylor]: Taking taylor expansion of -1 in x
0.832 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x
0.833 * [taylor]: Taking taylor expansion of -1 in x
0.833 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x
0.833 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x
0.833 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.833 * [taylor]: Taking taylor expansion of 1.0 in x
0.833 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.833 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.833 * [taylor]: Taking taylor expansion of -1 in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.851 * * * [progress]: simplifying candidates
0.853 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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))
  (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 (/ (sqrt (- 1.0 (cos x))) x))
  (log1p (/ (sqrt (- 1.0 (cos x))) x))
  (- (log (sqrt (- 1.0 (cos x)))) (log x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (exp (/ (sqrt (- 1.0 (cos x))) x))
  (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x))
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (cbrt (/ (sqrt (- 1.0 (cos x))) x))
  (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (- (sqrt (- 1.0 (cos x))))
  (- x)
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1)
  (/ (cbrt (sqrt (- 1.0 (cos x)))) x)
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1)
  (/ (sqrt (cbrt (- 1.0 (cos x)))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ (sqrt 1) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt 1) 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1)
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)
  (/ (sqrt 1) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt 1) 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ 1 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ x (sqrt (- 1.0 (cos x))))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) 1)
  (/ x (cbrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (cbrt (- 1.0 (cos x)))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (- (sqrt 1.0) (sqrt (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))
  (* x (sqrt (+ 1.0 (cos x))))
  (expm1 (/ (sqrt (- 1.0 (cos x))) x))
  (log1p (/ (sqrt (- 1.0 (cos x))) x))
  (- (log (sqrt (- 1.0 (cos x)))) (log x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (exp (/ (sqrt (- 1.0 (cos x))) x))
  (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x))
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (cbrt (/ (sqrt (- 1.0 (cos x))) x))
  (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (- (sqrt (- 1.0 (cos x))))
  (- x)
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1)
  (/ (cbrt (sqrt (- 1.0 (cos x)))) x)
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1)
  (/ (sqrt (cbrt (- 1.0 (cos x)))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ (sqrt 1) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt 1) 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1)
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)
  (/ (sqrt 1) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt 1) 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ 1 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ x (sqrt (- 1.0 (cos x))))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) 1)
  (/ x (cbrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (cbrt (- 1.0 (cos x)))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (- (sqrt 1.0) (sqrt (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))
  (* x (sqrt (+ 1.0 (cos x))))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- (+ (* 1/1440 (/ (pow x 4) (sqrt 1/2))) (sqrt 1/2)) (+ (* 1/48 (/ (pow x 2) (sqrt 1/2))) (* 1/4608 (/ (pow x 4) (pow (sqrt 1/2) 3)))))
  (* (sqrt (- 1.0 (cos x))) (/ 1 x))
  (* (sqrt (- 1.0 (cos x))) (/ 1 x))
  (- (+ (* 1/1440 (/ (pow x 4) (sqrt 1/2))) (sqrt 1/2)) (+ (* 1/48 (/ (pow x 2) (sqrt 1/2))) (* 1/4608 (/ (pow x 4) (pow (sqrt 1/2) 3)))))
  (* (sqrt (- 1.0 (cos x))) (/ 1 x))
  (* (sqrt (- 1.0 (cos x))) (/ 1 x))
0.859 * * [simplify]: iteration  0 :  301  enodes  (cost  1368 )
0.864 * * [simplify]: iteration  1 :  936  enodes  (cost  1148 )
0.884 * * [simplify]: iteration  2 :  4953  enodes  (cost  1118 )
1.021 * * [simplify]: iteration  3 :  5001  enodes  (cost  1112 )
1.031 * [simplify]: Simplified to:
   (fma (/ (- (cos x)) 1/2) 1/2 (pow (cbrt 1.0) 3))
  (- (cos x) (cos x))
  (fma (/ (- (cos x)) 1/2) 1/2 (pow (cbrt 1.0) 3))
  (- (cos x) (cos x))
  (fma (/ (- (cos x)) 1/2) 1/2 (pow (cbrt 1.0) 3))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (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))
  (fma (/ (- (cos x)) 1/2) 1/2 (pow (cbrt 1.0) 3))
  (- (cos x) (cos x))
  (fma (/ (- (cos x)) 1/2) 1/2 (pow (cbrt 1.0) 3))
  (- (cos x) (cos x))
  (fma (/ (- (cos x)) 1/2) 1/2 (pow (cbrt 1.0) 3))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (cos x))
  (- 1.0 (cos x))
  (- (cos x) (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 (/ (sqrt (- 1.0 (cos x))) x))
  (log1p (/ (sqrt (- 1.0 (cos x))) x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (exp (/ (sqrt (- 1.0 (cos x))) x))
  (pow (/ (sqrt (- 1.0 (cos x))) x) 3)
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (cbrt (/ (sqrt (- 1.0 (cos x))) x))
  (pow (/ (sqrt (- 1.0 (cos x))) x) 3)
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (- (sqrt (- 1.0 (cos x))))
  (- x)
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x)))))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) x)
  (/ (/ (fabs (cbrt (- 1.0 (cos x)))) (cbrt x)) (cbrt x))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x))
  (/ (fabs (cbrt (- 1.0 (cos x)))) (* (sqrt x) 1))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (pow x 1/2))
  (fabs (cbrt (- 1.0 (cos x))))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (sqrt (sqrt (- 1.0 (cos x))))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (pow x 1/2))
  (sqrt (+ (sqrt 1.0) (sqrt (cos x))))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (sqrt (sqrt (- 1.0 (cos x))))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ x (sqrt (- 1.0 (cos x))))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (sqrt (- 1.0 (cos x)))
  (/ x (cbrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (cbrt (- 1.0 (cos x)))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (- (sqrt 1.0) (sqrt (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))
  (* x (sqrt (+ 1.0 (cos x))))
  (expm1 (/ (sqrt (- 1.0 (cos x))) x))
  (log1p (/ (sqrt (- 1.0 (cos x))) x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (exp (/ (sqrt (- 1.0 (cos x))) x))
  (pow (/ (sqrt (- 1.0 (cos x))) x) 3)
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (cbrt (/ (sqrt (- 1.0 (cos x))) x))
  (pow (/ (sqrt (- 1.0 (cos x))) x) 3)
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (- (sqrt (- 1.0 (cos x))))
  (- x)
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x)))))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) x)
  (/ (/ (fabs (cbrt (- 1.0 (cos x)))) (cbrt x)) (cbrt x))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x))
  (/ (fabs (cbrt (- 1.0 (cos x)))) (* (sqrt x) 1))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (pow x 1/2))
  (fabs (cbrt (- 1.0 (cos x))))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (sqrt (sqrt (- 1.0 (cos x))))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (pow x 1/2))
  (sqrt (+ (sqrt 1.0) (sqrt (cos x))))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (sqrt (sqrt (- 1.0 (cos x))))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ x (sqrt (- 1.0 (cos x))))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (sqrt (- 1.0 (cos x)))
  (/ x (cbrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (cbrt (- 1.0 (cos x)))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (- (sqrt 1.0) (sqrt (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))
  (* x (sqrt (+ 1.0 (cos x))))
  (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 (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/1440 (/ (pow x 4) (sqrt 1/2)) (- (sqrt 1/2) (fma 1/48 (/ (pow x 2) (sqrt 1/2)) (* 1/4608 (/ (pow x 4) (pow (sqrt 1/2) 3))))))
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (fma 1/1440 (/ (pow x 4) (sqrt 1/2)) (- (sqrt 1/2) (fma 1/48 (/ (pow x 2) (sqrt 1/2)) (* 1/4608 (/ (pow x 4) (pow (sqrt 1/2) 3))))))
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
1.032 * * * [progress]: adding candidates to table
1.358 * * [progress]: iteration 4 / 4
1.358 * * * [progress]: picking best candidate
1.381 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))>
1.381 * * * [progress]: localizing error
1.401 * * * [progress]: generating rewritten candidates
1.401 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
1.406 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.421 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2)
1.426 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
1.445 * * * [progress]: generating series expansions
1.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
1.445 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
1.445 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.445 * [taylor]: Taking taylor expansion of 1.0 in x
1.445 * [taylor]: Taking taylor expansion of (cos x) in x
1.445 * [taylor]: Taking taylor expansion of x in x
1.445 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.445 * [taylor]: Taking taylor expansion of 1.0 in x
1.445 * [taylor]: Taking taylor expansion of (cos x) in x
1.445 * [taylor]: Taking taylor expansion of x in x
1.455 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
1.455 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.455 * [taylor]: Taking taylor expansion of 1.0 in x
1.455 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.455 * [taylor]: Taking taylor expansion of x in x
1.455 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.455 * [taylor]: Taking taylor expansion of 1.0 in x
1.455 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.456 * [taylor]: Taking taylor expansion of x in x
1.459 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
1.459 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.459 * [taylor]: Taking taylor expansion of 1.0 in x
1.459 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.459 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.459 * [taylor]: Taking taylor expansion of -1 in x
1.459 * [taylor]: Taking taylor expansion of x in x
1.459 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.459 * [taylor]: Taking taylor expansion of 1.0 in x
1.459 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.459 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.459 * [taylor]: Taking taylor expansion of -1 in x
1.459 * [taylor]: Taking taylor expansion of x in x
1.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.463 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
1.463 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
1.463 * [taylor]: Taking taylor expansion of 1.0 in x
1.463 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.463 * [taylor]: Taking taylor expansion of (cos x) in x
1.463 * [taylor]: Taking taylor expansion of x in x
1.463 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
1.463 * [taylor]: Taking taylor expansion of 1.0 in x
1.463 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.463 * [taylor]: Taking taylor expansion of (cos x) in x
1.463 * [taylor]: Taking taylor expansion of x in x
1.483 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
1.483 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
1.483 * [taylor]: Taking taylor expansion of 1.0 in x
1.483 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.483 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
1.483 * [taylor]: Taking taylor expansion of 1.0 in x
1.483 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.483 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.495 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
1.495 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
1.495 * [taylor]: Taking taylor expansion of 1.0 in x
1.495 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.495 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.495 * [taylor]: Taking taylor expansion of -1 in x
1.495 * [taylor]: Taking taylor expansion of x in x
1.496 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
1.496 * [taylor]: Taking taylor expansion of 1.0 in x
1.496 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.496 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.496 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.496 * [taylor]: Taking taylor expansion of -1 in x
1.496 * [taylor]: Taking taylor expansion of x in x
1.507 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2)
1.507 * [approximate]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in (x) around 0
1.507 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x
1.508 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
1.508 * [taylor]: Taking taylor expansion of (cos x) in x
1.508 * [taylor]: Taking taylor expansion of x in x
1.508 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x
1.508 * [taylor]: Taking taylor expansion of 1.0 in x
1.508 * [taylor]: Taking taylor expansion of (cos x) in x
1.508 * [taylor]: Taking taylor expansion of x in x
1.508 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x
1.508 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
1.508 * [taylor]: Taking taylor expansion of (cos x) in x
1.508 * [taylor]: Taking taylor expansion of x in x
1.508 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x
1.508 * [taylor]: Taking taylor expansion of 1.0 in x
1.508 * [taylor]: Taking taylor expansion of (cos x) in x
1.508 * [taylor]: Taking taylor expansion of x in x
1.526 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in (x) around 0
1.526 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x
1.526 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x
1.526 * [taylor]: Taking taylor expansion of 1.0 in x
1.526 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
1.527 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x
1.527 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x
1.527 * [taylor]: Taking taylor expansion of 1.0 in x
1.527 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.528 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
1.528 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.539 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in (x) around 0
1.539 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x
1.539 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x
1.539 * [taylor]: Taking taylor expansion of 1.0 in x
1.539 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.539 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.539 * [taylor]: Taking taylor expansion of -1 in x
1.539 * [taylor]: Taking taylor expansion of x in x
1.539 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
1.539 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.539 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.539 * [taylor]: Taking taylor expansion of -1 in x
1.539 * [taylor]: Taking taylor expansion of x in x
1.540 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x
1.540 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x
1.540 * [taylor]: Taking taylor expansion of 1.0 in x
1.540 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.540 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.540 * [taylor]: Taking taylor expansion of -1 in x
1.540 * [taylor]: Taking taylor expansion of x in x
1.540 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
1.540 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.540 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.540 * [taylor]: Taking taylor expansion of -1 in x
1.540 * [taylor]: Taking taylor expansion of x in x
1.551 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
1.551 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0
1.551 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.551 * [taylor]: Taking taylor expansion of (cos x) in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.551 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.551 * [taylor]: Taking taylor expansion of (cos x) in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.559 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0
1.559 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.559 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.560 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.560 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.560 * [taylor]: Taking taylor expansion of x in x
1.568 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0
1.569 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.569 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.569 * [taylor]: Taking taylor expansion of -1 in x
1.569 * [taylor]: Taking taylor expansion of x in x
1.569 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.569 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.569 * [taylor]: Taking taylor expansion of -1 in x
1.569 * [taylor]: Taking taylor expansion of x in x
1.578 * * * [progress]: simplifying candidates
1.582 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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))
  (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 (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (log1p (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (* (exp (* (cos x) (cos x))) (exp (* 1.0 (cos x))))
  (log (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (exp (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (* (* (+ (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (+ (pow (* (cos x) (cos x)) 3) (pow (* 1.0 (cos x)) 3))
  (+ (* (* (cos x) (cos x)) (* (cos x) (cos x))) (- (* (* 1.0 (cos x)) (* 1.0 (cos x))) (* (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (- (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (* 1.0 (cos x)) (* 1.0 (cos x))))
  (- (* (cos x) (cos x)) (* 1.0 (cos x)))
  (+ (cos x) 1.0)
  (+ (* 1/2 (cos (* 2 x))) (* 1.0 (cos x)))
  (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))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2)))
  (+ (pow (cos x) 2) (* 1.0 (cos x)))
  (+ (pow (cos x) 2) (* 1.0 (cos x)))
  (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2)))
  (pow (cos x) 3)
  (pow (cos x) 3)
1.598 * * [simplify]: iteration  0 :  673  enodes  (cost  2909 )
1.609 * * [simplify]: iteration  1 :  2709  enodes  (cost  1980 )
1.705 * * [simplify]: iteration  2 :  5002  enodes  (cost  1955 )
1.718 * [simplify]: Simplified to:
   (- 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))
  (- 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 1.0 1.0 (* (cos x) (+ (cos x) 1.0)))
  (- (cos x))
  (- (* 1.0 1.0) (pow (cos x) 2))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (- (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))
  (+ (+ (pow 1.0 6) (pow (cos x) 6)) (pow (* 1.0 (cos x)) 3))
  (- (pow (cos x) 3))
  (- (pow 1.0 6) (pow (cos x) 6))
  (+ (pow 1.0 3) (pow (cos x) 3))
  (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 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) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 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) (pow (cos x) 3/2))
  (- (pow (sqrt 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)) (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 (sqrt (cos x)) 3))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (fma (pow (sqrt (cos x)) 3) 1 (pow 1.0 3/2))
  (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))
  (fma (pow (sqrt (cos x)) 3) 1 (pow 1.0 3/2))
  (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))
  (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3)))
  (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3)))
  (fma (pow (sqrt (cos x)) 3) 1 (pow 1.0 3/2))
  (- (pow 1.0 (/ 3 2)) (pow (sqrt (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 1.0 3) (pow (cos x) 3))
  (- (pow (cos x) 3))
  (expm1 (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (log1p (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (pow (exp (cos x)) (+ 1.0 (cos x)))
  (+ (log (cos x)) (log (+ 1.0 (cos x))))
  (pow (exp (cos x)) (+ 1.0 (cos x)))
  (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (pow (* (cos x) (+ (cos x) 1.0)) 3)
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (+ (pow (* 1.0 (cos x)) 3) (pow (cos x) 6))
  (fma (* (pow (cos x) 2) 1.0) (- 1.0 (cos x)) (pow (cos x) 4))
  (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0)))
  (* (cos x) (- (cos x) 1.0))
  (+ 1.0 (cos x))
  (fma 1/2 (cos (* 2 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) 1/2 (- (* 1/720 (pow x 6)) (* 1/24 (pow x 4))))
  (- 1.0 (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 (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)
1.720 * * * [progress]: adding candidates to table
2.106 * [progress]: [Phase 3 of 3] Extracting.
2.106 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ (sqrt (log (exp (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x)))) (cbrt (/ (- 1.0 (cos x)) (* x x)))))> #<alt (λ (x) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))> #<alt (λ (x) (- (/ 1.0 (* x x)) (/ (cos x) (* x x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3))))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (* (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (fma (pow (sqrt (cos x)) 3) 1 (pow 1.0 3/2)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)))))>)
2.109 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- 1.0 (cos x)) (* x x)) x)
2.109 * * * * [regimes]: Trying to branch on (/ (- 1.0 (cos x)) (* x x)) from (#<alt (λ (x) (* (/ (sqrt (log (exp (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x)))) (cbrt (/ (- 1.0 (cos x)) (* x x)))))> #<alt (λ (x) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))> #<alt (λ (x) (- (/ 1.0 (* x x)) (/ (cos x) (* x x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3))))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (* (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (fma (pow (sqrt (cos x)) 3) 1 (pow 1.0 3/2)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)))))>)
2.149 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ (sqrt (log (exp (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x)))) (cbrt (/ (- 1.0 (cos x)) (* x x)))))> #<alt (λ (x) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))> #<alt (λ (x) (- (/ 1.0 (* x x)) (/ (cos x) (* x x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3))))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (* (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (fma (pow (sqrt (cos x)) 3) 1 (pow 1.0 3/2)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)))))>)
2.199 * * * [regime]: Found split indices: #<option (#s(si 5 61) #s(si 3 196) #s(si 5 255))>
2.199 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (* (/ (sqrt (log (exp (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x)))) (cbrt (/ (- 1.0 (cos x)) (* x x)))))> #<alt (λ (x) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))> #<alt (λ (x) (- (/ 1.0 (* x x)) (/ (cos x) (* x x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3))))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (* (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (fma (pow (sqrt (cos x)) 3) 1 (pow 1.0 3/2)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)))))>)
2.285 * [regimes]: Found splitpoints: (#s(sp 5 x -0.032095584675305884) #s(sp 3 x 0.031419704770434244) #s(sp 5 x +nan.0)) , with alts (#<alt (λ (x) (* (/ (sqrt (log (exp (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x)))) (cbrt (/ (- 1.0 (cos x)) (* x x)))))> #<alt (λ (x) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))> #<alt (λ (x) (- (/ 1.0 (* x x)) (/ (cos x) (* x x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3))))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (* (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (fma (pow (sqrt (cos x)) 3) 1 (pow 1.0 3/2)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)))))>)
2.285 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -0.032095584675305884) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3))))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))) (if (<= x 0.031419704770434244) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3))))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))))))
2.286 * * [simplify]: iteration  0 :  47  enodes  (cost  28 )
2.287 * * [simplify]: iteration  1 :  47  enodes  (cost  28 )
2.287 * [simplify]: Simplified to:
   (if (or (<= x -0.032095584675305884) (not (<= x 0.031419704770434244))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3))))) (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))) (fma (pow x 4) 1/720 (- 1/2 (* 1/24 (pow x 2)))))
4.380 * [regime-testing]: Baseline error score: 31.945845396986535
4.381 * [regime-testing]: Oracle error score: 0.13419879701405926
4.382 * [regime-testing]: End program error score: 0.3039608693932779