6.429 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.140 * * * [progress]: [2/2] Setting up program.
0.142 * [progress]: [Phase 2 of 3] Improving.
0.142 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- 1.0 (cos x)) (sin x))
0.144 * * [simplify]: iteration  0 :  11  enodes  (cost  4 )
0.145 * * [simplify]: iteration  1 :  14  enodes  (cost  4 )
0.146 * * [simplify]: iteration  2 :  16  enodes  (cost  4 )
0.147 * * [simplify]: iteration  3 :  16  enodes  (cost  4 )
0.147 * [simplify]: Simplified to:
   (/ (- 1.0 (cos x)) (sin x))
0.148 * * [progress]: iteration 1 / 4
0.148 * * * [progress]: picking best candidate
0.149 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))>
0.149 * * * [progress]: localizing error
0.156 * * * [progress]: generating rewritten candidates
0.157 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.159 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.163 * * * [progress]: generating series expansions
0.163 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.163 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.163 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.163 * [taylor]: Taking taylor expansion of 1.0 in x
0.163 * [taylor]: Taking taylor expansion of (cos x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.163 * [taylor]: Taking taylor expansion of 1.0 in x
0.163 * [taylor]: Taking taylor expansion of (cos x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.174 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.174 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.174 * [taylor]: Taking taylor expansion of 1.0 in x
0.174 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.175 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.175 * [taylor]: Taking taylor expansion of 1.0 in x
0.175 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.175 * [taylor]: Taking taylor expansion of x in x
0.178 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.178 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.178 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.178 * [taylor]: Taking taylor expansion of -1 in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.178 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.178 * [taylor]: Taking taylor expansion of -1 in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.182 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.182 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
0.182 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.182 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.182 * [taylor]: Taking taylor expansion of 1.0 in x
0.182 * [taylor]: Taking taylor expansion of (cos x) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.182 * [taylor]: Taking taylor expansion of (sin x) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.185 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.185 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.185 * [taylor]: Taking taylor expansion of 1.0 in x
0.185 * [taylor]: Taking taylor expansion of (cos x) in x
0.185 * [taylor]: Taking taylor expansion of x in x
0.185 * [taylor]: Taking taylor expansion of (sin x) in x
0.185 * [taylor]: Taking taylor expansion of x in x
0.211 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
0.211 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.211 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.211 * [taylor]: Taking taylor expansion of 1.0 in x
0.211 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.212 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.212 * [taylor]: Taking taylor expansion of x in x
0.212 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.212 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.212 * [taylor]: Taking taylor expansion of 1.0 in x
0.212 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.212 * [taylor]: Taking taylor expansion of x in x
0.212 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.218 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
0.218 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.218 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.218 * [taylor]: Taking taylor expansion of 1.0 in x
0.218 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.218 * [taylor]: Taking taylor expansion of -1 in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.219 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.219 * [taylor]: Taking taylor expansion of -1 in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.219 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.219 * [taylor]: Taking taylor expansion of 1.0 in x
0.219 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.219 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.219 * [taylor]: Taking taylor expansion of -1 in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.220 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.220 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.220 * [taylor]: Taking taylor expansion of -1 in x
0.220 * [taylor]: Taking taylor expansion of x in x
0.225 * * * [progress]: simplifying candidates
0.225 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (- (cos x))
  (- (- 1.0 (cos x)))
  (- (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ 1 (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (* (sin x) (+ 1.0 (cos x)))
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
0.228 * * [simplify]: iteration  0 :  118  enodes  (cost  76 )
0.231 * * [simplify]: iteration  1 :  303  enodes  (cost  76 )
0.236 * * [simplify]: iteration  2 :  834  enodes  (cost  76 )
0.258 * * [simplify]: iteration  3 :  3535  enodes  (cost  75 )
0.368 * * [simplify]: iteration  4 :  5001  enodes  (cost  75 )
0.368 * [simplify]: Simplified to:
   (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (- (cos x))
  (- (cos x) 1.0)
  (- (sin x))
  (/ 1.0 (sin x))
  (/ (cos x) (sin x))
  (/ 1 (sin 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))
0.369 * * * [progress]: adding candidates to table
0.401 * * [progress]: iteration 2 / 4
0.401 * * * [progress]: picking best candidate
0.418 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))>
0.418 * * * [progress]: localizing error
0.429 * * * [progress]: generating rewritten candidates
0.429 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.431 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.434 * * * [progress]: generating series expansions
0.434 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.434 * [approximate]: Taking taylor expansion of (* 1/24 (pow x 3)) in (x) around 0
0.434 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 3)) in x
0.434 * [taylor]: Taking taylor expansion of 1/24 in x
0.434 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 3)) in x
0.434 * [taylor]: Taking taylor expansion of 1/24 in x
0.434 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.447 * [approximate]: Taking taylor expansion of (/ 1/24 (pow x 3)) in (x) around 0
0.447 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 3)) in x
0.447 * [taylor]: Taking taylor expansion of 1/24 in x
0.447 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.447 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of (/ 1/24 (pow x 3)) in x
0.448 * [taylor]: Taking taylor expansion of 1/24 in x
0.448 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.460 * [approximate]: Taking taylor expansion of (/ -1/24 (pow x 3)) in (x) around 0
0.460 * [taylor]: Taking taylor expansion of (/ -1/24 (pow x 3)) in x
0.460 * [taylor]: Taking taylor expansion of -1/24 in x
0.460 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.461 * [taylor]: Taking taylor expansion of (/ -1/24 (pow x 3)) in x
0.461 * [taylor]: Taking taylor expansion of -1/24 in x
0.461 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.461 * [taylor]: Taking taylor expansion of x in x
0.472 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.472 * [approximate]: Taking taylor expansion of (* 1/240 (pow x 5)) in (x) around 0
0.472 * [taylor]: Taking taylor expansion of (* 1/240 (pow x 5)) in x
0.472 * [taylor]: Taking taylor expansion of 1/240 in x
0.472 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of (* 1/240 (pow x 5)) in x
0.472 * [taylor]: Taking taylor expansion of 1/240 in x
0.472 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.488 * [approximate]: Taking taylor expansion of (/ 1/240 (pow x 5)) in (x) around 0
0.488 * [taylor]: Taking taylor expansion of (/ 1/240 (pow x 5)) in x
0.488 * [taylor]: Taking taylor expansion of 1/240 in x
0.488 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.489 * [taylor]: Taking taylor expansion of (/ 1/240 (pow x 5)) in x
0.489 * [taylor]: Taking taylor expansion of 1/240 in x
0.489 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.489 * [taylor]: Taking taylor expansion of x in x
0.509 * [approximate]: Taking taylor expansion of (/ -1/240 (pow x 5)) in (x) around 0
0.509 * [taylor]: Taking taylor expansion of (/ -1/240 (pow x 5)) in x
0.510 * [taylor]: Taking taylor expansion of -1/240 in x
0.510 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.511 * [taylor]: Taking taylor expansion of (/ -1/240 (pow x 5)) in x
0.511 * [taylor]: Taking taylor expansion of -1/240 in x
0.511 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.511 * [taylor]: Taking taylor expansion of x in x
0.526 * * * [progress]: simplifying candidates
0.527 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 1/24 (* x x))
  (* 1/24 (pow x (/ 3 2)))
  (* 1/240 (pow x (/ 5 2)))
  (* 1/24 (pow x 3))
  (* 1/24 (pow x 3))
  (* 1/24 (pow x 3))
  (* 1/240 (pow x 5))
  (* 1/240 (pow x 5))
  (* 1/240 (pow x 5))
0.529 * * [simplify]: iteration  0 :  34  enodes  (cost  18 )
0.530 * * [simplify]: iteration  1 :  77  enodes  (cost  18 )
0.533 * * [simplify]: iteration  2 :  226  enodes  (cost  18 )
0.538 * * [simplify]: iteration  3 :  829  enodes  (cost  18 )
0.566 * * [simplify]: iteration  4 :  4349  enodes  (cost  18 )
0.659 * * [simplify]: iteration  5 :  5001  enodes  (cost  18 )
0.659 * [simplify]: Simplified to:
   (* 1/24 (* x x))
  (* 1/24 (pow x 3/2))
  (* 1/240 (pow x 5/2))
  (* 1/24 (pow x 3))
  (* 1/24 (pow x 3))
  (* 1/24 (pow x 3))
  (* 1/240 (pow x 5))
  (* 1/240 (pow x 5))
  (* 1/240 (pow x 5))
0.659 * * * [progress]: adding candidates to table
0.674 * * [progress]: iteration 3 / 4
0.674 * * * [progress]: picking best candidate
0.686 * * * * [pick]: Picked  #<alt (λ (x) (/ 1 (/ (sin x) (- 1.0 (cos x)))))>
0.686 * * * [progress]: localizing error
0.694 * * * [progress]: generating rewritten candidates
0.694 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.696 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.700 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.704 * * * [progress]: generating series expansions
0.704 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
0.704 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.704 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.704 * [taylor]: Taking taylor expansion of 1.0 in x
0.704 * [taylor]: Taking taylor expansion of (cos x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.704 * [taylor]: Taking taylor expansion of 1.0 in x
0.704 * [taylor]: Taking taylor expansion of (cos x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.721 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.721 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.721 * [taylor]: Taking taylor expansion of 1.0 in x
0.721 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.721 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.721 * [taylor]: Taking taylor expansion of 1.0 in x
0.721 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.725 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.725 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.725 * [taylor]: Taking taylor expansion of 1.0 in x
0.725 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.725 * [taylor]: Taking taylor expansion of -1 in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.725 * [taylor]: Taking taylor expansion of 1.0 in x
0.725 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.725 * [taylor]: Taking taylor expansion of -1 in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.728 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.729 * [approximate]: Taking taylor expansion of (/ (sin x) (- 1.0 (cos x))) in (x) around 0
0.729 * [taylor]: Taking taylor expansion of (/ (sin x) (- 1.0 (cos x))) in x
0.729 * [taylor]: Taking taylor expansion of (sin x) in x
0.729 * [taylor]: Taking taylor expansion of x in x
0.729 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.729 * [taylor]: Taking taylor expansion of 1.0 in x
0.729 * [taylor]: Taking taylor expansion of (cos x) in x
0.729 * [taylor]: Taking taylor expansion of x in x
0.732 * [taylor]: Taking taylor expansion of (/ (sin x) (- 1.0 (cos x))) in x
0.732 * [taylor]: Taking taylor expansion of (sin x) in x
0.732 * [taylor]: Taking taylor expansion of x in x
0.732 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.732 * [taylor]: Taking taylor expansion of 1.0 in x
0.732 * [taylor]: Taking taylor expansion of (cos x) in x
0.732 * [taylor]: Taking taylor expansion of x in x
0.750 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 x)) (- 1.0 (cos (/ 1 x)))) in (x) around 0
0.750 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- 1.0 (cos (/ 1 x)))) in x
0.750 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.750 * [taylor]: Taking taylor expansion of x in x
0.750 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.750 * [taylor]: Taking taylor expansion of 1.0 in x
0.750 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.750 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- 1.0 (cos (/ 1 x)))) in x
0.751 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.751 * [taylor]: Taking taylor expansion of 1.0 in x
0.751 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.757 * [approximate]: Taking taylor expansion of (/ (sin (/ -1 x)) (- 1.0 (cos (/ -1 x)))) in (x) around 0
0.757 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (- 1.0 (cos (/ -1 x)))) in x
0.757 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.757 * [taylor]: Taking taylor expansion of -1 in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.757 * [taylor]: Taking taylor expansion of 1.0 in x
0.757 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.757 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.757 * [taylor]: Taking taylor expansion of -1 in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.758 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (- 1.0 (cos (/ -1 x)))) in x
0.758 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.758 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.758 * [taylor]: Taking taylor expansion of -1 in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.758 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.758 * [taylor]: Taking taylor expansion of 1.0 in x
0.758 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.758 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.758 * [taylor]: Taking taylor expansion of -1 in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.764 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.764 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
0.764 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.764 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.764 * [taylor]: Taking taylor expansion of 1.0 in x
0.764 * [taylor]: Taking taylor expansion of (cos x) in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of (sin x) in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.768 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.768 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.768 * [taylor]: Taking taylor expansion of 1.0 in x
0.768 * [taylor]: Taking taylor expansion of (cos x) in x
0.768 * [taylor]: Taking taylor expansion of x in x
0.768 * [taylor]: Taking taylor expansion of (sin x) in x
0.768 * [taylor]: Taking taylor expansion of x in x
0.786 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
0.786 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.786 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.786 * [taylor]: Taking taylor expansion of 1.0 in x
0.786 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.786 * [taylor]: Taking taylor expansion of x in x
0.786 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.786 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.787 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.787 * [taylor]: Taking taylor expansion of 1.0 in x
0.787 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.792 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
0.792 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.792 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.792 * [taylor]: Taking taylor expansion of 1.0 in x
0.792 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.793 * [taylor]: Taking taylor expansion of -1 in x
0.793 * [taylor]: Taking taylor expansion of x in x
0.793 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.793 * [taylor]: Taking taylor expansion of -1 in x
0.793 * [taylor]: Taking taylor expansion of x in x
0.793 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
0.793 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.793 * [taylor]: Taking taylor expansion of 1.0 in x
0.793 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.793 * [taylor]: Taking taylor expansion of -1 in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.794 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.794 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.794 * [taylor]: Taking taylor expansion of -1 in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.804 * * * [progress]: simplifying candidates
0.805 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (- (cos x))
  (- (sin x))
  (- (- 1.0 (cos x)))
  (/ 1 (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (sin x) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (sin x) (- (* 1.0 1.0) (* (cos x) (cos x))))
  (- 1)
  (- (/ (sin x) (- 1.0 (cos x))))
  (/ 1 (/ (sin x) (- 1.0 (cos x))))
  (/ (/ (sin x) (- 1.0 (cos x))) 1)
  (/ 1 (sin x))
  (/ 1 (/ (sin x) (- (pow 1.0 3) (pow (cos x) 3))))
  (/ 1 (/ (sin x) (- (* 1.0 1.0) (* (cos x) (cos x)))))
  (/ 1 (sin x))
  (/ 1 (- (sin x)))
  (/ 1 1)
  (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4)))
  (- 1.0 (cos x))
  (- 1.0 (cos x))
  (- (* 2 (/ 1 x)) (+ (* 1/360 (pow x 3)) (* 1/6 x)))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (sin x) (- 1.0 (cos x)))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
0.808 * * [simplify]: iteration  0 :  137  enodes  (cost  125 )
0.811 * * [simplify]: iteration  1 :  435  enodes  (cost  123 )
0.820 * * [simplify]: iteration  2 :  1758  enodes  (cost  121 )
0.865 * * [simplify]: iteration  3 :  5001  enodes  (cost  121 )
0.866 * [simplify]: Simplified to:
   (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (- (cos x))
  (- (sin x))
  (- (- 1.0 (cos x)))
  (/ 1 (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (sin x) (- (pow 1.0 3) (pow (cos x) 3)))
  (/ (sin x) (- (* 1.0 1.0) (* (cos x) (cos x))))
  (- 1)
  (- (/ (sin x) (- 1.0 (cos x))))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x))
  (* (/ (- 1.0 (cos x)) (sin x)) (+ 1.0 (cos x)))
  (/ 1 (sin x))
  (/ 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))
  (- (- (/ 2 x) (* 1/6 x)) (* 1/360 (pow x 3)))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (sin x) (- 1.0 (cos x)))
  (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x)))
  (/ (- 1.0 (cos x)) (sin x))
  (/ (- 1.0 (cos x)) (sin x))
0.866 * * * [progress]: adding candidates to table
0.910 * * [progress]: iteration 4 / 4
0.910 * * * [progress]: picking best candidate
0.930 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ 1 (sin x)) (/ 1 (- 1.0 (cos x)))))>
0.930 * * * [progress]: localizing error
0.939 * * * [progress]: generating rewritten candidates
0.939 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.942 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.947 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.952 * * * [progress]: generating series expansions
0.952 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.952 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0
0.952 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.952 * [taylor]: Taking taylor expansion of 1.0 in x
0.953 * [taylor]: Taking taylor expansion of (cos x) in x
0.953 * [taylor]: Taking taylor expansion of x in x
0.953 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.953 * [taylor]: Taking taylor expansion of 1.0 in x
0.953 * [taylor]: Taking taylor expansion of (cos x) in x
0.953 * [taylor]: Taking taylor expansion of x in x
0.963 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0
0.963 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.963 * [taylor]: Taking taylor expansion of 1.0 in x
0.963 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.964 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.964 * [taylor]: Taking taylor expansion of 1.0 in x
0.964 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.967 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0
0.967 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.967 * [taylor]: Taking taylor expansion of 1.0 in x
0.968 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.968 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.968 * [taylor]: Taking taylor expansion of -1 in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.968 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
0.968 * [taylor]: Taking taylor expansion of 1.0 in x
0.968 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.968 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.968 * [taylor]: Taking taylor expansion of -1 in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.972 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.972 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0
0.972 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.972 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.972 * [taylor]: Taking taylor expansion of 1.0 in x
0.972 * [taylor]: Taking taylor expansion of (cos x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of (sin x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x
0.975 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
0.975 * [taylor]: Taking taylor expansion of 1.0 in x
0.975 * [taylor]: Taking taylor expansion of (cos x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (sin x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.993 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0
0.993 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.993 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.993 * [taylor]: Taking taylor expansion of 1.0 in x
0.993 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.994 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.994 * [taylor]: Taking taylor expansion of x in x
0.994 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x
0.994 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
0.994 * [taylor]: Taking taylor expansion of 1.0 in x
0.994 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.994 * [taylor]: Taking taylor expansion of x in x
0.995 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.995 * [taylor]: Taking taylor expansion of x in x
1.000 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0
1.000 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
1.000 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.000 * [taylor]: Taking taylor expansion of 1.0 in x
1.000 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.000 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.000 * [taylor]: Taking taylor expansion of -1 in x
1.000 * [taylor]: Taking taylor expansion of x in x
1.001 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.001 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.001 * [taylor]: Taking taylor expansion of -1 in x
1.001 * [taylor]: Taking taylor expansion of x in x
1.001 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x
1.001 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.001 * [taylor]: Taking taylor expansion of 1.0 in x
1.001 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.001 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.001 * [taylor]: Taking taylor expansion of -1 in x
1.001 * [taylor]: Taking taylor expansion of x in x
1.002 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.002 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.002 * [taylor]: Taking taylor expansion of -1 in x
1.002 * [taylor]: Taking taylor expansion of x in x
1.007 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.007 * [approximate]: Taking taylor expansion of (/ 1 (sin x)) in (x) around 0
1.007 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x
1.007 * [taylor]: Taking taylor expansion of (sin x) in x
1.007 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x
1.008 * [taylor]: Taking taylor expansion of (sin x) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.021 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in (x) around 0
1.021 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x
1.021 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x
1.022 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.024 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in (x) around 0
1.024 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x
1.024 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.024 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.024 * [taylor]: Taking taylor expansion of -1 in x
1.024 * [taylor]: Taking taylor expansion of x in x
1.024 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x
1.024 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.024 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.024 * [taylor]: Taking taylor expansion of -1 in x
1.024 * [taylor]: Taking taylor expansion of x in x
1.026 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.026 * [approximate]: Taking taylor expansion of (/ 1 (- 1.0 (cos x))) in (x) around 0
1.026 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (cos x))) in x
1.026 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.026 * [taylor]: Taking taylor expansion of 1.0 in x
1.026 * [taylor]: Taking taylor expansion of (cos x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.029 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (cos x))) in x
1.029 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x
1.029 * [taylor]: Taking taylor expansion of 1.0 in x
1.029 * [taylor]: Taking taylor expansion of (cos x) in x
1.029 * [taylor]: Taking taylor expansion of x in x
1.042 * [approximate]: Taking taylor expansion of (/ 1 (- 1.0 (cos (/ 1 x)))) in (x) around 0
1.042 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (cos (/ 1 x)))) in x
1.042 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.042 * [taylor]: Taking taylor expansion of 1.0 in x
1.042 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.042 * [taylor]: Taking taylor expansion of x in x
1.043 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (cos (/ 1 x)))) in x
1.043 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x
1.043 * [taylor]: Taking taylor expansion of 1.0 in x
1.043 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.043 * [taylor]: Taking taylor expansion of x in x
1.048 * [approximate]: Taking taylor expansion of (/ 1 (- 1.0 (cos (/ -1 x)))) in (x) around 0
1.048 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (cos (/ -1 x)))) in x
1.048 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.048 * [taylor]: Taking taylor expansion of 1.0 in x
1.048 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.048 * [taylor]: Taking taylor expansion of -1 in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (cos (/ -1 x)))) in x
1.048 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x
1.048 * [taylor]: Taking taylor expansion of 1.0 in x
1.048 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.048 * [taylor]: Taking taylor expansion of -1 in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.054 * * * [progress]: simplifying candidates
1.055 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (- (cos x))
  (- (/ 1 (sin x)))
  (- (/ 1 (- 1.0 (cos x))))
  (/ 1 1)
  (/ (/ 1 (sin x)) (/ 1 (- 1.0 (cos x))))
  (/ 1 (/ 1 (- (pow 1.0 3) (pow (cos x) 3))))
  (/ (/ 1 (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))
  (/ 1 (/ 1 (- (* 1.0 1.0) (* (cos x) (cos x)))))
  (/ (/ 1 (sin x)) (+ 1.0 (cos x)))
  (/ 1 (/ 1 (- 1.0 (cos x))))
  (/ (/ 1 (- 1.0 (cos x))) (/ 1 (sin x)))
  (/ (/ 1 (sin x)) 1)
  (/ (/ 1 (sin x)) (/ 1 (- (pow 1.0 3) (pow (cos x) 3))))
  (/ (/ 1 (sin x)) (/ 1 (- (* 1.0 1.0) (* (cos x) (cos x)))))
  (/ (/ 1 (- 1.0 (cos x))) (/ 1 (sin x)))
  (/ (/ 1 (sin x)) 1)
  (/ (/ 1 (sin x)) (- 1))
  (/ (/ 1 (sin x)) 1)
  (* (/ 1 (- 1.0 (cos x))) (sin x))
  (* (/ 1 (- 1.0 (cos x))) (- (sin x)))
  (* (/ 1 (- 1.0 (cos x))) (/ (sin x) 1))
  (- 1)
  (- (sin x))
  (/ 1 (sin x))
  (/ (sin x) 1)
  (- 1)
  (- (- 1.0 (cos x)))
  (/ 1 (- 1.0 (cos x)))
  (/ (- 1.0 (cos x)) 1)
  (/ 1 (- (pow 1.0 3) (pow (cos x) 3)))
  (/ 1 (- (* 1.0 1.0) (* (cos x) (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))
  (+ (* 7/360 (pow x 3)) (+ (/ 1 x) (* 1/6 x)))
  (/ 1 (sin x))
  (/ 1 (sin x))
  (+ (* 1/120 (pow x 2)) (+ (* 2 (/ 1 (pow x 2))) 1/6))
  (/ 1 (- 1.0 (cos x)))
  (/ 1 (- 1.0 (cos x)))
1.058 * * [simplify]: iteration  0 :  189  enodes  (cost  188 )
1.062 * * [simplify]: iteration  1 :  742  enodes  (cost  176 )
1.079 * * [simplify]: iteration  2 :  3819  enodes  (cost  175 )
1.185 * * [simplify]: iteration  3 :  5001  enodes  (cost  175 )
1.186 * [simplify]: Simplified to:
   (- (pow 1.0 3) (pow (cos x) 3))
  (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))
  (- (cos x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (+ 1.0 (cos x))
  (- (cos x))
  (- (/ 1 (sin x)))
  (- (/ 1 (- 1.0 (cos x))))
  1
  (/ (- 1.0 (cos x)) (sin x))
  (- (pow 1.0 3) (pow (cos x) 3))
  (/ (/ 1 (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))
  (- (* 1.0 1.0) (* (cos x) (cos x)))
  (/ (/ 1 (sin x)) (+ 1.0 (cos x)))
  (- 1.0 (cos x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ 1 (sin x))
  (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x))
  (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ 1 (sin x))
  (/ 1 (- (sin x)))
  (/ 1 (sin x))
  (/ (sin x) (- 1.0 (cos x)))
  (/ (- (sin x)) (- 1.0 (cos x)))
  (/ (sin x) (- 1.0 (cos x)))
  (- 1)
  (- (sin x))
  (/ 1 (sin x))
  (sin x)
  (- 1)
  (- (- 1.0 (cos x)))
  (/ 1 (- 1.0 (cos x)))
  (- 1.0 (cos x))
  (/ 1 (- (pow 1.0 3) (pow (cos x) 3)))
  (/ 1 (- (* 1.0 1.0) (* (cos x) (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))
  (+ (* 7/360 (pow x 3)) (+ (/ 1 x) (* 1/6 x)))
  (/ 1 (sin x))
  (/ 1 (sin x))
  (+ (+ 1/6 (/ 2 (pow x 2))) (* 1/120 (pow x 2)))
  (/ 1 (- 1.0 (cos x)))
  (/ 1 (- 1.0 (cos x)))
1.187 * * * [progress]: adding candidates to table
1.251 * [progress]: [Phase 3 of 3] Extracting.
1.251 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (/ 1 (* (sin x) (/ 1 (- 1.0 (cos x))))))> #<alt (λ (x) (* (- (pow 1.0 3) (pow (cos x) 3)) (/ (/ 1 (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))))> #<alt (λ (x) (* (- (* 1.0 1.0) (* (cos x) (cos x))) (/ (/ 1 (sin x)) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (/ (/ 1 (sin x)) (/ 1 (- 1.0 (cos x)))))> #<alt (λ (x) (/ (/ 1 (sin x)) (* (/ 1 (- (pow 1.0 3) (pow (cos x) 3))) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))>)
1.253 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- 1.0 (cos x)) (sin x)) x)
1.253 * * * * [regimes]: Trying to branch on (/ (- 1.0 (cos x)) (sin x)) from (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (/ 1 (* (sin x) (/ 1 (- 1.0 (cos x))))))> #<alt (λ (x) (* (- (pow 1.0 3) (pow (cos x) 3)) (/ (/ 1 (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))))> #<alt (λ (x) (* (- (* 1.0 1.0) (* (cos x) (cos x))) (/ (/ 1 (sin x)) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (/ (/ 1 (sin x)) (/ 1 (- 1.0 (cos x)))))> #<alt (λ (x) (/ (/ 1 (sin x)) (* (/ 1 (- (pow 1.0 3) (pow (cos x) 3))) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))>)
1.304 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (/ 1 (* (sin x) (/ 1 (- 1.0 (cos x))))))> #<alt (λ (x) (* (- (pow 1.0 3) (pow (cos x) 3)) (/ (/ 1 (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))))> #<alt (λ (x) (* (- (* 1.0 1.0) (* (cos x) (cos x))) (/ (/ 1 (sin x)) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (/ (/ 1 (sin x)) (/ 1 (- 1.0 (cos x)))))> #<alt (λ (x) (/ (/ 1 (sin x)) (* (/ 1 (- (pow 1.0 3) (pow (cos x) 3))) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))>)
1.357 * * * [regime]: Found split indices: #<option (#s(si 7 68) #s(si 6 200) #s(si 7 255))>
1.358 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (/ 1 (* (sin x) (/ 1 (- 1.0 (cos x))))))> #<alt (λ (x) (* (- (pow 1.0 3) (pow (cos x) 3)) (/ (/ 1 (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))))> #<alt (λ (x) (* (- (* 1.0 1.0) (* (cos x) (cos x))) (/ (/ 1 (sin x)) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (/ (/ 1 (sin x)) (/ 1 (- 1.0 (cos x)))))> #<alt (λ (x) (/ (/ 1 (sin x)) (* (/ 1 (- (pow 1.0 3) (pow (cos x) 3))) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))>)
1.425 * [regimes]: Found splitpoints: (#s(sp 7 x -0.02054167097202016) #s(sp 6 x 0.0230298891429469) #s(sp 7 x +nan.0)) , with alts (#<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x)))> #<alt (λ (x) (- (/ 1.0 (sin x)) (/ (cos x) (sin x))))> #<alt (λ (x) (/ 1 (* (sin x) (/ 1 (- 1.0 (cos x))))))> #<alt (λ (x) (* (- (pow 1.0 3) (pow (cos x) 3)) (/ (/ 1 (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))))> #<alt (λ (x) (* (- (* 1.0 1.0) (* (cos x) (cos x))) (/ (/ 1 (sin x)) (+ 1.0 (cos x)))))> #<alt (λ (x) (/ (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (+ 1.0 (cos x))))> #<alt (λ (x) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))> #<alt (λ (x) (/ (- 1.0 (cos x)) (sin x)))> #<alt (λ (x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))))> #<alt (λ (x) (/ (/ 1 (sin x)) (/ 1 (- 1.0 (cos x)))))> #<alt (λ (x) (/ (/ 1 (sin x)) (* (/ 1 (- (pow 1.0 3) (pow (cos x) 3))) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))))))>)
1.425 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -0.02054167097202016) (/ (- 1.0 (cos x)) (sin x)) (if (<= x 0.0230298891429469) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x))))
1.426 * * [simplify]: iteration  0 :  32  enodes  (cost  11 )
1.426 * * [simplify]: iteration  1 :  32  enodes  (cost  11 )
1.426 * [simplify]: Simplified to:
   (if (or (<= x -0.02054167097202016) (not (<= x 0.0230298891429469))) (/ (- 1.0 (cos x)) (sin x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))))
5.991 * [regime-testing]: Baseline error score: 31.735306349352708
5.992 * [regime-testing]: Oracle error score: 0.24167857304482762
5.993 * [regime-testing]: End program error score: 0.45513594236935934
6.017 * [regime-testing]: Target error score: 0.00012501562695336918