7.727 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.119 * * * [progress]: [2/2] Setting up program.
0.121 * [progress]: [Phase 2 of 3] Improving.
0.121 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- 1.0 (cos x)) (sin x))
0.122 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.123 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.125 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
0.126 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
0.128 * * [simplify]: iteration  done :  16  enodes  (cost  7 )
0.128 * [simplify]: Simplified to:
   (/ (- 1.0 (cos x)) (sin x))
0.128 * * [progress]: iteration 1 / 4
0.128 * * * [progress]: picking best candidate
0.130 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))>
0.130 * * * [progress]: localizing error
0.138 * * * [progress]: generating rewritten candidates
0.138 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.141 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.154 * * * [progress]: generating series expansions
0.154 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.154 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.154 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.154 * [taylor]: Taking taylor expansion of 1.0 in x
0.154 * [taylor]: Taking taylor expansion of (cos x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.155 * [taylor]: Taking taylor expansion of 1.0 in x
0.155 * [taylor]: Taking taylor expansion of (cos x) in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.174 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.174 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.174 * [taylor]: Taking taylor expansion of 1.0 in x
0.174 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.174 * [taylor]: Taking taylor expansion of 1.0 in x
0.174 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.178 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.178 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.178 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.178 * [taylor]: Taking taylor expansion of -1 in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.178 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.178 * [taylor]: Taking taylor expansion of -1 in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.182 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.182 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
0.182 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.182 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.182 * [taylor]: Taking taylor expansion of 1.0 in x
0.182 * [taylor]: Taking taylor expansion of (cos x) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.182 * [taylor]: Taking taylor expansion of (sin x) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.186 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.186 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.186 * [taylor]: Taking taylor expansion of 1.0 in x
0.186 * [taylor]: Taking taylor expansion of (cos x) in x
0.186 * [taylor]: Taking taylor expansion of x in x
0.186 * [taylor]: Taking taylor expansion of (sin x) in x
0.186 * [taylor]: Taking taylor expansion of x in x
0.204 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
0.204 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.204 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.204 * [taylor]: Taking taylor expansion of 1.0 in x
0.204 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.204 * [taylor]: Taking taylor expansion of x in x
0.205 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.205 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.205 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.205 * [taylor]: Taking taylor expansion of 1.0 in x
0.205 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.211 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
0.211 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.211 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.211 * [taylor]: Taking taylor expansion of 1.0 in x
0.211 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.211 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.211 * [taylor]: Taking taylor expansion of -1 in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.212 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.212 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.212 * [taylor]: Taking taylor expansion of -1 in x
0.212 * [taylor]: Taking taylor expansion of x in x
0.212 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.212 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.212 * [taylor]: Taking taylor expansion of 1.0 in x
0.212 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.213 * [taylor]: Taking taylor expansion of -1 in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.213 * [taylor]: Taking taylor expansion of -1 in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.219 * * * [progress]: simplifying candidates
0.220 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (fma 1 1.0 (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma 1 1.0 (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma 1 1.0 (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (expm1 (- 1.0 (cos x)))
  (log1p (- 1.0 (cos x)))
  (- (cos x))
  (- (cos x))
  (- (cos x))
  (/ (exp 1.0) (exp (cos x)))
  (log (- 1.0 (cos x)))
  (exp (- 1.0 (cos x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (cbrt (- 1.0 (cos x)))
  (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (expm1 (/ (- 1.0 (cos x)) (sin x)))
  (log1p (/ (- 1.0 (cos x)) (sin x)))
  (- (log (- 1.0 (cos x))) (log (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (cbrt (/ (- 1.0 (cos x)) (sin x)))
  (* (* (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x))) (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (- (- 1.0 (cos x)))
  (- (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))
  (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1)
  (/ (cbrt (- 1.0 (cos x))) (sin x))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) 1)
  (/ (sqrt (- 1.0 (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ 1 1)
  (/ (- 1.0 (cos x)) (sin x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) 1)
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ 1 1)
  (/ (- 1.0 (cos x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ (- 1.0 (cos x)) 1)
  (/ (sin x) (cbrt (- 1.0 (cos x))))
  (/ (sin x) (sqrt (- 1.0 (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (* (sin x) (+ 1.0 (cos x)))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
0.224 * * [simplify]: iteration  0 :  134  enodes  (cost  964 )
0.256 * * [simplify]: iteration  1 :  295  enodes  (cost  831 )
0.360 * * [simplify]: iteration  2 :  730  enodes  (cost  731 )
1.112 * * [simplify]: iteration  3 :  2616  enodes  (cost  719 )
2.041 * * [simplify]: iteration  done :  5000  enodes  (cost  718 )
2.042 * [simplify]: Simplified to:
   (- (pow (cbrt 1.0) 3) (cos x))
  (* (cos x) 0)
  (- (pow (cbrt 1.0) 3) (cos x))
  (* (cos x) 0)
  (- (pow (cbrt 1.0) 3) (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (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) (+ 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt (cos x)) (sqrt 1.0))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (expm1 (/ (- 1.0 (cos x)) (sin x)))
  (log1p (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (cbrt (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (- (cos x) 1.0)
  (- (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))
  (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (/ (cbrt (- 1.0 (cos x))) (sin x))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (sqrt (- 1.0 (cos x)))
  (/ (sqrt (- 1.0 (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  1
  (/ (- 1.0 (cos x)) (sin x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (+ (sqrt (cos x)) (sqrt 1.0))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  1
  (/ (- 1.0 (cos x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (- 1.0 (cos x))
  (/ (sin x) (cbrt (- 1.0 (cos x))))
  (/ (sin x) (sqrt (- 1.0 (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (* (sin x) (+ 1.0 (cos x)))
  (fma (pow x 2) 1/2 (fma 1/720 (pow x 6) (* -1/24 (pow x 4))))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (fma 1/24 (pow x 3) (fma 1/240 (pow x 5) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
2.042 * * * [progress]: adding candidates to table
2.200 * * [progress]: iteration 2 / 4
2.200 * * * [progress]: picking best candidate
2.236 * * * * [pick]: Picked  #<alt (λ (x) (log (exp (/ (- 1.0 (cos x)) (sin x)))))>
2.236 * * * [progress]: localizing error
2.247 * * * [progress]: generating rewritten candidates
2.247 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
2.251 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.265 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.277 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
2.295 * * * [progress]: generating series expansions
2.295 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
2.295 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
2.295 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.295 * [taylor]: Taking taylor expansion of 1.0 in x
2.295 * [taylor]: Taking taylor expansion of (cos x) in x
2.295 * [taylor]: Taking taylor expansion of x in x
2.295 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.295 * [taylor]: Taking taylor expansion of 1.0 in x
2.295 * [taylor]: Taking taylor expansion of (cos x) in x
2.295 * [taylor]: Taking taylor expansion of x in x
2.307 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
2.307 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.307 * [taylor]: Taking taylor expansion of 1.0 in x
2.307 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.307 * [taylor]: Taking taylor expansion of x in x
2.308 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.308 * [taylor]: Taking taylor expansion of 1.0 in x
2.308 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.308 * [taylor]: Taking taylor expansion of x in x
2.311 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
2.311 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.311 * [taylor]: Taking taylor expansion of 1.0 in x
2.311 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.311 * [taylor]: Taking taylor expansion of -1 in x
2.311 * [taylor]: Taking taylor expansion of x in x
2.312 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.312 * [taylor]: Taking taylor expansion of 1.0 in x
2.312 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.312 * [taylor]: Taking taylor expansion of -1 in x
2.312 * [taylor]: Taking taylor expansion of x in x
2.315 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.315 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
2.315 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.315 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.315 * [taylor]: Taking taylor expansion of 1.0 in x
2.315 * [taylor]: Taking taylor expansion of (cos x) in x
2.316 * [taylor]: Taking taylor expansion of x in x
2.316 * [taylor]: Taking taylor expansion of (sin x) in x
2.316 * [taylor]: Taking taylor expansion of x in x
2.318 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.319 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.319 * [taylor]: Taking taylor expansion of 1.0 in x
2.319 * [taylor]: Taking taylor expansion of (cos x) in x
2.319 * [taylor]: Taking taylor expansion of x in x
2.319 * [taylor]: Taking taylor expansion of (sin x) in x
2.319 * [taylor]: Taking taylor expansion of x in x
2.337 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
2.337 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.337 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.337 * [taylor]: Taking taylor expansion of 1.0 in x
2.337 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.337 * [taylor]: Taking taylor expansion of x in x
2.338 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.338 * [taylor]: Taking taylor expansion of x in x
2.338 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.338 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.338 * [taylor]: Taking taylor expansion of 1.0 in x
2.338 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.338 * [taylor]: Taking taylor expansion of x in x
2.339 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.339 * [taylor]: Taking taylor expansion of x in x
2.345 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
2.345 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.345 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.345 * [taylor]: Taking taylor expansion of 1.0 in x
2.345 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.345 * [taylor]: Taking taylor expansion of -1 in x
2.345 * [taylor]: Taking taylor expansion of x in x
2.345 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.345 * [taylor]: Taking taylor expansion of -1 in x
2.345 * [taylor]: Taking taylor expansion of x in x
2.346 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.346 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.346 * [taylor]: Taking taylor expansion of 1.0 in x
2.346 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.346 * [taylor]: Taking taylor expansion of -1 in x
2.346 * [taylor]: Taking taylor expansion of x in x
2.346 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.346 * [taylor]: Taking taylor expansion of -1 in x
2.346 * [taylor]: Taking taylor expansion of x in x
2.352 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.352 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in (x) around 0
2.352 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in x
2.352 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.352 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.352 * [taylor]: Taking taylor expansion of 1.0 in x
2.352 * [taylor]: Taking taylor expansion of (cos x) in x
2.352 * [taylor]: Taking taylor expansion of x in x
2.352 * [taylor]: Taking taylor expansion of (sin x) in x
2.352 * [taylor]: Taking taylor expansion of x in x
2.355 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in x
2.355 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.355 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.355 * [taylor]: Taking taylor expansion of 1.0 in x
2.355 * [taylor]: Taking taylor expansion of (cos x) in x
2.355 * [taylor]: Taking taylor expansion of x in x
2.355 * [taylor]: Taking taylor expansion of (sin x) in x
2.355 * [taylor]: Taking taylor expansion of x in x
2.363 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in (x) around 0
2.363 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in x
2.363 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.363 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.363 * [taylor]: Taking taylor expansion of 1.0 in x
2.363 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.363 * [taylor]: Taking taylor expansion of x in x
2.363 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.363 * [taylor]: Taking taylor expansion of x in x
2.364 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in x
2.364 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.364 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.364 * [taylor]: Taking taylor expansion of 1.0 in x
2.364 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.364 * [taylor]: Taking taylor expansion of x in x
2.364 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.364 * [taylor]: Taking taylor expansion of x in x
2.383 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in (x) around 0
2.383 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in x
2.383 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.383 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.383 * [taylor]: Taking taylor expansion of 1.0 in x
2.383 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.383 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.383 * [taylor]: Taking taylor expansion of -1 in x
2.383 * [taylor]: Taking taylor expansion of x in x
2.384 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.384 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.384 * [taylor]: Taking taylor expansion of -1 in x
2.384 * [taylor]: Taking taylor expansion of x in x
2.384 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in x
2.384 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.384 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.384 * [taylor]: Taking taylor expansion of 1.0 in x
2.384 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.384 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.384 * [taylor]: Taking taylor expansion of -1 in x
2.384 * [taylor]: Taking taylor expansion of x in x
2.385 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.385 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.385 * [taylor]: Taking taylor expansion of -1 in x
2.385 * [taylor]: Taking taylor expansion of x in x
2.400 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
2.400 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
2.401 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.401 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.401 * [taylor]: Taking taylor expansion of 1.0 in x
2.401 * [taylor]: Taking taylor expansion of (cos x) in x
2.401 * [taylor]: Taking taylor expansion of x in x
2.401 * [taylor]: Taking taylor expansion of (sin x) in x
2.401 * [taylor]: Taking taylor expansion of x in x
2.404 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.404 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.404 * [taylor]: Taking taylor expansion of 1.0 in x
2.404 * [taylor]: Taking taylor expansion of (cos x) in x
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [taylor]: Taking taylor expansion of (sin x) in x
2.404 * [taylor]: Taking taylor expansion of x in x
2.422 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
2.422 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.422 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.422 * [taylor]: Taking taylor expansion of 1.0 in x
2.422 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.422 * [taylor]: Taking taylor expansion of x in x
2.423 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.423 * [taylor]: Taking taylor expansion of x in x
2.423 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.423 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.423 * [taylor]: Taking taylor expansion of 1.0 in x
2.423 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.423 * [taylor]: Taking taylor expansion of x in x
2.424 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.424 * [taylor]: Taking taylor expansion of x in x
2.429 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
2.429 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.429 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.429 * [taylor]: Taking taylor expansion of 1.0 in x
2.429 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.429 * [taylor]: Taking taylor expansion of -1 in x
2.429 * [taylor]: Taking taylor expansion of x in x
2.430 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.430 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.430 * [taylor]: Taking taylor expansion of -1 in x
2.430 * [taylor]: Taking taylor expansion of x in x
2.430 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.430 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.430 * [taylor]: Taking taylor expansion of 1.0 in x
2.430 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.430 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.430 * [taylor]: Taking taylor expansion of -1 in x
2.430 * [taylor]: Taking taylor expansion of x in x
2.431 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.431 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.431 * [taylor]: Taking taylor expansion of -1 in x
2.431 * [taylor]: Taking taylor expansion of x in x
2.436 * * * [progress]: simplifying candidates
2.438 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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 (log (exp (/ (- 1.0 (cos x)) (sin x)))))
  (log1p (log (exp (/ (- 1.0 (cos x)) (sin x)))))
  (log (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))))
  (log (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))
  (log (sqrt (exp (/ (- 1.0 (cos x)) (sin x)))))
  (log (sqrt (exp (/ (- 1.0 (cos x)) (sin x)))))
  (log 1)
  (log (exp (/ (- 1.0 (cos x)) (sin x))))
  (log (exp (/ 1.0 (sin x))))
  (log (exp (/ (cos x) (sin x))))
  (log (exp (/ (- 1.0 (cos x)) (sin x))))
  (log (exp (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))))
  (log (exp (sqrt (/ (- 1.0 (cos x)) (sin x)))))
  (log (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))))
  (log (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))))
  (log (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1)))
  (log (exp (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))))
  (log (exp (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))))
  (log (exp (/ (sqrt (- 1.0 (cos x))) 1)))
  (log (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))))
  (log (exp (/ 1 (sqrt (sin x)))))
  (log (exp (/ 1 1)))
  (log (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))))
  (log (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))))
  (log (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) 1)))
  (log (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))))
  (log (exp (/ 1 (sqrt (sin x)))))
  (log (exp (/ 1 1)))
  (log (exp 1))
  (log (exp (- 1.0 (cos x))))
  (log (log (exp (/ (- 1.0 (cos x)) (sin x)))))
  (exp (log (exp (/ (- 1.0 (cos x)) (sin x)))))
  (* (cbrt (log (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (log (exp (/ (- 1.0 (cos x)) (sin x))))))
  (cbrt (log (exp (/ (- 1.0 (cos x)) (sin x)))))
  (* (* (log (exp (/ (- 1.0 (cos x)) (sin x)))) (log (exp (/ (- 1.0 (cos x)) (sin x))))) (log (exp (/ (- 1.0 (cos x)) (sin x)))))
  (sqrt (log (exp (/ (- 1.0 (cos x)) (sin x)))))
  (sqrt (log (exp (/ (- 1.0 (cos x)) (sin x)))))
  (expm1 (exp (/ (- 1.0 (cos x)) (sin x))))
  (log1p (exp (/ (- 1.0 (cos x)) (sin x))))
  (exp (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))
  (exp (sqrt (/ (- 1.0 (cos x)) (sin x))))
  (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))))
  (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1))
  (exp (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))))
  (exp (/ (sqrt (- 1.0 (cos x))) 1))
  (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ 1 (sqrt (sin x))))
  (exp (/ 1 1))
  (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))))
  (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) 1))
  (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ 1 (sqrt (sin x))))
  (exp (/ 1 1))
  (exp 1)
  (exp (- 1.0 (cos x)))
  (exp (/ 1.0 (sin x)))
  (exp (/ (cos x) (sin x)))
  (log (exp (/ (- 1.0 (cos x)) (sin x))))
  (exp (exp (/ (- 1.0 (cos x)) (sin x))))
  (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))
  (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))
  (* (* (exp (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x)))) (exp (/ (- 1.0 (cos x)) (sin x))))
  (sqrt (exp (/ (- 1.0 (cos x)) (sin x))))
  (sqrt (exp (/ (- 1.0 (cos x)) (sin x))))
  (expm1 (/ (- 1.0 (cos x)) (sin x)))
  (log1p (/ (- 1.0 (cos x)) (sin x)))
  (- (log (- 1.0 (cos x))) (log (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (cbrt (/ (- 1.0 (cos x)) (sin x)))
  (* (* (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x))) (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (- (- 1.0 (cos x)))
  (- (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))
  (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1)
  (/ (cbrt (- 1.0 (cos x))) (sin x))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) 1)
  (/ (sqrt (- 1.0 (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ 1 1)
  (/ (- 1.0 (cos x)) (sin x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) 1)
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ 1 1)
  (/ (- 1.0 (cos x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ (- 1.0 (cos x)) 1)
  (/ (sin x) (cbrt (- 1.0 (cos x))))
  (/ (sin x) (sqrt (- 1.0 (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (* (sin x) (+ 1.0 (cos x)))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
2.444 * * [simplify]: iteration  0 :  195  enodes  (cost  1743 )
2.484 * * [simplify]: iteration  1 :  371  enodes  (cost  1509 )
2.596 * * [simplify]: iteration  2 :  849  enodes  (cost  1372 )
3.242 * * [simplify]: iteration  3 :  2883  enodes  (cost  1333 )
4.181 * * [simplify]: iteration  done :  5000  enodes  (cost  1332 )
4.182 * [simplify]: Simplified to:
   (- (pow (cbrt 1.0) 3) (cos x))
  0
  (- (pow (cbrt 1.0) 3) (cos x))
  0
  (- (pow (cbrt 1.0) 3) (cos x))
  0
  (- 1.0 (cos x))
  0
  (- 1.0 (cos x))
  0
  (- 1.0 (cos x))
  0
  (- 1.0 (cos x))
  0
  (- 1.0 (cos x))
  0
  (- 1.0 (cos x))
  0
  (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) (+ 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt (cos x)) (sqrt 1.0))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (expm1 (/ (- 1.0 (cos x)) (sin x)))
  (log1p (/ (- 1.0 (cos x)) (sin x)))
  (* 2 (log (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))))
  (log (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))
  (log (sqrt (exp (/ (- 1.0 (cos x)) (sin x)))))
  (log (sqrt (exp (/ (- 1.0 (cos x)) (sin x)))))
  0
  (/ (- 1.0 (cos x)) (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (cbrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (sqrt (- 1.0 (cos x)))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (sqrt (sin x)))
  1
  (/ (+ (sqrt (cos x)) (sqrt 1.0)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (+ (sqrt (cos x)) (sqrt 1.0))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (sqrt (sin x)))
  1
  1
  (- 1.0 (cos x))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (cbrt (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (expm1 (exp (/ (- 1.0 (cos x)) (sin x))))
  (log1p (exp (/ (- 1.0 (cos x)) (sin x))))
  (exp (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))
  (exp (sqrt (/ (- 1.0 (cos x)) (sin x))))
  (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))))
  (exp (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))))
  (exp (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))))
  (exp (sqrt (- 1.0 (cos x))))
  (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ 1 (sqrt (sin x))))
  E
  (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))))
  (exp (+ (sqrt (cos x)) (sqrt 1.0)))
  (exp (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (exp (/ 1 (sqrt (sin x))))
  E
  E
  (exp (- 1.0 (cos x)))
  (exp (/ 1.0 (sin x)))
  (exp (/ (cos x) (sin x)))
  (/ (- 1.0 (cos x)) (sin x))
  (exp (exp (/ (- 1.0 (cos x)) (sin x))))
  (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))
  (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))
  (pow (exp (/ (- 1.0 (cos x)) (sin x))) 3)
  (sqrt (exp (/ (- 1.0 (cos x)) (sin x))))
  (sqrt (exp (/ (- 1.0 (cos x)) (sin x))))
  (expm1 (/ (- 1.0 (cos x)) (sin x)))
  (log1p (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (cbrt (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (- (cos x) 1.0)
  (- (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))
  (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (/ (cbrt (- 1.0 (cos x))) (sin x))
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (cbrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (sqrt (- 1.0 (cos x)))
  (/ (sqrt (- 1.0 (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  1
  (/ (- 1.0 (cos x)) (sin x))
  (/ (+ (sqrt (cos x)) (sqrt 1.0)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (+ (sqrt (cos x)) (sqrt 1.0))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  1
  (/ (- 1.0 (cos x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (- 1.0 (cos x))
  (/ (sin x) (cbrt (- 1.0 (cos x))))
  (/ (sin x) (sqrt (- 1.0 (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (* (sin x) (+ 1.0 (cos x)))
  (fma (pow x 2) 1/2 (fma 1/720 (pow x 6) (* -1/24 (pow x 4))))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (fma 1/24 (pow x 3) (fma 1/240 (pow x 5) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (fma 1/8 (pow x 2) (fma 1/2 x 1))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (fma 1/24 (pow x 3) (fma 1/240 (pow x 5) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
4.183 * * * [progress]: adding candidates to table
4.505 * * [progress]: iteration 3 / 4
4.505 * * * [progress]: picking best candidate
4.545 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1 (sin x)) (- 1.0 (cos x))))>
4.545 * * * [progress]: localizing error
4.554 * * * [progress]: generating rewritten candidates
4.554 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
4.558 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.578 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
4.587 * * * [progress]: generating series expansions
4.588 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
4.588 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
4.588 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
4.588 * [taylor]: Taking taylor expansion of 1.0 in x
4.588 * [taylor]: Taking taylor expansion of (cos x) in x
4.588 * [taylor]: Taking taylor expansion of x in x
4.588 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
4.588 * [taylor]: Taking taylor expansion of 1.0 in x
4.588 * [taylor]: Taking taylor expansion of (cos x) in x
4.588 * [taylor]: Taking taylor expansion of x in x
4.599 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
4.599 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
4.599 * [taylor]: Taking taylor expansion of 1.0 in x
4.599 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.599 * [taylor]: Taking taylor expansion of x in x
4.600 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
4.600 * [taylor]: Taking taylor expansion of 1.0 in x
4.600 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.600 * [taylor]: Taking taylor expansion of x in x
4.603 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
4.603 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
4.603 * [taylor]: Taking taylor expansion of 1.0 in x
4.603 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.604 * [taylor]: Taking taylor expansion of -1 in x
4.604 * [taylor]: Taking taylor expansion of x in x
4.604 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
4.604 * [taylor]: Taking taylor expansion of 1.0 in x
4.604 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.604 * [taylor]: Taking taylor expansion of -1 in x
4.604 * [taylor]: Taking taylor expansion of x in x
4.607 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.608 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
4.608 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
4.608 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
4.608 * [taylor]: Taking taylor expansion of 1.0 in x
4.608 * [taylor]: Taking taylor expansion of (cos x) in x
4.608 * [taylor]: Taking taylor expansion of x in x
4.608 * [taylor]: Taking taylor expansion of (sin x) in x
4.608 * [taylor]: Taking taylor expansion of x in x
4.611 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
4.611 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
4.611 * [taylor]: Taking taylor expansion of 1.0 in x
4.611 * [taylor]: Taking taylor expansion of (cos x) in x
4.611 * [taylor]: Taking taylor expansion of x in x
4.611 * [taylor]: Taking taylor expansion of (sin x) in x
4.611 * [taylor]: Taking taylor expansion of x in x
4.629 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
4.629 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
4.629 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
4.629 * [taylor]: Taking taylor expansion of 1.0 in x
4.629 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.629 * [taylor]: Taking taylor expansion of x in x
4.629 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.629 * [taylor]: Taking taylor expansion of x in x
4.630 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
4.630 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
4.630 * [taylor]: Taking taylor expansion of 1.0 in x
4.630 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.630 * [taylor]: Taking taylor expansion of x in x
4.630 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.630 * [taylor]: Taking taylor expansion of x in x
4.636 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
4.636 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
4.636 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
4.636 * [taylor]: Taking taylor expansion of 1.0 in x
4.636 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.636 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.636 * [taylor]: Taking taylor expansion of -1 in x
4.636 * [taylor]: Taking taylor expansion of x in x
4.636 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.636 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.636 * [taylor]: Taking taylor expansion of -1 in x
4.636 * [taylor]: Taking taylor expansion of x in x
4.637 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
4.637 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
4.637 * [taylor]: Taking taylor expansion of 1.0 in x
4.637 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.637 * [taylor]: Taking taylor expansion of -1 in x
4.637 * [taylor]: Taking taylor expansion of x in x
4.637 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.637 * [taylor]: Taking taylor expansion of -1 in x
4.637 * [taylor]: Taking taylor expansion of x in x
4.643 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
4.643 * [approximate]: Taking taylor expansion of (/ 1 (sin x)) in (x) around 0
4.643 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x
4.643 * [taylor]: Taking taylor expansion of (sin x) in x
4.643 * [taylor]: Taking taylor expansion of x in x
4.643 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x
4.644 * [taylor]: Taking taylor expansion of (sin x) in x
4.644 * [taylor]: Taking taylor expansion of x in x
4.651 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in (x) around 0
4.651 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x
4.651 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.651 * [taylor]: Taking taylor expansion of x in x
4.652 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x
4.652 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
4.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.652 * [taylor]: Taking taylor expansion of x in x
4.654 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in (x) around 0
4.654 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x
4.654 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.654 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.654 * [taylor]: Taking taylor expansion of -1 in x
4.654 * [taylor]: Taking taylor expansion of x in x
4.654 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x
4.654 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
4.654 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.655 * [taylor]: Taking taylor expansion of -1 in x
4.655 * [taylor]: Taking taylor expansion of x in x
4.656 * * * [progress]: simplifying candidates
4.658 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (fma 1 1.0 (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma 1 1.0 (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma 1 1.0 (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (expm1 (- 1.0 (cos x)))
  (log1p (- 1.0 (cos x)))
  (- (cos x))
  (- (cos x))
  (- (cos x))
  (/ (exp 1.0) (exp (cos x)))
  (log (- 1.0 (cos x)))
  (exp (- 1.0 (cos x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (cbrt (- 1.0 (cos x)))
  (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (expm1 (* (/ 1 (sin x)) (- 1.0 (cos x))))
  (log1p (* (/ 1 (sin x)) (- 1.0 (cos x))))
  (* (/ 1 (sin x)) (- 1.0 (cos x)))
  (+ (- (log (sin x))) (log (- 1.0 (cos x))))
  (+ (- 0 (log (sin x))) (log (- 1.0 (cos x))))
  (+ (- (log 1) (log (sin x))) (log (- 1.0 (cos x))))
  (+ (log (/ 1 (sin x))) (log (- 1.0 (cos x))))
  (log (* (/ 1 (sin x)) (- 1.0 (cos x))))
  (exp (* (/ 1 (sin x)) (- 1.0 (cos x))))
  (* (/ (* (* 1 1) 1) (* (* (sin x) (sin x)) (sin x))) (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))))
  (* (* (* (/ 1 (sin x)) (/ 1 (sin x))) (/ 1 (sin x))) (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))))
  (* (cbrt (* (/ 1 (sin x)) (- 1.0 (cos x)))) (cbrt (* (/ 1 (sin x)) (- 1.0 (cos x)))))
  (cbrt (* (/ 1 (sin x)) (- 1.0 (cos x))))
  (* (* (* (/ 1 (sin x)) (- 1.0 (cos x))) (* (/ 1 (sin x)) (- 1.0 (cos x)))) (* (/ 1 (sin x)) (- 1.0 (cos x))))
  (sqrt (* (/ 1 (sin x)) (- 1.0 (cos x))))
  (sqrt (* (/ 1 (sin x)) (- 1.0 (cos x))))
  (* 1 (- (pow 1.0 3) (pow (cos x) 3)))
  (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (* 1 (- (* 1.0 1.0) (* (cos x) (cos x))))
  (* (sin x) (+ 1.0 (cos x)))
  (* (sqrt (/ 1 (sin x))) (sqrt (- 1.0 (cos x))))
  (* (sqrt (/ 1 (sin x))) (sqrt (- 1.0 (cos x))))
  (* (/ (sqrt 1) (sqrt (sin x))) (sqrt (- 1.0 (cos x))))
  (* (/ (sqrt 1) (sqrt (sin x))) (sqrt (- 1.0 (cos x))))
  (* (/ 1 (sqrt (sin x))) (sqrt (- 1.0 (cos x))))
  (* (/ 1 (sqrt (sin x))) (sqrt (- 1.0 (cos x))))
  (* (/ 1 (sin x)) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))))
  (* (/ 1 (sin x)) (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (* (/ 1 (sin x)) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x))))))
  (* (/ 1 (sin x)) (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))))
  (* (/ 1 (sin x)) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cos x) 1))))
  (* (/ 1 (sin x)) (fma (- (cos x)) 1 (* (cos x) 1)))
  (* (/ 1 (sin x)) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))))
  (* (/ 1 (sin x)) (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (* (/ 1 (sin x)) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x))))))
  (* (/ 1 (sin x)) (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))))
  (* (/ 1 (sin x)) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cos x) 1))))
  (* (/ 1 (sin x)) (fma (- (cos x)) 1 (* (cos x) 1)))
  (* (/ 1 (sin x)) (fma 1 1.0 (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))))
  (* (/ 1 (sin x)) (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (* (/ 1 (sin x)) (fma 1 1.0 (- (* (sqrt (cos x)) (sqrt (cos x))))))
  (* (/ 1 (sin x)) (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))))
  (* (/ 1 (sin x)) (fma 1 1.0 (- (* (cos x) 1))))
  (* (/ 1 (sin x)) (fma (- (cos x)) 1 (* (cos x) 1)))
  (* (/ 1 (sin x)) 1.0)
  (* (/ 1 (sin x)) (- (cos x)))
  (* (/ 1 (sin x)) 1.0)
  (* (/ 1 (sin x)) (- (cos x)))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))) (/ 1 (sin x)))
  (* (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))) (/ 1 (sin x)))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x))))) (/ 1 (sin x)))
  (* (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))) (/ 1 (sin x)))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cos x) 1))) (/ 1 (sin x)))
  (* (fma (- (cos x)) 1 (* (cos x) 1)) (/ 1 (sin x)))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))) (/ 1 (sin x)))
  (* (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))) (/ 1 (sin x)))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x))))) (/ 1 (sin x)))
  (* (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))) (/ 1 (sin x)))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cos x) 1))) (/ 1 (sin x)))
  (* (fma (- (cos x)) 1 (* (cos x) 1)) (/ 1 (sin x)))
  (* (fma 1 1.0 (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))) (/ 1 (sin x)))
  (* (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))) (/ 1 (sin x)))
  (* (fma 1 1.0 (- (* (sqrt (cos x)) (sqrt (cos x))))) (/ 1 (sin x)))
  (* (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x)))) (/ 1 (sin x)))
  (* (fma 1 1.0 (- (* (cos x) 1))) (/ 1 (sin x)))
  (* (fma (- (cos x)) 1 (* (cos x) 1)) (/ 1 (sin x)))
  (* 1.0 (/ 1 (sin x)))
  (* (- (cos x)) (/ 1 (sin x)))
  (* 1.0 (/ 1 (sin x)))
  (* (- (cos x)) (/ 1 (sin x)))
  (* (/ 1 (sin x)) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))))
  (* (/ 1 (sin x)) (sqrt (- 1.0 (cos x))))
  (* (/ 1 (sin x)) 1)
  (* (/ 1 (sin x)) (+ (sqrt 1.0) (sqrt (cos x))))
  (* (/ 1 (sin x)) 1)
  (* (cbrt (/ 1 (sin x))) (- 1.0 (cos x)))
  (* (sqrt (/ 1 (sin x))) (- 1.0 (cos x)))
  (* (/ (cbrt 1) (cbrt (sin x))) (- 1.0 (cos x)))
  (* (/ (cbrt 1) (sqrt (sin x))) (- 1.0 (cos x)))
  (* (/ (cbrt 1) (sin x)) (- 1.0 (cos x)))
  (* (/ (sqrt 1) (cbrt (sin x))) (- 1.0 (cos x)))
  (* (/ (sqrt 1) (sqrt (sin x))) (- 1.0 (cos x)))
  (* (/ (sqrt 1) (sin x)) (- 1.0 (cos x)))
  (* (/ 1 (cbrt (sin x))) (- 1.0 (cos x)))
  (* (/ 1 (sqrt (sin x))) (- 1.0 (cos x)))
  (* (/ 1 (sin x)) (- 1.0 (cos x)))
  (* (/ 1 (sin x)) (- 1.0 (cos x)))
  (* (/ 1 (sin x)) (- 1.0 (cos x)))
  (* (/ 1 (sin x)) (- (pow 1.0 3) (pow (cos x) 3)))
  (* (/ 1 (sin x)) (- (* 1.0 1.0) (* (cos x) (cos x))))
  (* 1 (- 1.0 (cos x)))
  (expm1 (/ 1 (sin x)))
  (log1p (/ 1 (sin x)))
  (- 1)
  (- (log (sin x)))
  (- 0 (log (sin x)))
  (- (log 1) (log (sin x)))
  (log (/ 1 (sin x)))
  (exp (/ 1 (sin x)))
  (/ (* (* 1 1) 1) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))
  (cbrt (/ 1 (sin x)))
  (* (* (/ 1 (sin x)) (/ 1 (sin x))) (/ 1 (sin x)))
  (sqrt (/ 1 (sin x)))
  (sqrt (/ 1 (sin x)))
  (- 1)
  (- (sin x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt 1) (cbrt (sin x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin x)))
  (/ (cbrt 1) (sqrt (sin x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sin x))
  (/ (sqrt 1) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt 1) (cbrt (sin x)))
  (/ (sqrt 1) (sqrt (sin x)))
  (/ (sqrt 1) (sqrt (sin x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 1)
  (/ 1 (sin x))
  (/ 1 (sin x))
  (/ (sin x) 1)
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (sqrt (sin x)))
  (/ 1 1)
  (/ (sin x) (cbrt 1))
  (/ (sin x) (sqrt 1))
  (/ (sin x) 1)
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (+ (* 7/360 (pow x 3)) (+ (/ 1 x) (* 1/6 x)))
  (/ 1 (sin x))
  (/ 1 (sin x))
4.669 * * [simplify]: iteration  0 :  204  enodes  (cost  2041 )
4.738 * * [simplify]: iteration  1 :  482  enodes  (cost  1579 )
4.936 * * [simplify]: iteration  2 :  1283  enodes  (cost  1206 )
6.055 * * [simplify]: iteration  3 :  3757  enodes  (cost  1170 )
7.023 * * [simplify]: iteration  done :  5001  enodes  (cost  1170 )
7.023 * [simplify]: Simplified to:
   (- (pow (cbrt 1.0) 3) (cos x))
  (* (cos x) 0)
  (- (pow (cbrt 1.0) 3) (cos x))
  (* (cos x) 0)
  (- (pow (cbrt 1.0) 3) (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (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) (+ 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (expm1 (/ (- 1.0 (cos x)) (sin x)))
  (log1p (/ (- 1.0 (cos x)) (sin x)))
  (/ (- 1.0 (cos x)) (sin x))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (cbrt (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (* (sin x) (+ 1.0 (cos x)))
  (* (sqrt (/ 1 (sin x))) (sqrt (- 1.0 (cos x))))
  (* (sqrt (/ 1 (sin x))) (sqrt (- 1.0 (cos x))))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ 1.0 (sin x))
  (/ (- (cos x)) (sin x))
  (/ 1.0 (sin x))
  (/ (- (cos x)) (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (* (cos x) 0) (sin x))
  (/ 1.0 (sin x))
  (/ (- (cos x)) (sin x))
  (/ 1.0 (sin x))
  (/ (- (cos x)) (sin x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sin x))
  (/ (sqrt (- 1.0 (cos x))) (sin x))
  (/ 1 (sin x))
  (/ (+ (sqrt (cos x)) (sqrt 1.0)) (sin x))
  (/ 1 (sin x))
  (* (cbrt (/ 1 (sin x))) (- 1.0 (cos x)))
  (* (sqrt (/ 1 (sin x))) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x))
  (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x))
  (- 1.0 (cos x))
  (expm1 (/ 1 (sin x)))
  (log1p (/ 1 (sin x)))
  -1
  (- (log (sin x)))
  (- (log (sin x)))
  (- (log (sin x)))
  (- (log (sin x)))
  (exp (/ 1 (sin x)))
  (/ 1 (pow (sin x) 3))
  (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))
  (cbrt (/ 1 (sin x)))
  (/ 1 (pow (sin x) 3))
  (sqrt (/ 1 (sin x)))
  (sqrt (/ 1 (sin x)))
  -1
  (- (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 (sqrt (sin x)))
  1
  (/ 1 (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 (sqrt (sin x)))
  1
  (/ 1 (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 (sqrt (sin x)))
  1
  (/ 1 (sin x))
  (/ 1 (sin x))
  (sin x)
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (sqrt (sin x)))
  1
  (sin x)
  (sin x)
  (sin x)
  (fma (pow x 2) 1/2 (fma (pow x 6) 1/720 (* -1/24 (pow x 4))))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (fma 1/24 (pow x 3) (fma 1/240 (pow x 5) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (fma (pow x 3) 7/360 (fma 1/6 x (/ 1 x)))
  (/ 1 (sin x))
  (/ 1 (sin x))
7.024 * * * [progress]: adding candidates to table
7.214 * * [progress]: iteration 4 / 4
7.214 * * * [progress]: picking best candidate
7.254 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>
7.254 * * * [progress]: localizing error
7.269 * * * [progress]: generating rewritten candidates
7.269 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
7.292 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 3 2)
7.295 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.297 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
7.382 * * * [progress]: generating series expansions
7.382 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
7.383 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
7.383 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
7.383 * [taylor]: Taking taylor expansion of 1.0 in x
7.383 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
7.383 * [taylor]: Taking taylor expansion of (cos x) in x
7.383 * [taylor]: Taking taylor expansion of x in x
7.383 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
7.383 * [taylor]: Taking taylor expansion of 1.0 in x
7.383 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
7.383 * [taylor]: Taking taylor expansion of (cos x) in x
7.383 * [taylor]: Taking taylor expansion of x in x
7.405 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
7.405 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
7.405 * [taylor]: Taking taylor expansion of 1.0 in x
7.405 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
7.405 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.405 * [taylor]: Taking taylor expansion of x in x
7.406 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
7.406 * [taylor]: Taking taylor expansion of 1.0 in x
7.406 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
7.406 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.406 * [taylor]: Taking taylor expansion of x in x
7.419 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
7.419 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
7.419 * [taylor]: Taking taylor expansion of 1.0 in x
7.419 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
7.419 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.419 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.419 * [taylor]: Taking taylor expansion of -1 in x
7.419 * [taylor]: Taking taylor expansion of x in x
7.419 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
7.419 * [taylor]: Taking taylor expansion of 1.0 in x
7.419 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
7.419 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.419 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.419 * [taylor]: Taking taylor expansion of -1 in x
7.419 * [taylor]: Taking taylor expansion of x in x
7.432 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 3 2)
7.432 * [approximate]: Taking taylor expansion of (+ (cos x) 1.0) in (x) around 0
7.432 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
7.432 * [taylor]: Taking taylor expansion of (cos x) in x
7.432 * [taylor]: Taking taylor expansion of x in x
7.432 * [taylor]: Taking taylor expansion of 1.0 in x
7.432 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
7.432 * [taylor]: Taking taylor expansion of (cos x) in x
7.432 * [taylor]: Taking taylor expansion of x in x
7.432 * [taylor]: Taking taylor expansion of 1.0 in x
7.437 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0
7.437 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
7.437 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.437 * [taylor]: Taking taylor expansion of x in x
7.437 * [taylor]: Taking taylor expansion of 1.0 in x
7.437 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
7.437 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.437 * [taylor]: Taking taylor expansion of x in x
7.438 * [taylor]: Taking taylor expansion of 1.0 in x
7.439 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0
7.439 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
7.439 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.439 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.439 * [taylor]: Taking taylor expansion of -1 in x
7.439 * [taylor]: Taking taylor expansion of x in x
7.440 * [taylor]: Taking taylor expansion of 1.0 in x
7.440 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
7.440 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.440 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.440 * [taylor]: Taking taylor expansion of -1 in x
7.440 * [taylor]: Taking taylor expansion of x in x
7.440 * [taylor]: Taking taylor expansion of 1.0 in x
7.442 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.442 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0
7.442 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
7.442 * [taylor]: Taking taylor expansion of (cos x) in x
7.442 * [taylor]: Taking taylor expansion of x in x
7.442 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
7.442 * [taylor]: Taking taylor expansion of (cos x) in x
7.442 * [taylor]: Taking taylor expansion of x in x
7.452 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0
7.452 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
7.452 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.452 * [taylor]: Taking taylor expansion of x in x
7.453 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
7.453 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.453 * [taylor]: Taking taylor expansion of x in x
7.466 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0
7.466 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
7.466 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.467 * [taylor]: Taking taylor expansion of -1 in x
7.467 * [taylor]: Taking taylor expansion of x in x
7.467 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
7.467 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.467 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.467 * [taylor]: Taking taylor expansion of -1 in x
7.467 * [taylor]: Taking taylor expansion of x in x
7.476 * * * * [progress]: [ 4 / 4 ] generating series at (2)
7.477 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (* (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) (sin x))) in (x) around 0
7.477 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (* (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) (sin x))) in x
7.477 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
7.477 * [taylor]: Taking taylor expansion of 1.0 in x
7.477 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
7.477 * [taylor]: Taking taylor expansion of (cos x) in x
7.477 * [taylor]: Taking taylor expansion of x in x
7.477 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) (sin x)) in x
7.477 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) in x
7.477 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (+ (cos x) 1.0) (cos x)))
7.477 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
7.477 * [taylor]: Taking taylor expansion of 1.0 in x
7.477 * [taylor]: Taking taylor expansion of 1.0 in x
7.477 * [taylor]: Taking taylor expansion of (* (+ (cos x) 1.0) (cos x)) in x
7.477 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
7.477 * [taylor]: Taking taylor expansion of (cos x) in x
7.477 * [taylor]: Taking taylor expansion of x in x
7.477 * [taylor]: Taking taylor expansion of 1.0 in x
7.478 * [taylor]: Taking taylor expansion of (cos x) in x
7.478 * [taylor]: Taking taylor expansion of x in x
7.478 * [taylor]: Taking taylor expansion of (sin x) in x
7.478 * [taylor]: Taking taylor expansion of x in x
7.487 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (* (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) (sin x))) in x
7.487 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
7.487 * [taylor]: Taking taylor expansion of 1.0 in x
7.487 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
7.487 * [taylor]: Taking taylor expansion of (cos x) in x
7.487 * [taylor]: Taking taylor expansion of x in x
7.487 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) (sin x)) in x
7.487 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) in x
7.487 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (+ (cos x) 1.0) (cos x)))
7.487 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
7.487 * [taylor]: Taking taylor expansion of 1.0 in x
7.487 * [taylor]: Taking taylor expansion of 1.0 in x
7.487 * [taylor]: Taking taylor expansion of (* (+ (cos x) 1.0) (cos x)) in x
7.488 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
7.488 * [taylor]: Taking taylor expansion of (cos x) in x
7.488 * [taylor]: Taking taylor expansion of x in x
7.488 * [taylor]: Taking taylor expansion of 1.0 in x
7.488 * [taylor]: Taking taylor expansion of (cos x) in x
7.488 * [taylor]: Taking taylor expansion of x in x
7.488 * [taylor]: Taking taylor expansion of (sin x) in x
7.488 * [taylor]: Taking taylor expansion of x in x
7.557 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (* (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) (sin (/ 1 x)))) in (x) around 0
7.557 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (* (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) (sin (/ 1 x)))) in x
7.558 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
7.558 * [taylor]: Taking taylor expansion of 1.0 in x
7.558 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
7.558 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.558 * [taylor]: Taking taylor expansion of x in x
7.558 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) (sin (/ 1 x))) in x
7.558 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) in x
7.558 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))))
7.558 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
7.558 * [taylor]: Taking taylor expansion of 1.0 in x
7.558 * [taylor]: Taking taylor expansion of 1.0 in x
7.558 * [taylor]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in x
7.558 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
7.558 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.558 * [taylor]: Taking taylor expansion of x in x
7.559 * [taylor]: Taking taylor expansion of 1.0 in x
7.559 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.559 * [taylor]: Taking taylor expansion of x in x
7.559 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
7.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.559 * [taylor]: Taking taylor expansion of x in x
7.561 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (* (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) (sin (/ 1 x)))) in x
7.561 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
7.561 * [taylor]: Taking taylor expansion of 1.0 in x
7.561 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
7.561 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.561 * [taylor]: Taking taylor expansion of x in x
7.561 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) (sin (/ 1 x))) in x
7.561 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) in x
7.561 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))))
7.561 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
7.561 * [taylor]: Taking taylor expansion of 1.0 in x
7.561 * [taylor]: Taking taylor expansion of 1.0 in x
7.561 * [taylor]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in x
7.561 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
7.561 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.561 * [taylor]: Taking taylor expansion of x in x
7.562 * [taylor]: Taking taylor expansion of 1.0 in x
7.562 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
7.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.562 * [taylor]: Taking taylor expansion of x in x
7.562 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
7.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.562 * [taylor]: Taking taylor expansion of x in x
7.600 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (* (sin (/ -1 x)) (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0))))) in (x) around 0
7.600 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (* (sin (/ -1 x)) (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0))))) in x
7.600 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
7.600 * [taylor]: Taking taylor expansion of 1.0 in x
7.600 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
7.600 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.600 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.600 * [taylor]: Taking taylor expansion of -1 in x
7.600 * [taylor]: Taking taylor expansion of x in x
7.600 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)))) in x
7.600 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
7.600 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.600 * [taylor]: Taking taylor expansion of -1 in x
7.600 * [taylor]: Taking taylor expansion of x in x
7.601 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0))) in x
7.601 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)))
7.601 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
7.601 * [taylor]: Taking taylor expansion of 1.0 in x
7.601 * [taylor]: Taking taylor expansion of 1.0 in x
7.601 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in x
7.601 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.601 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.601 * [taylor]: Taking taylor expansion of -1 in x
7.601 * [taylor]: Taking taylor expansion of x in x
7.602 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
7.602 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.602 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.602 * [taylor]: Taking taylor expansion of -1 in x
7.602 * [taylor]: Taking taylor expansion of x in x
7.602 * [taylor]: Taking taylor expansion of 1.0 in x
7.603 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (* (sin (/ -1 x)) (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0))))) in x
7.603 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
7.603 * [taylor]: Taking taylor expansion of 1.0 in x
7.603 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
7.603 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.603 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.603 * [taylor]: Taking taylor expansion of -1 in x
7.604 * [taylor]: Taking taylor expansion of x in x
7.604 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)))) in x
7.604 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
7.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.604 * [taylor]: Taking taylor expansion of -1 in x
7.604 * [taylor]: Taking taylor expansion of x in x
7.604 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0))) in x
7.604 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)))
7.604 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
7.604 * [taylor]: Taking taylor expansion of 1.0 in x
7.604 * [taylor]: Taking taylor expansion of 1.0 in x
7.604 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in x
7.604 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.605 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.605 * [taylor]: Taking taylor expansion of -1 in x
7.605 * [taylor]: Taking taylor expansion of x in x
7.605 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
7.605 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
7.605 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.605 * [taylor]: Taking taylor expansion of -1 in x
7.605 * [taylor]: Taking taylor expansion of x in x
7.605 * [taylor]: Taking taylor expansion of 1.0 in x
7.646 * * * [progress]: simplifying candidates
7.652 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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 (+ 1.0 (cos x)))
  (log1p (+ 1.0 (cos x)))
  (* (exp 1.0) (exp (cos x)))
  (log (+ 1.0 (cos x)))
  (exp (+ 1.0 (cos x)))
  (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x))))
  (cbrt (+ 1.0 (cos x)))
  (* (* (+ 1.0 (cos x)) (+ 1.0 (cos x))) (+ 1.0 (cos x)))
  (sqrt (+ 1.0 (cos x)))
  (sqrt (+ 1.0 (cos x)))
  (+ (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 1.0) (- (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (- 1.0 (cos x))
  (+ 1.0 (cos x))
  (expm1 (pow (cos x) 3))
  (log1p (pow (cos x) 3))
  (* (log (cos x)) 3)
  (* (log (cos x)) 3)
  (* 1 3)
  (pow (cos x) (* (cbrt 3) (cbrt 3)))
  (pow (cos x) (sqrt 3))
  (pow (cos x) 1)
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)
  (pow (cbrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow 1 3)
  (pow (cos x) 3)
  (* (cos x) (cos x))
  (log (pow (cos x) 3))
  (exp (pow (cos x) 3))
  (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))
  (cbrt (pow (cos x) 3))
  (* (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3))
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)
  (pow (cbrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow 1 3)
  (pow (cos x) 3)
  (* (cos x) (cos x))
  (sqrt (pow (cos x) 3))
  (sqrt (pow (cos x) 3))
  (pow (cos x) (/ 3 2))
  (pow (cos x) (/ 3 2))
  (expm1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (log1p (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (- (log (- (pow 1.0 3) (pow (cos x) 3))) (+ (log (sin x)) (log (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (- (log (- (pow 1.0 3) (pow (cos x) 3))) (log (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (exp (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (/ (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (/ (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3))) (* (* (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (* (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))))
  (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (* (* (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (- (- (pow 1.0 3) (pow (cos x) 3)))
  (- (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (pow 1.0 3) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (pow (cos x) 3) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (sin x))
  (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sin x))
  (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sin x))
  (/ (- 1.0 (cos x)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sin x))
  (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (sin x))
  (/ (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (sin x))
  (/ (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (sin x))
  (/ (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (pow 1 3) (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (pow 1 3) (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (pow 1 3) (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (pow 1 3) (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- 1.0 (cos x)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (* (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow 1.0 3) (pow (cos x) 3)))))
  (* (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (+ (pow 1.0 3) (pow (cos x) 3)))
  (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2)))
  (+ 1.0 (cos x))
  (+ 1.0 (cos x))
  (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2)))
  (pow (cos x) 3)
  (pow (cos x) 3)
  (+ (* 0.04166666666666663 (pow x 3)) (+ (* 0.004166666666666624 (pow x 5)) (* 0.5 x)))
  (/ (- 1.0 (pow (cos x) 3)) (* (sin x) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))))
  (/ (- 1.0 (pow (cos x) 3)) (* (sin x) (+ (pow (cos x) 2) (+ (* 1.0 (cos x)) 1.0))))
7.671 * * [simplify]: iteration  0 :  342  enodes  (cost  9345 )
7.772 * * [simplify]: iteration  1 :  756  enodes  (cost  5855 )
8.028 * * [simplify]: iteration  2 :  2417  enodes  (cost  4730 )
8.705 * * [simplify]: iteration  done :  5000  enodes  (cost  4730 )
8.707 * [simplify]: Simplified to:
   (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (pow (cos x) 3) 0)
  (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) (+ 1.0 (cos x))))
  (- 1.0 (cos x))
  (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3))
  (fma (pow (cos x) 3) (+ (pow 1.0 3) (pow (cos x) 3)) (pow 1.0 6))
  (- (pow (cos x) 3))
  (- (pow 1.0 6) (pow (cos x) 6))
  (+ (pow 1.0 3) (pow (cos x) 3))
  (fma 1.0 (sqrt 1.0) (pow (sqrt (cos x)) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (fma 1.0 (sqrt 1.0) (pow (sqrt (cos x)) 3))
  (- (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 (cos x) 3/2))
  (fma 1.0 (sqrt 1.0) (pow (sqrt (cos x)) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (fma 1.0 (sqrt 1.0) (pow (sqrt (cos x)) 3))
  (- (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 (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))
  (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (sqrt (pow (cos x) 3)))
  (+ (pow (cos x) 3/2) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (pow (cos x) 3/2))
  (- (pow 1.0 3) (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 (+ 1.0 (cos x)))
  (log1p (+ 1.0 (cos x)))
  (exp (+ 1.0 (cos x)))
  (log (+ 1.0 (cos x)))
  (exp (+ 1.0 (cos x)))
  (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x))))
  (cbrt (+ 1.0 (cos x)))
  (pow (+ 1.0 (cos x)) 3)
  (sqrt (+ 1.0 (cos x)))
  (sqrt (+ 1.0 (cos x)))
  (+ (pow 1.0 3) (pow (cos x) 3))
  (fma 1.0 1.0 (* (cos x) (- (cos x) 1.0)))
  (fma 1.0 1.0 (- (pow (cos x) 2)))
  (- 1.0 (cos x))
  (+ 1.0 (cos x))
  (expm1 (pow (cos x) 3))
  (log1p (pow (cos x) 3))
  (log (pow (cos x) 3))
  (log (pow (cos x) 3))
  3
  (pow (cos x) (* (cbrt 3) (cbrt 3)))
  (pow (cos x) (sqrt 3))
  (cos x)
  (pow (cos x) 2)
  (cos x)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  1
  (pow (cos x) 3)
  (pow (cos x) 2)
  (log (pow (cos x) 3))
  (exp (pow (cos x) 3))
  (pow (cos x) 2)
  (cos x)
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 2)
  (cos x)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  1
  (pow (cos x) 3)
  (pow (cos x) 2)
  (sqrt (pow (cos x) 3))
  (sqrt (pow (cos x) 3))
  (pow (cos x) 3/2)
  (pow (cos x) 3/2)
  (expm1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (log1p (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (exp (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))) 3)
  (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))) 3)
  (* (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))))
  (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))) 3)
  (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))
  (- (- (pow 1.0 3) (pow (cos x) 3)))
  (- (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (pow 1.0 3) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (pow (cos x) 3) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (sin x))
  (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sin x))
  (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))) (sin x))
  (/ (- 1.0 (cos x)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 (sqrt 1.0) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 (sqrt 1.0) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 (sqrt 1.0) (sqrt (pow (cos x) 3))) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 (sqrt 1.0) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 (sqrt 1.0) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 (sqrt 1.0) (sqrt (pow (cos x) 3))) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (sin x))
  (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sin x))
  (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (sin x))
  (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (sin x))
  (/ (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2)) (sin x))
  (/ (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (sin x))
  (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (/ 1 (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- 1.0 (cos x)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))))
  (/ (sin x) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3/2) (pow (cos x) 3/2)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow 1.0 3) (pow (cos x) 3)))
  (* (fma (pow (cos x) 3) (+ (pow 1.0 3) (pow (cos x) 3)) (pow 1.0 6)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (* (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (+ (pow 1.0 3) (pow (cos x) 3)))
  (fma (pow x 2) 3/2 (fma 61/240 (pow x 6) (* -7/8 (pow x 4))))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (fma 1/24 (pow x 4) 2.0) (* 1/2 (pow x 2)))
  (+ 1.0 (cos x))
  (+ 1.0 (cos x))
  (- (fma 7/8 (pow x 4) 1) (* 3/2 (pow x 2)))
  (pow (cos x) 3)
  (pow (cos x) 3)
  (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x)))
  (/ (/ (- 1.0 (pow (cos x) 3)) (sin x)) (fma (+ 1.0 (cos x)) (cos x) 1.0))
  (/ (/ (- 1.0 (pow (cos x) 3)) (sin x)) (fma (+ 1.0 (cos x)) (cos x) 1.0))
8.710 * * * [progress]: adding candidates to table
9.142 * [progress]: [Phase 3 of 3] Extracting.
9.142 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (log (exp (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (sin x)))))> #<alt (λ (x) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))))> #<alt (λ (x) (/ (/ (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (/ (fma 1.0 1.0 (- (pow (cos x) 2))) (- 1.0 (cos x))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (log (exp (exp (log (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<alt (λ (x) (log (* (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (log1p (expm1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (expm1 (log1p (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))))> #<alt (λ (x) (* (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
9.147 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- 1.0 (cos x)) (sin x)) x)
9.147 * * * * [regimes]: Trying to branch on (/ (- 1.0 (cos x)) (sin x)) from (#<alt (λ (x) (/ (log (exp (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (sin x)))))> #<alt (λ (x) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))))> #<alt (λ (x) (/ (/ (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (/ (fma 1.0 1.0 (- (pow (cos x) 2))) (- 1.0 (cos x))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (log (exp (exp (log (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<alt (λ (x) (log (* (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (log1p (expm1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (expm1 (log1p (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))))> #<alt (λ (x) (* (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
9.239 * * * * [regimes]: Trying to branch on (/ (- 1.0 (cos x)) (sin x)) from (#<alt (λ (x) (log (exp (exp (log (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (log (* (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))))>)
9.259 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (log (exp (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (sin x)))))> #<alt (λ (x) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))))> #<alt (λ (x) (/ (/ (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (/ (fma 1.0 1.0 (- (pow (cos x) 2))) (- 1.0 (cos x))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (log (exp (exp (log (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<alt (λ (x) (log (* (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (log1p (expm1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (expm1 (log1p (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))))> #<alt (λ (x) (* (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
9.355 * * * [regime]: Found split indices: #<option (#s(si 8 67) #s(si 14 181) #s(si 16 255))>
9.356 * [binary-search]: Only using regimes for bounds on (/ (- 1.0 (cos x)) (sin x)) and (#<alt (λ (x) (/ (log (exp (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (sin x)))))> #<alt (λ (x) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))))> #<alt (λ (x) (/ (/ (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (/ (fma 1.0 1.0 (- (pow (cos x) 2))) (- 1.0 (cos x))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (log (exp (exp (log (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<alt (λ (x) (log (* (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (log1p (expm1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (expm1 (log1p (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))))> #<alt (λ (x) (* (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
9.357 * [regimes]: Found splitpoints: (#s(sp 8 (/ (- 1.0 (cos x)) (sin x)) -0.009790179320656275) #s(sp 14 (/ (- 1.0 (cos x)) (sin x)) -0.0) #s(sp 16 (/ (- 1.0 (cos x)) (sin x)) +nan.0)) , with alts (#<alt (λ (x) (/ (log (exp (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (sin x)))))> #<alt (λ (x) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))))> #<alt (λ (x) (/ (/ (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (* (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (/ (fma 1.0 1.0 (- (pow (cos x) 2))) (- 1.0 (cos x))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (log (exp (exp (log (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<alt (λ (x) (log (* (* (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x))))) (cbrt (exp (/ (- 1.0 (cos x)) (sin x)))))))> #<alt (λ (x) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (log1p (expm1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (expm1 (log1p (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))))> #<alt (λ (x) (/ (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))> #<alt (λ (x) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))))))> #<alt (λ (x) (* (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sin x)) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
9.357 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (/ (- 1.0 (cos x)) (sin x)) -0.009790179320656275) (/ (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))) (if (<= (/ (- 1.0 (cos x)) (sin x)) -0.0) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))) (/ (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))))
9.358 * * [simplify]: iteration  0 :  36  enodes  (cost  82 )
9.361 * * [simplify]: iteration  1 :  40  enodes  (cost  82 )
9.362 * * [simplify]: iteration  done :  40  enodes  (cost  82 )
9.362 * [simplify]: Simplified to:
   (if (<= (/ (- 1.0 (cos x)) (sin x)) -0.009790179320656275) (/ (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))) (if (<= (/ (- 1.0 (cos x)) (sin x)) -0.0) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))) (/ (- (pow 1.0 3) (expm1 (log1p (pow (cos x) 3)))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))))
14.628 * [regime-testing]: Baseline error score: 30.24988767976062
14.628 * [regime-testing]: Oracle error score: 0.15644292666342005
14.629 * [regime-testing]: End program error score: 0.742971853702729
14.654 * [regime-testing]: Target error score: 0.00025003125390673836