1.082 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
1.400 * * * [progress]: [2/2] Setting up program.
1.406 * [progress]: [Phase 2 of 3] Improving.
1.455 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
1.990 * * [simplify]: iteration  0 :  1005  enodes  (cost  14 )
1.990 * * [simplify]: iteration  1 :  1005  enodes  (cost  14 )
1.991 * [simplify]: Simplified to:
   (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
1.992 * * [progress]: iteration 1 / 4
1.993 * * * [progress]: picking best candidate
1.996 * * * * [pick]: Picked  #<alt (λ (x) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))>
1.996 * * * [progress]: localizing error
2.010 * * * [progress]: generating rewritten candidates
2.010 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
2.016 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
2.026 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.039 * * * [progress]: generating series expansions
2.039 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
2.046 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0
2.047 * [taylor]: Taking taylor expansion of (- x (sin x)) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.047 * [taylor]: Taking taylor expansion of (sin x) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.047 * [taylor]: Taking taylor expansion of (- x (sin x)) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.047 * [taylor]: Taking taylor expansion of (sin x) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.060 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0
2.060 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x
2.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.060 * [taylor]: Taking taylor expansion of x in x
2.060 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.060 * [taylor]: Taking taylor expansion of x in x
2.061 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x
2.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.061 * [taylor]: Taking taylor expansion of x in x
2.061 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.061 * [taylor]: Taking taylor expansion of x in x
2.068 * [approximate]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0
2.068 * [taylor]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in x
2.068 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x
2.068 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.068 * [taylor]: Taking taylor expansion of -1 in x
2.068 * [taylor]: Taking taylor expansion of x in x
2.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.068 * [taylor]: Taking taylor expansion of x in x
2.068 * [taylor]: Taking taylor expansion of (neg (+ (sin (/ -1 x)) (/ 1 x))) in x
2.068 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x
2.068 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.068 * [taylor]: Taking taylor expansion of -1 in x
2.068 * [taylor]: Taking taylor expansion of x in x
2.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.069 * [taylor]: Taking taylor expansion of x in x
2.075 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
2.075 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0
2.075 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
2.075 * [taylor]: Taking taylor expansion of x in x
2.075 * [taylor]: Taking taylor expansion of (tan x) in x
2.083 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.083 * [taylor]: Taking taylor expansion of (sin x) in x
2.083 * [taylor]: Taking taylor expansion of x in x
2.083 * [taylor]: Taking taylor expansion of (cos x) in x
2.083 * [taylor]: Taking taylor expansion of x in x
2.084 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
2.084 * [taylor]: Taking taylor expansion of x in x
2.084 * [taylor]: Taking taylor expansion of (tan x) in x
2.084 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.084 * [taylor]: Taking taylor expansion of (sin x) in x
2.084 * [taylor]: Taking taylor expansion of x in x
2.084 * [taylor]: Taking taylor expansion of (cos x) in x
2.084 * [taylor]: Taking taylor expansion of x in x
2.099 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0
2.099 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
2.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.099 * [taylor]: Taking taylor expansion of x in x
2.099 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.099 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.099 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.099 * [taylor]: Taking taylor expansion of x in x
2.100 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.100 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.100 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.100 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.100 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.101 * [taylor]: Taking taylor expansion of x in x
2.114 * [approximate]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0
2.114 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x
2.114 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
2.114 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
2.114 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
2.114 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.114 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.114 * [taylor]: Taking taylor expansion of -1 in x
2.114 * [taylor]: Taking taylor expansion of x in x
2.115 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.115 * [taylor]: Taking taylor expansion of -1 in x
2.115 * [taylor]: Taking taylor expansion of x in x
2.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.115 * [taylor]: Taking taylor expansion of x in x
2.115 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x
2.115 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
2.115 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
2.115 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
2.115 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.115 * [taylor]: Taking taylor expansion of -1 in x
2.115 * [taylor]: Taking taylor expansion of x in x
2.115 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.115 * [taylor]: Taking taylor expansion of -1 in x
2.115 * [taylor]: Taking taylor expansion of x in x
2.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.116 * [taylor]: Taking taylor expansion of x in x
2.129 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.130 * [approximate]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in (x) around 0
2.130 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x
2.130 * [taylor]: Taking taylor expansion of (- x (sin x)) in x
2.130 * [taylor]: Taking taylor expansion of x in x
2.130 * [taylor]: Taking taylor expansion of (sin x) in x
2.130 * [taylor]: Taking taylor expansion of x in x
2.130 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
2.130 * [taylor]: Taking taylor expansion of x in x
2.130 * [taylor]: Taking taylor expansion of (tan x) in x
2.130 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.130 * [taylor]: Taking taylor expansion of (sin x) in x
2.130 * [taylor]: Taking taylor expansion of x in x
2.130 * [taylor]: Taking taylor expansion of (cos x) in x
2.130 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of (/ (- x (sin x)) (- x (tan x))) in x
2.133 * [taylor]: Taking taylor expansion of (- x (sin x)) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of (sin x) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of (tan x) in x
2.134 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.134 * [taylor]: Taking taylor expansion of (sin x) in x
2.134 * [taylor]: Taking taylor expansion of x in x
2.134 * [taylor]: Taking taylor expansion of (cos x) in x
2.134 * [taylor]: Taking taylor expansion of x in x
2.154 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0
2.154 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x
2.155 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 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 (sin (/ 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 x) (tan (/ 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 (tan (/ 1 x)) in x
2.155 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.155 * [taylor]: Taking taylor expansion of (sin (/ 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 (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.156 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (sin (/ 1 x))) (- (/ 1 x) (tan (/ 1 x)))) in x
2.156 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x
2.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.156 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.156 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
2.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.156 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.156 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.156 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.156 * [taylor]: Taking taylor expansion of x in x
2.157 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.157 * [taylor]: Taking taylor expansion of x in x
2.169 * [approximate]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0
2.169 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x
2.169 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x
2.169 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.170 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.170 * [taylor]: Taking taylor expansion of -1 in x
2.170 * [taylor]: Taking taylor expansion of x in x
2.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.170 * [taylor]: Taking taylor expansion of x in x
2.170 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
2.170 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
2.170 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
2.170 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.170 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.170 * [taylor]: Taking taylor expansion of -1 in x
2.170 * [taylor]: Taking taylor expansion of x in x
2.170 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.170 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.170 * [taylor]: Taking taylor expansion of -1 in x
2.170 * [taylor]: Taking taylor expansion of x in x
2.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.171 * [taylor]: Taking taylor expansion of x in x
2.171 * [taylor]: Taking taylor expansion of (/ (+ (sin (/ -1 x)) (/ 1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x
2.171 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x
2.171 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.171 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.171 * [taylor]: Taking taylor expansion of -1 in x
2.171 * [taylor]: Taking taylor expansion of x in x
2.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.171 * [taylor]: Taking taylor expansion of x in x
2.171 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
2.171 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
2.171 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
2.171 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.171 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.171 * [taylor]: Taking taylor expansion of -1 in x
2.171 * [taylor]: Taking taylor expansion of x in x
2.172 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.172 * [taylor]: Taking taylor expansion of -1 in x
2.172 * [taylor]: Taking taylor expansion of x in x
2.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.172 * [taylor]: Taking taylor expansion of x in x
2.183 * * * [progress]: simplifying candidates
2.184 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 x (sin.f64 x))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x)))
  (-.f64 (*.f64 x x) (*.f64 (sin.f64 x) (sin.f64 x)))
  (+.f64 x (sin.f64 x))
  (neg.f64 (sin.f64 x))
  (-.f64 (pow.f64 x 3) (pow.f64 (sin.f64 x) 3))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (*.f64 x (sin.f64 x))))
  (sqrt.f64 (-.f64 x (sin.f64 x)))
  (sqrt.f64 (-.f64 x (sin.f64 x)))
  (*.f64 (*.f64 (-.f64 x (sin.f64 x)) (-.f64 x (sin.f64 x))) (-.f64 x (sin.f64 x)))
  (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x))))
  (cbrt.f64 (-.f64 x (sin.f64 x)))
  (exp.f64 (-.f64 x (sin.f64 x)))
  (log.f64 (-.f64 x (sin.f64 x)))
  (/.f64 (exp.f64 x) (exp.f64 (sin.f64 x)))
  (-.f64 x (tan.f64 x))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))
  (+.f64 x (tan.f64 x))
  (neg.f64 (tan.f64 x))
  (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) (*.f64 x (tan.f64 x))))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (*.f64 (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x))) (-.f64 x (tan.f64 x)))
  (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (cbrt.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (log.f64 (-.f64 x (tan.f64 x)))
  (/.f64 (exp.f64 x) (exp.f64 (tan.f64 x)))
  (*.f64 (-.f64 x (tan.f64 x)) (+.f64 x (sin.f64 x)))
  (*.f64 (-.f64 x (tan.f64 x)) (+.f64 (*.f64 x x) (+.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (*.f64 x (sin.f64 x)))))
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3)))
  (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x)))
  (/.f64 (-.f64 x (tan.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))))
  (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x)))
  (/.f64 (-.f64 x (tan.f64 x)) (sqrt.f64 (-.f64 x (sin.f64 x))))
  (/.f64 (-.f64 x (tan.f64 x)) (cbrt.f64 (-.f64 x (sin.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) 1)
  (/.f64 (-.f64 x (sin.f64 x)) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) 1)
  (/.f64 (-.f64 x (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x)))
  (/.f64 1 (-.f64 x (tan.f64 x)))
  (/.f64 1 1)
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 1 1)
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 1 (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 x (sin.f64 x)) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) 1)
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) 1)
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 1 1)
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 1 1)
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 1 (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 x (sin.f64 x)) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) 1)
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) 1)
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x)))) 1)
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x)))) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x)))) 1)
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x)))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x)))) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 x (-.f64 x (tan.f64 x)))
  (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))
  (neg.f64 (-.f64 x (sin.f64 x)))
  (neg.f64 (-.f64 x (tan.f64 x)))
  (sqrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (sqrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (*.f64 (*.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))) (cbrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))))
  (cbrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (/.f64 (*.f64 (*.f64 (-.f64 x (sin.f64 x)) (-.f64 x (sin.f64 x))) (-.f64 x (sin.f64 x))) (*.f64 (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x))) (-.f64 x (tan.f64 x))))
  (exp.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (log.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (-.f64 (log.f64 (-.f64 x (sin.f64 x))) (log.f64 (-.f64 x (tan.f64 x))))
  (-.f64 (+.f64 (*.f64 1/5040 (pow.f64 x 7)) (*.f64 1/6 (pow.f64 x 3))) (*.f64 1/120 (pow.f64 x 5)))
  (-.f64 x (sin.f64 x))
  (-.f64 x (sin.f64 x))
  (neg.f64 (+.f64 (*.f64 17/315 (pow.f64 x 7)) (+.f64 (*.f64 1/3 (pow.f64 x 3)) (*.f64 2/15 (pow.f64 x 5)))))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 (*.f64 9/40 (pow.f64 x 2)) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (pow.f64 (cos.f64 x) 2))) 1)) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (cos.f64 x)))))
  (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (pow.f64 (cos.f64 x) 2))) 1)) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (cos.f64 x)))))
2.239 * * [simplify]: iteration  0 :  4941  enodes  (cost  1817 )
2.240 * * [simplify]: iteration  1 :  4941  enodes  (cost  1817 )
2.249 * [simplify]: Simplified to:
   (-.f64 x (sin.f64 x))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x)))
  (-.f64 (*.f64 x x) (pow.f64 (sin.f64 x) 2))
  (+.f64 x (sin.f64 x))
  (neg.f64 (sin.f64 x))
  (-.f64 (pow.f64 x 3) (pow.f64 (sin.f64 x) 3))
  (+.f64 (*.f64 x x) (*.f64 (sin.f64 x) (+.f64 x (sin.f64 x))))
  (sqrt.f64 (-.f64 x (sin.f64 x)))
  (sqrt.f64 (-.f64 x (sin.f64 x)))
  (pow.f64 (-.f64 x (sin.f64 x)) 3)
  (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x))))
  (cbrt.f64 (-.f64 x (sin.f64 x)))
  (exp.f64 (-.f64 x (sin.f64 x)))
  (log.f64 (-.f64 x (sin.f64 x)))
  (exp.f64 (-.f64 x (sin.f64 x)))
  (-.f64 x (tan.f64 x))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))
  (+.f64 x (tan.f64 x))
  (neg.f64 (tan.f64 x))
  (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))
  (+.f64 (*.f64 x x) (*.f64 (tan.f64 x) (+.f64 x (tan.f64 x))))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (pow.f64 (-.f64 x (tan.f64 x)) 3)
  (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (cbrt.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (log.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (*.f64 (+.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (*.f64 (+.f64 (*.f64 x x) (*.f64 (sin.f64 x) (+.f64 x (sin.f64 x)))) (-.f64 x (tan.f64 x)))
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3)))
  (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x)))
  (/.f64 (-.f64 x (tan.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))))
  (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x)))
  (/.f64 (-.f64 x (tan.f64 x)) (sqrt.f64 (-.f64 x (sin.f64 x))))
  (/.f64 (-.f64 x (tan.f64 x)) (cbrt.f64 (-.f64 x (sin.f64 x))))
  (-.f64 x (sin.f64 x))
  (/.f64 (-.f64 x (sin.f64 x)) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (-.f64 x (sin.f64 x))
  (/.f64 (-.f64 x (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x)))
  (/.f64 1 (-.f64 x (tan.f64 x)))
  1
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  1
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 1 (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 x (sin.f64 x)) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x)))
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x)))
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (sin.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  1
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  1
  (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 1 (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (-.f64 x (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 x (sin.f64 x)) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (sqrt.f64 (-.f64 x (sin.f64 x)))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (sqrt.f64 (-.f64 x (sin.f64 x)))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (sqrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x))))
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x)))) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x))))
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (-.f64 x (tan.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x)))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (sin.f64 x)))) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (cbrt.f64 (-.f64 x (sin.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 x (-.f64 x (tan.f64 x)))
  (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))
  (-.f64 (sin.f64 x) x)
  (-.f64 (tan.f64 x) x)
  (sqrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (sqrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (pow.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))) (cbrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))))
  (cbrt.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (pow.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 3)
  (exp.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (log.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (log.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
  (-.f64 (+.f64 (*.f64 1/5040 (pow.f64 x 7)) (*.f64 (pow.f64 x 3) 1/6)) (*.f64 1/120 (pow.f64 x 5)))
  (-.f64 x (sin.f64 x))
  (-.f64 x (sin.f64 x))
  (+.f64 (-.f64 (*.f64 (pow.f64 x 7) -17/315) (*.f64 (pow.f64 x 3) 1/3)) (*.f64 (pow.f64 x 5) -2/15))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (*.f64 x x) (pow.f64 (cos.f64 x) 2))))) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x))))))
  (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (*.f64 x x) (pow.f64 (cos.f64 x) 2))))) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x))))))
2.250 * * * [progress]: adding candidates to table
2.413 * * [progress]: iteration 2 / 4
2.414 * * * [progress]: picking best candidate
2.422 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))>
2.422 * * * [progress]: localizing error
2.435 * * * [progress]: generating rewritten candidates
2.435 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.445 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
2.450 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
2.457 * * * [progress]: generating series expansions
2.457 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.458 * [approximate]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in (x) around 0
2.458 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x
2.458 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x
2.458 * [taylor]: Taking taylor expansion of 9/40 in x
2.458 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.458 * [taylor]: Taking taylor expansion of x in x
2.458 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x
2.459 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x
2.459 * [taylor]: Taking taylor expansion of 27/2800 in x
2.459 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.459 * [taylor]: Taking taylor expansion of x in x
2.459 * [taylor]: Taking taylor expansion of 1/2 in x
2.459 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x
2.459 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x
2.459 * [taylor]: Taking taylor expansion of 9/40 in x
2.459 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.459 * [taylor]: Taking taylor expansion of x in x
2.459 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x
2.459 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x
2.459 * [taylor]: Taking taylor expansion of 27/2800 in x
2.459 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.459 * [taylor]: Taking taylor expansion of x in x
2.459 * [taylor]: Taking taylor expansion of 1/2 in x
2.463 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0
2.463 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x
2.463 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x
2.463 * [taylor]: Taking taylor expansion of 9/40 in x
2.463 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.463 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.463 * [taylor]: Taking taylor expansion of x in x
2.463 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x
2.463 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x
2.463 * [taylor]: Taking taylor expansion of 27/2800 in x
2.463 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.463 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.463 * [taylor]: Taking taylor expansion of x in x
2.463 * [taylor]: Taking taylor expansion of 1/2 in x
2.464 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x
2.464 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x
2.464 * [taylor]: Taking taylor expansion of 9/40 in x
2.464 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.464 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.464 * [taylor]: Taking taylor expansion of x in x
2.464 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x
2.464 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x
2.464 * [taylor]: Taking taylor expansion of 27/2800 in x
2.464 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.464 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.464 * [taylor]: Taking taylor expansion of x in x
2.464 * [taylor]: Taking taylor expansion of 1/2 in x
2.474 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0
2.474 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x
2.474 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x
2.474 * [taylor]: Taking taylor expansion of 9/40 in x
2.474 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.474 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.474 * [taylor]: Taking taylor expansion of x in x
2.474 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x
2.474 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x
2.474 * [taylor]: Taking taylor expansion of 27/2800 in x
2.474 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.474 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.474 * [taylor]: Taking taylor expansion of x in x
2.474 * [taylor]: Taking taylor expansion of 1/2 in x
2.474 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x
2.475 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x
2.475 * [taylor]: Taking taylor expansion of 9/40 in x
2.475 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.475 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.475 * [taylor]: Taking taylor expansion of x in x
2.475 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x
2.475 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x
2.475 * [taylor]: Taking taylor expansion of 27/2800 in x
2.475 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.475 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.475 * [taylor]: Taking taylor expansion of x in x
2.475 * [taylor]: Taking taylor expansion of 1/2 in x
2.487 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
2.488 * [approximate]: Taking taylor expansion of (* 27/2800 (pow x 4)) in (x) around 0
2.488 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x
2.488 * [taylor]: Taking taylor expansion of 27/2800 in x
2.488 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.488 * [taylor]: Taking taylor expansion of x in x
2.488 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x
2.488 * [taylor]: Taking taylor expansion of 27/2800 in x
2.488 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.488 * [taylor]: Taking taylor expansion of x in x
2.500 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0
2.500 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x
2.500 * [taylor]: Taking taylor expansion of 27/2800 in x
2.500 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.500 * [taylor]: Taking taylor expansion of x in x
2.501 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x
2.501 * [taylor]: Taking taylor expansion of 27/2800 in x
2.501 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.501 * [taylor]: Taking taylor expansion of x in x
2.515 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0
2.515 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x
2.515 * [taylor]: Taking taylor expansion of 27/2800 in x
2.515 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.515 * [taylor]: Taking taylor expansion of x in x
2.515 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x
2.515 * [taylor]: Taking taylor expansion of 27/2800 in x
2.515 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.515 * [taylor]: Taking taylor expansion of x in x
2.526 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
2.527 * [approximate]: Taking taylor expansion of (* 9/40 (pow x 2)) in (x) around 0
2.527 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x
2.527 * [taylor]: Taking taylor expansion of 9/40 in x
2.527 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.527 * [taylor]: Taking taylor expansion of x in x
2.527 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x
2.527 * [taylor]: Taking taylor expansion of 9/40 in x
2.527 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.527 * [taylor]: Taking taylor expansion of x in x
2.534 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0
2.534 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x
2.534 * [taylor]: Taking taylor expansion of 9/40 in x
2.534 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.534 * [taylor]: Taking taylor expansion of x in x
2.534 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x
2.534 * [taylor]: Taking taylor expansion of 9/40 in x
2.534 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.534 * [taylor]: Taking taylor expansion of x in x
2.548 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0
2.548 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x
2.548 * [taylor]: Taking taylor expansion of 9/40 in x
2.548 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.548 * [taylor]: Taking taylor expansion of x in x
2.548 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x
2.548 * [taylor]: Taking taylor expansion of 9/40 in x
2.548 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.548 * [taylor]: Taking taylor expansion of x in x
2.558 * * * [progress]: simplifying candidates
2.559 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 (*.f64 x x) 9/40) (*.f64 27/2800 (pow.f64 x 4)))
  (-.f64 (*.f64 (*.f64 (*.f64 x x) 9/40) (*.f64 (*.f64 x x) 9/40)) (*.f64 (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (+.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (neg.f64 (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (pow.f64 (*.f64 (*.f64 x x) 9/40) 3) (pow.f64 (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2) 3))
  (+.f64 (*.f64 (*.f64 (*.f64 x x) 9/40) (*.f64 (*.f64 x x) 9/40)) (+.f64 (*.f64 (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)) (*.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (*.f64 (*.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))) (cbrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))))
  (cbrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (exp.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (log.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (/.f64 (exp.f64 (*.f64 (*.f64 x x) 9/40)) (exp.f64 (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (/.f64 (exp.f64 (*.f64 (*.f64 x x) 9/40)) (*.f64 (exp.f64 (*.f64 27/2800 (pow.f64 x 4))) (exp.f64 1/2)))
  (*.f64 27/2800 (pow.f64 x 4))
  (*.f64 (sqrt.f64 27/2800) (pow.f64 x 4))
  (*.f64 (cbrt.f64 27/2800) (pow.f64 x 4))
  (*.f64 27/2800 (pow.f64 x (/.f64 4 2)))
  (*.f64 27/2800 1)
  (*.f64 27/2800 (sqrt.f64 (pow.f64 x 4)))
  (*.f64 27/2800 (*.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (pow.f64 x 4))))
  (*.f64 27/2800 (pow.f64 1 4))
  (*.f64 27/2800 (pow.f64 (sqrt.f64 x) 4))
  (*.f64 27/2800 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 4))
  (*.f64 (sqrt.f64 27/2800) (pow.f64 x (/.f64 4 2)))
  (*.f64 (sqrt.f64 27/2800) (pow.f64 x (/.f64 4 2)))
  (*.f64 (sqrt.f64 27/2800) (sqrt.f64 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 27/2800) (sqrt.f64 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 27/2800) (pow.f64 (sqrt.f64 x) 4))
  (*.f64 (sqrt.f64 27/2800) (pow.f64 (sqrt.f64 x) 4))
  (sqrt.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (sqrt.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (*.f64 (*.f64 (*.f64 27/2800 (pow.f64 x 4)) (*.f64 27/2800 (pow.f64 x 4))) (*.f64 27/2800 (pow.f64 x 4)))
  (*.f64 (cbrt.f64 (*.f64 27/2800 (pow.f64 x 4))) (cbrt.f64 (*.f64 27/2800 (pow.f64 x 4))))
  (cbrt.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (*.f64 (*.f64 (*.f64 27/2800 27/2800) 27/2800) (*.f64 (*.f64 (pow.f64 x 4) (pow.f64 x 4)) (pow.f64 x 4)))
  (exp.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (log.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (+.f64 (log.f64 27/2800) (log.f64 (pow.f64 x 4)))
  (+.f64 (log.f64 27/2800) (*.f64 (log.f64 x) 4))
  (+.f64 (log.f64 27/2800) (*.f64 (log.f64 x) 4))
  (*.f64 x 9/40)
  (*.f64 (*.f64 x x) 1)
  (*.f64 (*.f64 x x) (sqrt.f64 9/40))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 9/40) (cbrt.f64 9/40)))
  (*.f64 x (sqrt.f64 9/40))
  (*.f64 x (sqrt.f64 9/40))
  (sqrt.f64 (*.f64 (*.f64 x x) 9/40))
  (sqrt.f64 (*.f64 (*.f64 x x) 9/40))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) 9/40) (*.f64 (*.f64 x x) 9/40)) (*.f64 (*.f64 x x) 9/40))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9/40)) (cbrt.f64 (*.f64 (*.f64 x x) 9/40)))
  (cbrt.f64 (*.f64 (*.f64 x x) 9/40))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 (*.f64 9/40 9/40) 9/40))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 9/40 9/40) 9/40))
  (exp.f64 (*.f64 (*.f64 x x) 9/40))
  (log.f64 (*.f64 (*.f64 x x) 9/40))
  (+.f64 (log.f64 (*.f64 x x)) (log.f64 9/40))
  (+.f64 (+.f64 (log.f64 x) (log.f64 x)) (log.f64 9/40))
  (*.f64 (*.f64 x x) 9/40)
  (*.f64 (*.f64 x x) 9/40)
  (-.f64 (*.f64 9/40 (pow.f64 x 2)) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (*.f64 9/40 (pow.f64 x 2)) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (*.f64 9/40 (pow.f64 x 2)) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (*.f64 27/2800 (pow.f64 x 4))
  (*.f64 27/2800 (pow.f64 x 4))
  (*.f64 27/2800 (pow.f64 x 4))
  (*.f64 9/40 (pow.f64 x 2))
  (*.f64 9/40 (pow.f64 x 2))
  (*.f64 9/40 (pow.f64 x 2))
2.661 * * [simplify]: iteration  0 :  5181  enodes  (cost  856 )
2.669 * [simplify]: Simplified to:
   (-.f64 (*.f64 (*.f64 x x) 9/40) (*.f64 27/2800 (pow.f64 x 4)))
  (-.f64 (*.f64 (pow.f64 x 4) 81/1600) (*.f64 (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (+.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 -1/2 (*.f64 27/2800 (pow.f64 x 4)))
  (-.f64 (*.f64 (pow.f64 x 6) 729/64000) (pow.f64 (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2) 3))
  (+.f64 (*.f64 (pow.f64 x 4) 81/1600) (*.f64 (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2) (+.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (pow.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)) 3)
  (*.f64 (cbrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))) (cbrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))))
  (cbrt.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (exp.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (log.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (exp.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (exp.f64 (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
  (*.f64 27/2800 (pow.f64 x 4))
  (*.f64 (pow.f64 x 4) (sqrt.f64 27/2800))
  (*.f64 (pow.f64 x 4) (cbrt.f64 27/2800))
  (*.f64 (*.f64 x x) 27/2800)
  27/2800
  (*.f64 27/2800 (sqrt.f64 (pow.f64 x 4)))
  (*.f64 27/2800 (*.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (pow.f64 x 4))))
  27/2800
  (*.f64 (*.f64 x x) 27/2800)
  (*.f64 27/2800 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 4))
  (*.f64 (*.f64 x x) (sqrt.f64 27/2800))
  (*.f64 (*.f64 x x) (sqrt.f64 27/2800))
  (*.f64 (sqrt.f64 27/2800) (sqrt.f64 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 27/2800) (sqrt.f64 (pow.f64 x 4)))
  (*.f64 (*.f64 x x) (sqrt.f64 27/2800))
  (*.f64 (*.f64 x x) (sqrt.f64 27/2800))
  (sqrt.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (sqrt.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (*.f64 19683/21952000000 (pow.f64 x 12))
  (*.f64 (cbrt.f64 (*.f64 27/2800 (pow.f64 x 4))) (cbrt.f64 (*.f64 27/2800 (pow.f64 x 4))))
  (cbrt.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (*.f64 19683/21952000000 (pow.f64 x 12))
  (exp.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (log.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (log.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (log.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (log.f64 (*.f64 27/2800 (pow.f64 x 4)))
  (*.f64 x 9/40)
  (*.f64 x x)
  (*.f64 (*.f64 x x) (sqrt.f64 9/40))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 9/40) (cbrt.f64 9/40)))
  (*.f64 x (sqrt.f64 9/40))
  (*.f64 x (sqrt.f64 9/40))
  (sqrt.f64 (*.f64 (*.f64 x x) 9/40))
  (sqrt.f64 (*.f64 (*.f64 x x) 9/40))
  (*.f64 (pow.f64 x 6) 729/64000)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9/40)) (cbrt.f64 (*.f64 (*.f64 x x) 9/40)))
  (cbrt.f64 (*.f64 (*.f64 x x) 9/40))
  (*.f64 (pow.f64 x 6) 729/64000)
  (*.f64 (pow.f64 x 6) 729/64000)
  (exp.f64 (*.f64 (*.f64 x x) 9/40))
  (log.f64 (*.f64 (*.f64 x x) 9/40))
  (log.f64 (*.f64 (*.f64 x x) 9/40))
  (log.f64 (*.f64 (*.f64 x x) 9/40))
  (*.f64 (*.f64 x x) 9/40)
  (*.f64 (*.f64 x x) 9/40)
  (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (*.f64 27/2800 (pow.f64 x 4))
  (*.f64 27/2800 (pow.f64 x 4))
  (*.f64 27/2800 (pow.f64 x 4))
  (*.f64 (*.f64 x x) 9/40)
  (*.f64 (*.f64 x x) 9/40)
  (*.f64 (*.f64 x x) 9/40)
2.669 * * * [progress]: adding candidates to table
2.859 * * [progress]: iteration 3 / 4
2.859 * * * [progress]: picking best candidate
2.863 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))>
2.863 * * * [progress]: localizing error
2.876 * * * [progress]: generating rewritten candidates
2.876 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.880 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.883 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.917 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.927 * * * [progress]: generating series expansions
2.927 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.928 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0
2.928 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.928 * [taylor]: Taking taylor expansion of (tan x) in x
2.928 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.928 * [taylor]: Taking taylor expansion of (sin x) in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.928 * [taylor]: Taking taylor expansion of (cos x) in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.928 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.928 * [taylor]: Taking taylor expansion of (tan x) in x
2.928 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.928 * [taylor]: Taking taylor expansion of (sin x) in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.928 * [taylor]: Taking taylor expansion of (cos x) in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.944 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0
2.944 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
2.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.944 * [taylor]: Taking taylor expansion of x in x
2.944 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.944 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.944 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.945 * [taylor]: Taking taylor expansion of x in x
2.945 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.945 * [taylor]: Taking taylor expansion of x in x
2.945 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
2.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.945 * [taylor]: Taking taylor expansion of x in x
2.945 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.945 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.945 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.946 * [taylor]: Taking taylor expansion of x in x
2.946 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.946 * [taylor]: Taking taylor expansion of x in x
2.962 * [approximate]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0
2.962 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x
2.962 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
2.962 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
2.962 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
2.962 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.962 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.962 * [taylor]: Taking taylor expansion of -1 in x
2.962 * [taylor]: Taking taylor expansion of x in x
2.963 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.963 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.963 * [taylor]: Taking taylor expansion of -1 in x
2.963 * [taylor]: Taking taylor expansion of x in x
2.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.963 * [taylor]: Taking taylor expansion of x in x
2.963 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x
2.963 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
2.963 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
2.963 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
2.963 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
2.964 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.964 * [taylor]: Taking taylor expansion of -1 in x
2.964 * [taylor]: Taking taylor expansion of x in x
2.964 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
2.964 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.964 * [taylor]: Taking taylor expansion of -1 in x
2.964 * [taylor]: Taking taylor expansion of x in x
2.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.964 * [taylor]: Taking taylor expansion of x in x
2.980 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.981 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0
2.981 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.981 * [taylor]: Taking taylor expansion of (tan x) in x
2.981 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.981 * [taylor]: Taking taylor expansion of (sin x) in x
2.981 * [taylor]: Taking taylor expansion of x 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 (- x (tan x)) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.981 * [taylor]: Taking taylor expansion of (tan x) in x
2.981 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
2.981 * [taylor]: Taking taylor expansion of (sin x) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.981 * [taylor]: Taking taylor expansion of (cos x) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.996 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0
2.996 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
2.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.996 * [taylor]: Taking taylor expansion of x in x
2.996 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.996 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.996 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.996 * [taylor]: Taking taylor expansion of x in x
2.996 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.996 * [taylor]: Taking taylor expansion of x in x
2.997 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
2.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.997 * [taylor]: Taking taylor expansion of x in x
2.997 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
2.997 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
2.997 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
2.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.997 * [taylor]: Taking taylor expansion of x in x
2.997 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
2.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.997 * [taylor]: Taking taylor expansion of x in x
3.011 * [approximate]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0
3.011 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x
3.011 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
3.011 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
3.011 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
3.011 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.011 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.011 * [taylor]: Taking taylor expansion of -1 in x
3.011 * [taylor]: Taking taylor expansion of x in x
3.012 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.012 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.012 * [taylor]: Taking taylor expansion of -1 in x
3.012 * [taylor]: Taking taylor expansion of x in x
3.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.012 * [taylor]: Taking taylor expansion of x in x
3.012 * [taylor]: Taking taylor expansion of (neg (+ (tan (/ -1 x)) (/ 1 x))) in x
3.012 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
3.012 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
3.012 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
3.012 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.012 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.012 * [taylor]: Taking taylor expansion of -1 in x
3.012 * [taylor]: Taking taylor expansion of x in x
3.013 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.013 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.013 * [taylor]: Taking taylor expansion of -1 in x
3.013 * [taylor]: Taking taylor expansion of x in x
3.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.013 * [taylor]: Taking taylor expansion of x in x
3.027 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.028 * [approximate]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in (x) around 0
3.028 * [taylor]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in x
3.028 * [taylor]: Taking taylor expansion of (/ x (- x (tan x))) in x
3.028 * [taylor]: Taking taylor expansion of x in x
3.028 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
3.028 * [taylor]: Taking taylor expansion of x in x
3.028 * [taylor]: Taking taylor expansion of (tan x) in x
3.028 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
3.028 * [taylor]: Taking taylor expansion of (sin x) in x
3.028 * [taylor]: Taking taylor expansion of x in x
3.028 * [taylor]: Taking taylor expansion of (cos x) in x
3.028 * [taylor]: Taking taylor expansion of x in x
3.030 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x
3.030 * [taylor]: Taking taylor expansion of (sin x) in x
3.030 * [taylor]: Taking taylor expansion of x in x
3.030 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
3.030 * [taylor]: Taking taylor expansion of x in x
3.030 * [taylor]: Taking taylor expansion of (tan x) in x
3.030 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
3.030 * [taylor]: Taking taylor expansion of (sin x) in x
3.030 * [taylor]: Taking taylor expansion of x in x
3.030 * [taylor]: Taking taylor expansion of (cos x) in x
3.030 * [taylor]: Taking taylor expansion of x in x
3.033 * [taylor]: Taking taylor expansion of (- (/ x (- x (tan x))) (/ (sin x) (- x (tan x)))) in x
3.033 * [taylor]: Taking taylor expansion of (/ x (- x (tan x))) in x
3.033 * [taylor]: Taking taylor expansion of x in x
3.033 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
3.033 * [taylor]: Taking taylor expansion of x in x
3.033 * [taylor]: Taking taylor expansion of (tan x) in x
3.033 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
3.033 * [taylor]: Taking taylor expansion of (sin x) in x
3.033 * [taylor]: Taking taylor expansion of x in x
3.033 * [taylor]: Taking taylor expansion of (cos x) in x
3.033 * [taylor]: Taking taylor expansion of x in x
3.036 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x
3.036 * [taylor]: Taking taylor expansion of (sin x) in x
3.036 * [taylor]: Taking taylor expansion of x in x
3.036 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
3.036 * [taylor]: Taking taylor expansion of x in x
3.036 * [taylor]: Taking taylor expansion of (tan x) in x
3.036 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
3.036 * [taylor]: Taking taylor expansion of (sin x) in x
3.036 * [taylor]: Taking taylor expansion of x in x
3.036 * [taylor]: Taking taylor expansion of (cos x) in x
3.036 * [taylor]: Taking taylor expansion of x in x
3.104 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in (x) around 0
3.105 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) in x
3.105 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (tan (/ 1 x)))) in x
3.105 * [taylor]: Taking taylor expansion of x in x
3.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.105 * [taylor]: Taking taylor expansion of x in x
3.105 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
3.105 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
3.105 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.105 * [taylor]: Taking taylor expansion of x in x
3.105 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.105 * [taylor]: Taking taylor expansion of x in x
3.107 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x
3.107 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.107 * [taylor]: Taking taylor expansion of x in x
3.108 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
3.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.108 * [taylor]: Taking taylor expansion of x in x
3.108 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
3.108 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
3.108 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.108 * [taylor]: Taking taylor expansion of x in x
3.108 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.108 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (tan (/ 1 x))))) in x
3.109 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (tan (/ 1 x)))) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
3.109 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
3.109 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.112 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x
3.112 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.112 * [taylor]: Taking taylor expansion of x in x
3.112 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
3.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.112 * [taylor]: Taking taylor expansion of x in x
3.112 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
3.112 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
3.112 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.112 * [taylor]: Taking taylor expansion of x in x
3.112 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.112 * [taylor]: Taking taylor expansion of x in x
3.134 * [approximate]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in (x) around 0
3.134 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in x
3.134 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x
3.134 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.134 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.134 * [taylor]: Taking taylor expansion of -1 in x
3.134 * [taylor]: Taking taylor expansion of x in x
3.134 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
3.134 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
3.134 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
3.135 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.135 * [taylor]: Taking taylor expansion of -1 in x
3.135 * [taylor]: Taking taylor expansion of x in x
3.135 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.135 * [taylor]: Taking taylor expansion of -1 in x
3.135 * [taylor]: Taking taylor expansion of x in x
3.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.135 * [taylor]: Taking taylor expansion of x in x
3.136 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x)))) in x
3.136 * [taylor]: Taking taylor expansion of (* x (+ (tan (/ -1 x)) (/ 1 x))) in x
3.136 * [taylor]: Taking taylor expansion of x in x
3.136 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
3.136 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
3.136 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
3.136 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.136 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.136 * [taylor]: Taking taylor expansion of -1 in x
3.136 * [taylor]: Taking taylor expansion of x in x
3.136 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.136 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.136 * [taylor]: Taking taylor expansion of -1 in x
3.136 * [taylor]: Taking taylor expansion of x in x
3.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.137 * [taylor]: Taking taylor expansion of x in x
3.138 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x))))) in x
3.138 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x
3.138 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.138 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.138 * [taylor]: Taking taylor expansion of -1 in x
3.138 * [taylor]: Taking taylor expansion of x in x
3.138 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
3.138 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
3.138 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
3.138 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.138 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.138 * [taylor]: Taking taylor expansion of -1 in x
3.138 * [taylor]: Taking taylor expansion of x in x
3.139 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.139 * [taylor]: Taking taylor expansion of -1 in x
3.139 * [taylor]: Taking taylor expansion of x in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.139 * [taylor]: Taking taylor expansion of x in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (tan (/ -1 x)) (/ 1 x)))) in x
3.139 * [taylor]: Taking taylor expansion of (* x (+ (tan (/ -1 x)) (/ 1 x))) in x
3.139 * [taylor]: Taking taylor expansion of x in x
3.140 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
3.140 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
3.140 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
3.140 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.140 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.140 * [taylor]: Taking taylor expansion of -1 in x
3.140 * [taylor]: Taking taylor expansion of x in x
3.140 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.140 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.140 * [taylor]: Taking taylor expansion of -1 in x
3.140 * [taylor]: Taking taylor expansion of x in x
3.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.140 * [taylor]: Taking taylor expansion of x in x
3.160 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.160 * [approximate]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in (x) around 0
3.160 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x
3.160 * [taylor]: Taking taylor expansion of (sin x) in x
3.160 * [taylor]: Taking taylor expansion of x in x
3.160 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
3.160 * [taylor]: Taking taylor expansion of x in x
3.160 * [taylor]: Taking taylor expansion of (tan x) in x
3.160 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
3.160 * [taylor]: Taking taylor expansion of (sin x) in x
3.160 * [taylor]: Taking taylor expansion of x in x
3.160 * [taylor]: Taking taylor expansion of (cos x) in x
3.160 * [taylor]: Taking taylor expansion of x in x
3.163 * [taylor]: Taking taylor expansion of (/ (sin x) (- x (tan x))) in x
3.163 * [taylor]: Taking taylor expansion of (sin x) in x
3.163 * [taylor]: Taking taylor expansion of x in x
3.163 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
3.163 * [taylor]: Taking taylor expansion of x in x
3.163 * [taylor]: Taking taylor expansion of (tan x) in x
3.163 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
3.163 * [taylor]: Taking taylor expansion of (sin x) in x
3.163 * [taylor]: Taking taylor expansion of x in x
3.163 * [taylor]: Taking taylor expansion of (cos x) in x
3.163 * [taylor]: Taking taylor expansion of x in x
3.182 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in (x) around 0
3.182 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x
3.182 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.182 * [taylor]: Taking taylor expansion of x in x
3.182 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
3.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.183 * [taylor]: Taking taylor expansion of x in x
3.183 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
3.183 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
3.183 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.183 * [taylor]: Taking taylor expansion of x in x
3.183 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.183 * [taylor]: Taking taylor expansion of x in x
3.184 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x
3.184 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.184 * [taylor]: Taking taylor expansion of x in x
3.184 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
3.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.184 * [taylor]: Taking taylor expansion of x in x
3.184 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
3.184 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
3.184 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
3.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.184 * [taylor]: Taking taylor expansion of x in x
3.185 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
3.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.185 * [taylor]: Taking taylor expansion of x in x
3.197 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in (x) around 0
3.197 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in x
3.197 * [taylor]: Taking taylor expansion of -1 in x
3.197 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x
3.197 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.197 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.197 * [taylor]: Taking taylor expansion of -1 in x
3.197 * [taylor]: Taking taylor expansion of x in x
3.198 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
3.198 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
3.198 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
3.198 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.198 * [taylor]: Taking taylor expansion of -1 in x
3.198 * [taylor]: Taking taylor expansion of x in x
3.198 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.198 * [taylor]: Taking taylor expansion of -1 in x
3.198 * [taylor]: Taking taylor expansion of x in x
3.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.199 * [taylor]: Taking taylor expansion of x in x
3.199 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x)))) in x
3.199 * [taylor]: Taking taylor expansion of -1 in x
3.199 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 x)) (+ (tan (/ -1 x)) (/ 1 x))) in x
3.199 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.199 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.199 * [taylor]: Taking taylor expansion of -1 in x
3.199 * [taylor]: Taking taylor expansion of x in x
3.199 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
3.199 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
3.199 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
3.199 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
3.199 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.199 * [taylor]: Taking taylor expansion of -1 in x
3.199 * [taylor]: Taking taylor expansion of x in x
3.200 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
3.200 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.200 * [taylor]: Taking taylor expansion of -1 in x
3.200 * [taylor]: Taking taylor expansion of x in x
3.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.200 * [taylor]: Taking taylor expansion of x in x
3.216 * * * [progress]: simplifying candidates
3.217 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 x (tan.f64 x))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))
  (+.f64 x (tan.f64 x))
  (neg.f64 (tan.f64 x))
  (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) (*.f64 x (tan.f64 x))))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (*.f64 (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x))) (-.f64 x (tan.f64 x)))
  (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (cbrt.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (log.f64 (-.f64 x (tan.f64 x)))
  (/.f64 (exp.f64 x) (exp.f64 (tan.f64 x)))
  (-.f64 x (tan.f64 x))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))
  (+.f64 x (tan.f64 x))
  (neg.f64 (tan.f64 x))
  (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) (*.f64 x (tan.f64 x))))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (*.f64 (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x))) (-.f64 x (tan.f64 x)))
  (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (cbrt.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (log.f64 (-.f64 x (tan.f64 x)))
  (/.f64 (exp.f64 x) (exp.f64 (tan.f64 x)))
  (-.f64 (/.f64 x (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))) (/.f64 (sin.f64 x) (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))))
  (-.f64 (/.f64 x (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))) (/.f64 (sin.f64 x) (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))))
  (-.f64 x (sin.f64 x))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))) (/.f64 (sin.f64 x) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (sqrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sin.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (-.f64 (/.f64 x (cbrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sin.f64 x) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (+.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (-.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (+.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (-.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (+.f64 (sqrt.f64 (/.f64 x (-.f64 x (tan.f64 x)))) (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (-.f64 (sqrt.f64 (/.f64 x (-.f64 x (tan.f64 x)))) (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (+.f64 (sqrt.f64 (/.f64 x (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (-.f64 (sqrt.f64 (/.f64 x (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (-.f64 (*.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 x (-.f64 x (tan.f64 x)))) (*.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (+.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (neg.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (pow.f64 (/.f64 x (-.f64 x (tan.f64 x))) 3) (pow.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))) 3))
  (+.f64 (*.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 x (-.f64 x (tan.f64 x)))) (+.f64 (*.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) (*.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))))
  (-.f64 (*.f64 x (-.f64 x (tan.f64 x))) (*.f64 (-.f64 x (tan.f64 x)) (sin.f64 x)))
  (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x)))
  (-.f64 x (sin.f64 x))
  (sqrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (sqrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (*.f64 (*.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (*.f64 (cbrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))) (cbrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))))
  (cbrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (exp.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (log.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (/.f64 (exp.f64 (/.f64 x (-.f64 x (tan.f64 x)))) (exp.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (/.f64 (sin.f64 x) (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x))))
  (/.f64 (sin.f64 x) (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3)))
  (/.f64 (-.f64 x (tan.f64 x)) (sin.f64 x))
  (/.f64 (-.f64 x (tan.f64 x)) (sqrt.f64 (sin.f64 x)))
  (/.f64 (-.f64 x (tan.f64 x)) (cbrt.f64 (sin.f64 x)))
  (/.f64 (sin.f64 x) 1)
  (/.f64 (sin.f64 x) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sin.f64 x) 1)
  (/.f64 (sin.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sin.f64 x) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 x (tan.f64 x)) (sin.f64 x))
  (/.f64 1 (-.f64 x (tan.f64 x)))
  (/.f64 1 1)
  (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))
  (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sin.f64 x) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 1 1)
  (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))
  (/.f64 1 (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sin.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (sin.f64 x) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (sin.f64 x)) 1)
  (/.f64 (sqrt.f64 (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 (sqrt.f64 (sin.f64 x)) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sqrt.f64 (sin.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sqrt.f64 (sin.f64 x)) 1)
  (/.f64 (sqrt.f64 (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (sqrt.f64 (sin.f64 x)) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) 1)
  (/.f64 (cbrt.f64 (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (cbrt.f64 (sin.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) 1)
  (/.f64 (cbrt.f64 (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (cbrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (neg.f64 (sin.f64 x))
  (neg.f64 (-.f64 x (tan.f64 x)))
  (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (*.f64 (*.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (*.f64 (cbrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) (cbrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (cbrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (/.f64 (*.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (sin.f64 x)) (*.f64 (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x))) (-.f64 x (tan.f64 x))))
  (exp.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (log.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (log.f64 (sin.f64 x)) (log.f64 (-.f64 x (tan.f64 x))))
  (neg.f64 (+.f64 (*.f64 17/315 (pow.f64 x 7)) (+.f64 (*.f64 1/3 (pow.f64 x 3)) (*.f64 2/15 (pow.f64 x 5)))))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (neg.f64 (+.f64 (*.f64 17/315 (pow.f64 x 7)) (+.f64 (*.f64 1/3 (pow.f64 x 3)) (*.f64 2/15 (pow.f64 x 5)))))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 (*.f64 9/40 (pow.f64 x 2)) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (pow.f64 (cos.f64 x) 2))) 1)) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (cos.f64 x)))))
  (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (pow.f64 (cos.f64 x) 2))) 1)) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (cos.f64 x)))))
  (-.f64 17/10 (+.f64 (*.f64 307/1400 (pow.f64 x 2)) (*.f64 3 (/.f64 1 (pow.f64 x 2)))))
  (+.f64 (/.f64 (sin.f64 x) x) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 3) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (cos.f64 x)))))
  (+.f64 (/.f64 (sin.f64 x) x) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 3) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 x 2) (cos.f64 x)))))
3.293 * * [simplify]: iteration  0 :  5040  enodes  (cost  2287 )
3.306 * [simplify]: Simplified to:
   (-.f64 x (tan.f64 x))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))
  (+.f64 x (tan.f64 x))
  (neg.f64 (tan.f64 x))
  (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))
  (+.f64 (*.f64 x x) (*.f64 (tan.f64 x) (+.f64 x (tan.f64 x))))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (pow.f64 (-.f64 x (tan.f64 x)) 3)
  (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (cbrt.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (log.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (-.f64 x (tan.f64 x))
  (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))
  (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))
  (+.f64 x (tan.f64 x))
  (neg.f64 (tan.f64 x))
  (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))
  (+.f64 (*.f64 x x) (*.f64 (tan.f64 x) (+.f64 x (tan.f64 x))))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (sqrt.f64 (-.f64 x (tan.f64 x)))
  (pow.f64 (-.f64 x (tan.f64 x)) 3)
  (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (cbrt.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (log.f64 (-.f64 x (tan.f64 x)))
  (exp.f64 (-.f64 x (tan.f64 x)))
  (-.f64 (/.f64 x (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))) (/.f64 (sin.f64 x) (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x)))))
  (-.f64 (/.f64 x (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))) (/.f64 (sin.f64 x) (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3))))
  (-.f64 x (sin.f64 x))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))) (/.f64 (sin.f64 x) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x)))))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (/.f64 x (sqrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sin.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (-.f64 (/.f64 x (cbrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sin.f64 x) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (+.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (-.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))) (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (+.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (-.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (+.f64 (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 x (-.f64 x (tan.f64 x)))))
  (-.f64 (sqrt.f64 (/.f64 x (-.f64 x (tan.f64 x)))) (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x)))))
  (+.f64 (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 x (-.f64 x (tan.f64 x)))))
  (-.f64 (sqrt.f64 (/.f64 x (-.f64 x (tan.f64 x)))) (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (-.f64 (*.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 x (-.f64 x (tan.f64 x)))) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x)))))
  (+.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (neg.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (-.f64 (pow.f64 (/.f64 x (-.f64 x (tan.f64 x))) 3) (pow.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))) 3))
  (+.f64 (*.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 x (-.f64 x (tan.f64 x)))) (*.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))) (+.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))))
  (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x)))
  (*.f64 (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x)))
  (-.f64 x (sin.f64 x))
  (sqrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (sqrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (pow.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) 3)
  (*.f64 (cbrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))) (cbrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))))
  (cbrt.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (exp.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (log.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (exp.f64 (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (/.f64 (sin.f64 x) (-.f64 (*.f64 x x) (*.f64 (tan.f64 x) (tan.f64 x))))
  (/.f64 (sin.f64 x) (-.f64 (pow.f64 x 3) (pow.f64 (tan.f64 x) 3)))
  (/.f64 (-.f64 x (tan.f64 x)) (sin.f64 x))
  (/.f64 (-.f64 x (tan.f64 x)) (sqrt.f64 (sin.f64 x)))
  (/.f64 (-.f64 x (tan.f64 x)) (cbrt.f64 (sin.f64 x)))
  (sin.f64 x)
  (/.f64 (sin.f64 x) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (sin.f64 x)
  (/.f64 (sin.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sin.f64 x) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (-.f64 x (tan.f64 x)) (sin.f64 x))
  (/.f64 1 (-.f64 x (tan.f64 x)))
  1
  (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))
  (/.f64 1 (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sin.f64 x) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  1
  (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))
  (/.f64 1 (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sin.f64 x) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (sin.f64 x) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (sqrt.f64 (sin.f64 x))
  (/.f64 (sqrt.f64 (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 (sqrt.f64 (sin.f64 x)) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (sqrt.f64 (sin.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (sqrt.f64 (sin.f64 x))
  (/.f64 (sqrt.f64 (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (sqrt.f64 (sin.f64 x)) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x)))
  (/.f64 (cbrt.f64 (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (+.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (/.f64 (cbrt.f64 (sin.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 (tan.f64 x))))
  (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x)))
  (/.f64 (cbrt.f64 (sin.f64 x)) (-.f64 x (tan.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (cbrt.f64 (sin.f64 x)) (sqrt.f64 (-.f64 x (tan.f64 x))))
  (/.f64 (*.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (sin.f64 x))) (*.f64 (cbrt.f64 (-.f64 x (tan.f64 x))) (cbrt.f64 (-.f64 x (tan.f64 x)))))
  (/.f64 (cbrt.f64 (sin.f64 x)) (cbrt.f64 (-.f64 x (tan.f64 x))))
  (neg.f64 (sin.f64 x))
  (-.f64 (tan.f64 x) x)
  (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (sqrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (pow.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))) 3)
  (*.f64 (cbrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) (cbrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))
  (cbrt.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (pow.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))) 3)
  (exp.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (log.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (log.f64 (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))
  (+.f64 (-.f64 (*.f64 (pow.f64 x 7) -17/315) (*.f64 (pow.f64 x 3) 1/3)) (*.f64 (pow.f64 x 5) -2/15))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (+.f64 (-.f64 (*.f64 (pow.f64 x 7) -17/315) (*.f64 (pow.f64 x 3) 1/3)) (*.f64 (pow.f64 x 5) -2/15))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 x (/.f64 (sin.f64 x) (cos.f64 x)))
  (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2))
  (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (*.f64 x x) (pow.f64 (cos.f64 x) 2))))) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x))))))
  (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (*.f64 x x) (pow.f64 (cos.f64 x) 2))))) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x))))))
  (-.f64 17/10 (+.f64 (*.f64 (*.f64 x x) 307/1400) (/.f64 3 (*.f64 x x))))
  (+.f64 (/.f64 (sin.f64 x) x) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x)))) (/.f64 (pow.f64 (/.f64 (sin.f64 x) x) 3) (pow.f64 (cos.f64 x) 2))))
  (+.f64 (/.f64 (sin.f64 x) x) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x)))) (/.f64 (pow.f64 (/.f64 (sin.f64 x) x) 3) (pow.f64 (cos.f64 x) 2))))
3.306 * * * [progress]: adding candidates to table
3.502 * [progress]: [Phase 3 of 3] Extracting.
3.503 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))> #<alt (λ (x) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))>)
3.504 * * * [regime-changes]: Trying 1 branch expressions: (x)
3.504 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))> #<alt (λ (x) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))>)
3.558 * * * [regime]: Found split indices: #<option (#s(si 0 66) #s(si 1 196) #s(si 0 255))>
3.558 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))> #<alt (λ (x) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))>)
3.622 * [regimes]: Found splitpoints: (#s(sp 0 x -0.03513683975429144) #s(sp 1 x 0.0297212302942771) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))))> #<alt (λ (x) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))>)
3.623 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 x -632969033697615/18014398509481984) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) (if (<=.f64 x 8566561387411139/288230376151711744) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))))
3.626 * * [simplify]: iteration  0 :  96  enodes  (cost  55 )
3.626 * * [simplify]: iteration  1 :  96  enodes  (cost  55 )
3.627 * [simplify]: Simplified to:
   (if (or (<=.f64 x -632969033697615/18014398509481984) (not (<=.f64 x 8566561387411139/288230376151711744))) (-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x)))) (-.f64 (*.f64 (*.f64 x x) 9/40) (+.f64 (*.f64 27/2800 (pow.f64 x 4)) 1/2)))
11.104 * [regime-testing]: End program error score: 0.03443952852053161