10.276 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.129 * * * [progress]: [2/2] Setting up program.
0.132 * [progress]: [Phase 2 of 3] Improving.
0.132 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- 1.0 (cos x)) (sin x))
0.133 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.134 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.135 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
0.136 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
0.138 * * [simplify]: iteration  done :  16  enodes  (cost  7 )
0.138 * [simplify]: Simplified to:
   (/ (- 1.0 (cos x)) (sin x))
0.138 * * [progress]: iteration 1 / 4
0.138 * * * [progress]: picking best candidate
0.140 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))>
0.140 * * * [progress]: localizing error
0.149 * * * [progress]: generating rewritten candidates
0.149 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.153 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.165 * * * [progress]: generating series expansions
0.165 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.165 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.165 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.165 * [taylor]: Taking taylor expansion of 1.0 in x
0.165 * [taylor]: Taking taylor expansion of (cos x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.165 * [taylor]: Taking taylor expansion of 1.0 in x
0.165 * [taylor]: Taking taylor expansion of (cos x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.177 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.177 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.177 * [taylor]: Taking taylor expansion of 1.0 in x
0.177 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.177 * [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 x in x
0.181 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.181 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.181 * [taylor]: Taking taylor expansion of 1.0 in x
0.181 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.181 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.181 * [taylor]: Taking taylor expansion of -1 in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.182 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.182 * [taylor]: Taking taylor expansion of 1.0 in x
0.182 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.182 * [taylor]: Taking taylor expansion of -1 in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.185 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.186 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
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.189 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.189 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.189 * [taylor]: Taking taylor expansion of 1.0 in x
0.189 * [taylor]: Taking taylor expansion of (cos x) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.189 * [taylor]: Taking taylor expansion of (sin x) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.216 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
0.216 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.216 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.216 * [taylor]: Taking taylor expansion of 1.0 in x
0.216 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.217 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.217 * [taylor]: Taking taylor expansion of 1.0 in x
0.217 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.223 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
0.224 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.224 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.224 * [taylor]: Taking taylor expansion of 1.0 in x
0.224 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.224 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.224 * [taylor]: Taking taylor expansion of -1 in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.224 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.224 * [taylor]: Taking taylor expansion of -1 in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.225 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.225 * [taylor]: Taking taylor expansion of 1.0 in x
0.225 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.225 * [taylor]: Taking taylor expansion of -1 in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.225 * [taylor]: Taking taylor expansion of -1 in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.231 * * * [progress]: simplifying candidates
0.232 * [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.236 * * [simplify]: iteration  0 :  134  enodes  (cost  964 )
0.260 * * [simplify]: iteration  1 :  291  enodes  (cost  831 )
0.362 * * [simplify]: iteration  2 :  741  enodes  (cost  731 )
0.896 * * [simplify]: iteration  3 :  2756  enodes  (cost  719 )
1.589 * * [simplify]: iteration  done :  5000  enodes  (cost  718 )
1.589 * [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) (* (pow x 4) -1/24)))
  (- 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))
1.590 * * * [progress]: adding candidates to table
1.760 * * [progress]: iteration 2 / 4
1.760 * * * [progress]: picking best candidate
1.795 * * * * [pick]: Picked  #<alt (λ (x) (log (exp (/ (- 1.0 (cos x)) (sin x)))))>
1.795 * * * [progress]: localizing error
1.807 * * * [progress]: generating rewritten candidates
1.807 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
1.811 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.828 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.839 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.853 * * * [progress]: generating series expansions
1.854 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
1.854 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
1.854 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.854 * [taylor]: Taking taylor expansion of 1.0 in x
1.854 * [taylor]: Taking taylor expansion of (cos x) in x
1.854 * [taylor]: Taking taylor expansion of x in x
1.854 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.854 * [taylor]: Taking taylor expansion of 1.0 in x
1.854 * [taylor]: Taking taylor expansion of (cos x) in x
1.854 * [taylor]: Taking taylor expansion of x in x
1.866 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
1.866 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.866 * [taylor]: Taking taylor expansion of 1.0 in x
1.866 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.866 * [taylor]: Taking taylor expansion of x in x
1.866 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.866 * [taylor]: Taking taylor expansion of 1.0 in x
1.866 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.866 * [taylor]: Taking taylor expansion of x in x
1.870 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
1.870 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.870 * [taylor]: Taking taylor expansion of 1.0 in x
1.870 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.870 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.870 * [taylor]: Taking taylor expansion of -1 in x
1.870 * [taylor]: Taking taylor expansion of x in x
1.870 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.870 * [taylor]: Taking taylor expansion of 1.0 in x
1.870 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.870 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.870 * [taylor]: Taking taylor expansion of -1 in x
1.870 * [taylor]: Taking taylor expansion of x in x
1.874 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.874 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
1.874 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
1.874 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.874 * [taylor]: Taking taylor expansion of 1.0 in x
1.874 * [taylor]: Taking taylor expansion of (cos x) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [taylor]: Taking taylor expansion of (sin x) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.877 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
1.877 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.877 * [taylor]: Taking taylor expansion of 1.0 in x
1.877 * [taylor]: Taking taylor expansion of (cos x) in x
1.877 * [taylor]: Taking taylor expansion of x in x
1.877 * [taylor]: Taking taylor expansion of (sin x) in x
1.877 * [taylor]: Taking taylor expansion of x in x
1.897 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
1.897 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
1.897 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.897 * [taylor]: Taking taylor expansion of 1.0 in x
1.897 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.897 * [taylor]: Taking taylor expansion of x in x
1.897 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.897 * [taylor]: Taking taylor expansion of x in x
1.898 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
1.898 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.898 * [taylor]: Taking taylor expansion of 1.0 in x
1.898 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.898 * [taylor]: Taking taylor expansion of x in x
1.898 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.898 * [taylor]: Taking taylor expansion of x in x
1.904 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
1.904 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
1.904 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.904 * [taylor]: Taking taylor expansion of 1.0 in x
1.904 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.904 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.904 * [taylor]: Taking taylor expansion of -1 in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.904 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.904 * [taylor]: Taking taylor expansion of -1 in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.905 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
1.905 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.905 * [taylor]: Taking taylor expansion of 1.0 in x
1.905 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.905 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.905 * [taylor]: Taking taylor expansion of -1 in x
1.905 * [taylor]: Taking taylor expansion of x in x
1.905 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.905 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.905 * [taylor]: Taking taylor expansion of -1 in x
1.905 * [taylor]: Taking taylor expansion of x in x
1.916 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.916 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in (x) around 0
1.916 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in x
1.916 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
1.916 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.916 * [taylor]: Taking taylor expansion of 1.0 in x
1.916 * [taylor]: Taking taylor expansion of (cos x) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of (sin x) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.919 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (sin x))) in x
1.919 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
1.919 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.919 * [taylor]: Taking taylor expansion of 1.0 in x
1.919 * [taylor]: Taking taylor expansion of (cos x) in x
1.919 * [taylor]: Taking taylor expansion of x in x
1.919 * [taylor]: Taking taylor expansion of (sin x) in x
1.919 * [taylor]: Taking taylor expansion of x in x
1.927 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in (x) around 0
1.927 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in x
1.927 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
1.927 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.927 * [taylor]: Taking taylor expansion of 1.0 in x
1.927 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.927 * [taylor]: Taking taylor expansion of x in x
1.927 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.927 * [taylor]: Taking taylor expansion of x in x
1.928 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x)))) in x
1.928 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
1.928 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.928 * [taylor]: Taking taylor expansion of 1.0 in x
1.928 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.928 * [taylor]: Taking taylor expansion of x in x
1.928 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.928 * [taylor]: Taking taylor expansion of x in x
1.943 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in (x) around 0
1.943 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in x
1.943 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
1.943 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.943 * [taylor]: Taking taylor expansion of 1.0 in x
1.944 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.944 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.944 * [taylor]: Taking taylor expansion of -1 in x
1.944 * [taylor]: Taking taylor expansion of x in x
1.944 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.944 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.944 * [taylor]: Taking taylor expansion of -1 in x
1.944 * [taylor]: Taking taylor expansion of x in x
1.945 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x)))) in x
1.945 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
1.945 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.945 * [taylor]: Taking taylor expansion of 1.0 in x
1.945 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.945 * [taylor]: Taking taylor expansion of -1 in x
1.945 * [taylor]: Taking taylor expansion of x in x
1.945 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.945 * [taylor]: Taking taylor expansion of -1 in x
1.945 * [taylor]: Taking taylor expansion of x in x
1.961 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.961 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
1.961 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
1.961 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.961 * [taylor]: Taking taylor expansion of 1.0 in x
1.961 * [taylor]: Taking taylor expansion of (cos x) in x
1.961 * [taylor]: Taking taylor expansion of x in x
1.961 * [taylor]: Taking taylor expansion of (sin x) in x
1.961 * [taylor]: Taking taylor expansion of x in x
1.964 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
1.964 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.964 * [taylor]: Taking taylor expansion of 1.0 in x
1.964 * [taylor]: Taking taylor expansion of (cos x) in x
1.964 * [taylor]: Taking taylor expansion of x in x
1.964 * [taylor]: Taking taylor expansion of (sin x) in x
1.964 * [taylor]: Taking taylor expansion of x in x
1.983 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
1.983 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
1.983 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.983 * [taylor]: Taking taylor expansion of 1.0 in x
1.983 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.983 * [taylor]: Taking taylor expansion of x in x
1.983 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.983 * [taylor]: Taking taylor expansion of x in x
1.984 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
1.984 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.984 * [taylor]: Taking taylor expansion of 1.0 in x
1.984 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.984 * [taylor]: Taking taylor expansion of x in x
1.985 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.985 * [taylor]: Taking taylor expansion of x in x
1.990 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
1.990 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
1.990 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.990 * [taylor]: Taking taylor expansion of 1.0 in x
1.990 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.990 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.990 * [taylor]: Taking taylor expansion of -1 in x
1.990 * [taylor]: Taking taylor expansion of x in x
1.991 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.991 * [taylor]: Taking taylor expansion of -1 in x
1.991 * [taylor]: Taking taylor expansion of x in x
1.991 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
1.991 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.991 * [taylor]: Taking taylor expansion of 1.0 in x
1.991 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.991 * [taylor]: Taking taylor expansion of -1 in x
1.991 * [taylor]: Taking taylor expansion of x in x
1.992 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.992 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.992 * [taylor]: Taking taylor expansion of -1 in x
1.992 * [taylor]: Taking taylor expansion of x in x
1.997 * * * [progress]: simplifying candidates
1.999 * [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.010 * * [simplify]: iteration  0 :  195  enodes  (cost  1743 )
2.043 * * [simplify]: iteration  1 :  367  enodes  (cost  1509 )
2.152 * * [simplify]: iteration  2 :  857  enodes  (cost  1372 )
2.768 * * [simplify]: iteration  3 :  3011  enodes  (cost  1333 )
3.463 * * [simplify]: iteration  done :  5001  enodes  (cost  1332 )
3.464 * [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) (* (pow x 4) -1/24)))
  (- 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))
3.465 * * * [progress]: adding candidates to table
3.807 * * [progress]: iteration 3 / 4
3.807 * * * [progress]: picking best candidate
3.852 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1 (sin x)) (- 1.0 (cos x))))>
3.853 * * * [progress]: localizing error
3.862 * * * [progress]: generating rewritten candidates
3.862 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
3.866 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.885 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.892 * * * [progress]: generating series expansions
3.892 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
3.892 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
3.892 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
3.892 * [taylor]: Taking taylor expansion of 1.0 in x
3.892 * [taylor]: Taking taylor expansion of (cos x) in x
3.892 * [taylor]: Taking taylor expansion of x in x
3.892 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
3.892 * [taylor]: Taking taylor expansion of 1.0 in x
3.892 * [taylor]: Taking taylor expansion of (cos x) in x
3.892 * [taylor]: Taking taylor expansion of x in x
3.903 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
3.903 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
3.903 * [taylor]: Taking taylor expansion of 1.0 in x
3.903 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.903 * [taylor]: Taking taylor expansion of x in x
3.904 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
3.904 * [taylor]: Taking taylor expansion of 1.0 in x
3.904 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.904 * [taylor]: Taking taylor expansion of x in x
3.907 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
3.907 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
3.907 * [taylor]: Taking taylor expansion of 1.0 in x
3.907 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.907 * [taylor]: Taking taylor expansion of -1 in x
3.907 * [taylor]: Taking taylor expansion of x in x
3.908 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
3.908 * [taylor]: Taking taylor expansion of 1.0 in x
3.908 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.908 * [taylor]: Taking taylor expansion of -1 in x
3.908 * [taylor]: Taking taylor expansion of x in x
3.911 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.911 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
3.911 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
3.911 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
3.911 * [taylor]: Taking taylor expansion of 1.0 in x
3.911 * [taylor]: Taking taylor expansion of (cos x) in x
3.911 * [taylor]: Taking taylor expansion of x in x
3.911 * [taylor]: Taking taylor expansion of (sin x) in x
3.911 * [taylor]: Taking taylor expansion of x in x
3.919 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
3.919 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
3.919 * [taylor]: Taking taylor expansion of 1.0 in x
3.919 * [taylor]: Taking taylor expansion of (cos x) in x
3.919 * [taylor]: Taking taylor expansion of x in x
3.919 * [taylor]: Taking taylor expansion of (sin x) in x
3.919 * [taylor]: Taking taylor expansion of x in x
3.938 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
3.938 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
3.938 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
3.938 * [taylor]: Taking taylor expansion of 1.0 in x
3.938 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.938 * [taylor]: Taking taylor expansion of x in x
3.938 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.939 * [taylor]: Taking taylor expansion of x in x
3.939 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
3.939 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
3.939 * [taylor]: Taking taylor expansion of 1.0 in x
3.939 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.939 * [taylor]: Taking taylor expansion of x in x
3.939 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.939 * [taylor]: Taking taylor expansion of x in x
3.945 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
3.945 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
3.945 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
3.945 * [taylor]: Taking taylor expansion of 1.0 in x
3.945 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.945 * [taylor]: Taking taylor expansion of -1 in x
3.945 * [taylor]: Taking taylor expansion of x in x
3.945 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.946 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.946 * [taylor]: Taking taylor expansion of -1 in x
3.946 * [taylor]: Taking taylor expansion of x in x
3.946 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
3.946 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
3.946 * [taylor]: Taking taylor expansion of 1.0 in x
3.946 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.946 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.946 * [taylor]: Taking taylor expansion of -1 in x
3.946 * [taylor]: Taking taylor expansion of x in x
3.947 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.947 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.947 * [taylor]: Taking taylor expansion of -1 in x
3.947 * [taylor]: Taking taylor expansion of x in x
3.952 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.952 * [approximate]: Taking taylor expansion of (/ 1 (sin x)) in (x) around 0
3.952 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x
3.952 * [taylor]: Taking taylor expansion of (sin x) in x
3.952 * [taylor]: Taking taylor expansion of x in x
3.953 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x
3.953 * [taylor]: Taking taylor expansion of (sin x) in x
3.953 * [taylor]: Taking taylor expansion of x in x
3.961 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in (x) around 0
3.961 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x
3.961 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.961 * [taylor]: Taking taylor expansion of x in x
3.961 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x
3.961 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.962 * [taylor]: Taking taylor expansion of x in x
3.963 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in (x) around 0
3.963 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x
3.963 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.963 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.963 * [taylor]: Taking taylor expansion of -1 in x
3.963 * [taylor]: Taking taylor expansion of x in x
3.964 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x
3.964 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.964 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.964 * [taylor]: Taking taylor expansion of -1 in x
3.964 * [taylor]: Taking taylor expansion of x in x
3.966 * * * [progress]: simplifying candidates
3.968 * [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))
3.974 * * [simplify]: iteration  0 :  204  enodes  (cost  2041 )
4.044 * * [simplify]: iteration  1 :  478  enodes  (cost  1557 )
4.251 * * [simplify]: iteration  2 :  1231  enodes  (cost  1206 )
5.232 * * [simplify]: iteration  3 :  3819  enodes  (cost  1089 )
6.049 * * [simplify]: iteration  done :  5001  enodes  (cost  1089 )
6.050 * [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 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))
  (/ 0 (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin 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))
  (/ 0 (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- (pow (cbrt 1.0) 3) (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (/ 0 (sin x))
  (/ (- 1.0 (cos x)) (sin 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)))
  (pow (/ 1 (sin x)) 3)
  (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))
  (cbrt (/ 1 (sin x)))
  (pow (/ 1 (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 (* (pow x 4) -1/24)))
  (- 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))
6.051 * * * [progress]: adding candidates to table
6.258 * * [progress]: iteration 4 / 4
6.258 * * * [progress]: picking best candidate
6.301 * * * * [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)))))))>
6.301 * * * [progress]: localizing error
6.318 * * * [progress]: generating rewritten candidates
6.318 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.339 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 3 2)
6.342 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
6.343 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
6.419 * * * [progress]: generating series expansions
6.419 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.420 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
6.420 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
6.420 * [taylor]: Taking taylor expansion of 1.0 in x
6.420 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
6.420 * [taylor]: Taking taylor expansion of (cos x) in x
6.420 * [taylor]: Taking taylor expansion of x in x
6.420 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
6.420 * [taylor]: Taking taylor expansion of 1.0 in x
6.420 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
6.420 * [taylor]: Taking taylor expansion of (cos x) in x
6.420 * [taylor]: Taking taylor expansion of x in x
6.447 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
6.447 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
6.447 * [taylor]: Taking taylor expansion of 1.0 in x
6.447 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
6.447 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.447 * [taylor]: Taking taylor expansion of x in x
6.447 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
6.447 * [taylor]: Taking taylor expansion of 1.0 in x
6.447 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
6.447 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.448 * [taylor]: Taking taylor expansion of x in x
6.461 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
6.461 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
6.461 * [taylor]: Taking taylor expansion of 1.0 in x
6.461 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
6.461 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.461 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.461 * [taylor]: Taking taylor expansion of -1 in x
6.461 * [taylor]: Taking taylor expansion of x in x
6.461 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
6.461 * [taylor]: Taking taylor expansion of 1.0 in x
6.461 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
6.461 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.461 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.461 * [taylor]: Taking taylor expansion of -1 in x
6.461 * [taylor]: Taking taylor expansion of x in x
6.474 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 3 2)
6.474 * [approximate]: Taking taylor expansion of (+ (cos x) 1.0) in (x) around 0
6.474 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
6.474 * [taylor]: Taking taylor expansion of (cos x) in x
6.474 * [taylor]: Taking taylor expansion of x in x
6.474 * [taylor]: Taking taylor expansion of 1.0 in x
6.474 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
6.474 * [taylor]: Taking taylor expansion of (cos x) in x
6.474 * [taylor]: Taking taylor expansion of x in x
6.474 * [taylor]: Taking taylor expansion of 1.0 in x
6.479 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0
6.479 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
6.479 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.479 * [taylor]: Taking taylor expansion of x in x
6.479 * [taylor]: Taking taylor expansion of 1.0 in x
6.479 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
6.479 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.479 * [taylor]: Taking taylor expansion of x in x
6.480 * [taylor]: Taking taylor expansion of 1.0 in x
6.481 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0
6.481 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
6.482 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.482 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.482 * [taylor]: Taking taylor expansion of -1 in x
6.482 * [taylor]: Taking taylor expansion of x in x
6.482 * [taylor]: Taking taylor expansion of 1.0 in x
6.482 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
6.482 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.482 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.482 * [taylor]: Taking taylor expansion of -1 in x
6.482 * [taylor]: Taking taylor expansion of x in x
6.482 * [taylor]: Taking taylor expansion of 1.0 in x
6.484 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
6.484 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0
6.484 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
6.484 * [taylor]: Taking taylor expansion of (cos x) in x
6.484 * [taylor]: Taking taylor expansion of x in x
6.484 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
6.484 * [taylor]: Taking taylor expansion of (cos x) in x
6.484 * [taylor]: Taking taylor expansion of x in x
6.494 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0
6.494 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
6.494 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.495 * [taylor]: Taking taylor expansion of x in x
6.495 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
6.495 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.495 * [taylor]: Taking taylor expansion of x in x
6.505 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0
6.505 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
6.505 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.505 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.505 * [taylor]: Taking taylor expansion of -1 in x
6.505 * [taylor]: Taking taylor expansion of x in x
6.505 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
6.505 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.505 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.505 * [taylor]: Taking taylor expansion of -1 in x
6.505 * [taylor]: Taking taylor expansion of x in x
6.515 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.516 * [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
6.516 * [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
6.516 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
6.516 * [taylor]: Taking taylor expansion of 1.0 in x
6.516 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
6.516 * [taylor]: Taking taylor expansion of (cos x) in x
6.516 * [taylor]: Taking taylor expansion of x in x
6.516 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) (sin x)) in x
6.516 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) in x
6.517 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (+ (cos x) 1.0) (cos x)))
6.517 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
6.517 * [taylor]: Taking taylor expansion of 1.0 in x
6.517 * [taylor]: Taking taylor expansion of 1.0 in x
6.517 * [taylor]: Taking taylor expansion of (* (+ (cos x) 1.0) (cos x)) in x
6.517 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
6.517 * [taylor]: Taking taylor expansion of (cos x) in x
6.517 * [taylor]: Taking taylor expansion of x in x
6.517 * [taylor]: Taking taylor expansion of 1.0 in x
6.517 * [taylor]: Taking taylor expansion of (cos x) in x
6.517 * [taylor]: Taking taylor expansion of x in x
6.517 * [taylor]: Taking taylor expansion of (sin x) in x
6.517 * [taylor]: Taking taylor expansion of x in x
6.533 * [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
6.533 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
6.533 * [taylor]: Taking taylor expansion of 1.0 in x
6.533 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
6.533 * [taylor]: Taking taylor expansion of (cos x) in x
6.533 * [taylor]: Taking taylor expansion of x in x
6.533 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) (sin x)) in x
6.533 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (+ (cos x) 1.0) (cos x))) in x
6.533 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (+ (cos x) 1.0) (cos x)))
6.533 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
6.533 * [taylor]: Taking taylor expansion of 1.0 in x
6.533 * [taylor]: Taking taylor expansion of 1.0 in x
6.533 * [taylor]: Taking taylor expansion of (* (+ (cos x) 1.0) (cos x)) in x
6.533 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
6.533 * [taylor]: Taking taylor expansion of (cos x) in x
6.533 * [taylor]: Taking taylor expansion of x in x
6.533 * [taylor]: Taking taylor expansion of 1.0 in x
6.533 * [taylor]: Taking taylor expansion of (cos x) in x
6.533 * [taylor]: Taking taylor expansion of x in x
6.533 * [taylor]: Taking taylor expansion of (sin x) in x
6.533 * [taylor]: Taking taylor expansion of x in x
6.603 * [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
6.603 * [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
6.603 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
6.603 * [taylor]: Taking taylor expansion of 1.0 in x
6.603 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
6.603 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.603 * [taylor]: Taking taylor expansion of x in x
6.603 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) (sin (/ 1 x))) in x
6.603 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) in x
6.603 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))))
6.603 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
6.603 * [taylor]: Taking taylor expansion of 1.0 in x
6.603 * [taylor]: Taking taylor expansion of 1.0 in x
6.603 * [taylor]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in x
6.603 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
6.603 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.603 * [taylor]: Taking taylor expansion of x in x
6.604 * [taylor]: Taking taylor expansion of 1.0 in x
6.604 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.604 * [taylor]: Taking taylor expansion of x in x
6.604 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
6.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.604 * [taylor]: Taking taylor expansion of x in x
6.606 * [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
6.606 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
6.606 * [taylor]: Taking taylor expansion of 1.0 in x
6.606 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
6.606 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.606 * [taylor]: Taking taylor expansion of x in x
6.606 * [taylor]: Taking taylor expansion of (* (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) (sin (/ 1 x))) in x
6.606 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x)))) in x
6.606 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))))
6.606 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
6.606 * [taylor]: Taking taylor expansion of 1.0 in x
6.606 * [taylor]: Taking taylor expansion of 1.0 in x
6.606 * [taylor]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in x
6.606 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
6.607 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.607 * [taylor]: Taking taylor expansion of x in x
6.607 * [taylor]: Taking taylor expansion of 1.0 in x
6.607 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
6.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.607 * [taylor]: Taking taylor expansion of x in x
6.607 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
6.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.607 * [taylor]: Taking taylor expansion of x in x
6.652 * [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
6.652 * [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
6.652 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
6.652 * [taylor]: Taking taylor expansion of 1.0 in x
6.652 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
6.652 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.652 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.652 * [taylor]: Taking taylor expansion of -1 in x
6.652 * [taylor]: Taking taylor expansion of x in x
6.653 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)))) in x
6.653 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
6.653 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.653 * [taylor]: Taking taylor expansion of -1 in x
6.653 * [taylor]: Taking taylor expansion of x in x
6.653 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0))) in x
6.653 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)))
6.653 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
6.653 * [taylor]: Taking taylor expansion of 1.0 in x
6.653 * [taylor]: Taking taylor expansion of 1.0 in x
6.653 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in x
6.653 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.653 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.653 * [taylor]: Taking taylor expansion of -1 in x
6.653 * [taylor]: Taking taylor expansion of x in x
6.654 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
6.654 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.654 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.654 * [taylor]: Taking taylor expansion of -1 in x
6.654 * [taylor]: Taking taylor expansion of x in x
6.654 * [taylor]: Taking taylor expansion of 1.0 in x
6.656 * [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
6.656 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
6.656 * [taylor]: Taking taylor expansion of 1.0 in x
6.656 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
6.656 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.656 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.656 * [taylor]: Taking taylor expansion of -1 in x
6.656 * [taylor]: Taking taylor expansion of x in x
6.656 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)))) in x
6.656 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
6.656 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.656 * [taylor]: Taking taylor expansion of -1 in x
6.656 * [taylor]: Taking taylor expansion of x in x
6.656 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0))) in x
6.657 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)))
6.657 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x
6.657 * [taylor]: Taking taylor expansion of 1.0 in x
6.657 * [taylor]: Taking taylor expansion of 1.0 in x
6.657 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in x
6.657 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.657 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.657 * [taylor]: Taking taylor expansion of -1 in x
6.657 * [taylor]: Taking taylor expansion of x in x
6.657 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
6.657 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
6.657 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.657 * [taylor]: Taking taylor expansion of -1 in x
6.657 * [taylor]: Taking taylor expansion of x in x
6.657 * [taylor]: Taking taylor expansion of 1.0 in x
6.696 * * * [progress]: simplifying candidates
6.706 * [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))))
6.724 * * [simplify]: iteration  0 :  342  enodes  (cost  9345 )
6.814 * * [simplify]: iteration  1 :  707  enodes  (cost  5855 )
7.040 * * [simplify]: iteration  2 :  2370  enodes  (cost  4730 )
7.659 * * [simplify]: iteration  done :  5001  enodes  (cost  4730 )
7.661 * [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 (sqrt 1.0) 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 (sqrt 1.0) 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 (sqrt 1.0) 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 (sqrt 1.0) 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))
7.664 * * * [progress]: adding candidates to table
8.320 * [progress]: [Phase 3 of 3] Extracting.
8.320 * * [regime]: Finding splitpoints for: (#<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)))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (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) (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) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 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) (/ (- (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) (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) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos 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) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<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) (* (/ (+ (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)))))))> #<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) (/ (* (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
8.324 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- 1.0 (cos x)) (sin x)) x)
8.325 * * * * [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)))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (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) (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) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 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) (/ (- (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) (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) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos 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) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<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) (* (/ (+ (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)))))))> #<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) (/ (* (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
8.422 * * * * [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)))))))>)
8.443 * * * * [regimes]: Trying to branch on 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)))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (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) (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) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 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) (/ (- (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) (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) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos 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) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<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) (* (/ (+ (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)))))))> #<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) (/ (* (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
8.546 * * * [regime]: Found split indices: #<option (#s(si 6 67) #s(si 12 181) #s(si 7 255))>
8.549 * [binary-search]: Only using regimes for bounds on (/ (- 1.0 (cos x)) (sin x)) and (#<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)))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (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) (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) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 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) (/ (- (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) (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) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos 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) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<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) (* (/ (+ (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)))))))> #<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) (/ (* (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
8.549 * [regimes]: Found splitpoints: (#s(sp 6 (/ (- 1.0 (cos x)) (sin x)) -0.009790179320656275) #s(sp 12 (/ (- 1.0 (cos x)) (sin x)) -0.0) #s(sp 7 (/ (- 1.0 (cos x)) (sin x)) +nan.0)) , with alts (#<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)))))))> #<alt (λ (x) (/ (log (exp (- 1.0 (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) (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) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 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) (/ (- (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) (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) (log (/ (exp (/ 1.0 (sin x))) (exp (/ (cos x) (sin x))))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos 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) (fma 0.04166666666666663 (pow x 3) (fma 0.004166666666666624 (pow x 5) (* 0.5 x))))> #<alt (λ (x) (+ (/ 1.0 (sin x)) (/ (- (cos x)) (sin x))))> #<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) (* (/ (+ (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)))))))> #<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) (/ (* (fma 1.0 (sqrt 1.0) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (* (sin x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))))>)
8.549 * [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))))))))
8.550 * * [simplify]: iteration  0 :  36  enodes  (cost  82 )
8.551 * * [simplify]: iteration  1 :  40  enodes  (cost  82 )
8.552 * * [simplify]: iteration  done :  40  enodes  (cost  82 )
8.552 * [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.085 * [regime-testing]: Baseline error score: 30.24988767976062
14.086 * [regime-testing]: Oracle error score: 0.15644292666342005
14.087 * [regime-testing]: End program error score: 0.742971853702729
14.116 * [regime-testing]: Target error score: 0.00025003125390673836