6.829 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.141 * * * [progress]: [2/2] Setting up program.
0.144 * [progress]: [Phase 2 of 3] Improving.
0.145 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- 1.0 (cos x)) (sin x))
0.146 * * [simplify]: iteration  0 :  11  enodes  (cost  4 )
0.147 * * [simplify]: iteration  1 :  14  enodes  (cost  4 )
0.148 * * [simplify]: iteration  2 :  16  enodes  (cost  4 )
0.149 * * [simplify]: iteration  3 :  16  enodes  (cost  4 )
0.149 * [simplify]: Simplified to:
   (/ (- 1.0 (cos x)) (sin x))
0.150 * * [progress]: iteration 1 / 4
0.150 * * * [progress]: picking best candidate
0.152 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))>
0.152 * * * [progress]: localizing error
0.160 * * * [progress]: generating rewritten candidates
0.160 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.163 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.170 * * * [progress]: generating series expansions
0.171 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.171 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.171 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.171 * [taylor]: Taking taylor expansion of 1.0 in x
0.171 * [taylor]: Taking taylor expansion of (cos x) in x
0.171 * [taylor]: Taking taylor expansion of x in x
0.171 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.171 * [taylor]: Taking taylor expansion of 1.0 in x
0.171 * [taylor]: Taking taylor expansion of (cos x) in x
0.171 * [taylor]: Taking taylor expansion of x in x
0.176 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.176 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.176 * [taylor]: Taking taylor expansion of 1.0 in x
0.176 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.176 * [taylor]: Taking taylor expansion of x in x
0.177 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.177 * [taylor]: Taking taylor expansion of 1.0 in x
0.177 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.180 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.180 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.180 * [taylor]: Taking taylor expansion of 1.0 in x
0.180 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.180 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.180 * [taylor]: Taking taylor expansion of -1 in x
0.180 * [taylor]: Taking taylor expansion of x in x
0.180 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.180 * [taylor]: Taking taylor expansion of 1.0 in x
0.181 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.181 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.181 * [taylor]: Taking taylor expansion of -1 in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.184 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.184 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
0.184 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.184 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.184 * [taylor]: Taking taylor expansion of 1.0 in x
0.184 * [taylor]: Taking taylor expansion of (cos x) in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of (sin x) in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.187 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.187 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.187 * [taylor]: Taking taylor expansion of 1.0 in x
0.187 * [taylor]: Taking taylor expansion of (cos x) in x
0.187 * [taylor]: Taking taylor expansion of x in x
0.187 * [taylor]: Taking taylor expansion of (sin x) in x
0.187 * [taylor]: Taking taylor expansion of x in x
0.195 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
0.195 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.196 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.196 * [taylor]: Taking taylor expansion of 1.0 in x
0.196 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.196 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.196 * [taylor]: Taking taylor expansion of 1.0 in x
0.197 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.197 * [taylor]: Taking taylor expansion of x in x
0.197 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.197 * [taylor]: Taking taylor expansion of x in x
0.209 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
0.209 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.209 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.209 * [taylor]: Taking taylor expansion of 1.0 in x
0.209 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.209 * [taylor]: Taking taylor expansion of -1 in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.210 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.210 * [taylor]: Taking taylor expansion of -1 in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.210 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.210 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.210 * [taylor]: Taking taylor expansion of 1.0 in x
0.210 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.211 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.211 * [taylor]: Taking taylor expansion of -1 in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.211 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.211 * [taylor]: Taking taylor expansion of -1 in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.216 * * * [progress]: simplifying candidates
0.217 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (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))))
  (neg (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))
  (neg (cos x))
  (- (log (- 1.0 (cos x))) (log (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (cbrt (/ (- 1.0 (cos x)) (sin x)))
  (* (* (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x))) (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (neg (- 1.0 (cos x)))
  (neg (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))
  (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1)
  (/ (cbrt (- 1.0 (cos x))) (sin x))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) 1)
  (/ (sqrt (- 1.0 (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ 1 1)
  (/ (- 1.0 (cos x)) (sin x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) 1)
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ 1 1)
  (/ (- 1.0 (cos x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (/ (- 1.0 (cos x)) 1)
  (/ (sin x) (cbrt (- 1.0 (cos x))))
  (/ (sin x) (sqrt (- 1.0 (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (* (sin x) (+ 1.0 (cos x)))
  (- (+ (* 1/2 (pow x 2)) (pow x 3)) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (pow x 2) (+ (* 1/24 (pow x 3)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
0.221 * * [simplify]: iteration  0 :  217  enodes  (cost  394 )
0.225 * * [simplify]: iteration  1 :  620  enodes  (cost  370 )
0.236 * * [simplify]: iteration  2 :  2465  enodes  (cost  369 )
0.289 * * [simplify]: iteration  3 :  5002  enodes  (cost  369 )
0.291 * [simplify]: Simplified to:
   (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))
  (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))
  (neg (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))
  (neg (cos x))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (log (/ (- 1.0 (cos x)) (sin x)))
  (exp (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x))))
  (cbrt (/ (- 1.0 (cos x)) (sin x)))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (sqrt (/ (- 1.0 (cos x)) (sin x)))
  (neg (- 1.0 (cos x)))
  (neg (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x)))
  (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x)))
  (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x))))
  (/ (cbrt (- 1.0 (cos x))) (sin x))
  (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x)))
  (sqrt (- 1.0 (cos x)))
  (/ (sqrt (- 1.0 (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  1
  (/ (- 1.0 (cos x)) (sin x))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))
  (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x)))
  (+ (sqrt 1.0) (sqrt (cos x)))
  (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  1
  (/ (- 1.0 (cos x)) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (- 1.0 (cos x))
  (/ (sin x) (cbrt (- 1.0 (cos x))))
  (/ (sin x) (sqrt (- 1.0 (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))
  (/ (sin x) (- 1.0 (cos x)))
  (* (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (sin x))
  (* (sin x) (+ 1.0 (cos x)))
  (+ (* -1/24 (pow x 4)) (* (pow x 2) (+ x 1/2)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* x (+ 1/2 x)) (* 1/24 (pow x 3)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
0.291 * * * [progress]: adding candidates to table
0.466 * * [progress]: iteration 2 / 4
0.466 * * * [progress]: picking best candidate
0.522 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))>
0.522 * * * [progress]: localizing error
0.537 * * * [progress]: generating rewritten candidates
0.537 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.548 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.551 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
0.554 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.563 * * * [progress]: generating series expansions
0.563 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.564 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
0.564 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
0.564 * [taylor]: Taking taylor expansion of 1.0 in x
0.564 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
0.564 * [taylor]: Taking taylor expansion of (cos x) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
0.564 * [taylor]: Taking taylor expansion of 1.0 in x
0.564 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
0.564 * [taylor]: Taking taylor expansion of (cos x) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.578 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
0.578 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
0.578 * [taylor]: Taking taylor expansion of 1.0 in x
0.578 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
0.578 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.579 * [taylor]: Taking taylor expansion of x in x
0.579 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
0.579 * [taylor]: Taking taylor expansion of 1.0 in x
0.579 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
0.579 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.579 * [taylor]: Taking taylor expansion of x in x
0.591 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
0.591 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
0.591 * [taylor]: Taking taylor expansion of 1.0 in x
0.591 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
0.591 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.591 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.591 * [taylor]: Taking taylor expansion of -1 in x
0.591 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
0.592 * [taylor]: Taking taylor expansion of 1.0 in x
0.592 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
0.592 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.592 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.592 * [taylor]: Taking taylor expansion of -1 in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.604 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.604 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0
0.604 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
0.604 * [taylor]: Taking taylor expansion of (cos x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
0.604 * [taylor]: Taking taylor expansion of (cos x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.609 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0
0.610 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
0.610 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.610 * [taylor]: Taking taylor expansion of x in x
0.610 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
0.610 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.610 * [taylor]: Taking taylor expansion of x in x
0.619 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0
0.619 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
0.619 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.619 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.619 * [taylor]: Taking taylor expansion of -1 in x
0.619 * [taylor]: Taking taylor expansion of x in x
0.619 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
0.619 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.619 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.619 * [taylor]: Taking taylor expansion of -1 in x
0.619 * [taylor]: Taking taylor expansion of x in x
0.628 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
0.628 * [approximate]: Taking taylor expansion of (+ 1.0 (cos x)) in (x) around 0
0.628 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x
0.628 * [taylor]: Taking taylor expansion of 1.0 in x
0.628 * [taylor]: Taking taylor expansion of (cos x) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x
0.628 * [taylor]: Taking taylor expansion of 1.0 in x
0.628 * [taylor]: Taking taylor expansion of (cos x) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.631 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0
0.631 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
0.631 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.631 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of 1.0 in x
0.632 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
0.632 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of 1.0 in x
0.634 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0
0.634 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
0.634 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.634 * [taylor]: Taking taylor expansion of -1 in x
0.634 * [taylor]: Taking taylor expansion of x in x
0.634 * [taylor]: Taking taylor expansion of 1.0 in x
0.634 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
0.634 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.634 * [taylor]: Taking taylor expansion of -1 in x
0.634 * [taylor]: Taking taylor expansion of x in x
0.634 * [taylor]: Taking taylor expansion of 1.0 in x
0.636 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
0.636 * [approximate]: Taking taylor expansion of (* (+ 1.0 (cos x)) (cos x)) in (x) around 0
0.636 * [taylor]: Taking taylor expansion of (* (+ 1.0 (cos x)) (cos x)) in x
0.636 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x
0.636 * [taylor]: Taking taylor expansion of 1.0 in x
0.636 * [taylor]: Taking taylor expansion of (cos x) in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of (cos x) in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of (* (+ 1.0 (cos x)) (cos x)) in x
0.636 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x
0.636 * [taylor]: Taking taylor expansion of 1.0 in x
0.636 * [taylor]: Taking taylor expansion of (cos x) in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of (cos x) in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.645 * [approximate]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in (x) around 0
0.645 * [taylor]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in x
0.645 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
0.645 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of 1.0 in x
0.645 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of (* (+ (cos (/ 1 x)) 1.0) (cos (/ 1 x))) in x
0.645 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
0.645 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of 1.0 in x
0.646 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.652 * [approximate]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in (x) around 0
0.652 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in x
0.652 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.652 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.652 * [taylor]: Taking taylor expansion of -1 in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.652 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
0.652 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.652 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.652 * [taylor]: Taking taylor expansion of -1 in x
0.652 * [taylor]: Taking taylor expansion of x in x
0.653 * [taylor]: Taking taylor expansion of 1.0 in x
0.653 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) (+ (cos (/ -1 x)) 1.0)) in x
0.653 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.653 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.653 * [taylor]: Taking taylor expansion of -1 in x
0.653 * [taylor]: Taking taylor expansion of x in x
0.653 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
0.653 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.653 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.653 * [taylor]: Taking taylor expansion of -1 in x
0.653 * [taylor]: Taking taylor expansion of x in x
0.654 * [taylor]: Taking taylor expansion of 1.0 in x
0.659 * * * [progress]: simplifying candidates
0.665 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (pow 1.0 3)) (exp (pow (cos x) 3)))
  (log (- (pow 1.0 3) (pow (cos x) 3)))
  (exp (- (pow 1.0 3) (pow (cos x) 3)))
  (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))
  (cbrt (- (pow 1.0 3) (pow (cos x) 3)))
  (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3)))
  (sqrt (- (pow 1.0 3) (pow (cos x) 3)))
  (sqrt (- (pow 1.0 3) (pow (cos x) 3)))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- 1.0 (cos x))
  (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3))
  (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow 1.0 3) (pow (cos x) 3))))
  (neg (pow (cos x) 3))
  (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow (cos x) 3) (pow (cos x) 3)))
  (+ (pow 1.0 3) (pow (cos x) 3))
  (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))
  (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))
  (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))
  (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))
  (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))
  (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))
  (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))
  (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))
  (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))
  (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))
  (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2)))
  (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2)))
  (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))
  (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))
  (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))
  (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))
  (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3)))
  (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3)))
  (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2)))
  (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (- (pow 1.0 3) (pow (cos x) 3))
  (- (pow 1.0 3) (pow (cos x) 3))
  (- (pow 1.0 3) (pow (cos x) 3))
  (- (pow 1.0 3) (pow (cos x) 3))
  (neg (pow (cos x) 3))
  (* (log (cos x)) 3)
  (* (log (cos x)) 3)
  (* 1 3)
  (pow (cos x) (* (cbrt 3) (cbrt 3)))
  (pow (cos x) (sqrt 3))
  (pow (cos x) 1)
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)
  (pow (cbrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow 1 3)
  (pow (cos x) 3)
  (* (cos x) (cos x))
  (log (pow (cos x) 3))
  (exp (pow (cos x) 3))
  (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))
  (cbrt (pow (cos x) 3))
  (* (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3))
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)
  (pow (cbrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow 1 3)
  (pow (cos x) 3)
  (* (cos x) (cos x))
  (sqrt (pow (cos x) 3))
  (sqrt (pow (cos x) 3))
  (pow (cos x) (/ 3 2))
  (pow (cos x) (/ 3 2))
  (* (exp (cos x)) (exp 1.0))
  (log (+ (cos x) 1.0))
  (exp (+ (cos x) 1.0))
  (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0)))
  (cbrt (+ (cos x) 1.0))
  (* (* (+ (cos x) 1.0) (+ (cos x) 1.0)) (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (+ (pow (cos x) 3) (pow 1.0 3))
  (+ (* (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) (+ (cos x) 1.0))
  (+ (log (cos x)) (log (+ (cos x) 1.0)))
  (log (* (cos x) (+ (cos x) 1.0)))
  (exp (* (cos x) (+ (cos x) 1.0)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (+ (cos x) 1.0) (+ (cos x) 1.0)) (+ (cos x) 1.0)))
  (* (cbrt (* (cos x) (+ (cos x) 1.0))) (cbrt (* (cos x) (+ (cos x) 1.0))))
  (cbrt (* (cos x) (+ (cos x) 1.0)))
  (* (* (* (cos x) (+ (cos x) 1.0)) (* (cos x) (+ (cos x) 1.0))) (* (cos x) (+ (cos x) 1.0)))
  (sqrt (* (cos x) (+ (cos x) 1.0)))
  (sqrt (* (cos x) (+ (cos x) 1.0)))
  (* (sqrt (cos x)) (sqrt (+ (cos x) 1.0)))
  (* (sqrt (cos x)) (sqrt (+ (cos x) 1.0)))
  (* (cos x) (cos x))
  (* (cos x) 1.0)
  (* (cos x) (cos x))
  (* 1.0 (cos x))
  (* (cos x) (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0))))
  (* (cos x) (sqrt (+ (cos x) 1.0)))
  (* (cos x) 1)
  (* (cos x) 1)
  (* (cbrt (cos x)) (+ (cos x) 1.0))
  (* (sqrt (cos x)) (+ (cos x) 1.0))
  (* (cos x) (+ (cos x) 1.0))
  (* (cos x) (+ (pow (cos x) 3) (pow 1.0 3)))
  (* (cos x) (- (* (cos x) (cos x)) (* 1.0 1.0)))
  (- (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- 1 (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))))
  (pow (cos x) 3)
  (pow (cos x) 3)
  (- 2.0 (+ (* 1/2 (pow x 2)) (pow x 3)))
  (+ 1.0 (cos x))
  (+ 1.0 (cos x))
  (- 2.0 (+ (* 1.5 (pow x 2)) (* 3.0 (pow x 3))))
  (* (+ 1.0 (cos x)) (cos x))
  (* (+ 1.0 (cos x)) (cos x))
0.670 * * [simplify]: iteration  0 :  347  enodes  (cost  592 )
0.678 * * [simplify]: iteration  1 :  1725  enodes  (cost  554 )
0.728 * * [simplify]: iteration  2 :  5002  enodes  (cost  534 )
0.732 * [simplify]: Simplified to:
   (exp (- (pow 1.0 3) (pow (cos x) 3)))
  (log (- (pow 1.0 3) (pow (cos x) 3)))
  (exp (- (pow 1.0 3) (pow (cos x) 3)))
  (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))
  (cbrt (- (pow 1.0 3) (pow (cos x) 3)))
  (pow (- (pow 1.0 3) (pow (cos x) 3)) 3)
  (sqrt (- (pow 1.0 3) (pow (cos x) 3)))
  (sqrt (- (pow 1.0 3) (pow (cos x) 3)))
  (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))
  (- 1.0 (cos x))
  (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3))
  (+ (+ (pow 1.0 6) (pow (cos x) 6)) (* (pow 1.0 3) (pow (cos x) 3)))
  (neg (pow (cos x) 3))
  (+ (pow 1.0 6) (neg (pow (cos x) 6)))
  (+ (pow 1.0 3) (pow (cos x) 3))
  (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))
  (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))
  (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))
  (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))
  (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))
  (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2))
  (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2))
  (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2))
  (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2))
  (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))
  (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))
  (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2))
  (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2))
  (+ (pow 1.0 3/2) (pow (cos x) 3/2))
  (- (pow 1.0 3/2) (pow (cos x) 3/2))
  (+ (pow 1.0 3/2) (pow (cos x) 3/2))
  (- (pow 1.0 3/2) (pow (cos x) 3/2))
  (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3)))
  (- (pow 1.0 3/2) (sqrt (pow (cos x) 3)))
  (+ (pow 1.0 3/2) (pow (cos x) 3/2))
  (- (pow 1.0 3/2) (pow (cos x) 3/2))
  (- (pow 1.0 3) (pow (cos x) 3))
  (- (pow 1.0 3) (pow (cos x) 3))
  (- (pow 1.0 3) (pow (cos x) 3))
  (- (pow 1.0 3) (pow (cos x) 3))
  (- (pow 1.0 3) (pow (cos x) 3))
  (neg (pow (cos x) 3))
  (log (pow (cos x) 3))
  (log (pow (cos x) 3))
  3
  (pow (cos x) (* (cbrt 3) (cbrt 3)))
  (pow (cos x) (sqrt 3))
  (cos x)
  (pow (cos x) 2)
  (cos x)
  (pow (cos x) 3/2)
  (pow (cos x) 3/2)
  1
  (pow (cos x) 3)
  (pow (cos x) 2)
  (log (pow (cos x) 3))
  (exp (pow (cos x) 3))
  (pow (cos x) 2)
  (cos x)
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 2)
  (cos x)
  (pow (cos x) 3/2)
  (pow (cos x) 3/2)
  1
  (pow (cos x) 3)
  (pow (cos x) 2)
  (sqrt (pow (cos x) 3))
  (sqrt (pow (cos x) 3))
  (pow (cos x) 3/2)
  (pow (cos x) 3/2)
  (exp (+ (cos x) 1.0))
  (log (+ (cos x) 1.0))
  (exp (+ (cos x) 1.0))
  (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0)))
  (cbrt (+ (cos x) 1.0))
  (pow (+ (cos x) 1.0) 3)
  (sqrt (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (+ (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 (- 1.0 (cos x))) (pow (cos x) 2))
  (- (pow (cos x) 2) (* 1.0 1.0))
  (- (cos x) 1.0)
  (+ (cos x) 1.0)
  (* (cos x) (+ (cos x) 1.0))
  (log (* (cos x) (+ (cos x) 1.0)))
  (log (* (cos x) (+ (cos x) 1.0)))
  (exp (* (cos x) (+ (cos x) 1.0)))
  (pow (* (cos x) (+ (cos x) 1.0)) 3)
  (* (cbrt (* (cos x) (+ (cos x) 1.0))) (cbrt (* (cos x) (+ (cos x) 1.0))))
  (cbrt (* (cos x) (+ (cos x) 1.0)))
  (pow (* (cos x) (+ (cos x) 1.0)) 3)
  (sqrt (* (cos x) (+ (cos x) 1.0)))
  (sqrt (* (cos x) (+ (cos x) 1.0)))
  (* (sqrt (cos x)) (sqrt (+ (cos x) 1.0)))
  (* (sqrt (cos x)) (sqrt (+ (cos x) 1.0)))
  (pow (cos x) 2)
  (* 1.0 (cos x))
  (pow (cos x) 2)
  (* 1.0 (cos x))
  (* (cos x) (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0))))
  (* (cos x) (sqrt (+ (cos x) 1.0)))
  (cos x)
  (cos x)
  (* (cbrt (cos x)) (+ (cos x) 1.0))
  (* (sqrt (cos x)) (+ (cos x) 1.0))
  (* (cos x) (+ (cos x) 1.0))
  (* (cos x) (+ (pow (cos x) 3) (pow 1.0 3)))
  (* (cos x) (- (* (cos x) (cos x)) (* 1.0 1.0)))
  (- (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- 1 (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))))
  (pow (cos x) 3)
  (pow (cos x) 3)
  (- 2.0 (+ (* 1/2 (pow x 2)) (pow x 3)))
  (+ (cos x) 1.0)
  (+ (cos x) 1.0)
  (- 2.0 (+ (* 1.5 (pow x 2)) (* 3.0 (pow x 3))))
  (* (cos x) (+ (cos x) 1.0))
  (* (cos x) (+ (cos x) 1.0))
0.732 * * * [progress]: adding candidates to table
1.005 * * [progress]: iteration 3 / 4
1.006 * * * [progress]: picking best candidate
1.074 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))>
1.074 * * * [progress]: localizing error
1.092 * * * [progress]: generating rewritten candidates
1.092 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.117 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1)
1.124 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
1.133 * * * [progress]: generating series expansions
1.133 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.134 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
1.134 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
1.134 * [taylor]: Taking taylor expansion of 1.0 in x
1.134 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.134 * [taylor]: Taking taylor expansion of (cos x) in x
1.134 * [taylor]: Taking taylor expansion of x in x
1.134 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
1.134 * [taylor]: Taking taylor expansion of 1.0 in x
1.134 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.134 * [taylor]: Taking taylor expansion of (cos x) in x
1.134 * [taylor]: Taking taylor expansion of x in x
1.145 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
1.145 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
1.145 * [taylor]: Taking taylor expansion of 1.0 in x
1.145 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.145 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.146 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
1.146 * [taylor]: Taking taylor expansion of 1.0 in x
1.146 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.146 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.146 * [taylor]: Taking taylor expansion of x in x
1.158 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
1.158 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
1.158 * [taylor]: Taking taylor expansion of 1.0 in x
1.158 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.158 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.158 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.158 * [taylor]: Taking taylor expansion of -1 in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.158 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
1.159 * [taylor]: Taking taylor expansion of 1.0 in x
1.159 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.159 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.159 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.159 * [taylor]: Taking taylor expansion of -1 in x
1.159 * [taylor]: Taking taylor expansion of x in x
1.171 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.171 * [approximate]: Taking taylor expansion of (pow (pow (cos x) 3) 3) in (x) around 0
1.171 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 3) 3) in x
1.171 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.171 * [taylor]: Taking taylor expansion of (cos x) in x
1.171 * [taylor]: Taking taylor expansion of x in x
1.171 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 3) 3) in x
1.171 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.171 * [taylor]: Taking taylor expansion of (cos x) in x
1.171 * [taylor]: Taking taylor expansion of x in x
1.180 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 3) 3) in (x) around 0
1.180 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 3) 3) in x
1.180 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.180 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.180 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 3) 3) in x
1.181 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.181 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.204 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 3) 3) in (x) around 0
1.204 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 3) 3) in x
1.204 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.204 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.204 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.204 * [taylor]: Taking taylor expansion of -1 in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.205 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 3) 3) in x
1.205 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.205 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.205 * [taylor]: Taking taylor expansion of -1 in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.223 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1)
1.223 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0
1.223 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.223 * [taylor]: Taking taylor expansion of (cos x) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.223 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.223 * [taylor]: Taking taylor expansion of (cos x) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.229 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0
1.229 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.229 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.229 * [taylor]: Taking taylor expansion of x in x
1.229 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.229 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.229 * [taylor]: Taking taylor expansion of x in x
1.238 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0
1.238 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.238 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.238 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.238 * [taylor]: Taking taylor expansion of -1 in x
1.238 * [taylor]: Taking taylor expansion of x in x
1.238 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.238 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.238 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.238 * [taylor]: Taking taylor expansion of -1 in x
1.238 * [taylor]: Taking taylor expansion of x in x
1.247 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
1.247 * [approximate]: Taking taylor expansion of (+ 1.0 (cos x)) in (x) around 0
1.247 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x
1.247 * [taylor]: Taking taylor expansion of 1.0 in x
1.247 * [taylor]: Taking taylor expansion of (cos x) in x
1.247 * [taylor]: Taking taylor expansion of x in x
1.247 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x
1.247 * [taylor]: Taking taylor expansion of 1.0 in x
1.247 * [taylor]: Taking taylor expansion of (cos x) in x
1.247 * [taylor]: Taking taylor expansion of x in x
1.250 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0
1.250 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
1.250 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.251 * [taylor]: Taking taylor expansion of 1.0 in x
1.251 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
1.251 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.251 * [taylor]: Taking taylor expansion of 1.0 in x
1.253 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0
1.253 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
1.253 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.253 * [taylor]: Taking taylor expansion of -1 in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.253 * [taylor]: Taking taylor expansion of 1.0 in x
1.253 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
1.253 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.253 * [taylor]: Taking taylor expansion of -1 in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.254 * [taylor]: Taking taylor expansion of 1.0 in x
1.255 * * * [progress]: simplifying candidates
1.257 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (pow 1.0 3)) (exp (cbrt (pow (pow (cos x) 3) 3))))
  (log (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (exp (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (* (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))))
  (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (* (* (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (sqrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (sqrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (- (pow (pow 1.0 3) 3) (pow (cbrt (pow (pow (cos x) 3) 3)) 3))
  (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (cbrt (pow (pow (cos x) 3) 3)) (cbrt (pow (pow (cos x) 3) 3))) (* (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))))
  (neg (cbrt (pow (pow (cos x) 3) 3)))
  (- (* (pow 1.0 3) (pow 1.0 3)) (* (cbrt (pow (pow (cos x) 3) 3)) (cbrt (pow (pow (cos x) 3) 3))))
  (+ (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) 3) (/ 3 2))))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) 3) (/ 3 2))))
  (+ (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (pow (cos x) 3) 3))))
  (- (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (pow (cos x) 3) 3))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) 3) (/ 3 2))))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (pow (cos x) 3) (/ 3 2))))
  (+ (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (pow (cos x) 3) 3))))
  (- (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (pow (cos x) 3) 3))))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (+ (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (- (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) 3) (/ 3 2))))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (pow (cos x) 3) (/ 3 2))))
  (+ (sqrt (pow 1.0 3)) (sqrt (cbrt (pow (pow (cos x) 3) 3))))
  (- (sqrt (pow 1.0 3)) (sqrt (cbrt (pow (pow (cos x) 3) 3))))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (sqrt (cos x)) 3) 3)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (pow (cos x) 3)) 3)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) (/ 3 2)) 3)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (- (pow 1.0 (/ 3 2)) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) 3) (/ 3 2))))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (pow (cos x) 3) (/ 3 2))))
  (+ (pow 1.0 (/ 3 2)) (sqrt (cbrt (pow (pow (cos x) 3) 3))))
  (- (pow 1.0 (/ 3 2)) (sqrt (cbrt (pow (pow (cos x) 3) 3))))
  (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))
  (neg (cbrt (pow (pow (cos x) 3) 3)))
  (* (* (log (cos x)) 3) 3)
  (* (* (log (cos x)) 3) 3)
  (* (log (pow (cos x) 3)) 3)
  (* (log (pow (cos x) 3)) 3)
  (* 3 3)
  (pow (pow (cos x) 3) (* (cbrt 3) (cbrt 3)))
  (pow (pow (cos x) 3) (sqrt 3))
  (pow (pow (cos x) 3) 1)
  (pow (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) 3)
  (pow (pow (cbrt (cos x)) 3) 3)
  (pow (pow (sqrt (cos x)) 3) 3)
  (pow (pow (sqrt (cos x)) 3) 3)
  (pow (pow 1 3) 3)
  (pow (pow (cos x) 3) 3)
  (pow (* (cos x) (cos x)) 3)
  (pow (cos x) 3)
  (pow (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) 3)
  (pow (cbrt (pow (cos x) 3)) 3)
  (pow (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) 3)
  (pow (pow (cbrt (cos x)) 3) 3)
  (pow (pow (sqrt (cos x)) 3) 3)
  (pow (pow (sqrt (cos x)) 3) 3)
  (pow (pow 1 3) 3)
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 3)
  (pow (* (cos x) (cos x)) 3)
  (pow (sqrt (pow (cos x) 3)) 3)
  (pow (sqrt (pow (cos x) 3)) 3)
  (pow 1 3)
  (pow (pow (cos x) 3) 3)
  (pow (pow (cos x) (/ 3 2)) 3)
  (pow (pow (cos x) (/ 3 2)) 3)
  (* (pow (cos x) 3) (pow (cos x) 3))
  (log (pow (pow (cos x) 3) 3))
  (exp (pow (pow (cos x) 3) 3))
  (* (cbrt (pow (pow (cos x) 3) 3)) (cbrt (pow (pow (cos x) 3) 3)))
  (cbrt (pow (pow (cos x) 3) 3))
  (* (* (pow (pow (cos x) 3) 3) (pow (pow (cos x) 3) 3)) (pow (pow (cos x) 3) 3))
  (pow (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) 3)
  (pow (pow (cbrt (cos x)) 3) 3)
  (pow (pow (sqrt (cos x)) 3) 3)
  (pow (pow (sqrt (cos x)) 3) 3)
  (pow (pow 1 3) 3)
  (pow (pow (cos x) 3) 3)
  (pow (* (cos x) (cos x)) 3)
  (pow (cos x) 3)
  (pow (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) 3)
  (pow (cbrt (pow (cos x) 3)) 3)
  (pow (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) 3)
  (pow (pow (cbrt (cos x)) 3) 3)
  (pow (pow (sqrt (cos x)) 3) 3)
  (pow (pow (sqrt (cos x)) 3) 3)
  (pow (pow 1 3) 3)
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 3)
  (pow (* (cos x) (cos x)) 3)
  (pow (sqrt (pow (cos x) 3)) 3)
  (pow (sqrt (pow (cos x) 3)) 3)
  (pow 1 3)
  (pow (pow (cos x) 3) 3)
  (pow (pow (cos x) (/ 3 2)) 3)
  (pow (pow (cos x) (/ 3 2)) 3)
  (* (pow (cos x) 3) (pow (cos x) 3))
  (sqrt (pow (pow (cos x) 3) 3))
  (sqrt (pow (pow (cos x) 3) 3))
  (pow (pow (cos x) 3) (/ 3 2))
  (pow (pow (cos x) 3) (/ 3 2))
  (* (log (cos x)) 3)
  (* (log (cos x)) 3)
  (* 1 3)
  (pow (cos x) (* (cbrt 3) (cbrt 3)))
  (pow (cos x) (sqrt 3))
  (pow (cos x) 1)
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)
  (pow (cbrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow 1 3)
  (pow (cos x) 3)
  (* (cos x) (cos x))
  (log (pow (cos x) 3))
  (exp (pow (cos x) 3))
  (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))
  (cbrt (pow (cos x) 3))
  (* (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3))
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)
  (pow (cbrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow 1 3)
  (pow (cos x) 3)
  (* (cos x) (cos x))
  (sqrt (pow (cos x) 3))
  (sqrt (pow (cos x) 3))
  (pow (cos x) (/ 3 2))
  (pow (cos x) (/ 3 2))
  (* (exp (cos x)) (exp 1.0))
  (log (+ (cos x) 1.0))
  (exp (+ (cos x) 1.0))
  (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0)))
  (cbrt (+ (cos x) 1.0))
  (* (* (+ (cos x) 1.0) (+ (cos x) 1.0)) (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (+ (pow (cos x) 3) (pow 1.0 3))
  (+ (* (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)
  (- (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- 1 (+ (* 9/2 (pow x 2)) (* 9 (pow x 3))))
  (pow (cos x) 9)
  (pow (cos x) 9)
  (- 1 (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))))
  (pow (cos x) 3)
  (pow (cos x) 3)
  (- 2.0 (+ (* 1/2 (pow x 2)) (pow x 3)))
  (+ 1.0 (cos x))
  (+ 1.0 (cos x))
1.265 * * [simplify]: iteration  0 :  414  enodes  (cost  1013 )
1.272 * * [simplify]: iteration  1 :  1536  enodes  (cost  952 )
1.312 * * [simplify]: iteration  2 :  5001  enodes  (cost  915 )
1.318 * [simplify]: Simplified to:
   (exp (- (pow 1.0 3) (pow (cos x) 3)))
  (log (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (exp (- (pow 1.0 3) (pow (cos x) 3)))
  (* (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))) (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3)))))
  (cbrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (pow (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))) 3)
  (sqrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (sqrt (- (pow 1.0 3) (cbrt (pow (pow (cos x) 3) 3))))
  (+ (pow (pow 1.0 3) 3) (neg (pow (pow (cos x) 3) 3)))
  (+ (* (pow (cos x) 3) (+ (pow (cos x) 3) (pow 1.0 3))) (pow 1.0 6))
  (neg (pow (cos x) 3))
  (- (pow 1.0 6) (pow (cos x) 6))
  (+ (pow (cos x) 3) (pow 1.0 3))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3))
  (+ (pow (sqrt 1.0) 3) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3))
  (+ (pow (sqrt 1.0) 3) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3))
  (+ (pow (sqrt 1.0) 3) (neg (sqrt (pow (cos x) 3))))
  (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3))
  (+ (pow (sqrt 1.0) 3) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3))
  (+ (pow (sqrt 1.0) 3) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3))
  (+ (pow (sqrt 1.0) 3) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (pow (sqrt 1.0) 3))
  (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))
  (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3))
  (+ (pow (sqrt 1.0) 3) (neg (sqrt (pow (cos x) 3))))
  (+ (sqrt (pow (cos x) 3)) (pow (sqrt 1.0) 3))
  (+ (pow (sqrt 1.0) 3) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3)))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3)))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow (cos x) 3)) (sqrt (pow 1.0 3)))
  (+ (sqrt (pow 1.0 3)) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3)))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3)))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3)))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow (cos x) 3)) (sqrt (pow 1.0 3)))
  (+ (sqrt (pow 1.0 3)) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (sqrt (pow 1.0 3)))
  (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (- (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (+ (sqrt (pow (cos x) 3)) (sqrt (pow 1.0 3)))
  (+ (sqrt (pow 1.0 3)) (neg (sqrt (pow (cos x) 3))))
  (+ (sqrt (pow (cos x) 3)) (sqrt (pow 1.0 3)))
  (+ (sqrt (pow 1.0 3)) (neg (sqrt (pow (cos x) 3))))
  (+ (pow (cos x) 3/2) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (sqrt (pow (cos x) 3)))
  (+ (pow (cos x) 3/2) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))
  (+ (pow (cos x) 3/2) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))
  (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (sqrt (pow (cos x) 3)))
  (+ (pow (cos x) 3/2) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))
  (+ (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (- (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3))))
  (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (sqrt (pow (cos x) 3)))
  (+ (sqrt (pow (cos x) 3)) (pow 1.0 3/2))
  (- (pow 1.0 3/2) (sqrt (pow (cos x) 3)))
  (- (pow 1.0 3) (pow (cos x) 3))
  (neg (pow (cos x) 3))
  (* (log (cos x)) 9)
  (* (log (cos x)) 9)
  (* (log (cos x)) 9)
  (* (log (cos x)) 9)
  9
  (pow (pow (cos x) 3) (* (cbrt 3) (cbrt 3)))
  (pow (pow (cos x) 3) (sqrt 3))
  (pow (cos x) 3)
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (pow (cos x) 3/2) 3)
  (pow (pow (cos x) 3/2) 3)
  1
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (pow (cos x) 3/2) 3)
  (pow (pow (cos x) 3/2) 3)
  1
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 3)
  (pow (cos x) 6)
  (pow (pow (cos x) 3) 3/2)
  (pow (pow (cos x) 3) 3/2)
  1
  (pow (pow (cos x) 3) 3)
  (pow (pow (cos x) 3/2) 3)
  (pow (pow (cos x) 3/2) 3)
  (pow (cos x) 6)
  (* (log (cos x)) 9)
  (exp (pow (pow (cos x) 3) 3))
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (pow (pow (cos x) 3) 3) 3)
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (pow (cos x) 3/2) 3)
  (pow (pow (cos x) 3/2) 3)
  1
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (cos x) 6)
  (pow (cos x) 3)
  (pow (pow (cos x) 3/2) 3)
  (pow (pow (cos x) 3/2) 3)
  1
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 3)
  (pow (cos x) 6)
  (pow (pow (cos x) 3) 3/2)
  (pow (pow (cos x) 3) 3/2)
  1
  (pow (pow (cos x) 3) 3)
  (pow (pow (cos x) 3/2) 3)
  (pow (pow (cos x) 3/2) 3)
  (pow (cos x) 6)
  (sqrt (pow (pow (cos x) 3) 3))
  (sqrt (pow (pow (cos x) 3) 3))
  (pow (pow (cos x) 3) 3/2)
  (pow (pow (cos x) 3) 3/2)
  (log (pow (cos x) 3))
  (log (pow (cos x) 3))
  3
  (pow (cos x) (* (cbrt 3) (cbrt 3)))
  (pow (cos x) (sqrt 3))
  (cos x)
  (pow (cos x) 2)
  (cos x)
  (pow (cos x) 3/2)
  (pow (cos x) 3/2)
  1
  (pow (cos x) 3)
  (pow (cos x) 2)
  (log (pow (cos x) 3))
  (exp (pow (cos x) 3))
  (pow (cos x) 2)
  (cos x)
  (pow (pow (cos x) 3) 3)
  (pow (cos x) 2)
  (cos x)
  (pow (cos x) 3/2)
  (pow (cos x) 3/2)
  1
  (pow (cos x) 3)
  (pow (cos x) 2)
  (sqrt (pow (cos x) 3))
  (sqrt (pow (cos x) 3))
  (pow (cos x) 3/2)
  (pow (cos x) 3/2)
  (exp (+ (cos x) 1.0))
  (log (+ (cos x) 1.0))
  (exp (+ (cos x) 1.0))
  (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0)))
  (cbrt (+ (cos x) 1.0))
  (pow (+ (cos x) 1.0) 3)
  (sqrt (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (+ (pow (cos x) 3) (pow 1.0 3))
  (+ (pow (cos x) 2) (* 1.0 (- 1.0 (cos x))))
  (- (pow (cos x) 2) (* 1.0 1.0))
  (- (cos x) 1.0)
  (+ (cos x) 1.0)
  (- (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- 1 (+ (* 9/2 (pow x 2)) (* 9 (pow x 3))))
  (pow (cos x) 9)
  (pow (cos x) 9)
  (- 1 (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))))
  (pow (cos x) 3)
  (pow (cos x) 3)
  (- 2.0 (+ (* 1/2 (pow x 2)) (pow x 3)))
  (+ (cos x) 1.0)
  (+ (cos x) 1.0)
1.319 * * * [progress]: adding candidates to table
1.623 * * [progress]: iteration 4 / 4
1.623 * * * [progress]: picking best candidate
1.695 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))>
1.695 * * * [progress]: localizing error
1.712 * * * [progress]: generating rewritten candidates
1.712 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.722 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.724 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
1.731 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1.735 * * * [progress]: generating series expansions
1.735 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.736 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
1.736 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
1.736 * [taylor]: Taking taylor expansion of 1.0 in x
1.736 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.736 * [taylor]: Taking taylor expansion of (cos x) in x
1.736 * [taylor]: Taking taylor expansion of x in x
1.736 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
1.736 * [taylor]: Taking taylor expansion of 1.0 in x
1.736 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.736 * [taylor]: Taking taylor expansion of (cos x) in x
1.736 * [taylor]: Taking taylor expansion of x in x
1.748 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
1.748 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
1.748 * [taylor]: Taking taylor expansion of 1.0 in x
1.748 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.748 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
1.748 * [taylor]: Taking taylor expansion of 1.0 in x
1.748 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.748 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.760 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
1.760 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
1.760 * [taylor]: Taking taylor expansion of 1.0 in x
1.760 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.760 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.760 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.760 * [taylor]: Taking taylor expansion of -1 in x
1.760 * [taylor]: Taking taylor expansion of x in x
1.761 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
1.761 * [taylor]: Taking taylor expansion of 1.0 in x
1.761 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.761 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.761 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.761 * [taylor]: Taking taylor expansion of -1 in x
1.761 * [taylor]: Taking taylor expansion of x in x
1.772 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.773 * [approximate]: Taking taylor expansion of (pow (cos x) 9) in (x) around 0
1.773 * [taylor]: Taking taylor expansion of (pow (cos x) 9) in x
1.773 * [taylor]: Taking taylor expansion of (cos x) in x
1.773 * [taylor]: Taking taylor expansion of x in x
1.773 * [taylor]: Taking taylor expansion of (pow (cos x) 9) in x
1.773 * [taylor]: Taking taylor expansion of (cos x) in x
1.773 * [taylor]: Taking taylor expansion of x in x
1.781 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 9) in (x) around 0
1.782 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 9) in x
1.782 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.782 * [taylor]: Taking taylor expansion of x in x
1.782 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 9) in x
1.782 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.782 * [taylor]: Taking taylor expansion of x in x
1.800 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 9) in (x) around 0
1.800 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 9) in x
1.800 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.800 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.800 * [taylor]: Taking taylor expansion of -1 in x
1.800 * [taylor]: Taking taylor expansion of x in x
1.800 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 9) in x
1.800 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.800 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.801 * [taylor]: Taking taylor expansion of -1 in x
1.801 * [taylor]: Taking taylor expansion of x in x
1.824 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
1.824 * [approximate]: Taking taylor expansion of (+ 1.0 (cos x)) in (x) around 0
1.824 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x
1.824 * [taylor]: Taking taylor expansion of 1.0 in x
1.824 * [taylor]: Taking taylor expansion of (cos x) in x
1.824 * [taylor]: Taking taylor expansion of x in x
1.824 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x
1.824 * [taylor]: Taking taylor expansion of 1.0 in x
1.824 * [taylor]: Taking taylor expansion of (cos x) in x
1.824 * [taylor]: Taking taylor expansion of x in x
1.827 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0
1.827 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
1.827 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.827 * [taylor]: Taking taylor expansion of x in x
1.827 * [taylor]: Taking taylor expansion of 1.0 in x
1.827 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x
1.827 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.827 * [taylor]: Taking taylor expansion of x in x
1.827 * [taylor]: Taking taylor expansion of 1.0 in x
1.829 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0
1.829 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
1.829 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.829 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.829 * [taylor]: Taking taylor expansion of -1 in x
1.829 * [taylor]: Taking taylor expansion of x in x
1.829 * [taylor]: Taking taylor expansion of 1.0 in x
1.829 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x
1.830 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.830 * [taylor]: Taking taylor expansion of -1 in x
1.830 * [taylor]: Taking taylor expansion of x in x
1.830 * [taylor]: Taking taylor expansion of 1.0 in x
1.831 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1.832 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0
1.832 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.832 * [taylor]: Taking taylor expansion of (cos x) in x
1.832 * [taylor]: Taking taylor expansion of x in x
1.832 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
1.832 * [taylor]: Taking taylor expansion of (cos x) in x
1.832 * [taylor]: Taking taylor expansion of x in x
1.837 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0
1.837 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.837 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.837 * [taylor]: Taking taylor expansion of x in x
1.837 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
1.837 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.837 * [taylor]: Taking taylor expansion of x in x
1.846 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0
1.847 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.847 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.847 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.847 * [taylor]: Taking taylor expansion of -1 in x
1.847 * [taylor]: Taking taylor expansion of x in x
1.847 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
1.847 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.847 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.847 * [taylor]: Taking taylor expansion of -1 in x
1.847 * [taylor]: Taking taylor expansion of x in x
1.856 * * * [progress]: simplifying candidates
1.857 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (pow 1.0 3)) (exp (cbrt (pow (cos x) 9))))
  (log (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (exp (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (* (cbrt (- (pow 1.0 3) (cbrt (pow (cos x) 9)))) (cbrt (- (pow 1.0 3) (cbrt (pow (cos x) 9)))))
  (cbrt (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (* (* (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (- (pow 1.0 3) (cbrt (pow (cos x) 9)))) (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (sqrt (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (sqrt (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (- (pow (pow 1.0 3) 3) (pow (cbrt (pow (cos x) 9)) 3))
  (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))) (* (pow 1.0 3) (cbrt (pow (cos x) 9)))))
  (neg (cbrt (pow (cos x) 9)))
  (- (* (pow 1.0 3) (pow 1.0 3)) (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))))
  (+ (pow 1.0 3) (cbrt (pow (cos x) 9)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (cos x)) 9)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (cos x)) 9)))
  (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (cos x) 9))))
  (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (cos x) 9))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (cos x) (/ 9 2))))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (cos x) (/ 9 2))))
  (+ (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (cos x) 9))))
  (- (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (cos x) 9))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (cos x)) 9)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (cos x)) 9)))
  (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (cos x) 9))))
  (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (cos x) 9))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (cos x) (/ 9 2))))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (cos x) (/ 9 2))))
  (+ (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (cos x) 9))))
  (- (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (cos x) 9))))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (cos x)) 9)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (cos x)) 9)))
  (+ (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (cos x) 9))))
  (- (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (cos x) 9))))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (cos x) (/ 9 2))))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (cos x) (/ 9 2))))
  (+ (sqrt (pow 1.0 3)) (sqrt (cbrt (pow (cos x) 9))))
  (- (sqrt (pow 1.0 3)) (sqrt (cbrt (pow (cos x) 9))))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (cos x)) 9)))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (sqrt (cos x)) 9)))
  (+ (pow 1.0 (/ 3 2)) (cbrt (sqrt (pow (cos x) 9))))
  (- (pow 1.0 (/ 3 2)) (cbrt (sqrt (pow (cos x) 9))))
  (+ (pow 1.0 (/ 3 2)) (cbrt (pow (cos x) (/ 9 2))))
  (- (pow 1.0 (/ 3 2)) (cbrt (pow (cos x) (/ 9 2))))
  (+ (pow 1.0 (/ 3 2)) (sqrt (cbrt (pow (cos x) 9))))
  (- (pow 1.0 (/ 3 2)) (sqrt (cbrt (pow (cos x) 9))))
  (- (pow 1.0 3) (cbrt (pow (cos x) 9)))
  (neg (cbrt (pow (cos x) 9)))
  (* (log (cos x)) 9)
  (* (log (cos x)) 9)
  (* 1 9)
  (pow (cos x) (* (cbrt 9) (cbrt 9)))
  (pow (cos x) (sqrt 9))
  (pow (cos x) 1)
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 9)
  (pow (cbrt (cos x)) 9)
  (pow (sqrt (cos x)) 9)
  (pow (sqrt (cos x)) 9)
  (pow 1 9)
  (pow (cos x) 9)
  (log (pow (cos x) 9))
  (exp (pow (cos x) 9))
  (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9)))
  (cbrt (pow (cos x) 9))
  (* (* (pow (cos x) 9) (pow (cos x) 9)) (pow (cos x) 9))
  (sqrt (pow (cos x) 9))
  (sqrt (pow (cos x) 9))
  (pow (cos x) (/ 9 2))
  (pow (cos x) (/ 9 2))
  (* (exp (cos x)) (exp 1.0))
  (log (+ (cos x) 1.0))
  (exp (+ (cos x) 1.0))
  (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0)))
  (cbrt (+ (cos x) 1.0))
  (* (* (+ (cos x) 1.0) (+ (cos x) 1.0)) (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (+ (pow (cos x) 3) (pow 1.0 3))
  (+ (* (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)
  (log (cbrt (pow (cos x) 9)))
  (exp (cbrt (pow (cos x) 9)))
  (cbrt (pow (* (cbrt (cos x)) (cbrt (cos x))) 9))
  (cbrt (pow (cbrt (cos x)) 9))
  (cbrt (pow (sqrt (cos x)) 9))
  (cbrt (pow (sqrt (cos x)) 9))
  (cbrt (pow 1 9))
  (cbrt (pow (cos x) 9))
  (cbrt (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))))
  (cbrt (cbrt (pow (cos x) 9)))
  (cbrt (sqrt (pow (cos x) 9)))
  (cbrt (sqrt (pow (cos x) 9)))
  (cbrt 1)
  (cbrt (pow (cos x) 9))
  (cbrt (pow (cos x) (/ 9 2)))
  (cbrt (pow (cos x) (/ 9 2)))
  (* (cbrt (cbrt (pow (cos x) 9))) (cbrt (cbrt (pow (cos x) 9))))
  (cbrt (cbrt (pow (cos x) 9)))
  (* (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))) (cbrt (pow (cos x) 9)))
  (sqrt (cbrt (pow (cos x) 9)))
  (sqrt (cbrt (pow (cos x) 9)))
  (- (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- 1 (+ (* 9/2 (pow x 2)) (* 9 (pow x 3))))
  (pow (cos x) 9)
  (pow (cos x) 9)
  (- 2.0 (+ (* 1/2 (pow x 2)) (pow x 3)))
  (+ 1.0 (cos x))
  (+ 1.0 (cos x))
  (- 1 (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))))
  (pow (cos x) 3)
  (pow (cos x) 3)
1.862 * * [simplify]: iteration  0 :  301  enodes  (cost  562 )
1.868 * * [simplify]: iteration  1 :  959  enodes  (cost  544 )
1.887 * * [simplify]: iteration  2 :  3732  enodes  (cost  543 )
1.969 * * [simplify]: iteration  3 :  5001  enodes  (cost  541 )
1.973 * [simplify]: Simplified to:
   (exp (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (log (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (exp (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (* (cbrt (- (pow 1.0 3) (cbrt (pow (cos x) 9)))) (cbrt (- (pow 1.0 3) (cbrt (pow (cos x) 9)))))
  (cbrt (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (pow (- (pow 1.0 3) (cbrt (pow (cos x) 9))) 3)
  (sqrt (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (sqrt (- (pow 1.0 3) (cbrt (pow (cos x) 9))))
  (+ (pow (pow 1.0 3) 3) (neg (pow (cos x) 9)))
  (+ (* (cbrt (pow (cos x) 9)) (+ (cbrt (pow (cos x) 9)) (pow 1.0 3))) (pow 1.0 6))
  (neg (cbrt (pow (cos x) 9)))
  (+ (pow 1.0 6) (neg (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9)))))
  (+ (pow 1.0 3) (cbrt (pow (cos x) 9)))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (cos x)) 9)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (cos x)) 9)))
  (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (cos x) 9))))
  (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (cos x) 9))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (cos x) 9/2)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (cos x) 9/2)))
  (+ (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (cos x) 9))))
  (- (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (cos x) 9))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (cos x)) 9)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (sqrt (cos x)) 9)))
  (+ (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (cos x) 9))))
  (- (pow (sqrt 1.0) 3) (cbrt (sqrt (pow (cos x) 9))))
  (+ (pow (sqrt 1.0) 3) (cbrt (pow (cos x) 9/2)))
  (- (pow (sqrt 1.0) 3) (cbrt (pow (cos x) 9/2)))
  (+ (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (cos x) 9))))
  (- (pow (sqrt 1.0) 3) (sqrt (cbrt (pow (cos x) 9))))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (cos x)) 9)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (sqrt (cos x)) 9)))
  (+ (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (cos x) 9))))
  (- (sqrt (pow 1.0 3)) (cbrt (sqrt (pow (cos x) 9))))
  (+ (sqrt (pow 1.0 3)) (cbrt (pow (cos x) 9/2)))
  (- (sqrt (pow 1.0 3)) (cbrt (pow (cos x) 9/2)))
  (+ (sqrt (pow 1.0 3)) (sqrt (cbrt (pow (cos x) 9))))
  (- (sqrt (pow 1.0 3)) (sqrt (cbrt (pow (cos x) 9))))
  (+ (pow 1.0 3/2) (cbrt (pow (sqrt (cos x)) 9)))
  (- (pow 1.0 3/2) (cbrt (pow (sqrt (cos x)) 9)))
  (+ (pow 1.0 3/2) (cbrt (sqrt (pow (cos x) 9))))
  (- (pow 1.0 3/2) (cbrt (sqrt (pow (cos x) 9))))
  (+ (pow 1.0 3/2) (cbrt (pow (cos x) 9/2)))
  (- (pow 1.0 3/2) (cbrt (pow (cos x) 9/2)))
  (+ (pow 1.0 3/2) (sqrt (cbrt (pow (cos x) 9))))
  (- (pow 1.0 3/2) (sqrt (cbrt (pow (cos x) 9))))
  (- (pow 1.0 3) (cbrt (pow (cos x) 9)))
  (neg (cbrt (pow (cos x) 9)))
  (log (pow (cos x) 9))
  (log (pow (cos x) 9))
  9
  (pow (cos x) (* (cbrt 9) (cbrt 9)))
  (pow (cos x) (sqrt 9))
  (cos x)
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 9)
  (pow (cbrt (cos x)) 9)
  (pow (sqrt (cos x)) 9)
  (pow (sqrt (cos x)) 9)
  1
  (pow (cos x) 9)
  (log (pow (cos x) 9))
  (exp (pow (cos x) 9))
  (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9)))
  (cbrt (pow (cos x) 9))
  (pow (pow (cos x) 9) 3)
  (sqrt (pow (cos x) 9))
  (sqrt (pow (cos x) 9))
  (pow (cos x) 9/2)
  (pow (cos x) 9/2)
  (exp (+ (cos x) 1.0))
  (log (+ (cos x) 1.0))
  (exp (+ (cos x) 1.0))
  (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0)))
  (cbrt (+ (cos x) 1.0))
  (pow (+ (cos x) 1.0) 3)
  (sqrt (+ (cos x) 1.0))
  (sqrt (+ (cos x) 1.0))
  (+ (pow (cos x) 3) (pow 1.0 3))
  (+ (* (cos x) (- (cos x) 1.0)) (* 1.0 1.0))
  (- (* (cos x) (cos x)) (* 1.0 1.0))
  (- (cos x) 1.0)
  (+ (cos x) 1.0)
  (log (cbrt (pow (cos x) 9)))
  (exp (cbrt (pow (cos x) 9)))
  (cbrt (pow (* (cbrt (cos x)) (cbrt (cos x))) 9))
  (cbrt (pow (cbrt (cos x)) 9))
  (cbrt (pow (sqrt (cos x)) 9))
  (cbrt (pow (sqrt (cos x)) 9))
  1
  (cbrt (pow (cos x) 9))
  (cbrt (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))))
  (cbrt (cbrt (pow (cos x) 9)))
  (cbrt (sqrt (pow (cos x) 9)))
  (cbrt (sqrt (pow (cos x) 9)))
  1
  (cbrt (pow (cos x) 9))
  (cbrt (pow (cos x) 9/2))
  (cbrt (pow (cos x) 9/2))
  (* (cbrt (cbrt (pow (cos x) 9))) (cbrt (cbrt (pow (cos x) 9))))
  (cbrt (cbrt (pow (cos x) 9)))
  (pow (cos x) 9)
  (sqrt (cbrt (pow (cos x) 9)))
  (sqrt (cbrt (pow (cos x) 9)))
  (- (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- 1 (+ (* 9/2 (pow x 2)) (* 9 (pow x 3))))
  (pow (cos x) 9)
  (pow (cos x) 9)
  (- 2.0 (+ (* 1/2 (pow x 2)) (pow x 3)))
  (+ (cos x) 1.0)
  (+ (cos x) 1.0)
  (- 1 (+ (* 3/2 (pow x 2)) (* 3 (pow x 3))))
  (pow (cos x) 3)
  (pow (cos x) 3)
1.973 * * * [progress]: adding candidates to table
2.278 * [progress]: [Phase 3 of 3] Extracting.
2.278 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x))))> #<alt (λ (x) (* (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (* (pow (cos x) 9/2) (pow (cos x) 9/2)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (/ (+ (pow 1.0 6) (neg (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))))) (+ (pow 1.0 3) (cbrt (pow (cos x) 9)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (+ (* x (+ 1/2 x)) (* 1/24 (pow x 3))))> #<alt (λ (x) (/ (/ (* (+ (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3))))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (cbrt (pow (/ (- 1.0 (cos x)) (sin x)) 3)))> #<alt (λ (x) (/ (sqrt (- 1.0 (cos x))) (/ (sin x) (sqrt (- 1.0 (cos x))))))> #<alt (λ (x) (/ (+ (* -1/24 (pow x 4)) (* (pow x 2) (+ x 1/2))) (sin x)))> #<alt (λ (x) (/ (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (+ (* (cos x) (/ (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0))) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (+ (sqrt 1.0) (sqrt (cos x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
2.282 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- 1.0 (cos x)) (sin x)) x)
2.282 * * * * [regimes]: Trying to branch on (/ (- 1.0 (cos x)) (sin x)) from (#<alt (λ (x) (* (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x))))> #<alt (λ (x) (* (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (* (pow (cos x) 9/2) (pow (cos x) 9/2)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (/ (+ (pow 1.0 6) (neg (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))))) (+ (pow 1.0 3) (cbrt (pow (cos x) 9)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (+ (* x (+ 1/2 x)) (* 1/24 (pow x 3))))> #<alt (λ (x) (/ (/ (* (+ (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3))))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (cbrt (pow (/ (- 1.0 (cos x)) (sin x)) 3)))> #<alt (λ (x) (/ (sqrt (- 1.0 (cos x))) (/ (sin x) (sqrt (- 1.0 (cos x))))))> #<alt (λ (x) (/ (+ (* -1/24 (pow x 4)) (* (pow x 2) (+ x 1/2))) (sin x)))> #<alt (λ (x) (/ (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (+ (* (cos x) (/ (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0))) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (+ (sqrt 1.0) (sqrt (cos x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
2.396 * * * * [regimes]: Trying to branch on (/ (- 1.0 (cos x)) (sin x)) from (#<alt (λ (x) (* (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (cbrt (pow (/ (- 1.0 (cos x)) (sin x)) 3)))>)
2.434 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x))))> #<alt (λ (x) (* (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (* (pow (cos x) 9/2) (pow (cos x) 9/2)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (/ (+ (pow 1.0 6) (neg (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))))) (+ (pow 1.0 3) (cbrt (pow (cos x) 9)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (+ (* x (+ 1/2 x)) (* 1/24 (pow x 3))))> #<alt (λ (x) (/ (/ (* (+ (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3))))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (cbrt (pow (/ (- 1.0 (cos x)) (sin x)) 3)))> #<alt (λ (x) (/ (sqrt (- 1.0 (cos x))) (/ (sin x) (sqrt (- 1.0 (cos x))))))> #<alt (λ (x) (/ (+ (* -1/24 (pow x 4)) (* (pow x 2) (+ x 1/2))) (sin x)))> #<alt (λ (x) (/ (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (+ (* (cos x) (/ (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0))) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (+ (sqrt 1.0) (sqrt (cos x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
2.552 * * * [regime]: Found split indices: #<option (#s(si 16 64) #s(si 6 193) #s(si 12 255))>
2.554 * [binary-search]: Only using regimes for bounds on (/ (- 1.0 (cos x)) (sin x)) and (#<alt (λ (x) (* (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x))))> #<alt (λ (x) (* (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (* (pow (cos x) 9/2) (pow (cos x) 9/2)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (/ (+ (pow 1.0 6) (neg (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))))) (+ (pow 1.0 3) (cbrt (pow (cos x) 9)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (+ (* x (+ 1/2 x)) (* 1/24 (pow x 3))))> #<alt (λ (x) (/ (/ (* (+ (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3))))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (cbrt (pow (/ (- 1.0 (cos x)) (sin x)) 3)))> #<alt (λ (x) (/ (sqrt (- 1.0 (cos x))) (/ (sin x) (sqrt (- 1.0 (cos x))))))> #<alt (λ (x) (/ (+ (* -1/24 (pow x 4)) (* (pow x 2) (+ x 1/2))) (sin x)))> #<alt (λ (x) (/ (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (+ (* (cos x) (/ (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0))) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (+ (sqrt 1.0) (sqrt (cos x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
2.554 * [regimes]: Found splitpoints: (#s(sp 16 (/ (- 1.0 (cos x)) (sin x)) -0.0019486776866956498) #s(sp 6 (/ (- 1.0 (cos x)) (sin x)) 0.0) #s(sp 12 (/ (- 1.0 (cos x)) (sin x)) +nan.0)) , with alts (#<alt (λ (x) (* (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (* (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x))))> #<alt (λ (x) (* (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (* (pow (cos x) 9/2) (pow (cos x) 9/2)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (/ (+ (pow 1.0 6) (neg (* (cbrt (pow (cos x) 9)) (cbrt (pow (cos x) 9))))) (+ (pow 1.0 3) (cbrt (pow (cos x) 9)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (+ (* x (+ 1/2 x)) (* 1/24 (pow x 3))))> #<alt (λ (x) (/ (/ (* (+ (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3)))) (- (pow 1.0 3/2) (cbrt (sqrt (pow (pow (cos x) 3) 3))))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (+ (sqrt 1.0) (sqrt (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x))))))> #<alt (λ (x) (* (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x)))))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (cbrt (pow (/ (- 1.0 (cos x)) (sin x)) 3)))> #<alt (λ (x) (/ (sqrt (- 1.0 (cos x))) (/ (sin x) (sqrt (- 1.0 (cos x))))))> #<alt (λ (x) (/ (+ (* -1/24 (pow x 4)) (* (pow x 2) (+ x 1/2))) (sin x)))> #<alt (λ (x) (/ (/ (* (+ (pow (cos x) 3/2) (pow 1.0 3/2)) (- (pow 1.0 3/2) (pow (sqrt (cos x)) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (+ (* (cos x) (/ (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0))) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (* (+ (sqrt 1.0) (sqrt (cos x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
2.555 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (- 1.0 (cos x)) (sin x)) -0.0019486776866956498) (/ (/ (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (+ (* (cos x) (/ (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0))) (* 1.0 1.0))) (sin x)) (if (<= (/ (- 1.0 (cos x)) (sin x)) 0.0) (+ (* x (+ 1/2 x)) (* 1/24 (pow x 3))) (cbrt (pow (/ (- 1.0 (cos x)) (sin x)) 3))))
2.555 * * [simplify]: iteration  0 :  42  enodes  (cost  39 )
2.556 * * [simplify]: iteration  1 :  42  enodes  (cost  39 )
2.556 * [simplify]: Simplified to:
   (if (<= (/ (- 1.0 (cos x)) (sin x)) -0.0019486776866956498) (/ (/ (- (pow 1.0 3) (cbrt (pow (cos x) 9))) (+ (* (cos x) (/ (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0))) (* 1.0 1.0))) (sin x)) (if (<= (/ (- 1.0 (cos x)) (sin x)) 0.0) (+ (* x (+ 1/2 x)) (* 1/24 (pow x 3))) (cbrt (pow (/ (- 1.0 (cos x)) (sin x)) 3))))
8.282 * [regime-testing]: Baseline error score: 30.586992489640476
8.283 * [regime-testing]: Oracle error score: 0.6239419696998539
8.284 * [regime-testing]: End program error score: 1.1018589224970932
8.343 * [regime-testing]: Target error score: 0.00012501562695336918