0.773 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.538 * * * [progress]: [2/2] Setting up program.
0.541 * [progress]: [Phase 2 of 3] Improving.
0.544 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- x (sin x)) (- x (tan x)))
0.544 * [simplify]: Sending expressions to egg_math:
 (/ (- h0 (sin h0)) (- h0 (tan h0)))
0.547 * * [simplify]: iteration  0 :  13  enodes  (cost  5 )
0.548 * * [simplify]: iteration  1 :  17  enodes  (cost  5 )
0.550 * * [simplify]: iteration  2 :  19  enodes  (cost  5 )
0.551 * * [simplify]: iteration  3 :  19  enodes  (cost  5 )
0.551 * [simplify]: Simplified to:
   (/ (- x (sin x)) (- x (tan x)))
0.552 * * [progress]: iteration 1 / 4
0.552 * * * [progress]: picking best candidate
0.554 * * * * [pick]: Picked  #<alt (λ (x) (/ (- x (sin x)) (- x (tan x))))>
0.555 * * * [progress]: localizing error
0.565 * * * [progress]: generating rewritten candidates
0.565 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.574 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.581 * * * [progress]: generating series expansions
0.581 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.584 * [approximate]: Taking taylor expansion of (- x (sin x)) in (x) around 0
0.585 * [taylor]: Taking taylor expansion of (- x (sin x)) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of (sin x) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of (- x (sin x)) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of (sin x) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.603 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in (x) around 0
0.603 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x
0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.603 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sin (/ 1 x))) in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.611 * [approximate]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in (x) around 0
0.611 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x
0.611 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x
0.611 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.611 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.611 * [taylor]: Taking taylor expansion of -1 in x
0.611 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.612 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of (- (+ (sin (/ -1 x)) (/ 1 x))) in x
0.612 * [taylor]: Taking taylor expansion of (+ (sin (/ -1 x)) (/ 1 x)) in x
0.612 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.612 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.612 * [taylor]: Taking taylor expansion of -1 in x
0.612 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.612 * [taylor]: Taking taylor expansion of x in x
0.619 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.619 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0
0.619 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
0.619 * [taylor]: Taking taylor expansion of x in x
0.619 * [taylor]: Taking taylor expansion of (tan x) in x
0.628 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.628 * [taylor]: Taking taylor expansion of (sin x) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of (cos x) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.629 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
0.629 * [taylor]: Taking taylor expansion of x in x
0.629 * [taylor]: Taking taylor expansion of (tan x) in x
0.629 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
0.629 * [taylor]: Taking taylor expansion of (sin x) in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.630 * [taylor]: Taking taylor expansion of (cos x) in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.655 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0
0.655 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.656 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.656 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
0.657 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
0.657 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.666 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0
0.666 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x
0.666 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
0.666 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.666 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.666 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.666 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.666 * [taylor]: Taking taylor expansion of -1 in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.666 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.666 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.666 * [taylor]: Taking taylor expansion of -1 in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x
0.667 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
0.667 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
0.667 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
0.667 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.667 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.667 * [taylor]: Taking taylor expansion of -1 in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.668 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
0.668 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.668 * [taylor]: Taking taylor expansion of -1 in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.676 * * * [progress]: simplifying candidates
0.677 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp x) (exp (sin x)))
  (log (- x (sin x)))
  (exp (- x (sin x)))
  (* (cbrt (- x (sin x))) (cbrt (- x (sin x))))
  (cbrt (- x (sin x)))
  (* (* (- x (sin x)) (- x (sin x))) (- x (sin x)))
  (sqrt (- x (sin x)))
  (sqrt (- x (sin x)))
  (- (pow x 3) (pow (sin x) 3))
  (+ (* x x) (+ (* (sin x) (sin x)) (* x (sin x))))
  (- (sin x))
  (- (* x x) (* (sin x) (sin x)))
  (+ x (sin x))
  (+ (sqrt x) (sqrt (sin x)))
  (- (sqrt x) (sqrt (sin x)))
  (- x (sin x))
  (- (sin x))
  (/ (exp x) (exp (tan x)))
  (log (- x (tan x)))
  (exp (- x (tan x)))
  (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))
  (cbrt (- x (tan x)))
  (* (* (- x (tan x)) (- x (tan x))) (- x (tan x)))
  (sqrt (- x (tan x)))
  (sqrt (- x (tan x)))
  (- (pow x 3) (pow (tan x) 3))
  (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x))))
  (- (tan x))
  (- (* x x) (* (tan x) (tan x)))
  (+ x (tan x))
  (+ (sqrt x) (sqrt (tan x)))
  (- (sqrt x) (sqrt (tan x)))
  (- x (tan x))
  (- (tan x))
  (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5)))
  (- x (sin x))
  (- x (sin x))
  (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))))
  (- x (/ (sin x) (cos x)))
  (- x (/ (sin x) (cos x)))
0.677 * [simplify]: Sending expressions to egg_math:
 (/ (exp h0) (exp (sin h0)))
 (log (- h0 (sin h0)))
 (exp (- h0 (sin h0)))
 (* (cbrt (- h0 (sin h0))) (cbrt (- h0 (sin h0))))
 (cbrt (- h0 (sin h0)))
 (* (* (- h0 (sin h0)) (- h0 (sin h0))) (- h0 (sin h0)))
 (sqrt (- h0 (sin h0)))
 (sqrt (- h0 (sin h0)))
 (- (pow h0 3) (pow (sin h0) 3))
 (+ (* h0 h0) (+ (* (sin h0) (sin h0)) (* h0 (sin h0))))
 (- (sin h0))
 (- (* h0 h0) (* (sin h0) (sin h0)))
 (+ h0 (sin h0))
 (+ (sqrt h0) (sqrt (sin h0)))
 (- (sqrt h0) (sqrt (sin h0)))
 (- h0 (sin h0))
 (- (sin h0))
 (/ (exp h0) (exp (tan h0)))
 (log (- h0 (tan h0)))
 (exp (- h0 (tan h0)))
 (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0))))
 (cbrt (- h0 (tan h0)))
 (* (* (- h0 (tan h0)) (- h0 (tan h0))) (- h0 (tan h0)))
 (sqrt (- h0 (tan h0)))
 (sqrt (- h0 (tan h0)))
 (- (pow h0 3) (pow (tan h0) 3))
 (+ (* h0 h0) (+ (* (tan h0) (tan h0)) (* h0 (tan h0))))
 (- (tan h0))
 (- (* h0 h0) (* (tan h0) (tan h0)))
 (+ h0 (tan h0))
 (+ (sqrt h0) (sqrt (tan h0)))
 (- (sqrt h0) (sqrt (tan h0)))
 (- h0 (tan h0))
 (- (tan h0))
 (- (+ (* 1/5040 (pow h0 7)) (* 1/6 (pow h0 3))) (* 1/120 (pow h0 5)))
 (- h0 (sin h0))
 (- h0 (sin h0))
 (- (+ (* 17/315 (pow h0 7)) (+ (* 1/3 (pow h0 3)) (* 2/15 (pow h0 5)))))
 (- h0 (/ (sin h0) (cos h0)))
 (- h0 (/ (sin h0) (cos h0)))
0.680 * * [simplify]: iteration  0 :  150  enodes  (cost  157 )
0.683 * * [simplify]: iteration  1 :  342  enodes  (cost  147 )
0.689 * * [simplify]: iteration  2 :  774  enodes  (cost  147 )
0.702 * * [simplify]: iteration  3 :  2023  enodes  (cost  147 )
0.741 * * [simplify]: iteration  4 :  5001  enodes  (cost  147 )
0.743 * [simplify]: Simplified to:
   (exp (- x (sin x)))
  (log (- x (sin x)))
  (exp (- x (sin x)))
  (* (cbrt (- x (sin x))) (cbrt (- x (sin x))))
  (cbrt (- x (sin x)))
  (pow (- x (sin x)) 3)
  (sqrt (- x (sin x)))
  (sqrt (- x (sin x)))
  (- (pow x 3) (pow (sin x) 3))
  (+ (* (sin x) (+ (sin x) x)) (* x x))
  (- (sin x))
  (- (* x x) (* (sin x) (sin x)))
  (+ x (sin x))
  (+ (sqrt x) (sqrt (sin x)))
  (- (sqrt x) (sqrt (sin x)))
  (- x (sin x))
  (- (sin x))
  (exp (- x (tan x)))
  (log (- x (tan x)))
  (exp (- x (tan x)))
  (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))
  (cbrt (- x (tan x)))
  (pow (- x (tan x)) 3)
  (sqrt (- x (tan x)))
  (sqrt (- x (tan x)))
  (- (pow x 3) (pow (tan x) 3))
  (+ (* (tan x) (+ (tan x) x)) (* x x))
  (- (tan x))
  (- (* x x) (* (tan x) (tan x)))
  (+ x (tan x))
  (+ (sqrt x) (sqrt (tan x)))
  (- (sqrt x) (sqrt (tan x)))
  (- x (tan x))
  (- (tan x))
  (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5)))
  (- x (sin x))
  (- x (sin x))
  (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))))
  (- x (/ (sin x) (cos x)))
  (- x (/ (sin x) (cos x)))
0.743 * * * [progress]: adding candidates to table
0.817 * * [progress]: iteration 2 / 4
0.817 * * * [progress]: picking best candidate
0.826 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))) (- x (tan x))))>
0.827 * * * [progress]: localizing error
0.839 * * * [progress]: generating rewritten candidates
0.839 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.864 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.872 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.877 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
0.893 * * * [progress]: generating series expansions
0.893 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.894 * [approximate]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (+ x (sin x))) in (x) around 0
0.894 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (+ x (sin x))) in x
0.894 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
0.894 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.894 * [taylor]: Taking taylor expansion of x in x
0.894 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
0.894 * [taylor]: Taking taylor expansion of (sin x) in x
0.894 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of (+ x (sin x)) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of (sin x) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.900 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (+ x (sin x))) in x
0.900 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
0.900 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.900 * [taylor]: Taking taylor expansion of x in x
0.900 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
0.900 * [taylor]: Taking taylor expansion of (sin x) in x
0.900 * [taylor]: Taking taylor expansion of x in x
0.901 * [taylor]: Taking taylor expansion of (+ x (sin x)) in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.901 * [taylor]: Taking taylor expansion of (sin x) in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.930 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (+ (sin (/ 1 x)) (/ 1 x))) in (x) around 0
0.930 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (+ (sin (/ 1 x)) (/ 1 x))) in x
0.930 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
0.930 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.930 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.931 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
0.931 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.931 * [taylor]: Taking taylor expansion of x in x
0.931 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 x)) (/ 1 x)) in x
0.931 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.931 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (+ (sin (/ 1 x)) (/ 1 x))) in x
0.933 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
0.933 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.933 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.933 * [taylor]: Taking taylor expansion of x in x
0.933 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
0.933 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.933 * [taylor]: Taking taylor expansion of x in x
0.933 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 x)) (/ 1 x)) in x
0.933 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
0.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.933 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.962 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (- (sin (/ -1 x)) (/ 1 x))) in (x) around 0
0.962 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (- (sin (/ -1 x)) (/ 1 x))) in x
0.962 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
0.962 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.962 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.962 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
0.963 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.963 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.963 * [taylor]: Taking taylor expansion of -1 in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (/ 1 x)) in x
0.963 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.963 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.963 * [taylor]: Taking taylor expansion of -1 in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.965 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (- (sin (/ -1 x)) (/ 1 x))) in x
0.965 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
0.965 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.965 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.965 * [taylor]: Taking taylor expansion of x in x
0.965 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
0.965 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.965 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.965 * [taylor]: Taking taylor expansion of -1 in x
0.965 * [taylor]: Taking taylor expansion of x in x
0.965 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (/ 1 x)) in x
0.965 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
0.965 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.965 * [taylor]: Taking taylor expansion of -1 in x
0.965 * [taylor]: Taking taylor expansion of x in x
0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.993 * [approximate]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in (x) around 0
0.993 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
0.993 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.993 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
0.993 * [taylor]: Taking taylor expansion of (sin x) in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.994 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
0.994 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.994 * [taylor]: Taking taylor expansion of x in x
0.994 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
0.994 * [taylor]: Taking taylor expansion of (sin x) in x
0.994 * [taylor]: Taking taylor expansion of x in x
1.015 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in (x) around 0
1.015 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.015 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.016 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
1.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.016 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.016 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.033 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in (x) around 0
1.033 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.033 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.033 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.033 * [taylor]: Taking taylor expansion of -1 in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.034 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
1.034 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.034 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.034 * [taylor]: Taking taylor expansion of x in x
1.034 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.034 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.034 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.034 * [taylor]: Taking taylor expansion of -1 in x
1.034 * [taylor]: Taking taylor expansion of x in x
1.052 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.052 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0
1.052 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of (tan x) in x
1.053 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.053 * [taylor]: Taking taylor expansion of (sin x) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of (cos x) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of (tan x) in x
1.053 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.053 * [taylor]: Taking taylor expansion of (sin x) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of (cos x) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.079 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0
1.079 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
1.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.079 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.079 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.080 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.080 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.089 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0
1.089 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x
1.089 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
1.089 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.089 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.089 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.089 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.089 * [taylor]: Taking taylor expansion of -1 in x
1.089 * [taylor]: Taking taylor expansion of x in x
1.089 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.089 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.089 * [taylor]: Taking taylor expansion of -1 in x
1.089 * [taylor]: Taking taylor expansion of x in x
1.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.090 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x
1.090 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
1.090 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.090 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.090 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.090 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.090 * [taylor]: Taking taylor expansion of -1 in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.090 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.090 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.090 * [taylor]: Taking taylor expansion of -1 in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.099 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1.099 * [approximate]: Taking taylor expansion of (pow (sin x) 2) in (x) around 0
1.099 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
1.099 * [taylor]: Taking taylor expansion of (sin x) in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.100 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
1.100 * [taylor]: Taking taylor expansion of (sin x) in x
1.100 * [taylor]: Taking taylor expansion of x in x
1.107 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in (x) around 0
1.107 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.107 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.107 * [taylor]: Taking taylor expansion of x in x
1.107 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.107 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.107 * [taylor]: Taking taylor expansion of x in x
1.111 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in (x) around 0
1.111 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.111 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.111 * [taylor]: Taking taylor expansion of -1 in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.112 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.112 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.112 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.112 * [taylor]: Taking taylor expansion of -1 in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.116 * * * [progress]: simplifying candidates
1.117 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* x x) (* (sin x) (sin x)))) (log (+ x (sin x))))
  (log (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (exp (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (/ (* (* (- (* x x) (* (sin x) (sin x))) (- (* x x) (* (sin x) (sin x)))) (- (* x x) (* (sin x) (sin x)))) (* (* (+ x (sin x)) (+ x (sin x))) (+ x (sin x))))
  (* (cbrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x)))))
  (cbrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (* (* (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))) (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x)))) (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (sqrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (sqrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (- (- (* x x) (* (sin x) (sin x))))
  (- (+ x (sin x)))
  (/ (* x x) (+ x (sin x)))
  (/ (* (sin x) (sin x)) (+ x (sin x)))
  (/ (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (+ x (sin x))))
  (/ (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x))))) (sqrt (+ x (sin x))))
  (/ (cbrt (- (* x x) (* (sin x) (sin x)))) (sqrt (+ x (sin x))))
  (/ (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x))))) 1)
  (/ (cbrt (- (* x x) (* (sin x) (sin x)))) (+ x (sin x)))
  (/ (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x))))) 1)
  (/ (cbrt (- (* x x) (* (sin x) (sin x)))) (+ x (sin x)))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (cbrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (sqrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (sqrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) 1)
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (+ x (sin x)))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) 1)
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (+ x (sin x)))
  (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (- (* x x) (* (sin x) (sin x))) (cbrt (+ x (sin x))))
  (/ 1 (sqrt (+ x (sin x))))
  (/ (- (* x x) (* (sin x) (sin x))) (sqrt (+ x (sin x))))
  (/ 1 1)
  (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x)))
  (/ 1 1)
  (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x)))
  (/ (+ x (sin x)) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (- x (sin x)) (cbrt (+ x (sin x))))
  (/ (+ x (sin x)) (sqrt (+ x (sin x))))
  (/ (- x (sin x)) (sqrt (+ x (sin x))))
  (/ (+ x (sin x)) 1)
  (/ (- x (sin x)) (+ x (sin x)))
  (/ (+ x (sin x)) 1)
  (/ (- x (sin x)) (+ x (sin x)))
  (/ 1 (+ x (sin x)))
  (/ (+ x (sin x)) (- (* x x) (* (sin x) (sin x))))
  (/ (- (* x x) (* (sin x) (sin x))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (- (* x x) (* (sin x) (sin x))) (sqrt (+ x (sin x))))
  (/ (- (* x x) (* (sin x) (sin x))) 1)
  (/ (- (* x x) (* (sin x) (sin x))) 1)
  (/ (+ x (sin x)) (cbrt (- (* x x) (* (sin x) (sin x)))))
  (/ (+ x (sin x)) (sqrt (- (* x x) (* (sin x) (sin x)))))
  (/ (+ x (sin x)) (- (* x x) (* (sin x) (sin x))))
  (/ (+ x (sin x)) (- x (sin x)))
  (/ (- (* x x) (* (sin x) (sin x))) (+ (pow x 3) (pow (sin x) 3)))
  (/ (- (* x x) (* (sin x) (sin x))) (- (* x x) (* (sin x) (sin x))))
  (* (+ x (sin x)) (+ (* (* x x) (* x x)) (+ (* (* (sin x) (sin x)) (* (sin x) (sin x))) (* (* x x) (* (sin x) (sin x))))))
  (* (+ x (sin x)) (+ (* x x) (* (sin x) (sin x))))
  (/ (exp (* x x)) (exp (* (sin x) (sin x))))
  (log (- (* x x) (* (sin x) (sin x))))
  (exp (- (* x x) (* (sin x) (sin x))))
  (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x)))))
  (cbrt (- (* x x) (* (sin x) (sin x))))
  (* (* (- (* x x) (* (sin x) (sin x))) (- (* x x) (* (sin x) (sin x)))) (- (* x x) (* (sin x) (sin x))))
  (sqrt (- (* x x) (* (sin x) (sin x))))
  (sqrt (- (* x x) (* (sin x) (sin x))))
  (- (pow (* x x) 3) (pow (* (sin x) (sin x)) 3))
  (+ (* (* x x) (* x x)) (+ (* (* (sin x) (sin x)) (* (sin x) (sin x))) (* (* x x) (* (sin x) (sin x)))))
  (- (* (sin x) (sin x)))
  (- (* (* x x) (* x x)) (* (* (sin x) (sin x)) (* (sin x) (sin x))))
  (+ (* x x) (* (sin x) (sin x)))
  (+ x (sin x))
  (- x (sin x))
  (- (* x x) 1/2)
  (- (* (sin x) (sin x)))
  (/ (exp x) (exp (tan x)))
  (log (- x (tan x)))
  (exp (- x (tan x)))
  (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))
  (cbrt (- x (tan x)))
  (* (* (- x (tan x)) (- x (tan x))) (- x (tan x)))
  (sqrt (- x (tan x)))
  (sqrt (- x (tan x)))
  (- (pow x 3) (pow (tan x) 3))
  (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x))))
  (- (tan x))
  (- (* x x) (* (tan x) (tan x)))
  (+ x (tan x))
  (+ (sqrt x) (sqrt (tan x)))
  (- (sqrt x) (sqrt (tan x)))
  (- x (tan x))
  (- (tan x))
  (* 1/2 (cos (* 2 x)))
  (- (cos (- x x)) (cos (+ x x)))
  (+ 1 1)
  (* (sin x) (sin x))
  (+ 1 1)
  (+ (log (sin x)) (log (sin x)))
  (log (* (sin x) (sin x)))
  (exp (* (sin x) (sin x)))
  (* (* (* (sin x) (sin x)) (sin x)) (* (* (sin x) (sin x)) (sin x)))
  (* (cbrt (* (sin x) (sin x))) (cbrt (* (sin x) (sin x))))
  (cbrt (* (sin x) (sin x)))
  (* (* (* (sin x) (sin x)) (* (sin x) (sin x))) (* (sin x) (sin x)))
  (sqrt (* (sin x) (sin x)))
  (sqrt (* (sin x) (sin x)))
  (* (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))))
  (* (cbrt (sin x)) (cbrt (sin x)))
  (* (sqrt (sin x)) (sqrt (sin x)))
  (* (sqrt (sin x)) (sqrt (sin x)))
  (* 1 1)
  (* (sin x) (sin x))
  (* (sqrt (sin x)) (sqrt (sin x)))
  (* (sqrt (sin x)) (sqrt (sin x)))
  (* 2 1)
  (* (sin x) (* (cbrt (sin x)) (cbrt (sin x))))
  (* (sin x) (sqrt (sin x)))
  (* (sin x) 1)
  (* (cbrt (sin x)) (sin x))
  (* (sqrt (sin x)) (sin x))
  (* (sin x) (sin x))
  (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5)))
  (- x (sin x))
  (- x (sin x))
  (- (+ (* 1/315 (pow x 8)) (* 1/3 (pow x 4))) (* 2/45 (pow x 6)))
  (- (pow x 2) (pow (sin x) 2))
  (- (pow x 2) (pow (sin x) 2))
  (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))))
  (- x (/ (sin x) (cos x)))
  (- x (/ (sin x) (cos x)))
  (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4)))
  (pow (sin x) 2)
  (pow (sin x) 2)
1.118 * [simplify]: Sending expressions to egg_math:
 (- (log (- (* h0 h0) (* (sin h0) (sin h0)))) (log (+ h0 (sin h0))))
 (log (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0))))
 (exp (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0))))
 (/ (* (* (- (* h0 h0) (* (sin h0) (sin h0))) (- (* h0 h0) (* (sin h0) (sin h0)))) (- (* h0 h0) (* (sin h0) (sin h0)))) (* (* (+ h0 (sin h0)) (+ h0 (sin h0))) (+ h0 (sin h0))))
 (* (cbrt (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0)))) (cbrt (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0)))))
 (cbrt (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0))))
 (* (* (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0))) (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0)))) (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0))))
 (sqrt (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0))))
 (sqrt (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0))))
 (- (- (* h0 h0) (* (sin h0) (sin h0))))
 (- (+ h0 (sin h0)))
 (/ (* h0 h0) (+ h0 (sin h0)))
 (/ (* (sin h0) (sin h0)) (+ h0 (sin h0)))
 (/ (* (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (cbrt (- (* h0 h0) (* (sin h0) (sin h0))))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (cbrt (+ h0 (sin h0))))
 (/ (* (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (cbrt (- (* h0 h0) (* (sin h0) (sin h0))))) (sqrt (+ h0 (sin h0))))
 (/ (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (sqrt (+ h0 (sin h0))))
 (/ (* (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (cbrt (- (* h0 h0) (* (sin h0) (sin h0))))) 1)
 (/ (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (+ h0 (sin h0)))
 (/ (* (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (cbrt (- (* h0 h0) (* (sin h0) (sin h0))))) 1)
 (/ (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (+ h0 (sin h0)))
 (/ (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))) (cbrt (+ h0 (sin h0))))
 (/ (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))) (sqrt (+ h0 (sin h0))))
 (/ (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))) (sqrt (+ h0 (sin h0))))
 (/ (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))) 1)
 (/ (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))) (+ h0 (sin h0)))
 (/ (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))) 1)
 (/ (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))) (+ h0 (sin h0)))
 (/ 1 (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) (cbrt (+ h0 (sin h0))))
 (/ 1 (sqrt (+ h0 (sin h0))))
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) (sqrt (+ h0 (sin h0))))
 (/ 1 1)
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0)))
 (/ 1 1)
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ h0 (sin h0)))
 (/ (+ h0 (sin h0)) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (- h0 (sin h0)) (cbrt (+ h0 (sin h0))))
 (/ (+ h0 (sin h0)) (sqrt (+ h0 (sin h0))))
 (/ (- h0 (sin h0)) (sqrt (+ h0 (sin h0))))
 (/ (+ h0 (sin h0)) 1)
 (/ (- h0 (sin h0)) (+ h0 (sin h0)))
 (/ (+ h0 (sin h0)) 1)
 (/ (- h0 (sin h0)) (+ h0 (sin h0)))
 (/ 1 (+ h0 (sin h0)))
 (/ (+ h0 (sin h0)) (- (* h0 h0) (* (sin h0) (sin h0))))
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) (sqrt (+ h0 (sin h0))))
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) 1)
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) 1)
 (/ (+ h0 (sin h0)) (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))))
 (/ (+ h0 (sin h0)) (sqrt (- (* h0 h0) (* (sin h0) (sin h0)))))
 (/ (+ h0 (sin h0)) (- (* h0 h0) (* (sin h0) (sin h0))))
 (/ (+ h0 (sin h0)) (- h0 (sin h0)))
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) (+ (pow h0 3) (pow (sin h0) 3)))
 (/ (- (* h0 h0) (* (sin h0) (sin h0))) (- (* h0 h0) (* (sin h0) (sin h0))))
 (* (+ h0 (sin h0)) (+ (* (* h0 h0) (* h0 h0)) (+ (* (* (sin h0) (sin h0)) (* (sin h0) (sin h0))) (* (* h0 h0) (* (sin h0) (sin h0))))))
 (* (+ h0 (sin h0)) (+ (* h0 h0) (* (sin h0) (sin h0))))
 (/ (exp (* h0 h0)) (exp (* (sin h0) (sin h0))))
 (log (- (* h0 h0) (* (sin h0) (sin h0))))
 (exp (- (* h0 h0) (* (sin h0) (sin h0))))
 (* (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))) (cbrt (- (* h0 h0) (* (sin h0) (sin h0)))))
 (cbrt (- (* h0 h0) (* (sin h0) (sin h0))))
 (* (* (- (* h0 h0) (* (sin h0) (sin h0))) (- (* h0 h0) (* (sin h0) (sin h0)))) (- (* h0 h0) (* (sin h0) (sin h0))))
 (sqrt (- (* h0 h0) (* (sin h0) (sin h0))))
 (sqrt (- (* h0 h0) (* (sin h0) (sin h0))))
 (- (pow (* h0 h0) 3) (pow (* (sin h0) (sin h0)) 3))
 (+ (* (* h0 h0) (* h0 h0)) (+ (* (* (sin h0) (sin h0)) (* (sin h0) (sin h0))) (* (* h0 h0) (* (sin h0) (sin h0)))))
 (- (* (sin h0) (sin h0)))
 (- (* (* h0 h0) (* h0 h0)) (* (* (sin h0) (sin h0)) (* (sin h0) (sin h0))))
 (+ (* h0 h0) (* (sin h0) (sin h0)))
 (+ h0 (sin h0))
 (- h0 (sin h0))
 (- (* h0 h0) 1/2)
 (- (* (sin h0) (sin h0)))
 (/ (exp h0) (exp (tan h0)))
 (log (- h0 (tan h0)))
 (exp (- h0 (tan h0)))
 (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0))))
 (cbrt (- h0 (tan h0)))
 (* (* (- h0 (tan h0)) (- h0 (tan h0))) (- h0 (tan h0)))
 (sqrt (- h0 (tan h0)))
 (sqrt (- h0 (tan h0)))
 (- (pow h0 3) (pow (tan h0) 3))
 (+ (* h0 h0) (+ (* (tan h0) (tan h0)) (* h0 (tan h0))))
 (- (tan h0))
 (- (* h0 h0) (* (tan h0) (tan h0)))
 (+ h0 (tan h0))
 (+ (sqrt h0) (sqrt (tan h0)))
 (- (sqrt h0) (sqrt (tan h0)))
 (- h0 (tan h0))
 (- (tan h0))
 (* 1/2 (cos (* 2 h0)))
 (- (cos (- h0 h0)) (cos (+ h0 h0)))
 (+ 1 1)
 (* (sin h0) (sin h0))
 (+ 1 1)
 (+ (log (sin h0)) (log (sin h0)))
 (log (* (sin h0) (sin h0)))
 (exp (* (sin h0) (sin h0)))
 (* (* (* (sin h0) (sin h0)) (sin h0)) (* (* (sin h0) (sin h0)) (sin h0)))
 (* (cbrt (* (sin h0) (sin h0))) (cbrt (* (sin h0) (sin h0))))
 (cbrt (* (sin h0) (sin h0)))
 (* (* (* (sin h0) (sin h0)) (* (sin h0) (sin h0))) (* (sin h0) (sin h0)))
 (sqrt (* (sin h0) (sin h0)))
 (sqrt (* (sin h0) (sin h0)))
 (* (* (cbrt (sin h0)) (cbrt (sin h0))) (* (cbrt (sin h0)) (cbrt (sin h0))))
 (* (cbrt (sin h0)) (cbrt (sin h0)))
 (* (sqrt (sin h0)) (sqrt (sin h0)))
 (* (sqrt (sin h0)) (sqrt (sin h0)))
 (* 1 1)
 (* (sin h0) (sin h0))
 (* (sqrt (sin h0)) (sqrt (sin h0)))
 (* (sqrt (sin h0)) (sqrt (sin h0)))
 (* 2 1)
 (* (sin h0) (* (cbrt (sin h0)) (cbrt (sin h0))))
 (* (sin h0) (sqrt (sin h0)))
 (* (sin h0) 1)
 (* (cbrt (sin h0)) (sin h0))
 (* (sqrt (sin h0)) (sin h0))
 (* (sin h0) (sin h0))
 (- (+ (* 1/5040 (pow h0 7)) (* 1/6 (pow h0 3))) (* 1/120 (pow h0 5)))
 (- h0 (sin h0))
 (- h0 (sin h0))
 (- (+ (* 1/315 (pow h0 8)) (* 1/3 (pow h0 4))) (* 2/45 (pow h0 6)))
 (- (pow h0 2) (pow (sin h0) 2))
 (- (pow h0 2) (pow (sin h0) 2))
 (- (+ (* 17/315 (pow h0 7)) (+ (* 1/3 (pow h0 3)) (* 2/15 (pow h0 5)))))
 (- h0 (/ (sin h0) (cos h0)))
 (- h0 (/ (sin h0) (cos h0)))
 (- (+ (pow h0 2) (* 2/45 (pow h0 6))) (* 1/3 (pow h0 4)))
 (pow (sin h0) 2)
 (pow (sin h0) 2)
1.126 * * [simplify]: iteration  0 :  439  enodes  (cost  830 )
1.134 * * [simplify]: iteration  1 :  1956  enodes  (cost  748 )
1.172 * * [simplify]: iteration  2 :  5001  enodes  (cost  740 )
1.176 * [simplify]: Simplified to:
   (log (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (log (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (exp (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (pow (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))) 3)
  (* (cbrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x)))))
  (cbrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (pow (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))) 3)
  (sqrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (sqrt (/ (- (* x x) (* (sin x) (sin x))) (+ x (sin x))))
  (- (- (pow x 2) (pow (sin x) 2)))
  (- (+ x (sin x)))
  (/ (* x x) (+ x (sin x)))
  (/ (pow (sin x) 2) (+ x (sin x)))
  (/ (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (+ x (sin x))))
  (/ (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x))))) (sqrt (+ x (sin x))))
  (/ (cbrt (- (* x x) (* (sin x) (sin x)))) (sqrt (+ x (sin x))))
  (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x)))))
  (/ (cbrt (- (* x x) (* (sin x) (sin x)))) (+ x (sin x)))
  (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x)))))
  (/ (cbrt (- (* x x) (* (sin x) (sin x)))) (+ x (sin x)))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (cbrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (sqrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (sqrt (+ x (sin x))))
  (sqrt (- (* x x) (* (sin x) (sin x))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (+ x (sin x)))
  (sqrt (- (* x x) (* (sin x) (sin x))))
  (/ (sqrt (- (* x x) (* (sin x) (sin x)))) (+ x (sin x)))
  (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (- (pow x 2) (pow (sin x) 2)) (cbrt (+ x (sin x))))
  (/ 1 (sqrt (+ x (sin x))))
  (/ (- (pow x 2) (pow (sin x) 2)) (sqrt (+ x (sin x))))
  1
  (/ (- (pow x 2) (pow (sin x) 2)) (+ x (sin x)))
  1
  (/ (- (pow x 2) (pow (sin x) 2)) (+ x (sin x)))
  (/ (+ x (sin x)) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (- x (sin x)) (cbrt (+ x (sin x))))
  (/ (+ x (sin x)) (sqrt (+ x (sin x))))
  (/ (- x (sin x)) (sqrt (+ x (sin x))))
  (+ x (sin x))
  (/ (- x (sin x)) (+ x (sin x)))
  (+ x (sin x))
  (/ (- x (sin x)) (+ x (sin x)))
  (/ 1 (+ x (sin x)))
  (/ (+ x (sin x)) (- (pow x 2) (pow (sin x) 2)))
  (/ (/ (- (pow x 2) (pow (sin x) 2)) (cbrt (+ x (sin x)))) (cbrt (+ x (sin x))))
  (/ (- (pow x 2) (pow (sin x) 2)) (sqrt (+ x (sin x))))
  (- (pow x 2) (pow (sin x) 2))
  (- (pow x 2) (pow (sin x) 2))
  (/ (+ x (sin x)) (cbrt (- (* x x) (* (sin x) (sin x)))))
  (/ (+ x (sin x)) (sqrt (- (* x x) (* (sin x) (sin x)))))
  (/ (+ x (sin x)) (- (pow x 2) (pow (sin x) 2)))
  (/ (+ x (sin x)) (- x (sin x)))
  (/ (- (pow x 2) (pow (sin x) 2)) (+ (pow x 3) (pow (sin x) 3)))
  1
  (* (+ (+ (pow x 4) (* x (* x (pow (sin x) 2)))) (pow (sin x) 4)) (+ x (sin x)))
  (* (+ (pow (sin x) 2) (pow x 2)) (+ x (sin x)))
  (exp (- (pow x 2) (pow (sin x) 2)))
  (log (- (pow x 2) (pow (sin x) 2)))
  (exp (- (pow x 2) (pow (sin x) 2)))
  (* (cbrt (- (* x x) (* (sin x) (sin x)))) (cbrt (- (* x x) (* (sin x) (sin x)))))
  (cbrt (- (* x x) (* (sin x) (sin x))))
  (pow (- (pow x 2) (pow (sin x) 2)) 3)
  (sqrt (- (* x x) (* (sin x) (sin x))))
  (sqrt (- (* x x) (* (sin x) (sin x))))
  (- (pow (* x x) 3) (pow (* (sin x) (sin x)) 3))
  (+ (+ (pow x 4) (* x (* x (pow (sin x) 2)))) (pow (sin x) 4))
  (- (pow (sin x) 2))
  (- (/ (pow x 4) 1) (/ (pow (sin x) 4) 1))
  (+ (pow (sin x) 2) (pow x 2))
  (+ x (sin x))
  (- x (sin x))
  (- (* x x) 1/2)
  (- (pow (sin x) 2))
  (exp (- x (tan x)))
  (log (- x (tan x)))
  (exp (- x (tan x)))
  (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))
  (cbrt (- x (tan x)))
  (pow (- x (tan x)) 3)
  (sqrt (- x (tan x)))
  (sqrt (- x (tan x)))
  (- (pow x 3) (pow (tan x) 3))
  (+ (* (tan x) (+ (tan x) x)) (pow x 2))
  (- (tan x))
  (- (* x x) (* (tan x) (tan x)))
  (+ x (tan x))
  (+ (sqrt x) (sqrt (tan x)))
  (- (sqrt x) (sqrt (tan x)))
  (- x (tan x))
  (- (tan x))
  (* 1/2 (cos (* 2 x)))
  (+ (- (cos (+ x x))) 1)
  2
  (pow (sin x) 2)
  2
  (* 2 (log (sin x)))
  (* 2 (log (sin x)))
  (exp (pow (sin x) 2))
  (pow (sin x) 6)
  (* (cbrt (* (sin x) (sin x))) (cbrt (* (sin x) (sin x))))
  (cbrt (* (sin x) (sin x)))
  (pow (sin x) 6)
  (fabs (sin x))
  (fabs (sin x))
  (pow (cbrt (sin x)) 4)
  (* (cbrt (sin x)) (cbrt (sin x)))
  (sin x)
  (sin x)
  1
  (pow (sin x) 2)
  (sin x)
  (sin x)
  2
  (* (sin x) (* (cbrt (sin x)) (cbrt (sin x))))
  (pow (sqrt (sin x)) 3)
  (sin x)
  (pow (cbrt (sin x)) 4)
  (pow (sqrt (sin x)) 3)
  (pow (sin x) 2)
  (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5)))
  (- x (sin x))
  (- x (sin x))
  (- (+ (* 1/315 (pow x 8)) (* 1/3 (pow x 4))) (* 2/45 (pow x 6)))
  (- (pow x 2) (pow (sin x) 2))
  (- (pow x 2) (pow (sin x) 2))
  (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))))
  (- x (/ (sin x) (cos x)))
  (- x (/ (sin x) (cos x)))
  (- (+ (pow x 2) (* 2/45 (pow x 6))) (* 1/3 (pow x 4)))
  (pow (sin x) 2)
  (pow (sin x) 2)
1.176 * * * [progress]: adding candidates to table
1.427 * * [progress]: iteration 3 / 4
1.427 * * * [progress]: picking best candidate
1.440 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))>
1.440 * * * [progress]: localizing error
1.457 * * * [progress]: generating rewritten candidates
1.457 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.485 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.493 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.530 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.545 * * * [progress]: generating series expansions
1.545 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.545 * [approximate]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (+ x (sin x))) in (x) around 0
1.545 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (+ x (sin x))) in x
1.545 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
1.545 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
1.545 * [taylor]: Taking taylor expansion of (sin x) in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.546 * [taylor]: Taking taylor expansion of (+ x (sin x)) in x
1.546 * [taylor]: Taking taylor expansion of x in x
1.546 * [taylor]: Taking taylor expansion of (sin x) in x
1.546 * [taylor]: Taking taylor expansion of x in x
1.551 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (+ x (sin x))) in x
1.551 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
1.551 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.551 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
1.551 * [taylor]: Taking taylor expansion of (sin x) in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.552 * [taylor]: Taking taylor expansion of (+ x (sin x)) in x
1.552 * [taylor]: Taking taylor expansion of x in x
1.552 * [taylor]: Taking taylor expansion of (sin x) in x
1.552 * [taylor]: Taking taylor expansion of x in x
1.581 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (+ (sin (/ 1 x)) (/ 1 x))) in (x) around 0
1.581 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (+ (sin (/ 1 x)) (/ 1 x))) in x
1.581 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
1.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.581 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.581 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.582 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 x)) (/ 1 x)) in x
1.582 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.583 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (+ (sin (/ 1 x)) (/ 1 x))) in x
1.583 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
1.583 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.583 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.583 * [taylor]: Taking taylor expansion of x in x
1.584 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.584 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.584 * [taylor]: Taking taylor expansion of x in x
1.584 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 x)) (/ 1 x)) in x
1.584 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.584 * [taylor]: Taking taylor expansion of x in x
1.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.584 * [taylor]: Taking taylor expansion of x in x
1.613 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (- (sin (/ -1 x)) (/ 1 x))) in (x) around 0
1.613 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (- (sin (/ -1 x)) (/ 1 x))) in x
1.613 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
1.613 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.613 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.613 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.614 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.614 * [taylor]: Taking taylor expansion of -1 in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (/ 1 x)) in x
1.614 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.614 * [taylor]: Taking taylor expansion of -1 in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.615 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (- (sin (/ -1 x)) (/ 1 x))) in x
1.615 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
1.615 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.615 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.615 * [taylor]: Taking taylor expansion of x in x
1.616 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.616 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.616 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.616 * [taylor]: Taking taylor expansion of -1 in x
1.616 * [taylor]: Taking taylor expansion of x in x
1.616 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (/ 1 x)) in x
1.616 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.616 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.616 * [taylor]: Taking taylor expansion of -1 in x
1.616 * [taylor]: Taking taylor expansion of x in x
1.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.617 * [taylor]: Taking taylor expansion of x in x
1.643 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.643 * [approximate]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in (x) around 0
1.643 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
1.643 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.644 * [taylor]: Taking taylor expansion of x in x
1.644 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
1.644 * [taylor]: Taking taylor expansion of (sin x) in x
1.644 * [taylor]: Taking taylor expansion of x in x
1.644 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
1.644 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.644 * [taylor]: Taking taylor expansion of x in x
1.644 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
1.644 * [taylor]: Taking taylor expansion of (sin x) in x
1.644 * [taylor]: Taking taylor expansion of x in x
1.665 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in (x) around 0
1.665 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
1.665 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.665 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.665 * [taylor]: Taking taylor expansion of x in x
1.665 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.666 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.666 * [taylor]: Taking taylor expansion of x in x
1.666 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
1.666 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.666 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.666 * [taylor]: Taking taylor expansion of x in x
1.666 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.666 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.666 * [taylor]: Taking taylor expansion of x in x
1.685 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in (x) around 0
1.685 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
1.685 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.685 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.685 * [taylor]: Taking taylor expansion of x in x
1.685 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.685 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.686 * [taylor]: Taking taylor expansion of -1 in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
1.686 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.686 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.686 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.686 * [taylor]: Taking taylor expansion of -1 in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.702 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.703 * [approximate]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (* (+ x (sin x)) (- x (tan x)))) in (x) around 0
1.703 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (* (+ x (sin x)) (- x (tan x)))) in x
1.703 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
1.703 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.703 * [taylor]: Taking taylor expansion of x in x
1.703 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
1.703 * [taylor]: Taking taylor expansion of (sin x) in x
1.703 * [taylor]: Taking taylor expansion of x in x
1.703 * [taylor]: Taking taylor expansion of (* (+ x (sin x)) (- x (tan x))) in x
1.703 * [taylor]: Taking taylor expansion of (+ x (sin x)) in x
1.703 * [taylor]: Taking taylor expansion of x in x
1.703 * [taylor]: Taking taylor expansion of (sin x) in x
1.703 * [taylor]: Taking taylor expansion of x in x
1.703 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
1.703 * [taylor]: Taking taylor expansion of x in x
1.703 * [taylor]: Taking taylor expansion of (tan x) in x
1.703 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.703 * [taylor]: Taking taylor expansion of (sin x) in x
1.703 * [taylor]: Taking taylor expansion of x in x
1.704 * [taylor]: Taking taylor expansion of (cos x) in x
1.704 * [taylor]: Taking taylor expansion of x in x
1.721 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (pow (sin x) 2)) (* (+ x (sin x)) (- x (tan x)))) in x
1.721 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow (sin x) 2)) in x
1.721 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.721 * [taylor]: Taking taylor expansion of x in x
1.721 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x
1.721 * [taylor]: Taking taylor expansion of (sin x) in x
1.721 * [taylor]: Taking taylor expansion of x in x
1.722 * [taylor]: Taking taylor expansion of (* (+ x (sin x)) (- x (tan x))) in x
1.722 * [taylor]: Taking taylor expansion of (+ x (sin x)) in x
1.722 * [taylor]: Taking taylor expansion of x in x
1.722 * [taylor]: Taking taylor expansion of (sin x) in x
1.722 * [taylor]: Taking taylor expansion of x in x
1.722 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
1.722 * [taylor]: Taking taylor expansion of x in x
1.722 * [taylor]: Taking taylor expansion of (tan x) in x
1.722 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.722 * [taylor]: Taking taylor expansion of (sin x) in x
1.722 * [taylor]: Taking taylor expansion of x in x
1.722 * [taylor]: Taking taylor expansion of (cos x) in x
1.722 * [taylor]: Taking taylor expansion of x in x
1.804 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (* (+ (sin (/ 1 x)) (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in (x) around 0
1.804 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (* (+ (sin (/ 1 x)) (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in x
1.804 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
1.804 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.804 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.804 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.805 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of (* (+ (sin (/ 1 x)) (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x
1.805 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 x)) (/ 1 x)) in x
1.805 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.806 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.806 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.807 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.807 * [taylor]: Taking taylor expansion of x in x
1.808 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) (* (+ (sin (/ 1 x)) (/ 1 x)) (- (/ 1 x) (tan (/ 1 x))))) in x
1.808 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ 1 x)) 2)) in x
1.808 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.808 * [taylor]: Taking taylor expansion of x in x
1.808 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x
1.808 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.809 * [taylor]: Taking taylor expansion of (* (+ (sin (/ 1 x)) (/ 1 x)) (- (/ 1 x) (tan (/ 1 x)))) in x
1.809 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 x)) (/ 1 x)) in x
1.809 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.809 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.810 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.810 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.820 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (* (+ (tan (/ -1 x)) (/ 1 x)) (- (sin (/ -1 x)) (/ 1 x))))) in (x) around 0
1.820 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (* (+ (tan (/ -1 x)) (/ 1 x)) (- (sin (/ -1 x)) (/ 1 x))))) in x
1.820 * [taylor]: Taking taylor expansion of -1 in x
1.820 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (* (+ (tan (/ -1 x)) (/ 1 x)) (- (sin (/ -1 x)) (/ 1 x)))) in x
1.820 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
1.820 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.821 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.821 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.821 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.821 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.821 * [taylor]: Taking taylor expansion of -1 in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.821 * [taylor]: Taking taylor expansion of (* (+ (tan (/ -1 x)) (/ 1 x)) (- (sin (/ -1 x)) (/ 1 x))) in x
1.822 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
1.822 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.822 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.822 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.822 * [taylor]: Taking taylor expansion of -1 in x
1.822 * [taylor]: Taking taylor expansion of x in x
1.822 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.822 * [taylor]: Taking taylor expansion of -1 in x
1.822 * [taylor]: Taking taylor expansion of x in x
1.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.822 * [taylor]: Taking taylor expansion of x in x
1.823 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (/ 1 x)) in x
1.823 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.823 * [taylor]: Taking taylor expansion of -1 in x
1.823 * [taylor]: Taking taylor expansion of x in x
1.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.823 * [taylor]: Taking taylor expansion of x in x
1.825 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (* (+ (tan (/ -1 x)) (/ 1 x)) (- (sin (/ -1 x)) (/ 1 x))))) in x
1.825 * [taylor]: Taking taylor expansion of -1 in x
1.825 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) (* (+ (tan (/ -1 x)) (/ 1 x)) (- (sin (/ -1 x)) (/ 1 x)))) in x
1.825 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (pow (sin (/ -1 x)) 2)) in x
1.825 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.825 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.825 * [taylor]: Taking taylor expansion of x in x
1.825 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x
1.825 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.825 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.825 * [taylor]: Taking taylor expansion of -1 in x
1.825 * [taylor]: Taking taylor expansion of x in x
1.826 * [taylor]: Taking taylor expansion of (* (+ (tan (/ -1 x)) (/ 1 x)) (- (sin (/ -1 x)) (/ 1 x))) in x
1.826 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
1.826 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.826 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.826 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.826 * [taylor]: Taking taylor expansion of -1 in x
1.826 * [taylor]: Taking taylor expansion of x in x
1.826 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.826 * [taylor]: Taking taylor expansion of -1 in x
1.826 * [taylor]: Taking taylor expansion of x in x
1.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.827 * [taylor]: Taking taylor expansion of x in x
1.827 * [taylor]: Taking taylor expansion of (- (sin (/ -1 x)) (/ 1 x)) in x
1.827 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.827 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.827 * [taylor]: Taking taylor expansion of -1 in x
1.827 * [taylor]: Taking taylor expansion of x in x
1.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.827 * [taylor]: Taking taylor expansion of x in x
1.841 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.841 * [approximate]: Taking taylor expansion of (- x (tan x)) in (x) around 0
1.841 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
1.841 * [taylor]: Taking taylor expansion of x in x
1.841 * [taylor]: Taking taylor expansion of (tan x) in x
1.841 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.841 * [taylor]: Taking taylor expansion of (sin x) in x
1.841 * [taylor]: Taking taylor expansion of x in x
1.842 * [taylor]: Taking taylor expansion of (cos x) in x
1.842 * [taylor]: Taking taylor expansion of x in x
1.842 * [taylor]: Taking taylor expansion of (- x (tan x)) in x
1.842 * [taylor]: Taking taylor expansion of x in x
1.842 * [taylor]: Taking taylor expansion of (tan x) in x
1.842 * [taylor]: Rewrote expression to (/ (sin x) (cos x))
1.842 * [taylor]: Taking taylor expansion of (sin x) in x
1.842 * [taylor]: Taking taylor expansion of x in x
1.842 * [taylor]: Taking taylor expansion of (cos x) in x
1.842 * [taylor]: Taking taylor expansion of x in x
1.867 * [approximate]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in (x) around 0
1.867 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
1.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.867 * [taylor]: Taking taylor expansion of x in x
1.867 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.867 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.867 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.867 * [taylor]: Taking taylor expansion of x in x
1.868 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.868 * [taylor]: Taking taylor expansion of x in x
1.868 * [taylor]: Taking taylor expansion of (- (/ 1 x) (tan (/ 1 x))) in x
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.868 * [taylor]: Taking taylor expansion of x in x
1.868 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x
1.868 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x)))
1.868 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.868 * [taylor]: Taking taylor expansion of x in x
1.869 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
1.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.869 * [taylor]: Taking taylor expansion of x in x
1.877 * [approximate]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in (x) around 0
1.877 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x
1.877 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
1.877 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.877 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.877 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.877 * [taylor]: Taking taylor expansion of -1 in x
1.877 * [taylor]: Taking taylor expansion of x in x
1.878 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.878 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.878 * [taylor]: Taking taylor expansion of -1 in x
1.878 * [taylor]: Taking taylor expansion of x in x
1.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.878 * [taylor]: Taking taylor expansion of x in x
1.878 * [taylor]: Taking taylor expansion of (- (+ (tan (/ -1 x)) (/ 1 x))) in x
1.878 * [taylor]: Taking taylor expansion of (+ (tan (/ -1 x)) (/ 1 x)) in x
1.878 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x
1.879 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x)))
1.879 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x
1.879 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.879 * [taylor]: Taking taylor expansion of -1 in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
1.879 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.879 * [taylor]: Taking taylor expansion of -1 in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.888 * * * [progress]: simplifying candidates
1.891 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (log (+ x (sin x))))
  (log (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (exp (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (* (* (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (* (+ x (sin x)) (+ x (sin x))) (+ x (sin x))))
  (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))))
  (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (* (* (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (- (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (- (+ x (sin x)))
  (/ (* x x) (+ x (sin x)))
  (/ (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (+ x (sin x)))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x))))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x))))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x))))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1)
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x)))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1)
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x)))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1)
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x)))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1)
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x)))
  (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x))))
  (/ 1 (sqrt (+ x (sin x))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x))))
  (/ 1 1)
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))
  (/ 1 1)
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))
  (/ 1 (+ x (sin x)))
  (/ (+ x (sin x)) (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) 1)
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) 1)
  (/ (+ x (sin x)) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (+ x (sin x)) (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (+ x (sin x)) (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3)))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (sin x) (sin x))))
  (* (+ x (sin x)) (+ (* (* x x) (* x x)) (+ (* (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (* (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))))
  (* (+ x (sin x)) (+ (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (exp (* x x)) (exp (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (log (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (exp (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (* (* (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (- (pow (* x x) 3) (pow (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) 3))
  (+ (* (* x x) (* x x)) (+ (* (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (* (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (- (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))
  (- (* (* x x) (* x x)) (* (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (+ (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))
  (- (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))
  (- (- (log (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (log (+ x (sin x)))) (log (- x (tan x))))
  (- (log (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (log (- x (tan x))))
  (log (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (exp (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (/ (/ (* (* (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (* (+ x (sin x)) (+ x (sin x))) (+ x (sin x)))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))))
  (/ (* (* (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (* (* (- x (tan x)) (- x (tan x))) (- x (tan x))))
  (* (cbrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))) (cbrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))))
  (cbrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (* (* (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))) (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))) (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (sqrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (sqrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (- (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (- (- x (tan x)))
  (/ (/ (* x x) (+ x (sin x))) (- x (tan x)))
  (/ (/ (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (+ x (sin x))) (- x (tan x)))
  (/ (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))) (sqrt (- x (tan x))))
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))) 1)
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- x (tan x)))
  (/ (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))) (+ (sqrt x) (sqrt (tan x))))
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))) 1)
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- x (tan x)))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) 1)
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- x (tan x)))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) 1)
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (sqrt (- x (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) 1)
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) 1)
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x)))) 1)
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x)))) 1)
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) (sqrt (- x (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (sqrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) 1)
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) 1)
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) (sqrt (- x (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (sqrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) 1)
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) 1) 1)
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) 1)
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) 1)
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) 1)
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) 1)
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) 1)
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) 1)
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) 1)
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) 1)
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ 1 (sqrt (+ x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ 1 (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ 1 (sqrt (+ x (sin x)))) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ 1 (sqrt (+ x (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ 1 (sqrt (+ x (sin x)))) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ 1 1) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (/ 1 1) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (sqrt (- x (tan x))))
  (/ (/ 1 1) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))
  (/ (/ 1 1) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ 1 1) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))
  (/ (/ 1 1) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (/ 1 1) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (sqrt (- x (tan x))))
  (/ (/ 1 1) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))
  (/ (/ 1 1) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ 1 1) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))
  (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ 1 (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (sqrt (- x (tan x))))
  (/ 1 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))
  (/ 1 (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (/ 1 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ 1 (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (- x (tan x))))
  (/ (/ 1 (+ x (sin x))) (sqrt (- x (tan x))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) 1)
  (/ (/ 1 (+ x (sin x))) (- x (tan x)))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ 1 (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) 1)
  (/ (/ 1 (+ x (sin x))) (- x (tan x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3))) (sqrt (- x (tan x))))
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3))) 1)
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (- x (tan x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3))) (+ (sqrt x) (sqrt (tan x))))
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3))) 1)
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (- x (tan x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (sin x) (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (- x (sin x)) (cbrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (sin x) (sin x)))) (sqrt (- x (tan x))))
  (/ (- x (sin x)) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (sin x) (sin x)))) 1)
  (/ (- x (sin x)) (- x (tan x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (sin x) (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (- (* x x) (* (sin x) (sin x)))) 1)
  (/ (- x (sin x)) (- x (tan x)))
  (/ 1 (- x (tan x)))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) 1)
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) 1)
  (/ (- x (tan x)) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))))
  (/ (- x (tan x)) (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))))
  (/ (- x (tan x)) (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (- x (tan x)) (/ 1 (+ x (sin x))))
  (/ (- x (tan x)) (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))))
  (/ (- x (tan x)) (- x (sin x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (pow x 3) (pow (tan x) 3)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (* x x) (* (tan x) (tan x))))
  (* (- x (tan x)) (+ x (sin x)))
  (/ (exp x) (exp (tan x)))
  (log (- x (tan x)))
  (exp (- x (tan x)))
  (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))
  (cbrt (- x (tan x)))
  (* (* (- x (tan x)) (- x (tan x))) (- x (tan x)))
  (sqrt (- x (tan x)))
  (sqrt (- x (tan x)))
  (- (pow x 3) (pow (tan x) 3))
  (+ (* x x) (+ (* (tan x) (tan x)) (* x (tan x))))
  (- (tan x))
  (- (* x x) (* (tan x) (tan x)))
  (+ x (tan x))
  (+ (sqrt x) (sqrt (tan x)))
  (- (sqrt x) (sqrt (tan x)))
  (- x (tan x))
  (- (tan x))
  (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5)))
  (- x (sin x))
  (- x (sin x))
  (- (+ (* 1/315 (pow x 8)) (* 1/3 (pow x 4))) (* 2/45 (pow x 6)))
  (- (pow x 2) (pow (sin x) 2))
  (- (pow x 2) (pow (sin x) 2))
  (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x)))))
  (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x)))))
  (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))))
  (- x (/ (sin x) (cos x)))
  (- x (/ (sin x) (cos x)))
1.894 * [simplify]: Sending expressions to egg_math:
 (- (log (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (log (+ h0 (sin h0))))
 (log (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (exp (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (/ (* (* (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (* (* (+ h0 (sin h0)) (+ h0 (sin h0))) (+ h0 (sin h0))))
 (* (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))))
 (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (* (* (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (- (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (- (+ h0 (sin h0)))
 (/ (* h0 h0) (+ h0 (sin h0)))
 (/ (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)) (+ h0 (sin h0)))
 (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0))))
 (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (sqrt (+ h0 (sin h0))))
 (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0))))
 (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1)
 (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0)))
 (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1)
 (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0)))
 (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0))))
 (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0))))
 (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0))))
 (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1)
 (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0)))
 (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1)
 (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0)))
 (/ 1 (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (cbrt (+ h0 (sin h0))))
 (/ 1 (sqrt (+ h0 (sin h0))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (+ h0 (sin h0))))
 (/ 1 1)
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))
 (/ 1 1)
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))
 (/ 1 (+ h0 (sin h0)))
 (/ (+ h0 (sin h0)) (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0)))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (+ h0 (sin h0))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) 1)
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) 1)
 (/ (+ h0 (sin h0)) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))))
 (/ (+ h0 (sin h0)) (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))))
 (/ (+ h0 (sin h0)) (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ (pow h0 3) (pow (sin h0) 3)))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (sin h0) (sin h0))))
 (* (+ h0 (sin h0)) (+ (* (* h0 h0) (* h0 h0)) (+ (* (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (* (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))))
 (* (+ h0 (sin h0)) (+ (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (/ (exp (* h0 h0)) (exp (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (log (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (exp (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))))
 (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (* (* (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (- (pow (* h0 h0) 3) (pow (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)) 3))
 (+ (* (* h0 h0) (* h0 h0)) (+ (* (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (* (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))))
 (- (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))
 (- (* (* h0 h0) (* h0 h0)) (* (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))
 (+ (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))
 (- (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))
 (- (- (log (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (log (+ h0 (sin h0)))) (log (- h0 (tan h0))))
 (- (log (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (log (- h0 (tan h0))))
 (log (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0))))
 (exp (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0))))
 (/ (/ (* (* (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (* (* (+ h0 (sin h0)) (+ h0 (sin h0))) (+ h0 (sin h0)))) (* (* (- h0 (tan h0)) (- h0 (tan h0))) (- h0 (tan h0))))
 (/ (* (* (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (* (* (- h0 (tan h0)) (- h0 (tan h0))) (- h0 (tan h0))))
 (* (cbrt (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))) (cbrt (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))))
 (cbrt (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0))))
 (* (* (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0))) (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))) (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0))))
 (sqrt (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0))))
 (sqrt (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0))))
 (- (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (- (- h0 (tan h0)))
 (/ (/ (* h0 h0) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (* (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (* (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))) (sqrt (- h0 (tan h0))))
 (/ (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (* (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))) 1)
 (/ (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (* (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (* (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))) 1)
 (/ (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) 1)
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) 1)
 (/ (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (sqrt (- h0 (tan h0))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) 1)
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) 1)
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (sqrt (+ h0 (sin h0)))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (sqrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (sqrt (+ h0 (sin h0)))) 1)
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (sqrt (+ h0 (sin h0)))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) (sqrt (+ h0 (sin h0)))) 1)
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (cbrt (- h0 (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) (sqrt (- h0 (tan h0))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) 1)
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) 1)
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (cbrt (- h0 (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) (sqrt (- h0 (tan h0))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) 1)
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (* (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))))) 1) 1)
 (/ (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (sqrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) 1)
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) 1)
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) 1)
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) 1)
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (cbrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) (sqrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) 1)
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) 1)
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (cbrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) (sqrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) 1)
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) 1) 1)
 (/ (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ 1 (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (cbrt (+ h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (/ 1 (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (sqrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (cbrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ 1 (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (cbrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ 1 (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (cbrt (+ h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ 1 (* (cbrt (+ h0 (sin h0))) (cbrt (+ h0 (sin h0))))) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (cbrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ 1 (sqrt (+ h0 (sin h0)))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (+ h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (/ 1 (sqrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (+ h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ 1 (sqrt (+ h0 (sin h0)))) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ 1 (sqrt (+ h0 (sin h0)))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (+ h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ 1 (sqrt (+ h0 (sin h0)))) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (+ h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ 1 1) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (cbrt (- h0 (tan h0))))
 (/ (/ 1 1) (sqrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ (/ 1 1) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ 1 1) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ 1 1) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ 1 1) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (cbrt (- h0 (tan h0))))
 (/ (/ 1 1) (sqrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ (/ 1 1) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ 1 1) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ 1 1) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ 1 (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (cbrt (- h0 (tan h0))))
 (/ 1 (sqrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ 1 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ 1 (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- (sqrt h0) (sqrt (tan h0))))
 (/ 1 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ 1 (+ h0 (sin h0))) (cbrt (- h0 (tan h0))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (- h0 (tan h0))))
 (/ (/ 1 (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) 1)
 (/ (/ 1 (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ 1 (+ h0 (sin h0))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) 1)
 (/ (/ 1 (+ h0 (sin h0))) (- h0 (tan h0)))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ (pow h0 3) (pow (sin h0) 3))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (+ (* h0 h0) (- (* (sin h0) (sin h0)) (* h0 (sin h0)))) (cbrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ (pow h0 3) (pow (sin h0) 3))) (sqrt (- h0 (tan h0))))
 (/ (+ (* h0 h0) (- (* (sin h0) (sin h0)) (* h0 (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ (pow h0 3) (pow (sin h0) 3))) 1)
 (/ (+ (* h0 h0) (- (* (sin h0) (sin h0)) (* h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ (pow h0 3) (pow (sin h0) 3))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (+ (* h0 h0) (- (* (sin h0) (sin h0)) (* h0 (sin h0)))) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ (pow h0 3) (pow (sin h0) 3))) 1)
 (/ (+ (* h0 h0) (- (* (sin h0) (sin h0)) (* h0 (sin h0)))) (- h0 (tan h0)))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (sin h0) (sin h0)))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (- h0 (sin h0)) (cbrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (sin h0) (sin h0)))) (sqrt (- h0 (tan h0))))
 (/ (- h0 (sin h0)) (sqrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (sin h0) (sin h0)))) 1)
 (/ (- h0 (sin h0)) (- h0 (tan h0)))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (sin h0) (sin h0)))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (- h0 (sin h0)) (- (sqrt h0) (sqrt (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (- (* h0 h0) (* (sin h0) (sin h0)))) 1)
 (/ (- h0 (sin h0)) (- h0 (tan h0)))
 (/ 1 (- h0 (tan h0)))
 (/ (- h0 (tan h0)) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0)))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (sqrt (- h0 (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) 1)
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (+ (sqrt h0) (sqrt (tan h0))))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) 1)
 (/ (- h0 (tan h0)) (cbrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))))
 (/ (- h0 (tan h0)) (sqrt (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0)))))
 (/ (- h0 (tan h0)) (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))))
 (/ (- h0 (tan h0)) (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))))
 (/ (- h0 (tan h0)) (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))))
 (/ (- h0 (tan h0)) (/ (cbrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))))
 (/ (- h0 (tan h0)) (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (cbrt (+ h0 (sin h0)))))
 (/ (- h0 (tan h0)) (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (sqrt (+ h0 (sin h0)))))
 (/ (- h0 (tan h0)) (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))))
 (/ (- h0 (tan h0)) (/ (sqrt (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4)))) (+ h0 (sin h0))))
 (/ (- h0 (tan h0)) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (cbrt (+ h0 (sin h0)))))
 (/ (- h0 (tan h0)) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (sqrt (+ h0 (sin h0)))))
 (/ (- h0 (tan h0)) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (/ (- h0 (tan h0)) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (/ (- h0 (tan h0)) (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))))
 (/ (- h0 (tan h0)) (/ 1 (+ h0 (sin h0))))
 (/ (- h0 (tan h0)) (+ (* h0 h0) (- (* (sin h0) (sin h0)) (* h0 (sin h0)))))
 (/ (- h0 (tan h0)) (- h0 (sin h0)))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- (pow h0 3) (pow (tan h0) 3)))
 (/ (/ (- (* h0 h0) (* (* (cbrt (sin h0)) (cbrt (sin h0))) (pow (cbrt (sin h0)) 4))) (+ h0 (sin h0))) (- (* h0 h0) (* (tan h0) (tan h0))))
 (* (- h0 (tan h0)) (+ h0 (sin h0)))
 (/ (exp h0) (exp (tan h0)))
 (log (- h0 (tan h0)))
 (exp (- h0 (tan h0)))
 (* (cbrt (- h0 (tan h0))) (cbrt (- h0 (tan h0))))
 (cbrt (- h0 (tan h0)))
 (* (* (- h0 (tan h0)) (- h0 (tan h0))) (- h0 (tan h0)))
 (sqrt (- h0 (tan h0)))
 (sqrt (- h0 (tan h0)))
 (- (pow h0 3) (pow (tan h0) 3))
 (+ (* h0 h0) (+ (* (tan h0) (tan h0)) (* h0 (tan h0))))
 (- (tan h0))
 (- (* h0 h0) (* (tan h0) (tan h0)))
 (+ h0 (tan h0))
 (+ (sqrt h0) (sqrt (tan h0)))
 (- (sqrt h0) (sqrt (tan h0)))
 (- h0 (tan h0))
 (- (tan h0))
 (- (+ (* 1/5040 (pow h0 7)) (* 1/6 (pow h0 3))) (* 1/120 (pow h0 5)))
 (- h0 (sin h0))
 (- h0 (sin h0))
 (- (+ (* 1/315 (pow h0 8)) (* 1/3 (pow h0 4))) (* 2/45 (pow h0 6)))
 (- (pow h0 2) (pow (sin h0) 2))
 (- (pow h0 2) (pow (sin h0) 2))
 (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))
 (- (+ (/ (sin h0) (* h0 (cos h0))) (+ (/ (pow (sin h0) 2) (* (pow h0 2) (pow (cos h0) 2))) 1)) (+ (/ (sin h0) h0) (/ (pow (sin h0) 2) (* (pow h0 2) (cos h0)))))
 (- (+ (/ (sin h0) (* h0 (cos h0))) (+ (/ (pow (sin h0) 2) (* (pow h0 2) (pow (cos h0) 2))) 1)) (+ (/ (sin h0) h0) (/ (pow (sin h0) 2) (* (pow h0 2) (cos h0)))))
 (- (+ (* 17/315 (pow h0 7)) (+ (* 1/3 (pow h0 3)) (* 2/15 (pow h0 5)))))
 (- h0 (/ (sin h0) (cos h0)))
 (- h0 (/ (sin h0) (cos h0)))
1.907 * * [simplify]: iteration  0 :  849  enodes  (cost  5210 )
1.921 * * [simplify]: iteration  1 :  3693  enodes  (cost  4977 )
1.974 * * [simplify]: iteration  2 :  5002  enodes  (cost  4826 )
1.994 * [simplify]: Simplified to:
   (log (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (log (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (exp (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (pow (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) 3)
  (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))))
  (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (pow (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) 3)
  (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (- (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (- (+ x (sin x)))
  (/ (* x x) (+ x (sin x)))
  (* (/ (sin x) 1) (/ (sin x) (+ x (sin x))))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x))))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x))))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x))))
  (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x)))
  (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x)))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x))))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x)))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x)))
  (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (* (/ (- (/ (pow x 2) 2) (/ (pow (pow (cbrt (sin x)) 2) 3) 2)) (cbrt (+ x (sin x)))) 2)
  (/ 1 (sqrt (+ x (sin x))))
  (/ (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (sqrt (+ x (sin x))))
  1
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (+ x (sin x))))
  1
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (+ x (sin x))))
  (/ 1 (+ x (sin x)))
  (* (/ 1 (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3))) (+ x (sin x)))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))))
  (/ (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (sqrt (+ x (sin x))))
  (- (pow x 2) (pow (sin x) 2))
  (- (pow x 2) (pow (sin x) 2))
  (/ (+ x (sin x)) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (+ x (sin x)) (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (* (/ 1 (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3))) (+ x (sin x)))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (+ (pow x 3) (pow (sin x) 3))))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (- (pow x 2) (pow (sin x) 2))))
  (* (+ (* (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (+ (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (pow x 2))) (* (* x x) (* x x))) (+ x (sin x)))
  (* (+ x (sin x)) (+ (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (exp (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)))
  (log (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (exp (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)))
  (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (pow (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) 3)
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (- (pow (* x x) 3) (pow (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) 3))
  (+ (* (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (+ (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)) (pow x 2))) (* (* x x) (* x x)))
  (- (pow (sin x) 2))
  (- (/ (pow x 4) 1) (/ (pow (pow (cbrt (sin x)) 4) 3) 1))
  (+ (pow x 2) (pow (sin x) 2))
  (- (pow (sin x) 2))
  (log (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (log (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (log (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (exp (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (pow (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))) 3)
  (pow (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))) 3)
  (* (cbrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))) (cbrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x)))))
  (cbrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (pow (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))) 3)
  (sqrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (sqrt (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))
  (- (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (- (- x (tan x)))
  (/ (/ (* x x) (+ x (sin x))) (- x (tan x)))
  (* (/ (sin x) (- x (tan x))) (/ (sin x) (+ x (sin x))))
  (/ (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))) (sqrt (- x (tan x))))
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (sqrt (- x (tan x))))
  (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))))
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- x (tan x)))
  (/ (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))) (+ (sqrt x) (sqrt (tan x))))
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (* (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))))
  (/ (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- x (tan x)))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (sqrt (- x (tan x))))
  (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- x (tan x)))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (sqrt (- x (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (sqrt (+ x (sin x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (/ (sqrt (- x (tan x))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (sqrt (- x (tan x))))
  (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (/ (+ (sqrt x) (sqrt (tan x))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (/ (sqrt (- x (tan x))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (sqrt (- x (tan x))))
  (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (/ (+ (sqrt x) (sqrt (tan x))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (* (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))))
  (/ (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (sqrt (- x (tan x))))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (- x (tan x)))) (cbrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (- x (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (sqrt (- x (tan x))))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) 1) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))))
  (/ (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))) (- x (tan x)))
  (/ (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x))))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ 1 (* (cbrt (+ x (sin x))) (cbrt (+ x (sin x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ 1 (sqrt (+ x (sin x)))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ 1 (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (sqrt (- x (tan x))))
  (/ 1 (sqrt (+ x (sin x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ (/ 1 (sqrt (+ x (sin x)))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (/ 1 (sqrt (+ x (sin x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))) (- x (tan x)))
  (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ 1 (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (sqrt (- x (tan x))))
  1
  (/ (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (* (+ x (sin x)) (- x (tan x))))
  (/ 1 (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  1
  (/ (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (* (+ x (sin x)) (- x (tan x))))
  (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ 1 (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (sqrt (- x (tan x))))
  1
  (/ (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (* (+ x (sin x)) (- x (tan x))))
  (/ 1 (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  1
  (/ (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (* (+ x (sin x)) (- x (tan x))))
  (/ 1 (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (cbrt (- x (tan x))))
  (/ 1 (sqrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (sqrt (- x (tan x))))
  1
  (/ (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (* (+ x (sin x)) (- x (tan x))))
  (/ 1 (+ (sqrt x) (sqrt (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  1
  (/ (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (* (+ x (sin x)) (- x (tan x))))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ 1 (+ x (sin x))) (cbrt (- x (tan x))))
  (- (/ (pow x 2) (sqrt (- x (tan x)))) (/ (pow (pow (cbrt (sin x)) 2) 3) (sqrt (- x (tan x)))))
  (/ (/ 1 (+ x (sin x))) (sqrt (- x (tan x))))
  (- (pow x 2) (pow (sin x) 2))
  (/ (/ 1 (+ x (sin x))) (- x (tan x)))
  (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (sqrt x) (sqrt (tan x))))
  (/ (/ 1 (+ x (sin x))) (- (sqrt x) (sqrt (tan x))))
  (- (pow x 2) (pow (sin x) 2))
  (/ (/ 1 (+ x (sin x))) (- x (tan x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (cbrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3))) (sqrt (- x (tan x))))
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (sqrt (- x (tan x))))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (+ (pow x 3) (pow (sin x) 3))))
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (- x (tan x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (pow x 3) (pow (sin x) 3))) (+ (sqrt x) (sqrt (tan x))))
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (- (sqrt x) (sqrt (tan x))))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (+ (pow x 3) (pow (sin x) 3))))
  (/ (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))) (- x (tan x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))) (- (pow x 2) (pow (sin x) 2)))
  (/ (- x (sin x)) (cbrt (- x (tan x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (- x (tan x)))) (- (pow x 2) (pow (sin x) 2)))
  (/ (- x (sin x)) (sqrt (- x (tan x))))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (- (pow x 2) (pow (sin x) 2))))
  (/ (- x (sin x)) (- x (tan x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ (sqrt x) (sqrt (tan x)))) (- (pow x 2) (pow (sin x) 2)))
  (/ (- x (sin x)) (- (sqrt x) (sqrt (tan x))))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (- (pow x 2) (pow (sin x) 2))))
  (/ (- x (sin x)) (- x (tan x)))
  (/ 1 (- x (tan x)))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (* (cbrt (- x (tan x))) (cbrt (- x (tan x)))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (sqrt (- x (tan x))))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (+ x (sin x))))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (+ (sqrt x) (sqrt (tan x))))
  (* (- (pow x 2) (pow (pow (cbrt (sin x)) 2) 3)) (/ 1 (+ x (sin x))))
  (/ (- x (tan x)) (cbrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))))
  (/ (- x (tan x)) (sqrt (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x)))))
  (/ (- x (tan x)) (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (cbrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (cbrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (sqrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (sqrt (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4)))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (cbrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (sqrt (+ x (sin x)))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (/ (- x (tan x)) (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))))
  (* (+ x (sin x)) (- x (tan x)))
  (/ (- x (tan x)) (+ (* x x) (- (* (sin x) (sin x)) (* x (sin x)))))
  (/ (- x (tan x)) (- x (sin x)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (pow x 3) (pow (tan x) 3)))
  (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- (* x x) (* (tan x) (tan x))))
  (* (+ x (sin x)) (- x (tan x)))
  (exp (- x (tan x)))
  (log (- x (tan x)))
  (exp (- x (tan x)))
  (* (cbrt (- x (tan x))) (cbrt (- x (tan x))))
  (cbrt (- x (tan x)))
  (pow (- x (tan x)) 3)
  (sqrt (- x (tan x)))
  (sqrt (- x (tan x)))
  (- (pow x 3) (pow (tan x) 3))
  (+ (* (tan x) (+ (tan x) x)) (pow x 2))
  (- (tan x))
  (- (* x x) (* (tan x) (tan x)))
  (+ x (tan x))
  (+ (sqrt x) (sqrt (tan x)))
  (- (sqrt x) (sqrt (tan x)))
  (- x (tan x))
  (- (tan x))
  (- (+ (* 1/5040 (pow x 7)) (* 1/6 (pow x 3))) (* 1/120 (pow x 5)))
  (- x (sin x))
  (- x (sin x))
  (- (+ (* 1/315 (pow x 8)) (* 1/3 (pow x 4))) (* 2/45 (pow x 6)))
  (- (pow x 2) (pow (sin x) 2))
  (- (pow x 2) (pow (sin x) 2))
  (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x)))))
  (- (+ (/ (sin x) (* x (cos x))) (+ (/ (pow (sin x) 2) (* (pow x 2) (pow (cos x) 2))) 1)) (+ (/ (sin x) x) (/ (pow (sin x) 2) (* (pow x 2) (cos x)))))
  (- (+ (* 17/315 (pow x 7)) (+ (* 1/3 (pow x 3)) (* 2/15 (pow x 5)))))
  (- x (/ (sin x) (cos x)))
  (- x (/ (sin x) (cos x)))
1.996 * * * [progress]: adding candidates to table
2.591 * * [progress]: iteration 4 / 4
2.591 * * * [progress]: picking best candidate
2.593 * * * * [pick]: Picked  #<alt (λ (x) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))>
2.593 * * * [progress]: localizing error
2.602 * * * [progress]: generating rewritten candidates
2.602 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.620 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.631 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
2.646 * * * [progress]: generating series expansions
2.646 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.647 * [approximate]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in (x) around 0
2.647 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x
2.647 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x
2.647 * [taylor]: Taking taylor expansion of 9/40 in x
2.647 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.647 * [taylor]: Taking taylor expansion of x in x
2.647 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x
2.647 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x
2.647 * [taylor]: Taking taylor expansion of 27/2800 in x
2.647 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.647 * [taylor]: Taking taylor expansion of x in x
2.647 * [taylor]: Taking taylor expansion of 1/2 in x
2.647 * [taylor]: Taking taylor expansion of (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) in x
2.647 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x
2.647 * [taylor]: Taking taylor expansion of 9/40 in x
2.647 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.647 * [taylor]: Taking taylor expansion of x in x
2.647 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (pow x 4)) 1/2) in x
2.647 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x
2.647 * [taylor]: Taking taylor expansion of 27/2800 in x
2.647 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.647 * [taylor]: Taking taylor expansion of x in x
2.647 * [taylor]: Taking taylor expansion of 1/2 in x
2.654 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0
2.654 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x
2.654 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x
2.654 * [taylor]: Taking taylor expansion of 9/40 in x
2.654 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.654 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.654 * [taylor]: Taking taylor expansion of x in x
2.654 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x
2.654 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x
2.655 * [taylor]: Taking taylor expansion of 27/2800 in x
2.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.655 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.655 * [taylor]: Taking taylor expansion of x in x
2.655 * [taylor]: Taking taylor expansion of 1/2 in x
2.655 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x
2.655 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x
2.655 * [taylor]: Taking taylor expansion of 9/40 in x
2.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.655 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.655 * [taylor]: Taking taylor expansion of x in x
2.656 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x
2.656 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x
2.656 * [taylor]: Taking taylor expansion of 27/2800 in x
2.656 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.656 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.656 * [taylor]: Taking taylor expansion of x in x
2.656 * [taylor]: Taking taylor expansion of 1/2 in x
2.670 * [approximate]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in (x) around 0
2.670 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x
2.670 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x
2.670 * [taylor]: Taking taylor expansion of 9/40 in x
2.670 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.670 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.670 * [taylor]: Taking taylor expansion of x in x
2.671 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x
2.671 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x
2.671 * [taylor]: Taking taylor expansion of 27/2800 in x
2.671 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.671 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.671 * [taylor]: Taking taylor expansion of x in x
2.671 * [taylor]: Taking taylor expansion of 1/2 in x
2.671 * [taylor]: Taking taylor expansion of (- (* 9/40 (/ 1 (pow x 2))) (+ (* 27/2800 (/ 1 (pow x 4))) 1/2)) in x
2.671 * [taylor]: Taking taylor expansion of (* 9/40 (/ 1 (pow x 2))) in x
2.671 * [taylor]: Taking taylor expansion of 9/40 in x
2.671 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.671 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.671 * [taylor]: Taking taylor expansion of x in x
2.672 * [taylor]: Taking taylor expansion of (+ (* 27/2800 (/ 1 (pow x 4))) 1/2) in x
2.672 * [taylor]: Taking taylor expansion of (* 27/2800 (/ 1 (pow x 4))) in x
2.672 * [taylor]: Taking taylor expansion of 27/2800 in x
2.672 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.672 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.672 * [taylor]: Taking taylor expansion of x in x
2.673 * [taylor]: Taking taylor expansion of 1/2 in x
2.686 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.687 * [approximate]: Taking taylor expansion of (* 9/40 (pow x 2)) in (x) around 0
2.687 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x
2.687 * [taylor]: Taking taylor expansion of 9/40 in x
2.687 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.687 * [taylor]: Taking taylor expansion of x in x
2.687 * [taylor]: Taking taylor expansion of (* 9/40 (pow x 2)) in x
2.687 * [taylor]: Taking taylor expansion of 9/40 in x
2.687 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.687 * [taylor]: Taking taylor expansion of x in x
2.694 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0
2.694 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x
2.694 * [taylor]: Taking taylor expansion of 9/40 in x
2.694 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.694 * [taylor]: Taking taylor expansion of x in x
2.695 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x
2.695 * [taylor]: Taking taylor expansion of 9/40 in x
2.695 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.695 * [taylor]: Taking taylor expansion of x in x
2.702 * [approximate]: Taking taylor expansion of (/ 9/40 (pow x 2)) in (x) around 0
2.702 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x
2.702 * [taylor]: Taking taylor expansion of 9/40 in x
2.702 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.702 * [taylor]: Taking taylor expansion of x in x
2.702 * [taylor]: Taking taylor expansion of (/ 9/40 (pow x 2)) in x
2.702 * [taylor]: Taking taylor expansion of 9/40 in x
2.702 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.702 * [taylor]: Taking taylor expansion of x in x
2.709 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
2.709 * [approximate]: Taking taylor expansion of (* 27/2800 (pow x 4)) in (x) around 0
2.709 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x
2.709 * [taylor]: Taking taylor expansion of 27/2800 in x
2.709 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.709 * [taylor]: Taking taylor expansion of x in x
2.709 * [taylor]: Taking taylor expansion of (* 27/2800 (pow x 4)) in x
2.709 * [taylor]: Taking taylor expansion of 27/2800 in x
2.709 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.709 * [taylor]: Taking taylor expansion of x in x
2.720 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0
2.720 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x
2.720 * [taylor]: Taking taylor expansion of 27/2800 in x
2.720 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.720 * [taylor]: Taking taylor expansion of x in x
2.721 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x
2.721 * [taylor]: Taking taylor expansion of 27/2800 in x
2.721 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.721 * [taylor]: Taking taylor expansion of x in x
2.734 * [approximate]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in (x) around 0
2.735 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x
2.735 * [taylor]: Taking taylor expansion of 27/2800 in x
2.735 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.735 * [taylor]: Taking taylor expansion of x in x
2.735 * [taylor]: Taking taylor expansion of (/ 27/2800 (pow x 4)) in x
2.735 * [taylor]: Taking taylor expansion of 27/2800 in x
2.735 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.735 * [taylor]: Taking taylor expansion of x in x
2.746 * * * [progress]: simplifying candidates
2.746 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (* 9/40 (pow x 2))) (* (exp (* 27/2800 (pow x 4))) (exp 1/2)))
  (/ (exp (* 9/40 (pow x 2))) (exp (+ (* 27/2800 (pow x 4)) 1/2)))
  (log (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (* (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))))
  (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (* (* (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (- (pow (* 9/40 (pow x 2)) 3) (pow (+ (* 27/2800 (pow x 4)) 1/2) 3))
  (+ (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (+ (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2)) (* (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))))
  (- (+ (* 27/2800 (pow x 4)) 1/2))
  (- (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2)))
  (+ (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (- (* 9/40 (pow x 2)) (* 27/2800 (pow x 4)))
  (- (+ (* 27/2800 (pow x 4)) 1/2))
  (+ (log 9/40) (* (log x) 2))
  (+ (log 9/40) (* (log x) 2))
  (+ (log 9/40) (log (pow x 2)))
  (log (* 9/40 (pow x 2)))
  (exp (* 9/40 (pow x 2)))
  (* (* (* 9/40 9/40) 9/40) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2))))
  (cbrt (* 9/40 (pow x 2)))
  (* (* (* 9/40 (pow x 2)) (* 9/40 (pow x 2))) (* 9/40 (pow x 2)))
  (sqrt (* 9/40 (pow x 2)))
  (sqrt (* 9/40 (pow x 2)))
  (* (sqrt 9/40) (pow (sqrt x) 2))
  (* (sqrt 9/40) (pow (sqrt x) 2))
  (* (sqrt 9/40) x)
  (* (sqrt 9/40) x)
  (* (sqrt 9/40) (sqrt (pow x 2)))
  (* (sqrt 9/40) (sqrt (pow x 2)))
  (* (sqrt 9/40) (pow x (/ 2 2)))
  (* (sqrt 9/40) (pow x (/ 2 2)))
  (* 9/40 (pow (* (cbrt x) (cbrt x)) 2))
  (* 9/40 (pow (sqrt x) 2))
  (* 9/40 (pow 1 2))
  (* 9/40 x)
  (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 9/40 (sqrt (pow x 2)))
  (* 9/40 1)
  (* 9/40 (pow x (/ 2 2)))
  (* (cbrt 9/40) (pow x 2))
  (* (sqrt 9/40) (pow x 2))
  (* 9/40 (pow x 2))
  (+ (log 27/2800) (* (log x) 4))
  (+ (log 27/2800) (* (log x) 4))
  (+ (log 27/2800) (log (pow x 4)))
  (log (* 27/2800 (pow x 4)))
  (exp (* 27/2800 (pow x 4)))
  (* (* (* 27/2800 27/2800) 27/2800) (* (* (pow x 4) (pow x 4)) (pow x 4)))
  (* (cbrt (* 27/2800 (pow x 4))) (cbrt (* 27/2800 (pow x 4))))
  (cbrt (* 27/2800 (pow x 4)))
  (* (* (* 27/2800 (pow x 4)) (* 27/2800 (pow x 4))) (* 27/2800 (pow x 4)))
  (sqrt (* 27/2800 (pow x 4)))
  (sqrt (* 27/2800 (pow x 4)))
  (* (sqrt 27/2800) (pow (sqrt x) 4))
  (* (sqrt 27/2800) (pow (sqrt x) 4))
  (* (sqrt 27/2800) (sqrt (pow x 4)))
  (* (sqrt 27/2800) (sqrt (pow x 4)))
  (* (sqrt 27/2800) (pow x (/ 4 2)))
  (* (sqrt 27/2800) (pow x (/ 4 2)))
  (* 27/2800 (pow (* (cbrt x) (cbrt x)) 4))
  (* 27/2800 (pow (sqrt x) 4))
  (* 27/2800 (pow 1 4))
  (* 27/2800 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 27/2800 (sqrt (pow x 4)))
  (* 27/2800 1)
  (* 27/2800 (pow x (/ 4 2)))
  (* (cbrt 27/2800) (pow x 4))
  (* (sqrt 27/2800) (pow x 4))
  (* 27/2800 (pow x 4))
  (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (* 9/40 (pow x 2))
  (* 9/40 (pow x 2))
  (* 9/40 (pow x 2))
  (* 27/2800 (pow x 4))
  (* 27/2800 (pow x 4))
  (* 27/2800 (pow x 4))
2.747 * [simplify]: Sending expressions to egg_math:
 (/ (exp (* 9/40 (pow h0 2))) (* (exp (* 27/2800 (pow h0 4))) (exp 1/2)))
 (/ (exp (* 9/40 (pow h0 2))) (exp (+ (* 27/2800 (pow h0 4)) 1/2)))
 (log (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2)))
 (exp (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2)))
 (* (cbrt (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))) (cbrt (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))))
 (cbrt (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2)))
 (* (* (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2)) (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))) (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2)))
 (sqrt (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2)))
 (sqrt (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2)))
 (- (pow (* 9/40 (pow h0 2)) 3) (pow (+ (* 27/2800 (pow h0 4)) 1/2) 3))
 (+ (* (* 9/40 (pow h0 2)) (* 9/40 (pow h0 2))) (+ (* (+ (* 27/2800 (pow h0 4)) 1/2) (+ (* 27/2800 (pow h0 4)) 1/2)) (* (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))))
 (- (+ (* 27/2800 (pow h0 4)) 1/2))
 (- (* (* 9/40 (pow h0 2)) (* 9/40 (pow h0 2))) (* (+ (* 27/2800 (pow h0 4)) 1/2) (+ (* 27/2800 (pow h0 4)) 1/2)))
 (+ (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))
 (- (* 9/40 (pow h0 2)) (* 27/2800 (pow h0 4)))
 (- (+ (* 27/2800 (pow h0 4)) 1/2))
 (+ (log 9/40) (* (log h0) 2))
 (+ (log 9/40) (* (log h0) 2))
 (+ (log 9/40) (log (pow h0 2)))
 (log (* 9/40 (pow h0 2)))
 (exp (* 9/40 (pow h0 2)))
 (* (* (* 9/40 9/40) 9/40) (* (* (pow h0 2) (pow h0 2)) (pow h0 2)))
 (* (cbrt (* 9/40 (pow h0 2))) (cbrt (* 9/40 (pow h0 2))))
 (cbrt (* 9/40 (pow h0 2)))
 (* (* (* 9/40 (pow h0 2)) (* 9/40 (pow h0 2))) (* 9/40 (pow h0 2)))
 (sqrt (* 9/40 (pow h0 2)))
 (sqrt (* 9/40 (pow h0 2)))
 (* (sqrt 9/40) (pow (sqrt h0) 2))
 (* (sqrt 9/40) (pow (sqrt h0) 2))
 (* (sqrt 9/40) h0)
 (* (sqrt 9/40) h0)
 (* (sqrt 9/40) (sqrt (pow h0 2)))
 (* (sqrt 9/40) (sqrt (pow h0 2)))
 (* (sqrt 9/40) (pow h0 (/ 2 2)))
 (* (sqrt 9/40) (pow h0 (/ 2 2)))
 (* 9/40 (pow (* (cbrt h0) (cbrt h0)) 2))
 (* 9/40 (pow (sqrt h0) 2))
 (* 9/40 (pow 1 2))
 (* 9/40 h0)
 (* 9/40 (* (cbrt (pow h0 2)) (cbrt (pow h0 2))))
 (* 9/40 (sqrt (pow h0 2)))
 (* 9/40 1)
 (* 9/40 (pow h0 (/ 2 2)))
 (* (cbrt 9/40) (pow h0 2))
 (* (sqrt 9/40) (pow h0 2))
 (* 9/40 (pow h0 2))
 (+ (log 27/2800) (* (log h0) 4))
 (+ (log 27/2800) (* (log h0) 4))
 (+ (log 27/2800) (log (pow h0 4)))
 (log (* 27/2800 (pow h0 4)))
 (exp (* 27/2800 (pow h0 4)))
 (* (* (* 27/2800 27/2800) 27/2800) (* (* (pow h0 4) (pow h0 4)) (pow h0 4)))
 (* (cbrt (* 27/2800 (pow h0 4))) (cbrt (* 27/2800 (pow h0 4))))
 (cbrt (* 27/2800 (pow h0 4)))
 (* (* (* 27/2800 (pow h0 4)) (* 27/2800 (pow h0 4))) (* 27/2800 (pow h0 4)))
 (sqrt (* 27/2800 (pow h0 4)))
 (sqrt (* 27/2800 (pow h0 4)))
 (* (sqrt 27/2800) (pow (sqrt h0) 4))
 (* (sqrt 27/2800) (pow (sqrt h0) 4))
 (* (sqrt 27/2800) (sqrt (pow h0 4)))
 (* (sqrt 27/2800) (sqrt (pow h0 4)))
 (* (sqrt 27/2800) (pow h0 (/ 4 2)))
 (* (sqrt 27/2800) (pow h0 (/ 4 2)))
 (* 27/2800 (pow (* (cbrt h0) (cbrt h0)) 4))
 (* 27/2800 (pow (sqrt h0) 4))
 (* 27/2800 (pow 1 4))
 (* 27/2800 (* (cbrt (pow h0 4)) (cbrt (pow h0 4))))
 (* 27/2800 (sqrt (pow h0 4)))
 (* 27/2800 1)
 (* 27/2800 (pow h0 (/ 4 2)))
 (* (cbrt 27/2800) (pow h0 4))
 (* (sqrt 27/2800) (pow h0 4))
 (* 27/2800 (pow h0 4))
 (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))
 (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))
 (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2))
 (* 9/40 (pow h0 2))
 (* 9/40 (pow h0 2))
 (* 9/40 (pow h0 2))
 (* 27/2800 (pow h0 4))
 (* 27/2800 (pow h0 4))
 (* 27/2800 (pow h0 4))
2.751 * * [simplify]: iteration  0 :  273  enodes  (cost  349 )
2.757 * * [simplify]: iteration  1 :  1123  enodes  (cost  318 )
2.783 * * [simplify]: iteration  2 :  5001  enodes  (cost  315 )
2.785 * [simplify]: Simplified to:
   (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (log (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (exp (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (* (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))) (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))))
  (cbrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (pow (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) 3)
  (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (sqrt (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
  (- (pow (* 9/40 (pow x 2)) 3) (pow (+ (* 27/2800 (pow x 4)) 1/2) 3))
  (+ (* (pow x 4) (+ 81/1600 (+ 27/5600 (* (pow x 4) 729/7840000)))) (* (+ (* 27/2800 (pow x 4)) 1/2) (+ 1/2 (* 9/40 (pow x 2)))))
  (- (+ (* 27/2800 (pow x 4)) 1/2))
  (+ (- (* (+ (* 27/2800 (pow x 4)) 1/2) (+ (* 27/2800 (pow x 4)) 1/2))) (* (pow x 4) 81/1600))
  (+ (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (- (* 9/40 (pow x 2)) (* 27/2800 (pow x 4)))
  (- (+ (* 27/2800 (pow x 4)) 1/2))
  (log (* 9/40 (pow x 2)))
  (log (* 9/40 (pow x 2)))
  (log (* 9/40 (pow x 2)))
  (log (* 9/40 (pow x 2)))
  (exp (* 9/40 (pow x 2)))
  (* 729/64000 (pow x 6))
  (* (cbrt (* 9/40 (pow x 2))) (cbrt (* 9/40 (pow x 2))))
  (cbrt (* 9/40 (pow x 2)))
  (* 729/64000 (pow x 6))
  (sqrt (* 9/40 (pow x 2)))
  (sqrt (* 9/40 (pow x 2)))
  (* x (sqrt 9/40))
  (* x (sqrt 9/40))
  (* x (sqrt 9/40))
  (* x (sqrt 9/40))
  (* (sqrt 9/40) (sqrt (pow x 2)))
  (* (sqrt 9/40) (sqrt (pow x 2)))
  (* x (sqrt 9/40))
  (* x (sqrt 9/40))
  (* 9/40 (pow (* (cbrt x) (cbrt x)) 2))
  (* x 9/40)
  9/40
  (* x 9/40)
  (* 9/40 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 9/40 (fabs x))
  9/40
  (* x 9/40)
  (* (cbrt 9/40) (pow x 2))
  (* (sqrt 9/40) (pow x 2))
  (* 9/40 (pow x 2))
  (log (* 27/2800 (pow x 4)))
  (log (* 27/2800 (pow x 4)))
  (log (* 27/2800 (pow x 4)))
  (log (* 27/2800 (pow x 4)))
  (exp (* 27/2800 (pow x 4)))
  (pow (* 27/2800 (pow x 4)) 3)
  (* (cbrt (* 27/2800 (pow x 4))) (cbrt (* 27/2800 (pow x 4))))
  (cbrt (* 27/2800 (pow x 4)))
  (pow (* 27/2800 (pow x 4)) 3)
  (sqrt (* 27/2800 (pow x 4)))
  (sqrt (* 27/2800 (pow x 4)))
  (* (sqrt 27/2800) (pow x 2))
  (* (sqrt 27/2800) (pow x 2))
  (* (sqrt 27/2800) (sqrt (pow x 4)))
  (* (sqrt 27/2800) (sqrt (pow x 4)))
  (* (sqrt 27/2800) (pow x 2))
  (* (sqrt 27/2800) (pow x 2))
  (* 27/2800 (pow (* (cbrt x) (cbrt x)) 4))
  (* 27/2800 (pow x 2))
  27/2800
  (* 27/2800 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 27/2800 (sqrt (pow x 4)))
  27/2800
  (* 27/2800 (pow x 2))
  (* (cbrt 27/2800) (pow x 4))
  (* (sqrt 27/2800) (pow x 4))
  (* 27/2800 (pow x 4))
  (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))
  (* 9/40 (pow x 2))
  (* 9/40 (pow x 2))
  (* 9/40 (pow x 2))
  (* 27/2800 (pow x 4))
  (* 27/2800 (pow x 4))
  (* 27/2800 (pow x 4))
2.785 * * * [progress]: adding candidates to table
2.917 * [progress]: [Phase 3 of 3] Extracting.
2.917 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (- x (sin x)) (- x (tan x))))> #<alt (λ (x) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))> #<alt (λ (x) (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))>)
2.918 * * * [regime-changes]: Trying 2 branch expressions: ((/ (- x (sin x)) (- x (tan x))) x)
2.919 * * * * [regimes]: Trying to branch on (/ (- x (sin x)) (- x (tan x))) from (#<alt (λ (x) (/ (- x (sin x)) (- x (tan x))))> #<alt (λ (x) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))> #<alt (λ (x) (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))>)
2.942 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (- x (sin x)) (- x (tan x))))> #<alt (λ (x) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))> #<alt (λ (x) (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))>)
2.964 * * * [regime]: Found split indices: #<option (#s(si 0 72) #s(si 1 199) #s(si 0 255))>
2.965 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (/ (- x (sin x)) (- x (tan x))))> #<alt (λ (x) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))> #<alt (λ (x) (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))>)
3.029 * [regimes]: Found splitpoints: (#s(sp 0 x -0.027483001552600198) #s(sp 1 x 0.02800287222077787) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x) (/ (- x (sin x)) (- x (tan x))))> #<alt (λ (x) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))> #<alt (λ (x) (/ (/ (- (* x x) (* (* (cbrt (sin x)) (cbrt (sin x))) (pow (cbrt (sin x)) 4))) (+ x (sin x))) (- x (tan x))))>)
3.030 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -0.027483001552600198) (/ (- x (sin x)) (- x (tan x))) (if (<= x 0.02800287222077787) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)) (/ (- x (sin x)) (- x (tan x)))))
3.030 * [simplify]: Sending expressions to egg_math:
 (if (<= h0 h1) (/ (- h0 (sin h0)) (- h0 (tan h0))) (if (<= h0 h2) (- (* 9/40 (pow h0 2)) (+ (* 27/2800 (pow h0 4)) 1/2)) (/ (- h0 (sin h0)) (- h0 (tan h0)))))
3.031 * * [simplify]: iteration  0 :  29  enodes  (cost  11 )
3.031 * * [simplify]: iteration  1 :  29  enodes  (cost  11 )
3.031 * [simplify]: Simplified to:
   (if (or (<= x -0.027483001552600198) (not (<= x 0.02800287222077787))) (/ (- x (sin x)) (- x (tan x))) (- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2)))
9.675 * [regime-testing]: Baseline error score: 31.48919679404479
9.676 * [regime-testing]: Oracle error score: 0.029955729183698637
9.677 * [regime-testing]: End program error score: 0.03221763060894762