14.716 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.050 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- 1.0 (cos x)) (* x x))
0.053 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
0.054 * * [simplify]: iteration  1 :  13  enodes  (cost  8 )
0.055 * * [simplify]: iteration  2 :  21  enodes  (cost  8 )
0.058 * * [simplify]: iteration  3 :  26  enodes  (cost  8 )
0.061 * * [simplify]: iteration  4 :  29  enodes  (cost  8 )
0.068 * * [simplify]: iteration  done :  29  enodes  (cost  8 )
0.068 * [simplify]: Simplified to:
   (/ (- 1.0 (cos x)) (* x x))
0.068 * * [progress]: iteration 1 / 4
0.068 * * * [progress]: picking best candidate
0.070 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (cos x)) (* x x)))>
0.070 * * * [progress]: localizing error
0.076 * * * [progress]: generating rewritten candidates
0.076 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.086 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.090 * * * [progress]: generating series expansions
0.090 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.090 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0
0.091 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
0.091 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.091 * [taylor]: Taking taylor expansion of 1.0 in x
0.091 * [taylor]: Taking taylor expansion of (cos x) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
0.094 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.094 * [taylor]: Taking taylor expansion of 1.0 in x
0.094 * [taylor]: Taking taylor expansion of (cos x) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.109 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0
0.109 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
0.109 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.109 * [taylor]: Taking taylor expansion of 1.0 in x
0.109 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.110 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
0.110 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.110 * [taylor]: Taking taylor expansion of x in x
0.110 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.110 * [taylor]: Taking taylor expansion of 1.0 in x
0.110 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.110 * [taylor]: Taking taylor expansion of x in x
0.122 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0
0.122 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
0.122 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.122 * [taylor]: Taking taylor expansion of 1.0 in x
0.122 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.122 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.122 * [taylor]: Taking taylor expansion of -1 in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
0.122 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.123 * [taylor]: Taking taylor expansion of 1.0 in x
0.123 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.123 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.123 * [taylor]: Taking taylor expansion of -1 in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.133 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.133 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.133 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.133 * [taylor]: Taking taylor expansion of 1.0 in x
0.133 * [taylor]: Taking taylor expansion of (cos x) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.133 * [taylor]: Taking taylor expansion of 1.0 in x
0.133 * [taylor]: Taking taylor expansion of (cos x) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.146 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.146 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.146 * [taylor]: Taking taylor expansion of 1.0 in x
0.146 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.146 * [taylor]: Taking taylor expansion of 1.0 in x
0.146 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.149 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.149 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.149 * [taylor]: Taking taylor expansion of 1.0 in x
0.149 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.150 * [taylor]: Taking taylor expansion of 1.0 in x
0.150 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.150 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.150 * [taylor]: Taking taylor expansion of -1 in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.153 * * * [progress]: simplifying candidates
0.154 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (- 1.0 (cos x)) (* x x)))
  (log1p (/ (- 1.0 (cos x)) (* x x)))
  (- (log (- 1.0 (cos x))) (+ (log x) (log x)))
  (- (log (- 1.0 (cos x))) (log (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (exp (/ (- 1.0 (cos x)) (* x x)))
  (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (* x x) x) (* (* x x) x)))
  (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x))))
  (cbrt (/ (- 1.0 (cos x)) (* x x)))
  (* (* (/ (- 1.0 (cos x)) (* x x)) (/ (- 1.0 (cos x)) (* x x))) (/ (- 1.0 (cos x)) (* x x)))
  (sqrt (/ (- 1.0 (cos x)) (* x x)))
  (sqrt (/ (- 1.0 (cos x)) (* x x)))
  (- (- 1.0 (cos x)))
  (- (* x x))
  (/ 1.0 (* x x))
  (/ (cos x) (* x x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x)
  (/ (cbrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ (+ (sqrt 1.0) (sqrt (cos x))) x)
  (/ (- (sqrt 1.0) (sqrt (cos x))) x)
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ 1 (* x x))
  (/ (* x x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) x)
  (/ (* x x) (cbrt (- 1.0 (cos x))))
  (/ (* x x) (sqrt (- 1.0 (cos x))))
  (/ (* x x) (- 1.0 (cos x)))
  (/ (* x x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (* x x) (- 1.0 (cos x)))
  (* (* x x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (* (* x x) (+ 1.0 (cos x)))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (fma 1 1.0 (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma 1 1.0 (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma 1 1.0 (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (expm1 (- 1.0 (cos x)))
  (log1p (- 1.0 (cos x)))
  (- (cos x))
  (- (cos x))
  (- (cos x))
  (/ (exp 1.0) (exp (cos x)))
  (log (- 1.0 (cos x)))
  (exp (- 1.0 (cos x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (cbrt (- 1.0 (cos x)))
  (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (- 1.0 (cos x)) (pow x 2))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
0.157 * * [simplify]: iteration  0 :  116  enodes  (cost  808 )
0.177 * * [simplify]: iteration  1 :  285  enodes  (cost  686 )
0.241 * * [simplify]: iteration  2 :  966  enodes  (cost  566 )
0.579 * * [simplify]: iteration  done :  5000  enodes  (cost  527 )
0.580 * [simplify]: Simplified to:
   (expm1 (/ (- 1.0 (cos x)) (* x x)))
  (log1p (/ (- 1.0 (cos x)) (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (exp (/ (- 1.0 (cos x)) (* x x)))
  (pow (/ (- 1.0 (cos x)) (pow x 2)) 3)
  (pow (/ (- 1.0 (cos x)) (pow x 2)) 3)
  (* (cbrt (/ (- 1.0 (cos x)) (* x x))) (cbrt (/ (- 1.0 (cos x)) (* x x))))
  (cbrt (/ (- 1.0 (cos x)) (* x x)))
  (pow (/ (- 1.0 (cos x)) (pow x 2)) 3)
  (sqrt (/ (- 1.0 (cos x)) (* x x)))
  (sqrt (/ (- 1.0 (cos x)) (* x x)))
  (- (- 1.0 (cos x)))
  (- (* x x))
  (/ 1.0 (* x x))
  (/ (cos x) (* x x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x)
  (/ (cbrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ (+ (sqrt 1.0) (sqrt (cos x))) x)
  (/ (- (sqrt 1.0) (sqrt (cos x))) x)
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ 1 (* x x))
  (/ (* x x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) x)
  (/ (* x x) (cbrt (- 1.0 (cos x))))
  (/ (* x x) (sqrt (- 1.0 (cos x))))
  (/ (* x x) (- 1.0 (cos x)))
  (/ (* x x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (* x x) (- 1.0 (cos x)))
  (* (* x x) (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (* (* x x) (+ 1.0 (cos x)))
  (- (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)))
  (+ (cos x) 1.0)
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2)))
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (- 1.0 (cos x)) (pow x 2))
  (fma 1/2 (pow x 2) (fma 1/720 (pow x 6) (* (pow x 4) -1/24)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
0.580 * * * [progress]: adding candidates to table
0.696 * * [progress]: iteration 2 / 4
0.696 * * * [progress]: picking best candidate
0.711 * * * * [pick]: Picked  #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))>
0.711 * * * [progress]: localizing error
0.718 * * * [progress]: generating rewritten candidates
0.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.722 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.725 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.767 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.787 * * * [progress]: generating series expansions
0.787 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.787 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.787 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.787 * [taylor]: Taking taylor expansion of 1.0 in x
0.787 * [taylor]: Taking taylor expansion of (cos x) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.787 * [taylor]: Taking taylor expansion of 1.0 in x
0.787 * [taylor]: Taking taylor expansion of (cos x) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.797 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.797 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.797 * [taylor]: Taking taylor expansion of 1.0 in x
0.797 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.797 * [taylor]: Taking taylor expansion of x in x
0.797 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.798 * [taylor]: Taking taylor expansion of 1.0 in x
0.798 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.798 * [taylor]: Taking taylor expansion of x in x
0.801 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.801 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.801 * [taylor]: Taking taylor expansion of 1.0 in x
0.801 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.801 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.801 * [taylor]: Taking taylor expansion of -1 in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.801 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.801 * [taylor]: Taking taylor expansion of 1.0 in x
0.801 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.801 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.801 * [taylor]: Taking taylor expansion of -1 in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.804 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.804 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.804 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.804 * [taylor]: Taking taylor expansion of 1.0 in x
0.804 * [taylor]: Taking taylor expansion of (cos x) in x
0.805 * [taylor]: Taking taylor expansion of x in x
0.805 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.805 * [taylor]: Taking taylor expansion of 1.0 in x
0.805 * [taylor]: Taking taylor expansion of (cos x) in x
0.805 * [taylor]: Taking taylor expansion of x in x
0.815 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.815 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.815 * [taylor]: Taking taylor expansion of 1.0 in x
0.815 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.815 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.816 * [taylor]: Taking taylor expansion of 1.0 in x
0.816 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.819 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.819 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.819 * [taylor]: Taking taylor expansion of 1.0 in x
0.819 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.819 * [taylor]: Taking taylor expansion of -1 in x
0.819 * [taylor]: Taking taylor expansion of x in x
0.819 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.819 * [taylor]: Taking taylor expansion of 1.0 in x
0.819 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.819 * [taylor]: Taking taylor expansion of -1 in x
0.819 * [taylor]: Taking taylor expansion of x in x
0.822 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.823 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0
0.823 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
0.823 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.823 * [taylor]: Taking taylor expansion of 1.0 in x
0.823 * [taylor]: Taking taylor expansion of (cos x) in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.825 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
0.826 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.826 * [taylor]: Taking taylor expansion of 1.0 in x
0.826 * [taylor]: Taking taylor expansion of (cos x) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.826 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.844 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0
0.844 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
0.844 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.844 * [taylor]: Taking taylor expansion of x in x
0.844 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.844 * [taylor]: Taking taylor expansion of 1.0 in x
0.844 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.844 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
0.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.845 * [taylor]: Taking taylor expansion of 1.0 in x
0.845 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.857 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0
0.857 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
0.857 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.857 * [taylor]: Taking taylor expansion of 1.0 in x
0.857 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.857 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.857 * [taylor]: Taking taylor expansion of -1 in x
0.857 * [taylor]: Taking taylor expansion of x in x
0.857 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.857 * [taylor]: Taking taylor expansion of x in x
0.857 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
0.857 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.857 * [taylor]: Taking taylor expansion of 1.0 in x
0.857 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.857 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.857 * [taylor]: Taking taylor expansion of -1 in x
0.857 * [taylor]: Taking taylor expansion of x in x
0.858 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.868 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.868 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in (x) around 0
0.868 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x
0.868 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x
0.868 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.868 * [taylor]: Taking taylor expansion of 1.0 in x
0.868 * [taylor]: Taking taylor expansion of (cos x) in x
0.868 * [taylor]: Taking taylor expansion of x in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.872 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos x))) (/ 1 x)) in x
0.872 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos x))) in x
0.872 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.872 * [taylor]: Taking taylor expansion of 1.0 in x
0.872 * [taylor]: Taking taylor expansion of (cos x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.876 * [taylor]: Taking taylor expansion of x in x
0.920 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in (x) around 0
0.920 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x
0.920 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.920 * [taylor]: Taking taylor expansion of 1.0 in x
0.920 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 (cos (/ 1 x))))) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ 1 x)))) in x
0.921 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.921 * [taylor]: Taking taylor expansion of 1.0 in x
0.921 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.934 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in (x) around 0
0.935 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x
0.935 * [taylor]: Taking taylor expansion of -1 in x
0.935 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x
0.935 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x
0.935 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.935 * [taylor]: Taking taylor expansion of 1.0 in x
0.935 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.935 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.935 * [taylor]: Taking taylor expansion of -1 in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (cos (/ -1 x)))) x)) in x
0.936 * [taylor]: Taking taylor expansion of -1 in x
0.936 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (cos (/ -1 x)))) x) in x
0.936 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (cos (/ -1 x)))) in x
0.936 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.936 * [taylor]: Taking taylor expansion of 1.0 in x
0.936 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.936 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.936 * [taylor]: Taking taylor expansion of -1 in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.937 * [taylor]: Taking taylor expansion of x in x
0.954 * * * [progress]: simplifying candidates
0.957 * [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))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (fma 1 1.0 (- (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x))))))
  (fma (- (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (* (cbrt (cos x)) (cbrt (cos x)))))
  (fma 1 1.0 (- (* (sqrt (cos x)) (sqrt (cos x)))))
  (fma (- (sqrt (cos x))) (sqrt (cos x)) (* (sqrt (cos x)) (sqrt (cos x))))
  (fma 1 1.0 (- (* (cos x) 1)))
  (fma (- (cos x)) 1 (* (cos x) 1))
  (expm1 (- 1.0 (cos x)))
  (log1p (- 1.0 (cos x)))
  (- (cos x))
  (- (cos x))
  (- (cos x))
  (/ (exp 1.0) (exp (cos x)))
  (log (- 1.0 (cos x)))
  (exp (- 1.0 (cos x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (cbrt (- 1.0 (cos x)))
  (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (expm1 (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))
  (log1p (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))
  (+ 1 1)
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (+ 1 1)
  (+ (- (log (sqrt (- 1.0 (cos x)))) (log x)) (- (log (sqrt (- 1.0 (cos x)))) (log x)))
  (+ (- (log (sqrt (- 1.0 (cos x)))) (log x)) (log (/ (sqrt (- 1.0 (cos x))) x)))
  (+ (log (/ (sqrt (- 1.0 (cos x))) x)) (- (log (sqrt (- 1.0 (cos x)))) (log x)))
  (+ (log (/ (sqrt (- 1.0 (cos x))) x)) (log (/ (sqrt (- 1.0 (cos x))) x)))
  (log (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))
  (exp (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))
  (* (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x)) (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x)))
  (* (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x)) (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)))
  (* (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)) (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x)))
  (* (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)) (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x)))
  (* (cbrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (cbrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))))
  (cbrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))
  (* (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))
  (sqrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))
  (sqrt (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))
  (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))))
  (* x x)
  (* (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))))
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)))
  (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (cbrt (sqrt (- 1.0 (cos x)))) x))
  (* (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)))
  (* (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x)) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x)))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (cbrt (- 1.0 (cos x)))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) x))
  (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))
  (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))
  (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)))
  (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)))
  (* (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)))
  (* (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x)))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)))
  (* (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x))
  (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))
  (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))
  (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)))
  (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)))
  (* (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) 1) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) x))
  (* (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))
  (* (/ 1 (sqrt x)) (/ 1 (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) (sqrt x)))
  (* (/ 1 1) (/ 1 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* 1 1)
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))))
  (* (/ 1 x) (/ 1 x))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* 2 1)
  (* (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (sqrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt 1) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ 1 (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ 1 (sqrt x)))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ 1 1))
  (* (/ (sqrt (- 1.0 (cos x))) x) 1)
  (* (/ (sqrt (- 1.0 (cos x))) x) (sqrt (- 1.0 (cos x))))
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ 1 x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) x) (sqrt (- 1.0 (cos x))))
  (* (sqrt (- 1.0 (cos x))) (/ (sqrt (- 1.0 (cos x))) x))
  (expm1 (/ (sqrt (- 1.0 (cos x))) x))
  (log1p (/ (sqrt (- 1.0 (cos x))) x))
  (- (log (sqrt (- 1.0 (cos x)))) (log x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (exp (/ (sqrt (- 1.0 (cos x))) x))
  (/ (* (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sqrt (- 1.0 (cos x)))) (* (* x x) x))
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (cbrt (/ (sqrt (- 1.0 (cos x))) x))
  (* (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (- (sqrt (- 1.0 (cos x))))
  (- x)
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) 1)
  (/ (cbrt (sqrt (- 1.0 (cos x)))) x)
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) (sqrt x))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))) 1)
  (/ (sqrt (cbrt (- 1.0 (cos x)))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ (sqrt 1) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt 1) 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) 1)
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)
  (/ (sqrt 1) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt 1) 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) 1)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ 1 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ x (sqrt (- 1.0 (cos x))))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) 1)
  (/ x (cbrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (cbrt (- 1.0 (cos x)))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (- (sqrt 1.0) (sqrt (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (* x (sqrt (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))
  (* x (sqrt (+ 1.0 (cos x))))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (- 1.0 (cos x)) (pow x 2))
  (- (+ (* 1/1440 (/ (pow x 4) (sqrt 1/2))) (sqrt 1/2)) (+ (* 1/48 (/ (pow x 2) (sqrt 1/2))) (* 1/4608 (/ (pow x 4) (pow (sqrt 1/2) 3)))))
  (* (sqrt (- 1.0 (cos x))) (/ 1 x))
  (* (sqrt (- 1.0 (cos x))) (/ 1 x))
0.968 * * [simplify]: iteration  0 :  261  enodes  (cost  4851 )
1.022 * * [simplify]: iteration  1 :  740  enodes  (cost  4008 )
1.228 * * [simplify]: iteration  2 :  3201  enodes  (cost  3318 )
2.295 * * [simplify]: iteration  done :  5001  enodes  (cost  3318 )
2.297 * [simplify]: Simplified to:
   (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (cos x)))
  (* (cos x) 0)
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (cos x)))
  (* (cos x) 0)
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 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)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (expm1 (- 1.0 (cos x)))
  (log1p (- 1.0 (cos x)))
  (- (cos x))
  (- (cos x))
  (- (cos x))
  (exp (- 1.0 (cos x)))
  (log (- 1.0 (cos x)))
  (exp (- 1.0 (cos x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (cbrt (- 1.0 (cos x)))
  (pow (- 1.0 (cos x)) 3)
  (sqrt (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (cos x)))
  (* (cos x) 0)
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (cos x)))
  (* (cos x) 0)
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 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)
  (- 1.0 (cos x))
  (* (cos x) 0)
  (expm1 (- 1.0 (cos x)))
  (log1p (- 1.0 (cos x)))
  (- (cos x))
  (- (cos x))
  (- (cos x))
  (exp (- 1.0 (cos x)))
  (log (- 1.0 (cos x)))
  (exp (- 1.0 (cos x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (cbrt (- 1.0 (cos x)))
  (pow (- 1.0 (cos x)) 3)
  (sqrt (- 1.0 (cos x)))
  (sqrt (- 1.0 (cos x)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (expm1 (/ (/ (- 1.0 (cos x)) x) x))
  (log1p (/ (/ (- 1.0 (cos x)) x) x))
  2
  (/ (- 1.0 (cos x)) (pow x 2))
  2
  (log (/ (/ (- 1.0 (cos x)) x) x))
  (log (/ (/ (- 1.0 (cos x)) x) x))
  (log (/ (/ (- 1.0 (cos x)) x) x))
  (log (/ (/ (- 1.0 (cos x)) x) x))
  (log (/ (/ (- 1.0 (cos x)) x) x))
  (exp (/ (/ (- 1.0 (cos x)) x) x))
  (pow (/ (- 1.0 (cos x)) (pow x 2)) 3)
  (pow (/ (- 1.0 (cos x)) (pow x 2)) 3)
  (pow (/ (- 1.0 (cos x)) (pow x 2)) 3)
  (pow (/ (- 1.0 (cos x)) (pow x 2)) 3)
  (* (cbrt (/ (/ (- 1.0 (cos x)) x) x)) (cbrt (/ (/ (- 1.0 (cos x)) x) x)))
  (cbrt (/ (/ (- 1.0 (cos x)) x) x))
  (pow (/ (- 1.0 (cos x)) (pow x 2)) 3)
  (fabs (/ (sqrt (- 1.0 (cos x))) x))
  (fabs (/ (sqrt (- 1.0 (cos x))) x))
  (- 1.0 (cos x))
  (pow x 2)
  (* (pow (cbrt (/ (sqrt (- 1.0 (cos x))) x)) 3) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)))
  (* (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (cbrt (sqrt (- 1.0 (cos x)))) x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (sqrt x))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (cbrt (- 1.0 (cos x)))) x))
  (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (sqrt (- 1.0 (cos x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) x)
  (sqrt (- 1.0 (cos x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) x)
  (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x))
  (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x))
  (/ (/ 1 (sqrt x)) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x))
  (/ (/ 1 (sqrt x)) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x))
  1
  (/ (- 1.0 (cos x)) (pow x 2))
  1
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)))
  (/ (/ (+ (sqrt (cos x)) (sqrt 1.0)) (sqrt x)) (sqrt x))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x))
  (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x))
  (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x))
  (/ (/ 1 (sqrt x)) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x))
  (/ (/ 1 (sqrt x)) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x))
  1
  (/ (- 1.0 (cos x)) (pow x 2))
  1
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (sqrt (- 1.0 (cos x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) x)
  (sqrt (- 1.0 (cos x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) x)
  (/ (/ (/ 1 (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x))
  (/ (/ 1 (sqrt x)) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x))
  1
  (/ (- 1.0 (cos x)) (pow x 2))
  1
  (/ (- 1.0 (cos x)) (pow x 2))
  (- 1.0 (cos x))
  (/ (/ 1 x) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (sqrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  2
  (* (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x))))
  (pow (sqrt (/ (sqrt (- 1.0 (cos x))) x)) 3)
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (sqrt x)))
  (* (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (/ (sqrt (- 1.0 (cos x))) x))
  (/ (* (fabs (cbrt (- 1.0 (cos x)))) (/ (sqrt (- 1.0 (cos x))) x)) (* (cbrt x) (cbrt x)))
  (* (/ (fabs (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (fabs (cbrt (- 1.0 (cos x)))) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (sqrt (- 1.0 (cos x))))
  (/ (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) x)
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x)))
  (* (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (/ (sqrt (- 1.0 (cos x))) x))
  (/ (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) x)
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (sqrt (- 1.0 (cos x))))
  (/ (/ (sqrt (- 1.0 (cos x))) x) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (- 1.0 (cos x)) x)
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (/ (sqrt (- 1.0 (cos x))) x))
  (pow (sqrt (/ (sqrt (- 1.0 (cos x))) x)) 3)
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (cbrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ (- 1.0 (cos x)) (pow x 2))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ (- 1.0 (cos x)) (pow x 2))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) x))
  (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x)))
  (* (/ (sqrt (sqrt (- 1.0 (cos x)))) x) (/ (sqrt (- 1.0 (cos x))) x))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (/ (sqrt (- 1.0 (cos x))) x) x)
  (/ (- 1.0 (cos x)) x)
  (/ (- 1.0 (cos x)) x)
  (expm1 (/ (sqrt (- 1.0 (cos x))) x))
  (log1p (/ (sqrt (- 1.0 (cos x))) x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (log (/ (sqrt (- 1.0 (cos x))) x))
  (exp (/ (sqrt (- 1.0 (cos x))) x))
  (pow (/ (sqrt (- 1.0 (cos x))) x) 3)
  (* (cbrt (/ (sqrt (- 1.0 (cos x))) x)) (cbrt (/ (sqrt (- 1.0 (cos x))) x)))
  (cbrt (/ (sqrt (- 1.0 (cos x))) x))
  (pow (/ (sqrt (- 1.0 (cos x))) x) 3)
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (sqrt (/ (sqrt (- 1.0 (cos x))) x))
  (- (sqrt (- 1.0 (cos x))))
  (- x)
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)) (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x)))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (* (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x)) (cbrt (sqrt (- 1.0 (cos x)))))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x)))))
  (/ (cbrt (sqrt (- 1.0 (cos x)))) x)
  (/ (/ (fabs (cbrt (- 1.0 (cos x)))) (cbrt x)) (cbrt x))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x))
  (/ (fabs (cbrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) (sqrt x))
  (fabs (cbrt (- 1.0 (cos x))))
  (/ (sqrt (cbrt (- 1.0 (cos x)))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (sqrt (sqrt (- 1.0 (cos x))))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ (/ 1 (cbrt x)) (cbrt x))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (cbrt x))
  (/ (sqrt (+ (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) (sqrt x))
  (sqrt (+ (sqrt 1.0) (sqrt (cos x))))
  (/ (sqrt (- (sqrt 1.0) (sqrt (cos x)))) x)
  (/ (/ 1 (cbrt x)) (cbrt x))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (cbrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) (sqrt x))
  (sqrt (sqrt (- 1.0 (cos x))))
  (/ (sqrt (sqrt (- 1.0 (cos x)))) x)
  (/ (/ 1 (cbrt x)) (cbrt x))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ 1 (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  1
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 x)
  (/ x (sqrt (- 1.0 (cos x))))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (sqrt (- 1.0 (cos x)))
  (/ x (cbrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (cbrt (- 1.0 (cos x)))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (- (sqrt 1.0) (sqrt (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (sqrt (sqrt (- 1.0 (cos x)))))
  (/ x (sqrt (- 1.0 (cos x))))
  (* x (sqrt (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x))))))
  (* x (sqrt (+ 1.0 (cos x))))
  (fma 1/2 (pow x 2) (fma 1/720 (pow x 6) (* -1/24 (pow x 4))))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (fma 1/2 (pow x 2) (fma 1/720 (pow x 6) (* -1/24 (pow x 4))))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2)))
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (- 1.0 (cos x)) (pow x 2))
  (- (fma 1/1440 (/ (pow x 4) (sqrt 1/2)) (sqrt 1/2)) (fma 1/48 (/ (pow x 2) (sqrt 1/2)) (* 1/2304 (/ (pow x 4) (sqrt 1/2)))))
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
2.299 * * * [progress]: adding candidates to table
2.720 * * [progress]: iteration 3 / 4
2.720 * * * [progress]: picking best candidate
2.737 * * * * [pick]: Picked  #<alt (λ (x) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))>
2.737 * * * [progress]: localizing error
2.745 * * * [progress]: generating rewritten candidates
2.745 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
2.749 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
2.757 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.769 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.776 * * * [progress]: generating series expansions
2.776 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
2.776 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
2.776 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.776 * [taylor]: Taking taylor expansion of 1.0 in x
2.776 * [taylor]: Taking taylor expansion of (cos x) in x
2.776 * [taylor]: Taking taylor expansion of x in x
2.776 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.776 * [taylor]: Taking taylor expansion of 1.0 in x
2.776 * [taylor]: Taking taylor expansion of (cos x) in x
2.776 * [taylor]: Taking taylor expansion of x in x
2.792 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
2.792 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.792 * [taylor]: Taking taylor expansion of 1.0 in x
2.792 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.792 * [taylor]: Taking taylor expansion of x in x
2.792 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.792 * [taylor]: Taking taylor expansion of 1.0 in x
2.792 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.792 * [taylor]: Taking taylor expansion of x in x
2.795 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
2.796 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.796 * [taylor]: Taking taylor expansion of 1.0 in x
2.796 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.796 * [taylor]: Taking taylor expansion of -1 in x
2.796 * [taylor]: Taking taylor expansion of x in x
2.796 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.796 * [taylor]: Taking taylor expansion of 1.0 in x
2.796 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.796 * [taylor]: Taking taylor expansion of -1 in x
2.796 * [taylor]: Taking taylor expansion of x in x
2.799 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
2.799 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in (x) around 0
2.799 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in x
2.800 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.800 * [taylor]: Taking taylor expansion of 1.0 in x
2.800 * [taylor]: Taking taylor expansion of (cos x) in x
2.800 * [taylor]: Taking taylor expansion of x in x
2.800 * [taylor]: Taking taylor expansion of x in x
2.802 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) x) in x
2.802 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.802 * [taylor]: Taking taylor expansion of 1.0 in x
2.802 * [taylor]: Taking taylor expansion of (cos x) in x
2.802 * [taylor]: Taking taylor expansion of x in x
2.802 * [taylor]: Taking taylor expansion of x in x
2.815 * [approximate]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in (x) around 0
2.815 * [taylor]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in x
2.815 * [taylor]: Taking taylor expansion of x in x
2.815 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.815 * [taylor]: Taking taylor expansion of 1.0 in x
2.815 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.815 * [taylor]: Taking taylor expansion of x in x
2.815 * [taylor]: Taking taylor expansion of (* x (- 1.0 (cos (/ 1 x)))) in x
2.815 * [taylor]: Taking taylor expansion of x in x
2.815 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.815 * [taylor]: Taking taylor expansion of 1.0 in x
2.815 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.815 * [taylor]: Taking taylor expansion of x in x
2.826 * [approximate]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in (x) around 0
2.826 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in x
2.826 * [taylor]: Taking taylor expansion of -1 in x
2.826 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) x) in x
2.826 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.826 * [taylor]: Taking taylor expansion of 1.0 in x
2.826 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.826 * [taylor]: Taking taylor expansion of -1 in x
2.826 * [taylor]: Taking taylor expansion of x in x
2.826 * [taylor]: Taking taylor expansion of x in x
2.827 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (cos (/ -1 x))) x)) in x
2.827 * [taylor]: Taking taylor expansion of -1 in x
2.827 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) x) in x
2.827 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.827 * [taylor]: Taking taylor expansion of 1.0 in x
2.827 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.827 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.827 * [taylor]: Taking taylor expansion of -1 in x
2.827 * [taylor]: Taking taylor expansion of x in x
2.827 * [taylor]: Taking taylor expansion of x in x
2.842 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.842 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in (x) around 0
2.842 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
2.842 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.842 * [taylor]: Taking taylor expansion of 1.0 in x
2.842 * [taylor]: Taking taylor expansion of (cos x) in x
2.842 * [taylor]: Taking taylor expansion of x in x
2.842 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.842 * [taylor]: Taking taylor expansion of x in x
2.844 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
2.844 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.844 * [taylor]: Taking taylor expansion of 1.0 in x
2.844 * [taylor]: Taking taylor expansion of (cos x) in x
2.845 * [taylor]: Taking taylor expansion of x in x
2.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.845 * [taylor]: Taking taylor expansion of x in x
2.860 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in (x) around 0
2.860 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
2.860 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.860 * [taylor]: Taking taylor expansion of x in x
2.860 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.860 * [taylor]: Taking taylor expansion of 1.0 in x
2.860 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.860 * [taylor]: Taking taylor expansion of x in x
2.861 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
2.861 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.861 * [taylor]: Taking taylor expansion of x in x
2.861 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.861 * [taylor]: Taking taylor expansion of 1.0 in x
2.861 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.861 * [taylor]: Taking taylor expansion of x in x
2.876 * [approximate]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in (x) around 0
2.876 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
2.876 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.876 * [taylor]: Taking taylor expansion of 1.0 in x
2.876 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.876 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.876 * [taylor]: Taking taylor expansion of -1 in x
2.876 * [taylor]: Taking taylor expansion of x in x
2.876 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.876 * [taylor]: Taking taylor expansion of x in x
2.876 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
2.876 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.876 * [taylor]: Taking taylor expansion of 1.0 in x
2.876 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.876 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.876 * [taylor]: Taking taylor expansion of -1 in x
2.876 * [taylor]: Taking taylor expansion of x in x
2.877 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.877 * [taylor]: Taking taylor expansion of x in x
2.887 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.887 * [approximate]: Taking taylor expansion of (log1p (expm1 (/ (- 1.0 (cos x)) (pow x 2)))) in (x) around 0
2.887 * [taylor]: Taking taylor expansion of (log1p (expm1 (/ (- 1.0 (cos x)) (pow x 2)))) in x
2.888 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (/ (- 1.0 (cos x)) (pow x 2)))))
2.888 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (/ (- 1.0 (cos x)) (pow x 2)))) in x
2.888 * [taylor]: Taking taylor expansion of 1 in x
2.888 * [taylor]: Taking taylor expansion of (expm1 (/ (- 1.0 (cos x)) (pow x 2))) in x
2.888 * [taylor]: Rewrote expression to (- (exp (/ (- 1.0 (cos x)) (pow x 2))) 1)
2.888 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (pow x 2))) in x
2.888 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
2.888 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.888 * [taylor]: Taking taylor expansion of 1.0 in x
2.888 * [taylor]: Taking taylor expansion of (cos x) in x
2.888 * [taylor]: Taking taylor expansion of x in x
2.888 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.888 * [taylor]: Taking taylor expansion of x in x
2.891 * [taylor]: Taking taylor expansion of 1 in x
2.894 * [taylor]: Taking taylor expansion of (log1p (expm1 (/ (- 1.0 (cos x)) (pow x 2)))) in x
2.894 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (/ (- 1.0 (cos x)) (pow x 2)))))
2.894 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (/ (- 1.0 (cos x)) (pow x 2)))) in x
2.894 * [taylor]: Taking taylor expansion of 1 in x
2.894 * [taylor]: Taking taylor expansion of (expm1 (/ (- 1.0 (cos x)) (pow x 2))) in x
2.894 * [taylor]: Rewrote expression to (- (exp (/ (- 1.0 (cos x)) (pow x 2))) 1)
2.894 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (cos x)) (pow x 2))) in x
2.894 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (pow x 2)) in x
2.894 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.894 * [taylor]: Taking taylor expansion of 1.0 in x
2.894 * [taylor]: Taking taylor expansion of (cos x) in x
2.894 * [taylor]: Taking taylor expansion of x in x
2.894 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.894 * [taylor]: Taking taylor expansion of x in x
2.897 * [taylor]: Taking taylor expansion of 1 in x
2.969 * [approximate]: Taking taylor expansion of (log1p (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x)))))) in (x) around 0
2.969 * [taylor]: Taking taylor expansion of (log1p (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x)))))) in x
2.969 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x)))))))
2.969 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x)))))) in x
2.969 * [taylor]: Taking taylor expansion of 1 in x
2.969 * [taylor]: Taking taylor expansion of (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x))))) in x
2.969 * [taylor]: Rewrote expression to (- (exp (* (pow x 2) (- 1.0 (cos (/ 1 x))))) 1)
2.969 * [taylor]: Taking taylor expansion of (exp (* (pow x 2) (- 1.0 (cos (/ 1 x))))) in x
2.969 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
2.969 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.969 * [taylor]: Taking taylor expansion of x in x
2.969 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.969 * [taylor]: Taking taylor expansion of 1.0 in x
2.969 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.969 * [taylor]: Taking taylor expansion of x in x
2.970 * [taylor]: Taking taylor expansion of 1 in x
2.971 * [taylor]: Taking taylor expansion of (log1p (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x)))))) in x
2.971 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x)))))))
2.971 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x)))))) in x
2.971 * [taylor]: Taking taylor expansion of 1 in x
2.971 * [taylor]: Taking taylor expansion of (expm1 (* (pow x 2) (- 1.0 (cos (/ 1 x))))) in x
2.971 * [taylor]: Rewrote expression to (- (exp (* (pow x 2) (- 1.0 (cos (/ 1 x))))) 1)
2.971 * [taylor]: Taking taylor expansion of (exp (* (pow x 2) (- 1.0 (cos (/ 1 x))))) in x
2.971 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 1.0 (cos (/ 1 x)))) in x
2.971 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.971 * [taylor]: Taking taylor expansion of x in x
2.971 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.971 * [taylor]: Taking taylor expansion of 1.0 in x
2.971 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.971 * [taylor]: Taking taylor expansion of x in x
2.972 * [taylor]: Taking taylor expansion of 1 in x
3.204 * [approximate]: Taking taylor expansion of (log1p (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2)))) in (x) around 0
3.204 * [taylor]: Taking taylor expansion of (log1p (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2)))) in x
3.204 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2)))))
3.204 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2)))) in x
3.204 * [taylor]: Taking taylor expansion of 1 in x
3.204 * [taylor]: Taking taylor expansion of (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2))) in x
3.204 * [taylor]: Rewrote expression to (- (exp (* (- 1.0 (cos (/ -1 x))) (pow x 2))) 1)
3.204 * [taylor]: Taking taylor expansion of (exp (* (- 1.0 (cos (/ -1 x))) (pow x 2))) in x
3.204 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
3.204 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
3.204 * [taylor]: Taking taylor expansion of 1.0 in x
3.204 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.204 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.204 * [taylor]: Taking taylor expansion of -1 in x
3.204 * [taylor]: Taking taylor expansion of x in x
3.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.204 * [taylor]: Taking taylor expansion of x in x
3.205 * [taylor]: Taking taylor expansion of 1 in x
3.206 * [taylor]: Taking taylor expansion of (log1p (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2)))) in x
3.206 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2)))))
3.206 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2)))) in x
3.206 * [taylor]: Taking taylor expansion of 1 in x
3.206 * [taylor]: Taking taylor expansion of (expm1 (* (- 1.0 (cos (/ -1 x))) (pow x 2))) in x
3.206 * [taylor]: Rewrote expression to (- (exp (* (- 1.0 (cos (/ -1 x))) (pow x 2))) 1)
3.206 * [taylor]: Taking taylor expansion of (exp (* (- 1.0 (cos (/ -1 x))) (pow x 2))) in x
3.206 * [taylor]: Taking taylor expansion of (* (- 1.0 (cos (/ -1 x))) (pow x 2)) in x
3.206 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
3.206 * [taylor]: Taking taylor expansion of 1.0 in x
3.206 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.206 * [taylor]: Taking taylor expansion of -1 in x
3.206 * [taylor]: Taking taylor expansion of x in x
3.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.206 * [taylor]: Taking taylor expansion of x in x
3.207 * [taylor]: Taking taylor expansion of 1 in x
3.434 * * * [progress]: simplifying candidates
3.437 * [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)) x))
  (log1p (/ (- 1.0 (cos x)) x))
  (- (log (- 1.0 (cos x))) (log x))
  (log (/ (- 1.0 (cos x)) x))
  (exp (/ (- 1.0 (cos x)) x))
  (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* x x) x))
  (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x)))
  (cbrt (/ (- 1.0 (cos x)) x))
  (* (* (/ (- 1.0 (cos x)) x) (/ (- 1.0 (cos x)) x)) (/ (- 1.0 (cos x)) x))
  (sqrt (/ (- 1.0 (cos x)) x))
  (sqrt (/ (- 1.0 (cos x)) x))
  (- (- 1.0 (cos x)))
  (- x)
  (/ 1.0 x)
  (/ (cos x) x)
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (- 1.0 (cos x))) (cbrt x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x))
  (/ (cbrt (- 1.0 (cos x))) (sqrt x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1)
  (/ (cbrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x)))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) 1)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- 1.0 (cos x)) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- 1.0 (cos x)) (sqrt x))
  (/ 1 1)
  (/ (- 1.0 (cos x)) x)
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) 1)
  (/ (- (sqrt 1.0) (sqrt (cos x))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- 1.0 (cos x)) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- 1.0 (cos x)) (sqrt x))
  (/ 1 1)
  (/ (- 1.0 (cos x)) x)
  (/ 1 x)
  (/ x (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x)))
  (/ (- 1.0 (cos x)) (sqrt x))
  (/ (- 1.0 (cos x)) 1)
  (/ x (cbrt (- 1.0 (cos x))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (- 1.0 (cos x)))
  (/ x (- (sqrt 1.0) (sqrt (cos x))))
  (/ x (- 1.0 (cos x)))
  (* x (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (* x (+ 1.0 (cos x)))
  (expm1 (/ (/ (- 1.0 (cos x)) x) x))
  (log1p (/ (/ (- 1.0 (cos x)) x) x))
  (- (- (log (- 1.0 (cos x))) (log x)) (log x))
  (- (log (/ (- 1.0 (cos x)) x)) (log x))
  (log (/ (/ (- 1.0 (cos x)) x) x))
  (exp (/ (/ (- 1.0 (cos x)) x) x))
  (/ (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* x x) x)) (* (* x x) x))
  (/ (* (* (/ (- 1.0 (cos x)) x) (/ (- 1.0 (cos x)) x)) (/ (- 1.0 (cos x)) x)) (* (* x x) x))
  (* (cbrt (/ (/ (- 1.0 (cos x)) x) x)) (cbrt (/ (/ (- 1.0 (cos x)) x) x)))
  (cbrt (/ (/ (- 1.0 (cos x)) x) x))
  (* (* (/ (/ (- 1.0 (cos x)) x) x) (/ (/ (- 1.0 (cos x)) x) x)) (/ (/ (- 1.0 (cos x)) x) x))
  (sqrt (/ (/ (- 1.0 (cos x)) x) x))
  (sqrt (/ (/ (- 1.0 (cos x)) x) x))
  (- (/ (- 1.0 (cos x)) x))
  (- x)
  (/ (/ 1.0 x) x)
  (/ (/ (cos x) x) x)
  (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (/ (- 1.0 (cos x)) x)) (cbrt x))
  (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (sqrt x))
  (/ (cbrt (/ (- 1.0 (cos x)) x)) (sqrt x))
  (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) 1)
  (/ (cbrt (/ (- 1.0 (cos x)) x)) x)
  (/ (sqrt (/ (- 1.0 (cos x)) x)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (/ (- 1.0 (cos x)) x)) (cbrt x))
  (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x))
  (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x))
  (/ (sqrt (/ (- 1.0 (cos x)) x)) 1)
  (/ (sqrt (/ (- 1.0 (cos x)) x)) x)
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (cbrt x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (sqrt x))
  (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (sqrt x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) 1)
  (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) x)
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) (cbrt x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (sqrt x))
  (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) 1)
  (/ (/ (cbrt (- 1.0 (cos x))) (sqrt x)) x)
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt (- 1.0 (cos x))) x) (cbrt x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (sqrt x))
  (/ (/ (cbrt (- 1.0 (cos x))) x) (sqrt x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) 1)
  (/ (/ (cbrt (- 1.0 (cos x))) x) x)
  (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) 1)
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) x)
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (cbrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) 1)
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) x)
  (/ (/ (sqrt (- 1.0 (cos x))) 1) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) (cbrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) 1) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) x) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) 1) 1)
  (/ (/ (sqrt (- 1.0 (cos x))) x) x)
  (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x))
  (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (sqrt x))
  (/ (/ 1 (* (cbrt x) (cbrt x))) 1)
  (/ (/ (- 1.0 (cos x)) (cbrt x)) x)
  (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (cbrt x))
  (/ (/ 1 (sqrt x)) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x))
  (/ (/ 1 (sqrt x)) 1)
  (/ (/ (- 1.0 (cos x)) (sqrt x)) x)
  (/ (/ 1 1) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ (/ 1 1) (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ (/ 1 1) 1)
  (/ (/ (- 1.0 (cos x)) x) x)
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (cbrt x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (sqrt x))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (sqrt x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) 1)
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) x)
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (cbrt x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) (sqrt x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x)) 1)
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)) x)
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (* (cbrt x) (cbrt x)))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (cbrt x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (sqrt x))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (sqrt x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) 1)
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) x)
  (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (cbrt x))
  (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (sqrt x))
  (/ (/ 1 (* (cbrt x) (cbrt x))) 1)
  (/ (/ (- 1.0 (cos x)) (cbrt x)) x)
  (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (cbrt x))
  (/ (/ 1 (sqrt x)) (sqrt x))
  (/ (/ (- 1.0 (cos x)) (sqrt x)) (sqrt x))
  (/ (/ 1 (sqrt x)) 1)
  (/ (/ (- 1.0 (cos x)) (sqrt x)) x)
  (/ (/ 1 1) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ (/ 1 1) (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ (/ 1 1) 1)
  (/ (/ (- 1.0 (cos x)) x) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ 1 (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ 1 1)
  (/ (/ (- 1.0 (cos x)) x) x)
  (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x)))
  (/ (/ 1 x) (cbrt x))
  (/ (- 1.0 (cos x)) (sqrt x))
  (/ (/ 1 x) (sqrt x))
  (/ (- 1.0 (cos x)) 1)
  (/ (/ 1 x) x)
  (/ 1 x)
  (/ x (/ (- 1.0 (cos x)) x))
  (/ (/ (- 1.0 (cos x)) x) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) 1)
  (/ x (cbrt (/ (- 1.0 (cos x)) x)))
  (/ x (sqrt (/ (- 1.0 (cos x)) x)))
  (/ x (/ (cbrt (- 1.0 (cos x))) (cbrt x)))
  (/ x (/ (cbrt (- 1.0 (cos x))) (sqrt x)))
  (/ x (/ (cbrt (- 1.0 (cos x))) x))
  (/ x (/ (sqrt (- 1.0 (cos x))) (cbrt x)))
  (/ x (/ (sqrt (- 1.0 (cos x))) (sqrt x)))
  (/ x (/ (sqrt (- 1.0 (cos x))) x))
  (/ x (/ (- 1.0 (cos x)) (cbrt x)))
  (/ x (/ (- 1.0 (cos x)) (sqrt x)))
  (/ x (/ (- 1.0 (cos x)) x))
  (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)))
  (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)))
  (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) x))
  (/ x (/ (- 1.0 (cos x)) (cbrt x)))
  (/ x (/ (- 1.0 (cos x)) (sqrt x)))
  (/ x (/ (- 1.0 (cos x)) x))
  (/ x (/ (- 1.0 (cos x)) x))
  (/ x (/ 1 x))
  (* x x)
  (+ 1 (expm1 (/ (/ (- 1.0 (cos x)) x) x)))
  (expm1 (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))
  (log1p (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))
  (log (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))
  (exp (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))
  (* (cbrt (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x)))) (cbrt (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x)))))
  (cbrt (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))
  (* (* (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x)))) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))
  (sqrt (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))
  (sqrt (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- (+ (* 1/2 x) (* 1/720 (pow x 5))) (* 1/24 (pow x 3)))
  (/ (- 1.0 (cos x)) x)
  (* -1 (/ (- (cos x) 1.0) x))
  (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))
  (/ (- 1.0 (cos x)) (pow x 2))
  (/ (- 1.0 (cos x)) (pow x 2))
  (- (+ (* 1/720 (pow x 4)) 1/2) (* 1/24 (pow x 2)))
  (- (+ (* 1.0 (/ 1 (pow x 2))) (* 3.208094186147895e-17 (/ (pow (cos x) 2) (pow x 10)))) (+ (/ (cos x) (pow x 2)) (+ (* 3.208094186147895e-17 (/ (pow (cos x) 3) (pow x 10))) (* 4.5113824492704774e-17 (/ (pow (cos x) 2) (pow x 8))))))
  (- (+ (* 1.0 (/ 1 (pow x 2))) (* 3.208094186147895e-17 (/ (pow (cos x) 2) (pow x 10)))) (+ (/ (cos x) (pow x 2)) (+ (* 3.208094186147895e-17 (/ (pow (cos x) 3) (pow x 10))) (* 4.5113824492704774e-17 (/ (pow (cos x) 2) (pow x 8))))))
3.447 * * [simplify]: iteration  0 :  290  enodes  (cost  2827 )
3.502 * * [simplify]: iteration  1 :  671  enodes  (cost  2582 )
3.648 * * [simplify]: iteration  2 :  2417  enodes  (cost  2377 )
4.346 * * [simplify]: iteration  done :  5000  enodes  (cost  2377 )
4.348 * [simplify]: Simplified to:
   (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (cos x)))
  (* (cos x) 0)
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (cos x)))
  (* (cos x) 0)
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 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)
  (- 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) (pow (cos x) 2))
  (+ 1.0 (cos x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (- (sqrt 1.0) (sqrt (cos x)))
  (- 1.0 (cos x))
  (- (cos x))
  (expm1 (/ (- 1.0 (cos x)) x))
  (log1p (/ (- 1.0 (cos x)) x))
  (log (/ (- 1.0 (cos x)) x))
  (log (/ (- 1.0 (cos x)) x))
  (exp (/ (- 1.0 (cos x)) x))
  (pow (/ (- 1.0 (cos x)) x) 3)
  (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x)))
  (cbrt (/ (- 1.0 (cos x)) x))
  (pow (/ (- 1.0 (cos x)) x) 3)
  (sqrt (/ (- 1.0 (cos x)) x))
  (sqrt (/ (- 1.0 (cos x)) x))
  (- (- 1.0 (cos x)))
  (- x)
  (/ 1.0 x)
  (/ (cos x) x)
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (- 1.0 (cos x))) (cbrt x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x))
  (/ (cbrt (- 1.0 (cos x))) (sqrt x))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (/ (cbrt (- 1.0 (cos x))) x)
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x))
  (/ (sqrt (- 1.0 (cos x))) (cbrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (sqrt (- 1.0 (cos x)))
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- 1.0 (cos x)) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- 1.0 (cos x)) (sqrt x))
  1
  (/ (- 1.0 (cos x)) x)
  (/ (+ (sqrt (cos x)) (sqrt 1.0)) (* (cbrt x) (cbrt x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (- 1.0 (cos x)) (cbrt x))
  (/ 1 (sqrt x))
  (/ (- 1.0 (cos x)) (sqrt x))
  1
  (/ (- 1.0 (cos x)) x)
  (/ 1 x)
  (/ x (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x)))
  (/ (- 1.0 (cos x)) (sqrt x))
  (- 1.0 (cos x))
  (/ x (cbrt (- 1.0 (cos x))))
  (/ x (sqrt (- 1.0 (cos x))))
  (/ x (- 1.0 (cos x)))
  (/ x (- (sqrt 1.0) (sqrt (cos x))))
  (/ x (- 1.0 (cos x)))
  (* x (fma 1.0 1.0 (* (cos x) (+ 1.0 (cos x)))))
  (* x (+ 1.0 (cos x)))
  (expm1 (/ (/ (- 1.0 (cos x)) x) x))
  (log1p (/ (/ (- 1.0 (cos x)) x) x))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (exp (/ (/ (- 1.0 (cos x)) x) x))
  (pow (/ (- 1.0 (cos x)) (* x x)) 3)
  (pow (/ (- 1.0 (cos x)) (* x x)) 3)
  (* (cbrt (/ (- 1.0 (cos x)) (pow x 2))) (cbrt (/ (- 1.0 (cos x)) (pow x 2))))
  (cbrt (/ (/ (- 1.0 (cos x)) x) x))
  (pow (/ (- 1.0 (cos x)) (* x x)) 3)
  (sqrt (/ (- 1.0 (cos x)) (pow x 2)))
  (sqrt (/ (- 1.0 (cos x)) (pow x 2)))
  (- (/ (- 1.0 (cos x)) x))
  (- x)
  (/ (/ 1.0 x) x)
  (/ (cos x) (pow x 2))
  (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (/ (- 1.0 (cos x)) x)) (cbrt x))
  (/ (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x))) (sqrt x))
  (/ (cbrt (/ (- 1.0 (cos x)) x)) (sqrt x))
  (* (cbrt (/ (- 1.0 (cos x)) x)) (cbrt (/ (- 1.0 (cos x)) x)))
  (/ (cbrt (/ (- 1.0 (cos x)) x)) x)
  (/ (sqrt (/ (- 1.0 (cos x)) x)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (/ (- 1.0 (cos x)) x)) (cbrt x))
  (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x))
  (/ (sqrt (/ (- 1.0 (cos x)) x)) (sqrt x))
  (sqrt (/ (- 1.0 (cos x)) x))
  (/ (sqrt (/ (- 1.0 (cos x)) x)) x)
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (cbrt x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (sqrt x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt (- 1.0 (cos x))) x) (cbrt x))
  (/ (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt (- 1.0 (cos x))) (cbrt x)) (sqrt x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) x)
  (/ (cbrt (- 1.0 (cos x))) x)
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x))
  (/ (/ (cbrt (- 1.0 (cos x))) x) (sqrt x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt (- 1.0 (cos x))) x) (cbrt x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt x))
  (/ (/ (cbrt (- 1.0 (cos x))) x) (sqrt x))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (/ (/ (cbrt (- 1.0 (cos x))) x) x)
  (/ (/ (sqrt (- 1.0 (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (cbrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) x)
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) (cbrt x))
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) x)
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) x)
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) (cbrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (cbrt x)) x)
  (/ (sqrt (- 1.0 (cos x))) (sqrt x))
  (/ (/ (sqrt (- 1.0 (cos x))) (sqrt x)) x)
  (sqrt (- 1.0 (cos x)))
  (/ (/ (sqrt (- 1.0 (cos x))) x) x)
  (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x)))
  (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (sqrt x))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (sqrt x))
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ 1 (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ 1 (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  1
  (/ (- 1.0 (cos x)) (* x x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (cbrt x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (sqrt x))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (sqrt x))
  (/ (+ (sqrt (cos x)) (sqrt 1.0)) (* (cbrt x) (cbrt x)))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (cbrt x))
  (/ (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt x) (cbrt x))) (sqrt x))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)) (sqrt x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) x)
  (/ (- (sqrt 1.0) (sqrt (cos x))) x)
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (sqrt x))
  (/ (+ (sqrt (cos x)) (sqrt 1.0)) (* (cbrt x) (cbrt x)))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (cbrt x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt x))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) (sqrt x))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (/ (/ (- (sqrt 1.0) (sqrt (cos x))) x) x)
  (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x)))
  (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (sqrt x))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) (cbrt x)) (sqrt x))
  (/ 1 x)
  (/ (- 1.0 (cos x)) x)
  (/ 1 (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ 1 (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  1
  (/ (- 1.0 (cos x)) (* x x))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (cbrt x))
  (/ 1 (sqrt x))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  1
  (/ (- 1.0 (cos x)) (* x x))
  (/ (- 1.0 (cos x)) (* (cbrt x) (cbrt x)))
  (/ (/ 1 x) (cbrt x))
  (/ (- 1.0 (cos x)) (sqrt x))
  (/ (/ 1 x) (sqrt x))
  (- 1.0 (cos x))
  (/ 1 (pow x 2))
  (/ 1 x)
  (/ x (/ (- 1.0 (cos x)) x))
  (/ (/ (- 1.0 (cos x)) x) (* (cbrt x) (cbrt x)))
  (/ (/ (- 1.0 (cos x)) x) (sqrt x))
  (/ (- 1.0 (cos x)) x)
  (/ x (cbrt (/ (- 1.0 (cos x)) x)))
  (/ x (sqrt (/ (- 1.0 (cos x)) x)))
  (/ x (/ (cbrt (- 1.0 (cos x))) (cbrt x)))
  (/ x (/ (cbrt (- 1.0 (cos x))) (sqrt x)))
  (/ x (/ (cbrt (- 1.0 (cos x))) x))
  (/ x (/ (sqrt (- 1.0 (cos x))) (cbrt x)))
  (/ x (/ (sqrt (- 1.0 (cos x))) (sqrt x)))
  (/ x (/ (sqrt (- 1.0 (cos x))) x))
  (/ x (/ (- 1.0 (cos x)) (cbrt x)))
  (/ x (/ (- 1.0 (cos x)) (sqrt x)))
  (/ x (/ (- 1.0 (cos x)) x))
  (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt x)))
  (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt x)))
  (/ x (/ (- (sqrt 1.0) (sqrt (cos x))) x))
  (/ x (/ (- 1.0 (cos x)) (cbrt x)))
  (/ x (/ (- 1.0 (cos x)) (sqrt x)))
  (/ x (/ (- 1.0 (cos x)) x))
  (/ x (/ (- 1.0 (cos x)) x))
  (pow x 2)
  (pow x 2)
  (+ 1 (expm1 (/ (/ (- 1.0 (cos x)) x) x)))
  (expm1 (/ (/ (- 1.0 (cos x)) x) x))
  (log1p (/ (/ (- 1.0 (cos x)) x) x))
  (log (/ (- 1.0 (cos x)) (* x x)))
  (exp (/ (/ (- 1.0 (cos x)) x) x))
  (* (cbrt (/ (- 1.0 (cos x)) (pow x 2))) (cbrt (/ (- 1.0 (cos x)) (pow x 2))))
  (cbrt (/ (/ (- 1.0 (cos x)) x) x))
  (pow (/ (- 1.0 (cos x)) (* x x)) 3)
  (sqrt (/ (- 1.0 (cos x)) (pow x 2)))
  (sqrt (/ (- 1.0 (cos x)) (pow x 2)))
  (fma (* x x) 1/2 (fma 1/720 (pow x 6) (* (pow x 4) -1/24)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (fma 1/2 x (fma 1/720 (pow x 5) (* -1/24 (pow x 3))))
  (/ (- 1.0 (cos x)) x)
  (- (/ (- (cos x) 1.0) x))
  (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2)))
  (/ (- 1.0 (cos x)) (* x x))
  (/ (- 1.0 (cos x)) (* x x))
  (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2)))
  (- (+ (* 3.208094186147895e-17 (/ (pow (cos x) 2) (pow x 10))) (/ (- 1.0 (cos x)) (* x x))) (fma 3.208094186147895e-17 (/ (pow (cos x) 3) (pow x 10)) (* 4.5113824492704774e-17 (/ (pow (cos x) 2) (pow x 8)))))
  (- (+ (* 3.208094186147895e-17 (/ (pow (cos x) 2) (pow x 10))) (/ (- 1.0 (cos x)) (* x x))) (fma 3.208094186147895e-17 (/ (pow (cos x) 3) (pow x 10)) (* 4.5113824492704774e-17 (/ (pow (cos x) 2) (pow x 8)))))
4.349 * * * [progress]: adding candidates to table
4.741 * * [progress]: iteration 4 / 4
4.741 * * * [progress]: picking best candidate
4.755 * * * * [pick]: Picked  #<alt (λ (x) (log1p (expm1 (/ (/ (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))) x) x))))>
4.755 * * * [progress]: localizing error
4.768 * * * [progress]: generating rewritten candidates
4.768 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1)
4.774 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
4.777 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2)
4.779 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
4.802 * * * [progress]: generating series expansions
4.802 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1)
4.803 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 2)) in (x) around 0
4.803 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 2)) in x
4.803 * [taylor]: Taking taylor expansion of 1.0 in x
4.803 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
4.803 * [taylor]: Taking taylor expansion of (cos x) in x
4.803 * [taylor]: Taking taylor expansion of x in x
4.803 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 2)) in x
4.803 * [taylor]: Taking taylor expansion of 1.0 in x
4.803 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
4.803 * [taylor]: Taking taylor expansion of (cos x) in x
4.803 * [taylor]: Taking taylor expansion of x in x
4.822 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 2)) in (x) around 0
4.822 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 2)) in x
4.822 * [taylor]: Taking taylor expansion of 1.0 in x
4.822 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
4.822 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.822 * [taylor]: Taking taylor expansion of x in x
4.822 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 2)) in x
4.822 * [taylor]: Taking taylor expansion of 1.0 in x
4.822 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
4.822 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.822 * [taylor]: Taking taylor expansion of x in x
4.830 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 2)) in (x) around 0
4.830 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 2)) in x
4.830 * [taylor]: Taking taylor expansion of 1.0 in x
4.830 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
4.830 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.830 * [taylor]: Taking taylor expansion of -1 in x
4.830 * [taylor]: Taking taylor expansion of x in x
4.831 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 2)) in x
4.831 * [taylor]: Taking taylor expansion of 1.0 in x
4.831 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
4.831 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.831 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.831 * [taylor]: Taking taylor expansion of -1 in x
4.831 * [taylor]: Taking taylor expansion of x in x
4.838 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
4.839 * [approximate]: Taking taylor expansion of (+ (cos x) 1.0) in (x) around 0
4.839 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
4.839 * [taylor]: Taking taylor expansion of (cos x) in x
4.839 * [taylor]: Taking taylor expansion of x in x
4.839 * [taylor]: Taking taylor expansion of 1.0 in x
4.839 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
4.839 * [taylor]: Taking taylor expansion of (cos x) in x
4.839 * [taylor]: Taking taylor expansion of x in x
4.839 * [taylor]: Taking taylor expansion of 1.0 in x
4.843 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0
4.843 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
4.843 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.843 * [taylor]: Taking taylor expansion of x in x
4.843 * [taylor]: Taking taylor expansion of 1.0 in x
4.844 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
4.844 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.844 * [taylor]: Taking taylor expansion of x in x
4.844 * [taylor]: Taking taylor expansion of 1.0 in x
4.846 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0
4.846 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
4.846 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.846 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.846 * [taylor]: Taking taylor expansion of -1 in x
4.846 * [taylor]: Taking taylor expansion of x in x
4.846 * [taylor]: Taking taylor expansion of 1.0 in x
4.846 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
4.846 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.846 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.846 * [taylor]: Taking taylor expansion of -1 in x
4.846 * [taylor]: Taking taylor expansion of x in x
4.846 * [taylor]: Taking taylor expansion of 1.0 in x
4.848 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2)
4.848 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0
4.848 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
4.848 * [taylor]: Taking taylor expansion of (cos x) in x
4.848 * [taylor]: Taking taylor expansion of x in x
4.848 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
4.848 * [taylor]: Taking taylor expansion of (cos x) in x
4.848 * [taylor]: Taking taylor expansion of x in x
4.854 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0
4.854 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
4.854 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.854 * [taylor]: Taking taylor expansion of x in x
4.855 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
4.855 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.855 * [taylor]: Taking taylor expansion of x in x
4.860 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0
4.860 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
4.860 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.860 * [taylor]: Taking taylor expansion of -1 in x
4.860 * [taylor]: Taking taylor expansion of x in x
4.860 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
4.860 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.860 * [taylor]: Taking taylor expansion of -1 in x
4.860 * [taylor]: Taking taylor expansion of x in x
4.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
4.865 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 2)) (+ (cos x) 1.0)) in (x) around 0
4.865 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 2)) (+ (cos x) 1.0)) in x
4.865 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 2)) in x
4.865 * [taylor]: Taking taylor expansion of 1.0 in x
4.865 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
4.865 * [taylor]: Taking taylor expansion of (cos x) in x
4.865 * [taylor]: Taking taylor expansion of x in x
4.865 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
4.865 * [taylor]: Taking taylor expansion of (cos x) in x
4.865 * [taylor]: Taking taylor expansion of x in x
4.865 * [taylor]: Taking taylor expansion of 1.0 in x
4.869 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 2)) (+ (cos x) 1.0)) in x
4.869 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 2)) in x
4.869 * [taylor]: Taking taylor expansion of 1.0 in x
4.869 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
4.869 * [taylor]: Taking taylor expansion of (cos x) in x
4.869 * [taylor]: Taking taylor expansion of x in x
4.869 * [taylor]: Taking taylor expansion of (+ (cos x) 1.0) in x
4.869 * [taylor]: Taking taylor expansion of (cos x) in x
4.869 * [taylor]: Taking taylor expansion of x in x
4.869 * [taylor]: Taking taylor expansion of 1.0 in x
4.900 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 2)) (+ (cos (/ 1 x)) 1.0)) in (x) around 0
4.900 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 2)) (+ (cos (/ 1 x)) 1.0)) in x
4.900 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 2)) in x
4.900 * [taylor]: Taking taylor expansion of 1.0 in x
4.900 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
4.900 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.900 * [taylor]: Taking taylor expansion of x in x
4.900 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
4.900 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.900 * [taylor]: Taking taylor expansion of x in x
4.900 * [taylor]: Taking taylor expansion of 1.0 in x
4.901 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 2)) (+ (cos (/ 1 x)) 1.0)) in x
4.901 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 2)) in x
4.901 * [taylor]: Taking taylor expansion of 1.0 in x
4.901 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
4.901 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.901 * [taylor]: Taking taylor expansion of x in x
4.901 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
4.901 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
4.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.901 * [taylor]: Taking taylor expansion of x in x
4.902 * [taylor]: Taking taylor expansion of 1.0 in x
4.914 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 2)) (+ (cos (/ -1 x)) 1.0)) in (x) around 0
4.914 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 2)) (+ (cos (/ -1 x)) 1.0)) in x
4.914 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 2)) in x
4.914 * [taylor]: Taking taylor expansion of 1.0 in x
4.914 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
4.914 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.914 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.914 * [taylor]: Taking taylor expansion of -1 in x
4.914 * [taylor]: Taking taylor expansion of x in x
4.914 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
4.914 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.914 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.914 * [taylor]: Taking taylor expansion of -1 in x
4.914 * [taylor]: Taking taylor expansion of x in x
4.914 * [taylor]: Taking taylor expansion of 1.0 in x
4.915 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 2)) (+ (cos (/ -1 x)) 1.0)) in x
4.915 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 2)) in x
4.915 * [taylor]: Taking taylor expansion of 1.0 in x
4.915 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
4.915 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.915 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.915 * [taylor]: Taking taylor expansion of -1 in x
4.915 * [taylor]: Taking taylor expansion of x in x
4.915 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
4.915 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
4.915 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.915 * [taylor]: Taking taylor expansion of -1 in x
4.915 * [taylor]: Taking taylor expansion of x in x
4.916 * [taylor]: Taking taylor expansion of 1.0 in x
4.927 * * * [progress]: simplifying candidates
4.929 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma 1.0 1.0 (- (* (pow (cbrt (cos x)) 2) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2))))
  (fma (- (pow (cbrt (cos x)) 2)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2) (* (pow (cbrt (cos x)) 2) (pow (* (cbrt (cos x)) (cbrt (cos x))) 2)))
  (fma 1.0 1.0 (- (* (pow (sqrt (cos x)) 2) (pow (sqrt (cos x)) 2))))
  (fma (- (pow (sqrt (cos x)) 2)) (pow (sqrt (cos x)) 2) (* (pow (sqrt (cos x)) 2) (pow (sqrt (cos x)) 2)))
  (fma 1.0 1.0 (- (* (pow (cos x) 2) (pow 1 2))))
  (fma (- (pow (cos x) 2)) (pow 1 2) (* (pow (cos x) 2) (pow 1 2)))
  (fma 1.0 1.0 (- (* (cos x) (cos x))))
  (fma (- (cos x)) (cos x) (* (cos x) (cos x)))
  (fma 1.0 1.0 (- (* (cbrt (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))))))
  (fma (- (cbrt (pow (cos x) 2))) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2))) (* (cbrt (pow (cos x) 2)) (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2)))))
  (fma 1.0 1.0 (- (* (sqrt (pow (cos x) 2)) (sqrt (pow (cos x) 2)))))
  (fma (- (sqrt (pow (cos x) 2))) (sqrt (pow (cos x) 2)) (* (sqrt (pow (cos x) 2)) (sqrt (pow (cos x) 2))))
  (fma 1.0 1.0 (- (* (pow (cos x) 2) 1)))
  (fma (- (pow (cos x) 2)) 1 (* (pow (cos x) 2) 1))
  (fma 1.0 1.0 (- (* (pow (cos x) (/ 2 2)) (pow (cos x) (/ 2 2)))))
  (fma (- (pow (cos x) (/ 2 2))) (pow (cos x) (/ 2 2)) (* (pow (cos x) (/ 2 2)) (pow (cos x) (/ 2 2))))
  (expm1 (- (* 1.0 1.0) (pow (cos x) 2)))
  (log1p (- (* 1.0 1.0) (pow (cos x) 2)))
  (- (pow (cos x) 2))
  (/ (exp (* 1.0 1.0)) (exp (pow (cos x) 2)))
  (log (- (* 1.0 1.0) (pow (cos x) 2)))
  (exp (- (* 1.0 1.0) (pow (cos x) 2)))
  (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2))))
  (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))
  (* (* (- (* 1.0 1.0) (pow (cos x) 2)) (- (* 1.0 1.0) (pow (cos x) 2))) (- (* 1.0 1.0) (pow (cos x) 2)))
  (sqrt (- (* 1.0 1.0) (pow (cos x) 2)))
  (sqrt (- (* 1.0 1.0) (pow (cos x) 2)))
  (- (pow (* 1.0 1.0) 3) (pow (pow (cos x) 2) 3))
  (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (pow (cos x) 2) (pow (cos x) 2)) (* (* 1.0 1.0) (pow (cos x) 2))))
  (- (pow (cos x) 2))
  (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (pow (cos x) 2) (pow (cos x) 2)))
  (+ (* 1.0 1.0) (pow (cos x) 2))
  (+ 1.0 (pow (sqrt (cos x)) 2))
  (- 1.0 (pow (sqrt (cos x)) 2))
  (+ 1.0 (cos x))
  (- 1.0 (cos x))
  (+ 1.0 (sqrt (pow (cos x) 2)))
  (- 1.0 (sqrt (pow (cos x) 2)))
  (+ 1.0 (pow (cos x) (/ 2 2)))
  (- 1.0 (pow (cos x) (/ 2 2)))
  (- (pow (cos x) 2))
  (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) 2))
  (log1p (pow (cos x) 2))
  (* (log (cos x)) 2)
  (* (log (cos x)) 2)
  (* 1 2)
  (pow (cos x) (* (cbrt 2) (cbrt 2)))
  (pow (cos x) (sqrt 2))
  (pow (cos x) 1)
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 2)
  (pow (cbrt (cos x)) 2)
  (pow (sqrt (cos x)) 2)
  (pow (sqrt (cos x)) 2)
  (pow 1 2)
  (pow (cos x) 2)
  (log (pow (cos x) 2))
  (exp (pow (cos x) 2))
  (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2)))
  (cbrt (pow (cos x) 2))
  (* (* (pow (cos x) 2) (pow (cos x) 2)) (pow (cos x) 2))
  (sqrt (pow (cos x) 2))
  (sqrt (pow (cos x) 2))
  (pow (cos x) (/ 2 2))
  (pow (cos x) (/ 2 2))
  (expm1 (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (log1p (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (- (log (- (* 1.0 1.0) (pow (cos x) 2))) (log (+ 1.0 (cos x))))
  (log (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (exp (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (/ (* (* (- (* 1.0 1.0) (pow (cos x) 2)) (- (* 1.0 1.0) (pow (cos x) 2))) (- (* 1.0 1.0) (pow (cos x) 2))) (* (* (+ 1.0 (cos x)) (+ 1.0 (cos x))) (+ 1.0 (cos x))))
  (* (cbrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))) (cbrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))))
  (cbrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (* (* (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))) (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))) (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (sqrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (sqrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (- (- (* 1.0 1.0) (pow (cos x) 2)))
  (- (+ 1.0 (cos x)))
  (/ (* 1.0 1.0) (+ 1.0 (cos x)))
  (/ (pow (cos x) 2) (+ 1.0 (cos x)))
  (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (+ 1.0 (cos x))))
  (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) (sqrt (+ 1.0 (cos x))))
  (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))
  (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) 1)
  (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (+ 1.0 (cos x)))
  (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) 1)
  (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (+ 1.0 (cos x)))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (+ 1.0 (cos x))))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) 1)
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (+ 1.0 (cos x)))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) 1)
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (+ 1.0 (cos x)))
  (/ 1 (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (cbrt (+ 1.0 (cos x))))
  (/ 1 (sqrt (+ 1.0 (cos x))))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (sqrt (+ 1.0 (cos x))))
  (/ 1 1)
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))
  (/ 1 1)
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))
  (/ (+ 1.0 (pow (sqrt (cos x)) 2)) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- 1.0 (pow (sqrt (cos x)) 2)) (cbrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (pow (sqrt (cos x)) 2)) (sqrt (+ 1.0 (cos x))))
  (/ (- 1.0 (pow (sqrt (cos x)) 2)) (sqrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (pow (sqrt (cos x)) 2)) 1)
  (/ (- 1.0 (pow (sqrt (cos x)) 2)) (+ 1.0 (cos x)))
  (/ (+ 1.0 (pow (sqrt (cos x)) 2)) 1)
  (/ (- 1.0 (pow (sqrt (cos x)) 2)) (+ 1.0 (cos x)))
  (/ (+ 1.0 (cos x)) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- 1.0 (cos x)) (cbrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (cos x)) (sqrt (+ 1.0 (cos x))))
  (/ (- 1.0 (cos x)) (sqrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (cos x)) 1)
  (/ (- 1.0 (cos x)) (+ 1.0 (cos x)))
  (/ (+ 1.0 (cos x)) 1)
  (/ (- 1.0 (cos x)) (+ 1.0 (cos x)))
  (/ (+ 1.0 (sqrt (pow (cos x) 2))) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- 1.0 (sqrt (pow (cos x) 2))) (cbrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (sqrt (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))
  (/ (- 1.0 (sqrt (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (sqrt (pow (cos x) 2))) 1)
  (/ (- 1.0 (sqrt (pow (cos x) 2))) (+ 1.0 (cos x)))
  (/ (+ 1.0 (sqrt (pow (cos x) 2))) 1)
  (/ (- 1.0 (sqrt (pow (cos x) 2))) (+ 1.0 (cos x)))
  (/ (+ 1.0 (pow (cos x) (/ 2 2))) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- 1.0 (pow (cos x) (/ 2 2))) (cbrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (pow (cos x) (/ 2 2))) (sqrt (+ 1.0 (cos x))))
  (/ (- 1.0 (pow (cos x) (/ 2 2))) (sqrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (pow (cos x) (/ 2 2))) 1)
  (/ (- 1.0 (pow (cos x) (/ 2 2))) (+ 1.0 (cos x)))
  (/ (+ 1.0 (pow (cos x) (/ 2 2))) 1)
  (/ (- 1.0 (pow (cos x) (/ 2 2))) (+ 1.0 (cos x)))
  (/ 1 (+ 1.0 (cos x)))
  (/ (+ 1.0 (cos x)) (- (* 1.0 1.0) (pow (cos x) 2)))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (sqrt (+ 1.0 (cos x))))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) 1)
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) 1)
  (/ (+ 1.0 (cos x)) (cbrt (- (* 1.0 1.0) (pow (cos x) 2))))
  (/ (+ 1.0 (cos x)) (sqrt (- (* 1.0 1.0) (pow (cos x) 2))))
  (/ (+ 1.0 (cos x)) (- (* 1.0 1.0) (pow (cos x) 2)))
  (/ (+ 1.0 (cos x)) (- 1.0 (pow (sqrt (cos x)) 2)))
  (/ (+ 1.0 (cos x)) (- 1.0 (cos x)))
  (/ (+ 1.0 (cos x)) (- 1.0 (sqrt (pow (cos x) 2))))
  (/ (+ 1.0 (cos x)) (- 1.0 (pow (cos x) (/ 2 2))))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ (pow 1.0 3) (pow (cos x) 3)))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (- (* 1.0 1.0) (* (cos x) (cos x))))
  (* (+ 1.0 (cos x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (pow (cos x) 2) (pow (cos x) 2)) (* (* 1.0 1.0) (pow (cos x) 2)))))
  (* (+ 1.0 (cos x)) (+ (* 1.0 1.0) (pow (cos x) 2)))
  (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4)))
  (- 1.0 (pow (cos x) 2))
  (- 1.0 (pow (cos x) 2))
  (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2)))
  (+ 1.0 (cos x))
  (+ 1.0 (cos x))
  (- (+ (* 1/3 (pow x 4)) 1) (pow x 2))
  (pow (cos x) 2)
  (pow (cos x) 2)
  (- (+ (* 0.5 (pow x 2)) (* 0.0013888888888888944 (pow x 6))) (* 0.04166666666666666 (pow x 4)))
  (/ (- 1.0 (pow (cos x) 2)) (+ 1.0 (cos x)))
  (/ (- 1.0 (pow (cos x) 2)) (+ 1.0 (cos x)))
4.935 * * [simplify]: iteration  0 :  222  enodes  (cost  2120 )
4.981 * * [simplify]: iteration  1 :  526  enodes  (cost  1867 )
5.120 * * [simplify]: iteration  2 :  1871  enodes  (cost  1661 )
5.779 * * [simplify]: iteration  done :  5001  enodes  (cost  1661 )
5.780 * [simplify]: Simplified to:
   (- (* 1.0 1.0) (* (pow (cbrt (cos x)) 4) (pow (cbrt (cos x)) 2)))
  (* (pow (cbrt (cos x)) 2) (+ (- (pow (cbrt (cos x)) 4)) (pow (cbrt (cos x)) 4)))
  (- (* 1.0 1.0) (pow (cos x) 2))
  (* (pow (cos x) 2) 0)
  (- (* 1.0 1.0) (pow (cos x) 2))
  (* (pow (cos x) 2) 0)
  (- (* 1.0 1.0) (pow (cos x) 2))
  (* (pow (cos x) 2) 0)
  (- (* 1.0 1.0) (pow (cos x) 2))
  (* (pow (cos x) 2) 0)
  (- (* 1.0 1.0) (pow (cos x) 2))
  (* (pow (cos x) 2) 0)
  (- (* 1.0 1.0) (pow (cos x) 2))
  (* (pow (cos x) 2) 0)
  (- (* 1.0 1.0) (pow (cos x) 2))
  (* (pow (cos x) 2) 0)
  (expm1 (- (* 1.0 1.0) (pow (cos x) 2)))
  (log1p (- (* 1.0 1.0) (pow (cos x) 2)))
  (- (pow (cos x) 2))
  (exp (- (* 1.0 1.0) (pow (cos x) 2)))
  (log (- (* 1.0 1.0) (pow (cos x) 2)))
  (exp (- (* 1.0 1.0) (pow (cos x) 2)))
  (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2))))
  (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))
  (pow (- (* 1.0 1.0) (pow (cos x) 2)) 3)
  (sqrt (- (* 1.0 1.0) (pow (cos x) 2)))
  (sqrt (- (* 1.0 1.0) (pow (cos x) 2)))
  (- (pow 1.0 6) (pow (pow (cos x) 2) 3))
  (fma (pow (cos x) 2) (fma 1.0 1.0 (pow (cos x) 2)) (pow 1.0 4))
  (- (pow (cos x) 2))
  (- (pow 1.0 4) (pow (cos x) 4))
  (fma 1.0 1.0 (pow (cos x) 2))
  (+ (cos x) 1.0)
  (- 1.0 (cos x))
  (+ (cos x) 1.0)
  (- 1.0 (cos x))
  (+ (fabs (cos x)) 1.0)
  (- 1.0 (fabs (cos x)))
  (+ (cos x) 1.0)
  (- 1.0 (cos x))
  (- (pow (cos x) 2))
  (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)))
  (- (* 1.0 1.0) (pow (cos x) 2))
  (- 1.0 (cos x))
  (+ (cos x) 1.0)
  (expm1 (pow (cos x) 2))
  (log1p (pow (cos x) 2))
  (log (pow (cos x) 2))
  (log (pow (cos x) 2))
  2
  (pow (cos x) (* (cbrt 2) (cbrt 2)))
  (pow (cos x) (sqrt 2))
  (cos x)
  (pow (cbrt (cos x)) 4)
  (pow (cbrt (cos x)) 2)
  (cos x)
  (cos x)
  1
  (pow (cos x) 2)
  (log (pow (cos x) 2))
  (exp (pow (cos x) 2))
  (* (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2)))
  (cbrt (pow (cos x) 2))
  (pow (pow (cos x) 2) 3)
  (fabs (cos x))
  (fabs (cos x))
  (cos x)
  (cos x)
  (expm1 (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (log1p (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (log (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (log (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (exp (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (pow (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))) 3)
  (* (cbrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))) (cbrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))))
  (cbrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (pow (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))) 3)
  (sqrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (sqrt (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x))))
  (- (- (* 1.0 1.0) (pow (cos x) 2)))
  (- (+ 1.0 (cos x)))
  (/ (* 1.0 1.0) (+ 1.0 (cos x)))
  (/ (pow (cos x) 2) (+ 1.0 (cos x)))
  (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (+ 1.0 (cos x))))
  (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) (sqrt (+ 1.0 (cos x))))
  (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))
  (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2))))
  (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (+ 1.0 (cos x)))
  (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2))))
  (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (+ 1.0 (cos x)))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (+ 1.0 (cos x))))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))
  (sqrt (- (* 1.0 1.0) (pow (cos x) 2)))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (+ 1.0 (cos x)))
  (sqrt (- (* 1.0 1.0) (pow (cos x) 2)))
  (/ (sqrt (- (* 1.0 1.0) (pow (cos x) 2))) (+ 1.0 (cos x)))
  (/ 1 (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (cbrt (+ 1.0 (cos x))))
  (/ 1 (sqrt (+ 1.0 (cos x))))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (sqrt (+ 1.0 (cos x))))
  1
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))
  1
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))
  (/ (+ 1.0 (cos x)) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- 1.0 (cos x)) (cbrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (cos x)) (sqrt (+ 1.0 (cos x))))
  (/ (- 1.0 (cos x)) (sqrt (+ 1.0 (cos x))))
  (+ (cos x) 1.0)
  (/ (- 1.0 (cos x)) (+ 1.0 (cos x)))
  (+ (cos x) 1.0)
  (/ (- 1.0 (cos x)) (+ 1.0 (cos x)))
  (/ (+ 1.0 (cos x)) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- 1.0 (cos x)) (cbrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (cos x)) (sqrt (+ 1.0 (cos x))))
  (/ (- 1.0 (cos x)) (sqrt (+ 1.0 (cos x))))
  (+ (cos x) 1.0)
  (/ (- 1.0 (cos x)) (+ 1.0 (cos x)))
  (+ (cos x) 1.0)
  (/ (- 1.0 (cos x)) (+ 1.0 (cos x)))
  (/ (+ (fabs (cos x)) 1.0) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- 1.0 (fabs (cos x))) (cbrt (+ 1.0 (cos x))))
  (/ (+ (fabs (cos x)) 1.0) (sqrt (+ 1.0 (cos x))))
  (/ (- 1.0 (fabs (cos x))) (sqrt (+ 1.0 (cos x))))
  (+ (fabs (cos x)) 1.0)
  (/ (- 1.0 (fabs (cos x))) (+ (cos x) 1.0))
  (+ (fabs (cos x)) 1.0)
  (/ (- 1.0 (fabs (cos x))) (+ (cos x) 1.0))
  (/ (+ 1.0 (cos x)) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- 1.0 (cos x)) (cbrt (+ 1.0 (cos x))))
  (/ (+ 1.0 (cos x)) (sqrt (+ 1.0 (cos x))))
  (/ (- 1.0 (cos x)) (sqrt (+ 1.0 (cos x))))
  (+ (cos x) 1.0)
  (/ (- 1.0 (cos x)) (+ 1.0 (cos x)))
  (+ (cos x) 1.0)
  (/ (- 1.0 (cos x)) (+ 1.0 (cos x)))
  (/ 1 (+ 1.0 (cos x)))
  (/ (+ 1.0 (cos x)) (- (* 1.0 1.0) (pow (cos x) 2)))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (* (cbrt (+ 1.0 (cos x))) (cbrt (+ 1.0 (cos x)))))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (sqrt (+ 1.0 (cos x))))
  (- (* 1.0 1.0) (pow (cos x) 2))
  (- (* 1.0 1.0) (pow (cos x) 2))
  (/ (+ 1.0 (cos x)) (cbrt (- (* 1.0 1.0) (pow (cos x) 2))))
  (/ (+ 1.0 (cos x)) (sqrt (- (* 1.0 1.0) (pow (cos x) 2))))
  (/ (+ 1.0 (cos x)) (- (* 1.0 1.0) (pow (cos x) 2)))
  (/ (+ 1.0 (cos x)) (- 1.0 (cos x)))
  (/ (+ 1.0 (cos x)) (- 1.0 (cos x)))
  (/ (+ (cos x) 1.0) (- 1.0 (fabs (cos x))))
  (/ (+ 1.0 (cos x)) (- 1.0 (cos x)))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ (pow 1.0 3) (pow (cos x) 3)))
  (/ (- (* 1.0 1.0) (pow (cos x) 2)) (- (* 1.0 1.0) (pow (cos x) 2)))
  (* (+ (cos x) 1.0) (fma (pow (cos x) 2) (fma 1.0 1.0 (pow (cos x) 2)) (pow 1.0 4)))
  (* (+ 1.0 (cos x)) (fma 1.0 1.0 (pow (cos x) 2)))
  (fma x x (fma (pow x 6) 2/45 (* -1/3 (pow x 4))))
  (- 1.0 (pow (cos x) 2))
  (- 1.0 (pow (cos x) 2))
  (- (fma 1/24 (pow x 4) 2.0) (* 1/2 (pow x 2)))
  (+ (cos x) 1.0)
  (+ (cos x) 1.0)
  (- (fma 1/3 (pow x 4) 1) (pow x 2))
  (pow (cos x) 2)
  (pow (cos x) 2)
  (- (fma 0.5 (pow x 2) (* 0.0013888888888888944 (pow x 6))) (* 0.04166666666666666 (pow x 4)))
  (/ (- 1.0 (pow (cos x) 2)) (+ 1.0 (cos x)))
  (/ (- 1.0 (pow (cos x) 2)) (+ 1.0 (cos x)))
5.781 * * * [progress]: adding candidates to table
6.108 * [progress]: [Phase 3 of 3] Extracting.
6.108 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x)))))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (cbrt (sqrt (- 1.0 (cos x)))) x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (/ (exp (log (- 1.0 (cos x)))) (* x x)))> #<alt (λ (x) (log1p (expm1 (/ (/ (* 1 (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))) x) x))))> #<alt (λ (x) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))> #<alt (λ (x) (log1p (expm1 (/ (/ (* (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) (sqrt (+ 1.0 (cos x)))) (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))) x) x))))> #<alt (λ (x) (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (/ (fabs (cbrt (- 1.0 (cos x)))) (cbrt x)) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (/ 1 (cbrt x)) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))))>)
6.110 * * * [regime-changes]: Trying 1 branch expressions: (x)
6.110 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x)))))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (cbrt (sqrt (- 1.0 (cos x)))) x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (/ (exp (log (- 1.0 (cos x)))) (* x x)))> #<alt (λ (x) (log1p (expm1 (/ (/ (* 1 (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))) x) x))))> #<alt (λ (x) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))> #<alt (λ (x) (log1p (expm1 (/ (/ (* (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) (sqrt (+ 1.0 (cos x)))) (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))) x) x))))> #<alt (λ (x) (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (/ (fabs (cbrt (- 1.0 (cos x)))) (cbrt x)) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (/ 1 (cbrt x)) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))))>)
6.157 * * * [regime]: Found split indices: #<option (#s(si 4 62) #s(si 6 191) #s(si 4 255))>
6.158 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (* (* (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x)))))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (cbrt (sqrt (- 1.0 (cos x)))) x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (/ (exp (log (- 1.0 (cos x)))) (* x x)))> #<alt (λ (x) (log1p (expm1 (/ (/ (* 1 (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))) x) x))))> #<alt (λ (x) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))> #<alt (λ (x) (log1p (expm1 (/ (/ (* (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) (sqrt (+ 1.0 (cos x)))) (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))) x) x))))> #<alt (λ (x) (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (/ (fabs (cbrt (- 1.0 (cos x)))) (cbrt x)) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (/ 1 (cbrt x)) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))))>)
6.224 * [regimes]: Found splitpoints: (#s(sp 4 x -0.029841445064018916) #s(sp 6 x 0.030256823677706827) #s(sp 4 x +nan.0)) , with alts (#<alt (λ (x) (* (* (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x))))) (* (cbrt (sqrt (- 1.0 (cos x)))) (cbrt (sqrt (- 1.0 (cos x)))))) (* (/ (cbrt (sqrt (- 1.0 (cos x)))) x) (/ (cbrt (sqrt (- 1.0 (cos x)))) x))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (- 1.0 (cos x))) x)))> #<alt (λ (x) (/ (exp (log (- 1.0 (cos x)))) (* x x)))> #<alt (λ (x) (log1p (expm1 (/ (/ (* 1 (/ (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)))) x) x))))> #<alt (λ (x) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))))> #<alt (λ (x) (log1p (expm1 (/ (/ (* (/ (* (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (cbrt (- (* 1.0 1.0) (pow (cos x) 2)))) (sqrt (+ 1.0 (cos x)))) (/ (cbrt (- (* 1.0 1.0) (pow (cos x) 2))) (sqrt (+ 1.0 (cos x))))) x) x))))> #<alt (λ (x) (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (/ (fabs (cbrt (- 1.0 (cos x)))) (cbrt x)) (cbrt x)) (/ (sqrt (cbrt (- 1.0 (cos x)))) (cbrt x)))))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) x) (* (/ (/ 1 (cbrt x)) (cbrt x)) (/ (sqrt (- 1.0 (cos x))) (cbrt x)))))>)
6.224 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= x -0.029841445064018916) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))) (if (<= x 0.030256823677706827) (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2))) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x)))))
6.225 * * [simplify]: iteration  0 :  24  enodes  (cost  40 )
6.225 * * [simplify]: iteration  1 :  28  enodes  (cost  31 )
6.226 * * [simplify]: iteration  done :  28  enodes  (cost  31 )
6.227 * [simplify]: Simplified to:
   (if (or (<= x -0.029841445064018916) (not (<= x 0.030256823677706827))) (log1p (expm1 (/ (/ (- 1.0 (cos x)) x) x))) (- (fma 1/720 (pow x 4) 1/2) (* 1/24 (pow x 2))))
8.229 * [regime-testing]: Baseline error score: 30.662495696351645
8.229 * [regime-testing]: Oracle error score: 0.13175243114954793
8.230 * [regime-testing]: End program error score: 0.24362127343166698