6.185 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.124 * * * [progress]: [2/2] Setting up program.
2.127 * [progress]: [Phase 2 of 3] Improving.
2.127 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- 1.0 (cos x)) (sin x))
2.129 * * [simplify]: iteration  0 :  11  enodes  (cost  4 )
2.130 * * [simplify]: iteration  1 :  14  enodes  (cost  4 )
2.131 * * [simplify]: iteration  2 :  16  enodes  (cost  4 )
2.132 * * [simplify]: iteration  3 :  16  enodes  (cost  4 )
2.132 * [simplify]: Simplified to:
   (/ (- 1.0 (cos x)) (sin x))
2.132 * * [progress]: iteration 1 / 4
2.132 * * * [progress]: picking best candidate
2.134 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))>
2.134 * * * [progress]: localizing error
2.142 * * * [progress]: generating rewritten candidates
2.142 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.145 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.152 * * * [progress]: generating series expansions
2.153 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.153 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
2.153 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.153 * [taylor]: Taking taylor expansion of 1.0 in x
2.153 * [taylor]: Taking taylor expansion of (cos x) in x
2.153 * [taylor]: Taking taylor expansion of x in x
2.153 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.153 * [taylor]: Taking taylor expansion of 1.0 in x
2.153 * [taylor]: Taking taylor expansion of (cos x) in x
2.153 * [taylor]: Taking taylor expansion of x in x
2.154 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
2.155 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.155 * [taylor]: Taking taylor expansion of 1.0 in x
2.155 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.155 * [taylor]: Taking taylor expansion of x in x
2.155 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.155 * [taylor]: Taking taylor expansion of 1.0 in x
2.155 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.155 * [taylor]: Taking taylor expansion of x in x
2.155 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
2.155 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.155 * [taylor]: Taking taylor expansion of 1.0 in x
2.155 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.155 * [taylor]: Taking taylor expansion of -1 in x
2.155 * [taylor]: Taking taylor expansion of x in x
2.155 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.155 * [taylor]: Taking taylor expansion of 1.0 in x
2.155 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.155 * [taylor]: Taking taylor expansion of -1 in x
2.155 * [taylor]: Taking taylor expansion of x in x
2.156 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.156 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
2.156 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.156 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.156 * [taylor]: Taking taylor expansion of 1.0 in x
2.156 * [taylor]: Taking taylor expansion of (cos x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.156 * [taylor]: Taking taylor expansion of (sin x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.156 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.156 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.156 * [taylor]: Taking taylor expansion of 1.0 in x
2.156 * [taylor]: Taking taylor expansion of (cos x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.156 * [taylor]: Taking taylor expansion of (sin x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.159 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
2.159 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.159 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.159 * [taylor]: Taking taylor expansion of 1.0 in x
2.159 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.159 * [taylor]: Taking taylor expansion of x in x
2.159 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.159 * [taylor]: Taking taylor expansion of x in x
2.159 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.159 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.159 * [taylor]: Taking taylor expansion of 1.0 in x
2.159 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.159 * [taylor]: Taking taylor expansion of x in x
2.159 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.159 * [taylor]: Taking taylor expansion of x in x
2.161 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
2.161 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.161 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.161 * [taylor]: Taking taylor expansion of 1.0 in x
2.161 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.161 * [taylor]: Taking taylor expansion of -1 in x
2.161 * [taylor]: Taking taylor expansion of x in x
2.161 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.161 * [taylor]: Taking taylor expansion of -1 in x
2.161 * [taylor]: Taking taylor expansion of x in x
2.161 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.161 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.161 * [taylor]: Taking taylor expansion of 1.0 in x
2.161 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.161 * [taylor]: Taking taylor expansion of -1 in x
2.161 * [taylor]: Taking taylor expansion of x in x
2.161 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.161 * [taylor]: Taking taylor expansion of -1 in x
2.161 * [taylor]: Taking taylor expansion of x in x
2.163 * * * [progress]: simplifying candidates
2.164 * [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)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
2.167 * * [simplify]: iteration  0 :  233  enodes  (cost  396 )
2.172 * * [simplify]: iteration  1 :  673  enodes  (cost  373 )
2.184 * * [simplify]: iteration  2 :  2640  enodes  (cost  373 )
2.239 * * [simplify]: iteration  3 :  5002  enodes  (cost  373 )
2.241 * [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/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
2.241 * * * [progress]: adding candidates to table
2.330 * * [progress]: iteration 2 / 4
2.330 * * * [progress]: picking best candidate
2.371 * * * * [pick]: Picked  #<alt (λ (x) (* (- 1.0 (cos x)) (/ 1 (sin x))))>
2.371 * * * [progress]: localizing error
2.380 * * * [progress]: generating rewritten candidates
2.380 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
2.383 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
2.393 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
2.399 * * * [progress]: generating series expansions
2.399 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
2.399 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
2.399 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.399 * [taylor]: Taking taylor expansion of 1.0 in x
2.399 * [taylor]: Taking taylor expansion of (cos x) in x
2.399 * [taylor]: Taking taylor expansion of x in x
2.399 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.399 * [taylor]: Taking taylor expansion of 1.0 in x
2.399 * [taylor]: Taking taylor expansion of (cos x) in x
2.399 * [taylor]: Taking taylor expansion of x in x
2.401 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
2.401 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.401 * [taylor]: Taking taylor expansion of 1.0 in x
2.401 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.401 * [taylor]: Taking taylor expansion of x in x
2.401 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.401 * [taylor]: Taking taylor expansion of 1.0 in x
2.401 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.401 * [taylor]: Taking taylor expansion of x in x
2.402 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
2.402 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.402 * [taylor]: Taking taylor expansion of 1.0 in x
2.402 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.402 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.402 * [taylor]: Taking taylor expansion of -1 in x
2.402 * [taylor]: Taking taylor expansion of x in x
2.402 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.402 * [taylor]: Taking taylor expansion of 1.0 in x
2.402 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.402 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.402 * [taylor]: Taking taylor expansion of -1 in x
2.402 * [taylor]: Taking taylor expansion of x in x
2.402 * * * * [progress]: [ 2 / 3 ] generating series at (2)
2.402 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
2.402 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.402 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.402 * [taylor]: Taking taylor expansion of 1.0 in x
2.402 * [taylor]: Taking taylor expansion of (cos x) in x
2.402 * [taylor]: Taking taylor expansion of x in x
2.403 * [taylor]: Taking taylor expansion of (sin x) in x
2.403 * [taylor]: Taking taylor expansion of x in x
2.403 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
2.403 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
2.403 * [taylor]: Taking taylor expansion of 1.0 in x
2.403 * [taylor]: Taking taylor expansion of (cos x) in x
2.403 * [taylor]: Taking taylor expansion of x in x
2.403 * [taylor]: Taking taylor expansion of (sin x) in x
2.403 * [taylor]: Taking taylor expansion of x in x
2.405 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
2.405 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.405 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.405 * [taylor]: Taking taylor expansion of 1.0 in x
2.405 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.405 * [taylor]: Taking taylor expansion of x in x
2.405 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.405 * [taylor]: Taking taylor expansion of x in x
2.406 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
2.406 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
2.406 * [taylor]: Taking taylor expansion of 1.0 in x
2.406 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.406 * [taylor]: Taking taylor expansion of x in x
2.406 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.406 * [taylor]: Taking taylor expansion of x in x
2.407 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
2.407 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.407 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.407 * [taylor]: Taking taylor expansion of 1.0 in x
2.408 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.408 * [taylor]: Taking taylor expansion of -1 in x
2.408 * [taylor]: Taking taylor expansion of x in x
2.408 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.408 * [taylor]: Taking taylor expansion of -1 in x
2.408 * [taylor]: Taking taylor expansion of x in x
2.408 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
2.408 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
2.408 * [taylor]: Taking taylor expansion of 1.0 in x
2.408 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.408 * [taylor]: Taking taylor expansion of -1 in x
2.408 * [taylor]: Taking taylor expansion of x in x
2.408 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.408 * [taylor]: Taking taylor expansion of -1 in x
2.408 * [taylor]: Taking taylor expansion of x in x
2.410 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
2.410 * [approximate]: Taking taylor expansion of (/ 1 (sin x)) in (x) around 0
2.410 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x
2.410 * [taylor]: Taking taylor expansion of (sin x) in x
2.410 * [taylor]: Taking taylor expansion of x in x
2.410 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x
2.410 * [taylor]: Taking taylor expansion of (sin x) in x
2.410 * [taylor]: Taking taylor expansion of x in x
2.411 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in (x) around 0
2.411 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x
2.411 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.411 * [taylor]: Taking taylor expansion of x in x
2.411 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x
2.411 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.411 * [taylor]: Taking taylor expansion of x in x
2.412 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in (x) around 0
2.412 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x
2.412 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.412 * [taylor]: Taking taylor expansion of -1 in x
2.412 * [taylor]: Taking taylor expansion of x in x
2.412 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x
2.412 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.413 * [taylor]: Taking taylor expansion of -1 in x
2.413 * [taylor]: Taking taylor expansion of x in x
2.414 * * * [progress]: simplifying candidates
2.415 * [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))
  (* (- 1.0 (cos x)) (/ 1 (sin x)))
  (+ (log (- 1.0 (cos x))) (neg (log (sin x))))
  (+ (log (- 1.0 (cos x))) (- 0 (log (sin x))))
  (+ (log (- 1.0 (cos x))) (- (log 1) (log (sin x))))
  (+ (log (- 1.0 (cos x))) (log (/ 1 (sin x))))
  (log (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (exp (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (* (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (/ (* (* 1 1) 1) (* (* (sin x) (sin x)) (sin x))))
  (* (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (/ 1 (sin x)) (/ 1 (sin x))) (/ 1 (sin x))))
  (* (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x)))))
  (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (* (* (* (- 1.0 (cos x)) (/ 1 (sin x))) (* (- 1.0 (cos x)) (/ 1 (sin x)))) (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (sqrt (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (sqrt (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (* (- (pow 1.0 3) (pow (cos x) 3)) 1)
  (* (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sin x))
  (* (- (* 1.0 1.0) (* (cos x) (cos x))) 1)
  (* (+ 1.0 (cos x)) (sin x))
  (* (sqrt (- 1.0 (cos x))) (sqrt (/ 1 (sin x))))
  (* (sqrt (- 1.0 (cos x))) (sqrt (/ 1 (sin x))))
  (* (sqrt (- 1.0 (cos x))) (/ (sqrt 1) (sqrt (sin x))))
  (* (sqrt (- 1.0 (cos x))) (/ (sqrt 1) (sqrt (sin x))))
  (* (sqrt (- 1.0 (cos x))) (/ 1 (sqrt (sin x))))
  (* (sqrt (- 1.0 (cos x))) (/ 1 (sqrt (sin x))))
  (* (- 1.0 (cos x)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x)))))
  (* (- 1.0 (cos x)) (sqrt (/ 1 (sin x))))
  (* (- 1.0 (cos x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (- 1.0 (cos x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin x))))
  (* (- 1.0 (cos x)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (- 1.0 (cos x)) (/ (sqrt 1) (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (- 1.0 (cos x)) (/ (sqrt 1) (sqrt (sin x))))
  (* (- 1.0 (cos x)) (/ (sqrt 1) 1))
  (* (- 1.0 (cos x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))))
  (* (- 1.0 (cos x)) (/ 1 (sqrt (sin x))))
  (* (- 1.0 (cos x)) (/ 1 1))
  (* (- 1.0 (cos x)) 1)
  (* (- 1.0 (cos x)) 1)
  (* (cbrt (- 1.0 (cos x))) (/ 1 (sin x)))
  (* (sqrt (- 1.0 (cos x))) (/ 1 (sin x)))
  (* (- 1.0 (cos x)) (/ 1 (sin x)))
  (* (- (sqrt 1.0) (sqrt (cos x))) (/ 1 (sin x)))
  (* (- 1.0 (cos x)) (/ 1 (sin x)))
  (* (- 1.0 (cos x)) 1)
  (* (- (pow 1.0 3) (pow (cos x) 3)) (/ 1 (sin x)))
  (* (- (* 1.0 1.0) (* (cos x) (cos x))) (/ 1 (sin x)))
  (neg 1)
  (neg (log (sin x)))
  (- 0 (log (sin x)))
  (- (log 1) (log (sin x)))
  (log (/ 1 (sin x)))
  (exp (/ 1 (sin x)))
  (/ (* (* 1 1) 1) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))
  (cbrt (/ 1 (sin x)))
  (* (* (/ 1 (sin x)) (/ 1 (sin x))) (/ 1 (sin x)))
  (sqrt (/ 1 (sin x)))
  (sqrt (/ 1 (sin x)))
  (neg 1)
  (neg (sin x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (cbrt 1) (cbrt (sin x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin x)))
  (/ (cbrt 1) (sqrt (sin x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sin x))
  (/ (sqrt 1) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (sqrt 1) (cbrt (sin x)))
  (/ (sqrt 1) (sqrt (sin x)))
  (/ (sqrt 1) (sqrt (sin x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 1)
  (/ 1 (sin x))
  (/ 1 (sin x))
  (/ (sin x) 1)
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (sqrt (sin x)))
  (/ 1 1)
  (/ (sin x) (cbrt 1))
  (/ (sin x) (sqrt 1))
  (/ (sin x) 1)
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (+ (* 7/360 (pow x 3)) (+ (/ 1 x) (* 1/6 x)))
  (/ 1 (sin x))
  (/ 1 (sin x))
2.420 * * [simplify]: iteration  0 :  320  enodes  (cost  546 )
2.427 * * [simplify]: iteration  1 :  1393  enodes  (cost  480 )
2.454 * * [simplify]: iteration  2 :  5001  enodes  (cost  454 )
2.457 * [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))
  (/ (- 1.0 (cos x)) (sin x))
  (- (log (- 1.0 (cos x))) (log (sin x)))
  (- (log (- 1.0 (cos x))) (log (sin x)))
  (- (log (- 1.0 (cos x))) (log (sin x)))
  (- (log (- 1.0 (cos x))) (log (sin x)))
  (- (log (- 1.0 (cos x))) (log (sin x)))
  (exp (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (* (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x)))))
  (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (pow (/ (- 1.0 (cos x)) (sin x)) 3)
  (sqrt (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (sqrt (* (- 1.0 (cos x)) (/ 1 (sin x))))
  (- (pow 1.0 3) (pow (cos x) 3))
  (* (sin x) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (* (+ 1.0 (cos x)) (sin x))
  (* (sqrt (- 1.0 (cos x))) (sqrt (/ 1 (sin x))))
  (* (sqrt (- 1.0 (cos x))) (sqrt (/ 1 (sin x))))
  (/ (* (sqrt (- 1.0 (cos x))) 1) (sqrt (sin x)))
  (/ (* (sqrt (- 1.0 (cos x))) 1) (sqrt (sin x)))
  (/ (* (sqrt (- 1.0 (cos x))) 1) (sqrt (sin x)))
  (/ (* (sqrt (- 1.0 (cos x))) 1) (sqrt (sin x)))
  (* (- 1.0 (cos x)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x)))))
  (* (- 1.0 (cos x)) (sqrt (/ 1 (sin x))))
  (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (sqrt (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.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x))))
  (/ (- 1.0 (cos x)) (sqrt (sin x)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- 1.0 (cos 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 (cos x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x))
  (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x))
  -1
  (log (/ 1 (sin x)))
  (log (/ 1 (sin x)))
  (log (/ 1 (sin x)))
  (log (/ 1 (sin x)))
  (exp (/ 1 (sin x)))
  (/ 1 (pow (sin x) 3))
  (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))
  (cbrt (/ 1 (sin x)))
  (/ 1 (pow (sin x) 3))
  (sqrt (/ 1 (sin x)))
  (sqrt (/ 1 (sin x)))
  -1
  (neg (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 (sqrt (sin x)))
  1
  (/ 1 (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 (sqrt (sin x)))
  1
  (/ 1 (sin x))
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (cbrt (sin x)))
  (/ 1 (sqrt (sin x)))
  (/ 1 (sqrt (sin x)))
  1
  (/ 1 (sin x))
  (/ 1 (sin x))
  (sin x)
  (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))
  (/ 1 (sqrt (sin x)))
  1
  (sin x)
  (sin x)
  (sin x)
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
  (+ (* 7/360 (pow x 3)) (+ (/ 1 x) (* 1/6 x)))
  (/ 1 (sin x))
  (/ 1 (sin x))
2.458 * * * [progress]: adding candidates to table
2.532 * * [progress]: iteration 3 / 4
2.533 * * * [progress]: picking best candidate
2.575 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))>
2.575 * * * [progress]: localizing error
2.591 * * * [progress]: generating rewritten candidates
2.591 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.604 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
2.609 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.611 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.618 * * * [progress]: generating series expansions
2.618 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.619 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
2.619 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
2.619 * [taylor]: Taking taylor expansion of 1.0 in x
2.619 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.619 * [taylor]: Taking taylor expansion of (cos x) in x
2.619 * [taylor]: Taking taylor expansion of x in x
2.619 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
2.619 * [taylor]: Taking taylor expansion of 1.0 in x
2.619 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.619 * [taylor]: Taking taylor expansion of (cos x) in x
2.619 * [taylor]: Taking taylor expansion of x in x
2.621 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
2.622 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
2.622 * [taylor]: Taking taylor expansion of 1.0 in x
2.622 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.622 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.622 * [taylor]: Taking taylor expansion of x in x
2.622 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
2.622 * [taylor]: Taking taylor expansion of 1.0 in x
2.622 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.622 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.622 * [taylor]: Taking taylor expansion of x in x
2.624 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
2.624 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
2.624 * [taylor]: Taking taylor expansion of 1.0 in x
2.624 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.624 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.624 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.624 * [taylor]: Taking taylor expansion of -1 in x
2.624 * [taylor]: Taking taylor expansion of x in x
2.624 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
2.624 * [taylor]: Taking taylor expansion of 1.0 in x
2.624 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.624 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.624 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.624 * [taylor]: Taking taylor expansion of -1 in x
2.624 * [taylor]: Taking taylor expansion of x in x
2.626 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
2.626 * [approximate]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in (x) around 0
2.626 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x
2.626 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.626 * [taylor]: Taking taylor expansion of (cos x) in x
2.626 * [taylor]: Taking taylor expansion of x in x
2.626 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x
2.626 * [taylor]: Taking taylor expansion of 1.0 in x
2.626 * [taylor]: Taking taylor expansion of (cos x) in x
2.626 * [taylor]: Taking taylor expansion of x in x
2.626 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x
2.626 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.626 * [taylor]: Taking taylor expansion of (cos x) in x
2.626 * [taylor]: Taking taylor expansion of x in x
2.626 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x
2.626 * [taylor]: Taking taylor expansion of 1.0 in x
2.626 * [taylor]: Taking taylor expansion of (cos x) in x
2.626 * [taylor]: Taking taylor expansion of x in x
2.627 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in (x) around 0
2.628 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x
2.628 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x
2.628 * [taylor]: Taking taylor expansion of 1.0 in x
2.628 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.628 * [taylor]: Taking taylor expansion of x in x
2.628 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.628 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.628 * [taylor]: Taking taylor expansion of x in x
2.628 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x
2.628 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x
2.628 * [taylor]: Taking taylor expansion of 1.0 in x
2.628 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.628 * [taylor]: Taking taylor expansion of x in x
2.628 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.628 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.628 * [taylor]: Taking taylor expansion of x in x
2.629 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in (x) around 0
2.629 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x
2.629 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x
2.629 * [taylor]: Taking taylor expansion of 1.0 in x
2.629 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.630 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.630 * [taylor]: Taking taylor expansion of -1 in x
2.630 * [taylor]: Taking taylor expansion of x in x
2.630 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.630 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.630 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.630 * [taylor]: Taking taylor expansion of -1 in x
2.630 * [taylor]: Taking taylor expansion of x in x
2.630 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x
2.630 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x
2.630 * [taylor]: Taking taylor expansion of 1.0 in x
2.630 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.630 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.630 * [taylor]: Taking taylor expansion of -1 in x
2.630 * [taylor]: Taking taylor expansion of x in x
2.630 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.630 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.630 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.630 * [taylor]: Taking taylor expansion of -1 in x
2.630 * [taylor]: Taking taylor expansion of x in x
2.631 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.631 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0
2.631 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.631 * [taylor]: Taking taylor expansion of (cos x) in x
2.631 * [taylor]: Taking taylor expansion of x in x
2.631 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.631 * [taylor]: Taking taylor expansion of (cos x) in x
2.632 * [taylor]: Taking taylor expansion of x in x
2.632 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0
2.633 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.633 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.633 * [taylor]: Taking taylor expansion of x in x
2.633 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.633 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.633 * [taylor]: Taking taylor expansion of x in x
2.634 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0
2.634 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.634 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.634 * [taylor]: Taking taylor expansion of -1 in x
2.634 * [taylor]: Taking taylor expansion of x in x
2.634 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.634 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.634 * [taylor]: Taking taylor expansion of -1 in x
2.634 * [taylor]: Taking taylor expansion of x in x
2.636 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.636 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0
2.636 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.636 * [taylor]: Taking taylor expansion of (cos x) in x
2.636 * [taylor]: Taking taylor expansion of x in x
2.636 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.636 * [taylor]: Taking taylor expansion of (cos x) in x
2.636 * [taylor]: Taking taylor expansion of x in x
2.637 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0
2.637 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.637 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.637 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.637 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.638 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0
2.638 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.638 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.638 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.638 * [taylor]: Taking taylor expansion of -1 in x
2.638 * [taylor]: Taking taylor expansion of x in x
2.638 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.638 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.638 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.638 * [taylor]: Taking taylor expansion of -1 in x
2.638 * [taylor]: Taking taylor expansion of x in x
2.639 * * * [progress]: simplifying candidates
2.640 * [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))
  (* (exp (* (cos x) (cos x))) (exp (* 1.0 (cos x))))
  (log (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (exp (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (* (* (+ (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (+ (pow (* (cos x) (cos x)) 3) (pow (* 1.0 (cos x)) 3))
  (+ (* (* (cos x) (cos x)) (* (cos x) (cos x))) (- (* (* 1.0 (cos x)) (* 1.0 (cos x))) (* (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (- (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (* 1.0 (cos x)) (* 1.0 (cos x))))
  (- (* (cos x) (cos x)) (* 1.0 (cos x)))
  (+ (cos x) 1.0)
  (+ (* 1/2 (cos (* 2 x))) (* 1.0 (cos x)))
  (* (log (cos x)) 3)
  (* (log (cos x)) 3)
  (* 1 3)
  (pow (cos x) (* (cbrt 3) (cbrt 3)))
  (pow (cos x) (sqrt 3))
  (pow (cos x) 1)
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)
  (pow (cbrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow 1 3)
  (pow (cos x) 3)
  (* (cos x) (cos x))
  (log (pow (cos x) 3))
  (exp (pow (cos x) 3))
  (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3)))
  (cbrt (pow (cos x) 3))
  (* (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3))
  (pow (* (cbrt (cos x)) (cbrt (cos x))) 3)
  (pow (cbrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow (sqrt (cos x)) 3)
  (pow 1 3)
  (pow (cos x) 3)
  (* (cos x) (cos x))
  (sqrt (pow (cos x) 3))
  (sqrt (pow (cos x) 3))
  (pow (cos x) (/ 3 2))
  (pow (cos x) (/ 3 2))
  (* 1/2 (cos (* 2 x)))
  (+ (cos (+ x x)) (cos (- x x)))
  (+ 1 1)
  (* (cos x) (cos x))
  (+ 1 1)
  (+ (log (cos x)) (log (cos x)))
  (log (* (cos x) (cos x)))
  (exp (* (cos x) (cos x)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (cos x) (cos x)) (cos x)))
  (* (cbrt (* (cos x) (cos x))) (cbrt (* (cos x) (cos x))))
  (cbrt (* (cos x) (cos x)))
  (* (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (cos x) (cos x)))
  (sqrt (* (cos x) (cos x)))
  (sqrt (* (cos x) (cos x)))
  (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))))
  (* (cbrt (cos x)) (cbrt (cos x)))
  (* (sqrt (cos x)) (sqrt (cos x)))
  (* (sqrt (cos x)) (sqrt (cos x)))
  (* 1 1)
  (* (cos x) (cos x))
  (* (sqrt (cos x)) (sqrt (cos x)))
  (* (sqrt (cos x)) (sqrt (cos x)))
  (* 2 1)
  (* (cos x) (* (cbrt (cos x)) (cbrt (cos x))))
  (* (cos x) (sqrt (cos x)))
  (* (cos x) 1)
  (* (cbrt (cos x)) (cos x))
  (* (sqrt (cos x)) (cos x))
  (* (cos x) (cos x))
  (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2)))
  (+ (pow (cos x) 2) (* 1.0 (cos x)))
  (+ (pow (cos x) 2) (* 1.0 (cos x)))
  (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2)))
  (pow (cos x) 3)
  (pow (cos x) 3)
  (- (+ (* 1/3 (pow x 4)) 1) (pow x 2))
  (pow (cos x) 2)
  (pow (cos x) 2)
2.646 * * [simplify]: iteration  0 :  380  enodes  (cost  592 )
2.655 * * [simplify]: iteration  1 :  1866  enodes  (cost  548 )
2.715 * * [simplify]: iteration  2 :  5001  enodes  (cost  523 )
2.719 * [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 (cos x)) 3))
  (neg (pow (cos x) 3))
  (- (pow 1.0 6) (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))
  (pow (exp (cos x)) (+ (cos x) 1.0))
  (+ (log (cos x)) (log (+ (cos x) 1.0)))
  (pow (exp (cos x)) (+ (cos x) 1.0))
  (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (pow (* (cos x) (+ (cos x) 1.0)) 3)
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (+ (pow (* 1.0 (cos x)) 3) (pow (cos x) 6))
  (- (* (* 1.0 1.0) (pow (cos x) 2)) (- (* (* (pow (cos x) 2) 1.0) (cos x)) (pow (cos x) 4)))
  (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0)))
  (* (cos x) (- (cos x) 1.0))
  (+ (cos x) 1.0)
  (+ (* 1/2 (cos (* 2 x))) (* 1.0 (cos x)))
  (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)
  (* 1/2 (cos (* 2 x)))
  (+ (cos (+ x x)) (cos (- x x)))
  2
  (pow (cos x) 2)
  2
  (* 2 (log (cos x)))
  (* 2 (log (cos x)))
  (exp (pow (cos x) 2))
  (pow (cos x) 6)
  (pow (cbrt (cos x)) 4)
  (cbrt (* (cos x) (cos x)))
  (pow (cos x) 6)
  (fabs (cos x))
  (fabs (cos x))
  (pow (cbrt (cos x)) 4)
  (cbrt (* (cos x) (cos x)))
  (cos x)
  (cos x)
  1
  (pow (cos x) 2)
  (cos x)
  (cos x)
  2
  (pow (cbrt (cos x)) 5)
  (pow (cos x) 3/2)
  (cos x)
  (pow (cbrt (cos x)) 4)
  (pow (cos x) 3/2)
  (pow (cos x) 2)
  (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2)))
  (* (cos x) (+ (cos x) 1.0))
  (* (cos x) (+ (cos x) 1.0))
  (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2)))
  (pow (cos x) 3)
  (pow (cos x) 3)
  (- (+ (* 1/3 (pow x 4)) 1) (pow x 2))
  (pow (cos x) 2)
  (pow (cos x) 2)
2.720 * * * [progress]: adding candidates to table
2.858 * * [progress]: iteration 4 / 4
2.858 * * * [progress]: picking best candidate
2.908 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ (log (exp (- (pow 1.0 3) (pow (cos x) 3)))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))>
2.908 * * * [progress]: localizing error
2.931 * * * [progress]: generating rewritten candidates
2.931 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.945 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
2.956 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
2.960 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
2.967 * * * [progress]: generating series expansions
2.967 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.967 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
2.967 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
2.967 * [taylor]: Taking taylor expansion of 1.0 in x
2.967 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.967 * [taylor]: Taking taylor expansion of (cos x) in x
2.967 * [taylor]: Taking taylor expansion of x in x
2.967 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
2.967 * [taylor]: Taking taylor expansion of 1.0 in x
2.967 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.967 * [taylor]: Taking taylor expansion of (cos x) in x
2.967 * [taylor]: Taking taylor expansion of x in x
2.970 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
2.970 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
2.970 * [taylor]: Taking taylor expansion of 1.0 in x
2.970 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.970 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.970 * [taylor]: Taking taylor expansion of x in x
2.970 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
2.970 * [taylor]: Taking taylor expansion of 1.0 in x
2.970 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.970 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.970 * [taylor]: Taking taylor expansion of x in x
2.972 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
2.972 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
2.972 * [taylor]: Taking taylor expansion of 1.0 in x
2.972 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.972 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.972 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.972 * [taylor]: Taking taylor expansion of -1 in x
2.972 * [taylor]: Taking taylor expansion of x in x
2.972 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
2.972 * [taylor]: Taking taylor expansion of 1.0 in x
2.972 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.972 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.972 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.972 * [taylor]: Taking taylor expansion of -1 in x
2.972 * [taylor]: Taking taylor expansion of x in x
2.974 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
2.974 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0
2.974 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
2.974 * [taylor]: Taking taylor expansion of 1.0 in x
2.974 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.974 * [taylor]: Taking taylor expansion of (cos x) in x
2.974 * [taylor]: Taking taylor expansion of x in x
2.974 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x
2.974 * [taylor]: Taking taylor expansion of 1.0 in x
2.974 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.974 * [taylor]: Taking taylor expansion of (cos x) in x
2.974 * [taylor]: Taking taylor expansion of x in x
2.976 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0
2.976 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
2.977 * [taylor]: Taking taylor expansion of 1.0 in x
2.977 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.977 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.977 * [taylor]: Taking taylor expansion of x in x
2.977 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x
2.977 * [taylor]: Taking taylor expansion of 1.0 in x
2.977 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.977 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.977 * [taylor]: Taking taylor expansion of x in x
2.979 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0
2.979 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
2.979 * [taylor]: Taking taylor expansion of 1.0 in x
2.979 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.979 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.979 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.979 * [taylor]: Taking taylor expansion of -1 in x
2.979 * [taylor]: Taking taylor expansion of x in x
2.979 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x
2.979 * [taylor]: Taking taylor expansion of 1.0 in x
2.979 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.979 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.979 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.979 * [taylor]: Taking taylor expansion of -1 in x
2.979 * [taylor]: Taking taylor expansion of x in x
2.981 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
2.981 * [approximate]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in (x) around 0
2.981 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x
2.981 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.981 * [taylor]: Taking taylor expansion of (cos x) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.981 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x
2.981 * [taylor]: Taking taylor expansion of 1.0 in x
2.981 * [taylor]: Taking taylor expansion of (cos x) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.981 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x
2.981 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x
2.981 * [taylor]: Taking taylor expansion of (cos x) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.981 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x
2.981 * [taylor]: Taking taylor expansion of 1.0 in x
2.981 * [taylor]: Taking taylor expansion of (cos x) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.982 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in (x) around 0
2.982 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x
2.982 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x
2.982 * [taylor]: Taking taylor expansion of 1.0 in x
2.983 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.983 * [taylor]: Taking taylor expansion of x in x
2.983 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.983 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.983 * [taylor]: Taking taylor expansion of x in x
2.983 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x
2.983 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x
2.983 * [taylor]: Taking taylor expansion of 1.0 in x
2.983 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.983 * [taylor]: Taking taylor expansion of x in x
2.983 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x
2.983 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.983 * [taylor]: Taking taylor expansion of x in x
2.984 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in (x) around 0
2.984 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x
2.984 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x
2.984 * [taylor]: Taking taylor expansion of 1.0 in x
2.984 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.984 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.984 * [taylor]: Taking taylor expansion of -1 in x
2.984 * [taylor]: Taking taylor expansion of x in x
2.985 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.985 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.985 * [taylor]: Taking taylor expansion of -1 in x
2.985 * [taylor]: Taking taylor expansion of x in x
2.985 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x
2.985 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x
2.985 * [taylor]: Taking taylor expansion of 1.0 in x
2.985 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.985 * [taylor]: Taking taylor expansion of -1 in x
2.985 * [taylor]: Taking taylor expansion of x in x
2.985 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x
2.985 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.985 * [taylor]: Taking taylor expansion of -1 in x
2.985 * [taylor]: Taking taylor expansion of x in x
2.986 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.986 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0
2.986 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.986 * [taylor]: Taking taylor expansion of (cos x) in x
2.986 * [taylor]: Taking taylor expansion of x in x
2.986 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x
2.986 * [taylor]: Taking taylor expansion of (cos x) in x
2.986 * [taylor]: Taking taylor expansion of x in x
2.987 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0
2.987 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.987 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.988 * [taylor]: Taking taylor expansion of x in x
2.988 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x
2.988 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.988 * [taylor]: Taking taylor expansion of x in x
2.989 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0
2.989 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.989 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.989 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.989 * [taylor]: Taking taylor expansion of -1 in x
2.989 * [taylor]: Taking taylor expansion of x in x
2.989 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x
2.989 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.989 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.989 * [taylor]: Taking taylor expansion of -1 in x
2.989 * [taylor]: Taking taylor expansion of x in x
2.991 * * * [progress]: simplifying candidates
2.992 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (exp (pow 1.0 3)))
  (log (exp (neg (pow (cos x) 3))))
  (log (exp (pow 1.0 3)))
  (log (exp (neg (pow (cos x) 3))))
  (log (* (cbrt (exp (- (pow 1.0 3) (pow (cos x) 3)))) (cbrt (exp (- (pow 1.0 3) (pow (cos x) 3))))))
  (log (cbrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (log 1)
  (log (exp (- (pow 1.0 3) (pow (cos x) 3))))
  (log (exp (pow 1.0 3)))
  (log (exp (pow (cos x) 3)))
  (log (exp (- (pow 1.0 3) (pow (cos x) 3))))
  (log (exp (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))))
  (log (exp (sqrt (- (pow 1.0 3) (pow (cos x) 3)))))
  (log (exp (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))
  (log (exp 1))
  (log (exp (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))))
  (log (exp (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))))
  (log (exp (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))))
  (log (exp (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))))
  (log (exp (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))))
  (log (exp (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))))
  (log (exp (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))))
  (log (exp (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))))
  (log (exp (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))))
  (log (exp (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))))
  (log (exp (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))))
  (log (exp (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2)))))
  (log (exp (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))))
  (log (exp (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))))
  (log (exp (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3)))))
  (log (exp (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2)))))
  (log (exp (pow 1 3)))
  (log (exp (pow 1 3)))
  (log (exp (pow 1 3)))
  (log (exp (pow 1 3)))
  (log (exp 1))
  (log (log (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (exp (log (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (* (cbrt (log (exp (- (pow 1.0 3) (pow (cos x) 3))))) (cbrt (log (exp (- (pow 1.0 3) (pow (cos x) 3))))))
  (cbrt (log (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (* (* (log (exp (- (pow 1.0 3) (pow (cos x) 3)))) (log (exp (- (pow 1.0 3) (pow (cos x) 3))))) (log (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (sqrt (log (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (sqrt (log (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (/ (exp (pow 1.0 3)) (exp (pow (cos x) 3)))
  (log (- (pow 1.0 3) (pow (cos x) 3)))
  (exp (- (pow 1.0 3) (pow (cos x) 3)))
  (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))))
  (cbrt (- (pow 1.0 3) (pow (cos x) 3)))
  (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3)))
  (sqrt (- (pow 1.0 3) (pow (cos x) 3)))
  (sqrt (- (pow 1.0 3) (pow (cos x) 3)))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- 1.0 (cos x))
  (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3))
  (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow 1.0 3) (pow (cos x) 3))))
  (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))
  (* (exp (* (cos x) (cos x))) (exp (* 1.0 (cos x))))
  (log (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (exp (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (* (* (+ (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (+ (pow (* (cos x) (cos x)) 3) (pow (* 1.0 (cos x)) 3))
  (+ (* (* (cos x) (cos x)) (* (cos x) (cos x))) (- (* (* 1.0 (cos x)) (* 1.0 (cos x))) (* (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (- (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (* 1.0 (cos x)) (* 1.0 (cos x))))
  (- (* (cos x) (cos x)) (* 1.0 (cos x)))
  (+ (cos x) 1.0)
  (+ (* 1/2 (cos (* 2 x))) (* 1.0 (cos x)))
  (* (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))
  (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2)))
  (+ (pow (cos x) 2) (* 1.0 (cos x)))
  (+ (pow (cos x) 2) (* 1.0 (cos x)))
  (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2)))
  (pow (cos x) 3)
  (pow (cos x) 3)
3.002 * * [simplify]: iteration  0 :  398  enodes  (cost  736 )
3.009 * * [simplify]: iteration  1 :  1608  enodes  (cost  687 )
3.054 * * [simplify]: iteration  2 :  5001  enodes  (cost  659 )
3.059 * [simplify]: Simplified to:
   (pow 1.0 3)
  (neg (pow (cos x) 3))
  (pow 1.0 3)
  (neg (pow (cos x) 3))
  (* 2 (log (cbrt (exp (- (pow 1.0 3) (pow (cos x) 3))))))
  (log (cbrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))
  0
  (- (pow 1.0 3) (pow (cos x) 3))
  (pow 1.0 3)
  (pow (cos x) 3)
  (- (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))))
  (sqrt (- (pow 1.0 3) (pow (cos x) 3)))
  (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))
  1
  (+ (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) (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) (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)) (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) (pow (cos x) 3/2))
  1
  1
  1
  1
  1
  (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)))
  (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 (cos x)) 3))
  (neg (pow (cos x) 3))
  (- (pow 1.0 6) (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))
  (pow (exp (cos x)) (+ (cos x) 1.0))
  (+ (log (cos x)) (log (+ (cos x) 1.0)))
  (pow (exp (cos x)) (+ (cos x) 1.0))
  (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (pow (* (cos x) (+ (cos x) 1.0)) 3)
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (+ (pow (* 1.0 (cos x)) 3) (pow (cos x) 6))
  (- (* (* 1.0 1.0) (pow (cos x) 2)) (- (* (* (pow (cos x) 2) 1.0) (cos x)) (pow (cos x) 4)))
  (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0)))
  (* (cos x) (- (cos x) 1.0))
  (+ (cos x) 1.0)
  (+ (* 1/2 (cos (* 2 x))) (* 1.0 (cos x)))
  (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)
  (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4)))
  (- 1.0 (pow (cos x) 3))
  (- 1.0 (pow (cos x) 3))
  (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2)))
  (* (cos x) (+ (cos x) 1.0))
  (* (cos x) (+ (cos x) 1.0))
  (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2)))
  (pow (cos x) 3)
  (pow (cos x) 3)
3.060 * * * [progress]: adding candidates to table
3.240 * [progress]: [Phase 3 of 3] Extracting.
3.241 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (* (pow (cos x) 3/2) (pow (cos x) 3/2))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (* (* (- 1.0 (cos x)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))) (cbrt (/ 1 (sin x)))))> #<alt (λ (x) (/ (/ (log (exp (- (pow 1.0 3) (pow (cos x) 3)))) (sin x)) (+ (* 1.0 1.0) (* (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (cos x)) 3)) (sin x)))> #<alt (λ (x) (/ (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (* (- 1.0 (cos x)) (/ (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (+ (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3))))) (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<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) (/ (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (/ (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0))))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (* (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
3.244 * * * [regime-changes]: Trying 1 branch expressions: (x)
3.244 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (* (pow (cos x) 3/2) (pow (cos x) 3/2))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (* (* (- 1.0 (cos x)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))) (cbrt (/ 1 (sin x)))))> #<alt (λ (x) (/ (/ (log (exp (- (pow 1.0 3) (pow (cos x) 3)))) (sin x)) (+ (* 1.0 1.0) (* (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (cos x)) 3)) (sin x)))> #<alt (λ (x) (/ (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (* (- 1.0 (cos x)) (/ (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (+ (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3))))) (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<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) (/ (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (/ (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0))))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (* (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
3.336 * * * [regime]: Found split indices: #<option (#s(si 4 60) #s(si 11 187) #s(si 10 255))>
3.337 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (* (pow (cos x) 3/2) (pow (cos x) 3/2))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (* (* (- 1.0 (cos x)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))) (cbrt (/ 1 (sin x)))))> #<alt (λ (x) (/ (/ (log (exp (- (pow 1.0 3) (pow (cos x) 3)))) (sin x)) (+ (* 1.0 1.0) (* (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (cos x)) 3)) (sin x)))> #<alt (λ (x) (/ (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (* (- 1.0 (cos x)) (/ (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (+ (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3))))) (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<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) (/ (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (/ (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0))))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (* (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
3.384 * [regimes]: Found splitpoints: (#s(sp 4 x -0.0229491805501743) #s(sp 11 x 0.02132116795110812) #s(sp 10 x +nan.0)) , with alts (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (* (pow (cos x) 3/2) (pow (cos x) 3/2))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (* (* (- 1.0 (cos x)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))) (cbrt (/ 1 (sin x)))))> #<alt (λ (x) (/ (/ (log (exp (- (pow 1.0 3) (pow (cos x) 3)))) (sin x)) (+ (* 1.0 1.0) (* (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))))> #<alt (λ (x) (/ (cbrt (pow (- 1.0 (cos x)) 3)) (sin x)))> #<alt (λ (x) (/ (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (* (- 1.0 (cos x)) (/ (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (sin x)))))> #<alt (λ (x) (/ (/ (+ (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3))))) (log (sqrt (exp (- (pow 1.0 3) (pow (cos x) 3)))))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<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) (/ (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (/ (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0))))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (pow (cos x) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (* (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (* (sin x) (+ 1.0 (cos x)))))>)
3.384 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -0.0229491805501743) (/ (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sin x)) (if (<= x 0.02132116795110812) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (/ (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0)))))))
3.385 * * [simplify]: iteration  0 :  48  enodes  (cost  37 )
3.386 * * [simplify]: iteration  1 :  48  enodes  (cost  37 )
3.386 * [simplify]: Simplified to:
   (if (<= x -0.0229491805501743) (/ (* (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x)))) (sin x)) (if (<= x 0.02132116795110812) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (/ (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0)))))))
11.484 * [regime-testing]: End program error score: 0.5764855569914613
11.546 * [regime-testing]: Target error score: 0