0.012 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.445 * * * [progress]: [2/2] Setting up program.
0.449 * [progress]: [Phase 2 of 3] Improving.
0.449 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.451 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.452 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.452 * * [progress]: iteration 1 / 4
0.452 * * * [progress]: picking best candidate
0.455 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.455 * * * [progress]: localizing error
0.473 * * * [progress]: generating rewritten candidates
0.473 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.473 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
0.474 * * * [progress]: generating series expansions
0.474 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.474 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.474 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.475 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.475 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.475 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.475 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.476 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.476 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.476 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.476 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
0.477 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.477 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.477 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.477 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.477 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.477 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.477 * [taylor]: Rewrote expression to (- (exp a) 1)
0.477 * [taylor]: Taking taylor expansion of (exp a) in a
0.477 * [taylor]: Taking taylor expansion of a in a
0.477 * [taylor]: Taking taylor expansion of 1 in a
0.479 * [taylor]: Taking taylor expansion of 1 in a
0.479 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.479 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.479 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.479 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.479 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.479 * [taylor]: Rewrote expression to (- (exp a) 1)
0.479 * [taylor]: Taking taylor expansion of (exp a) in a
0.480 * [taylor]: Taking taylor expansion of a in a
0.480 * [taylor]: Taking taylor expansion of 1 in a
0.482 * [taylor]: Taking taylor expansion of 1 in a
0.491 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.491 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.491 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.491 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.491 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.491 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.491 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.491 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.491 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.491 * [taylor]: Taking taylor expansion of a in a
0.492 * [taylor]: Taking taylor expansion of 1 in a
0.493 * [taylor]: Taking taylor expansion of 1 in a
0.493 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.493 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.493 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.493 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.493 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.493 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.493 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.493 * [taylor]: Taking taylor expansion of a in a
0.493 * [taylor]: Taking taylor expansion of 1 in a
0.494 * [taylor]: Taking taylor expansion of 1 in a
0.525 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.525 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.526 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.526 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.526 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.526 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.526 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.526 * [taylor]: Taking taylor expansion of -1 in a
0.526 * [taylor]: Taking taylor expansion of a in a
0.526 * [taylor]: Taking taylor expansion of 1 in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.527 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.527 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.527 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.527 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.527 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.527 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.527 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.527 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.527 * [taylor]: Taking taylor expansion of -1 in a
0.527 * [taylor]: Taking taylor expansion of a in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.528 * [taylor]: Taking taylor expansion of 1 in a
0.564 * * * [progress]: simplifying candidates
0.564 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
0.567 * * [simplify]: iteration  0 :  63  enodes  (cost  161 )
0.569 * * [simplify]: iteration  1 :  136  enodes  (cost  140 )
0.572 * * [simplify]: iteration  2 :  407  enodes  (cost  140 )
0.579 * * [simplify]: iteration  3 :  1240  enodes  (cost  140 )
0.614 * * [simplify]: iteration  4 :  5002  enodes  (cost  140 )
0.614 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
0.615 * * * [progress]: adding candidates to table
0.694 * * [progress]: iteration 2 / 4
0.694 * * * [progress]: picking best candidate
0.721 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
0.721 * * * [progress]: localizing error
0.738 * * * [progress]: generating rewritten candidates
0.738 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.739 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
0.739 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.740 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.741 * * * [progress]: generating series expansions
0.741 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.741 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.741 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.742 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.742 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.742 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.742 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.746 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.746 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.746 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.746 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
0.746 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.746 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.747 * [taylor]: Taking taylor expansion of 1/3 in a
0.747 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.747 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.747 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.747 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.747 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.747 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.747 * [taylor]: Rewrote expression to (- (exp a) 1)
0.747 * [taylor]: Taking taylor expansion of (exp a) in a
0.747 * [taylor]: Taking taylor expansion of a in a
0.747 * [taylor]: Taking taylor expansion of 1 in a
0.749 * [taylor]: Taking taylor expansion of 1 in a
0.751 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.751 * [taylor]: Taking taylor expansion of 1/3 in a
0.751 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.751 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.751 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.751 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.751 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.751 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.752 * [taylor]: Rewrote expression to (- (exp a) 1)
0.752 * [taylor]: Taking taylor expansion of (exp a) in a
0.752 * [taylor]: Taking taylor expansion of a in a
0.752 * [taylor]: Taking taylor expansion of 1 in a
0.753 * [taylor]: Taking taylor expansion of 1 in a
0.769 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.769 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.769 * [taylor]: Taking taylor expansion of 1/3 in a
0.769 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.769 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.769 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.769 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.769 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.769 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.769 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.769 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.769 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.769 * [taylor]: Taking taylor expansion of a in a
0.769 * [taylor]: Taking taylor expansion of 1 in a
0.770 * [taylor]: Taking taylor expansion of 1 in a
0.771 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.771 * [taylor]: Taking taylor expansion of 1/3 in a
0.771 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.771 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.771 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.771 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.771 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.771 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.771 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.771 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.771 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.771 * [taylor]: Taking taylor expansion of a in a
0.771 * [taylor]: Taking taylor expansion of 1 in a
0.772 * [taylor]: Taking taylor expansion of 1 in a
0.840 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
0.840 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.840 * [taylor]: Taking taylor expansion of 1/3 in a
0.840 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.840 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.840 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.840 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.840 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.840 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.840 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.840 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.840 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.840 * [taylor]: Taking taylor expansion of -1 in a
0.840 * [taylor]: Taking taylor expansion of a in a
0.841 * [taylor]: Taking taylor expansion of 1 in a
0.841 * [taylor]: Taking taylor expansion of 1 in a
0.842 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.842 * [taylor]: Taking taylor expansion of 1/3 in a
0.842 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.842 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.842 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.842 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.842 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.842 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.842 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.842 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.842 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.842 * [taylor]: Taking taylor expansion of -1 in a
0.842 * [taylor]: Taking taylor expansion of a in a
0.842 * [taylor]: Taking taylor expansion of 1 in a
0.843 * [taylor]: Taking taylor expansion of 1 in a
0.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
0.912 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.912 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.912 * [taylor]: Taking taylor expansion of 1/3 in a
0.912 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.912 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.912 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.912 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.912 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.912 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.912 * [taylor]: Rewrote expression to (- (exp a) 1)
0.912 * [taylor]: Taking taylor expansion of (exp a) in a
0.912 * [taylor]: Taking taylor expansion of a in a
0.913 * [taylor]: Taking taylor expansion of 1 in a
0.915 * [taylor]: Taking taylor expansion of 1 in a
0.917 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.917 * [taylor]: Taking taylor expansion of 1/3 in a
0.917 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.917 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.917 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.917 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.917 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.917 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.917 * [taylor]: Rewrote expression to (- (exp a) 1)
0.917 * [taylor]: Taking taylor expansion of (exp a) in a
0.917 * [taylor]: Taking taylor expansion of a in a
0.917 * [taylor]: Taking taylor expansion of 1 in a
0.919 * [taylor]: Taking taylor expansion of 1 in a
0.934 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.934 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.934 * [taylor]: Taking taylor expansion of 1/3 in a
0.934 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.934 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.934 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.934 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.934 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.934 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.934 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.934 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.934 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.934 * [taylor]: Taking taylor expansion of a in a
0.935 * [taylor]: Taking taylor expansion of 1 in a
0.935 * [taylor]: Taking taylor expansion of 1 in a
0.936 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.936 * [taylor]: Taking taylor expansion of 1/3 in a
0.936 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.936 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.936 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.936 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.936 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.936 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.936 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.936 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.936 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.936 * [taylor]: Taking taylor expansion of a in a
0.937 * [taylor]: Taking taylor expansion of 1 in a
0.937 * [taylor]: Taking taylor expansion of 1 in a
1.006 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.006 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.006 * [taylor]: Taking taylor expansion of 1/3 in a
1.006 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.006 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.007 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.007 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.007 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.007 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.007 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.007 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.007 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.007 * [taylor]: Taking taylor expansion of -1 in a
1.007 * [taylor]: Taking taylor expansion of a in a
1.007 * [taylor]: Taking taylor expansion of 1 in a
1.008 * [taylor]: Taking taylor expansion of 1 in a
1.008 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.008 * [taylor]: Taking taylor expansion of 1/3 in a
1.008 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.008 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.008 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.008 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.008 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.009 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.009 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.009 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.009 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.009 * [taylor]: Taking taylor expansion of -1 in a
1.009 * [taylor]: Taking taylor expansion of a in a
1.009 * [taylor]: Taking taylor expansion of 1 in a
1.010 * [taylor]: Taking taylor expansion of 1 in a
1.078 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.078 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.078 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.078 * [taylor]: Taking taylor expansion of 1/3 in a
1.078 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.078 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.078 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.078 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.078 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.078 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.078 * [taylor]: Rewrote expression to (- (exp a) 1)
1.078 * [taylor]: Taking taylor expansion of (exp a) in a
1.078 * [taylor]: Taking taylor expansion of a in a
1.079 * [taylor]: Taking taylor expansion of 1 in a
1.080 * [taylor]: Taking taylor expansion of 1 in a
1.083 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.083 * [taylor]: Taking taylor expansion of 1/3 in a
1.083 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.083 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.083 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.083 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.083 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.083 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.083 * [taylor]: Rewrote expression to (- (exp a) 1)
1.083 * [taylor]: Taking taylor expansion of (exp a) in a
1.083 * [taylor]: Taking taylor expansion of a in a
1.083 * [taylor]: Taking taylor expansion of 1 in a
1.085 * [taylor]: Taking taylor expansion of 1 in a
1.100 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.100 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.100 * [taylor]: Taking taylor expansion of 1/3 in a
1.100 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.100 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.100 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.100 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.100 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.100 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.100 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.100 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.100 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.100 * [taylor]: Taking taylor expansion of a in a
1.100 * [taylor]: Taking taylor expansion of 1 in a
1.101 * [taylor]: Taking taylor expansion of 1 in a
1.102 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.102 * [taylor]: Taking taylor expansion of 1/3 in a
1.102 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.102 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.102 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.102 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.102 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.102 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.102 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.102 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.102 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.102 * [taylor]: Taking taylor expansion of a in a
1.102 * [taylor]: Taking taylor expansion of 1 in a
1.103 * [taylor]: Taking taylor expansion of 1 in a
1.170 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.170 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.170 * [taylor]: Taking taylor expansion of 1/3 in a
1.170 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.170 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.171 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.171 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.171 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.171 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.171 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.171 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.171 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.171 * [taylor]: Taking taylor expansion of -1 in a
1.171 * [taylor]: Taking taylor expansion of a in a
1.171 * [taylor]: Taking taylor expansion of 1 in a
1.172 * [taylor]: Taking taylor expansion of 1 in a
1.172 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.172 * [taylor]: Taking taylor expansion of 1/3 in a
1.172 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.172 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.172 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.172 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.172 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.172 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.172 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.172 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.173 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.173 * [taylor]: Taking taylor expansion of -1 in a
1.173 * [taylor]: Taking taylor expansion of a in a
1.173 * [taylor]: Taking taylor expansion of 1 in a
1.173 * [taylor]: Taking taylor expansion of 1 in a
1.244 * * * [progress]: simplifying candidates
1.245 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
1.249 * * [simplify]: iteration  0 :  88  enodes  (cost  549 )
1.251 * * [simplify]: iteration  1 :  181  enodes  (cost  487 )
1.254 * * [simplify]: iteration  2 :  472  enodes  (cost  481 )
1.265 * * [simplify]: iteration  3 :  1562  enodes  (cost  470 )
1.315 * * [simplify]: iteration  4 :  5001  enodes  (cost  467 )
1.317 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
1.317 * * * [progress]: adding candidates to table
1.528 * * [progress]: iteration 3 / 4
1.528 * * * [progress]: picking best candidate
1.596 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
1.596 * * * [progress]: localizing error
1.619 * * * [progress]: generating rewritten candidates
1.619 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.619 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
1.620 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1.627 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.630 * * * [progress]: generating series expansions
1.630 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.630 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.630 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.630 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.631 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.631 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.631 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.632 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.632 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.632 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.633 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
1.633 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
1.633 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.633 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.633 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.633 * [taylor]: Taking taylor expansion of 1/9 in a
1.633 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.633 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.633 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.633 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.633 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.633 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.633 * [taylor]: Rewrote expression to (- (exp a) 1)
1.633 * [taylor]: Taking taylor expansion of (exp a) in a
1.633 * [taylor]: Taking taylor expansion of a in a
1.633 * [taylor]: Taking taylor expansion of 1 in a
1.635 * [taylor]: Taking taylor expansion of 1 in a
1.638 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.638 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.638 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.638 * [taylor]: Taking taylor expansion of 1/9 in a
1.638 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.638 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.638 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.638 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.638 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.638 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.638 * [taylor]: Rewrote expression to (- (exp a) 1)
1.638 * [taylor]: Taking taylor expansion of (exp a) in a
1.638 * [taylor]: Taking taylor expansion of a in a
1.638 * [taylor]: Taking taylor expansion of 1 in a
1.640 * [taylor]: Taking taylor expansion of 1 in a
1.659 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
1.659 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.659 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.659 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.659 * [taylor]: Taking taylor expansion of 1/9 in a
1.659 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.659 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.659 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.659 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.659 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.659 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.659 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.659 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.659 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.659 * [taylor]: Taking taylor expansion of a in a
1.659 * [taylor]: Taking taylor expansion of 1 in a
1.660 * [taylor]: Taking taylor expansion of 1 in a
1.661 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.661 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.661 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.661 * [taylor]: Taking taylor expansion of 1/9 in a
1.661 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.661 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.661 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.661 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.661 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.661 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.661 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.661 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.661 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.661 * [taylor]: Taking taylor expansion of a in a
1.661 * [taylor]: Taking taylor expansion of 1 in a
1.662 * [taylor]: Taking taylor expansion of 1 in a
1.727 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
1.727 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.727 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.727 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.727 * [taylor]: Taking taylor expansion of 1/9 in a
1.727 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.727 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.727 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.727 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.727 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.727 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.727 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.727 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.727 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.727 * [taylor]: Taking taylor expansion of -1 in a
1.727 * [taylor]: Taking taylor expansion of a in a
1.727 * [taylor]: Taking taylor expansion of 1 in a
1.728 * [taylor]: Taking taylor expansion of 1 in a
1.729 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.729 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.729 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.729 * [taylor]: Taking taylor expansion of 1/9 in a
1.729 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.729 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.729 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.729 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.729 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.729 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.729 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.729 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.729 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.729 * [taylor]: Taking taylor expansion of -1 in a
1.729 * [taylor]: Taking taylor expansion of a in a
1.729 * [taylor]: Taking taylor expansion of 1 in a
1.730 * [taylor]: Taking taylor expansion of 1 in a
1.801 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1.802 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.802 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.802 * [taylor]: Taking taylor expansion of 1/3 in a
1.802 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.802 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.802 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.802 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.802 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.802 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.802 * [taylor]: Rewrote expression to (- (exp a) 1)
1.802 * [taylor]: Taking taylor expansion of (exp a) in a
1.802 * [taylor]: Taking taylor expansion of a in a
1.802 * [taylor]: Taking taylor expansion of 1 in a
1.804 * [taylor]: Taking taylor expansion of 1 in a
1.806 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.806 * [taylor]: Taking taylor expansion of 1/3 in a
1.806 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.806 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.806 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.806 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.806 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.806 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.806 * [taylor]: Rewrote expression to (- (exp a) 1)
1.806 * [taylor]: Taking taylor expansion of (exp a) in a
1.806 * [taylor]: Taking taylor expansion of a in a
1.806 * [taylor]: Taking taylor expansion of 1 in a
1.808 * [taylor]: Taking taylor expansion of 1 in a
1.829 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.829 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.829 * [taylor]: Taking taylor expansion of 1/3 in a
1.829 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.829 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.829 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.829 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.829 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.829 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.829 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.829 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.829 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.829 * [taylor]: Taking taylor expansion of a in a
1.830 * [taylor]: Taking taylor expansion of 1 in a
1.830 * [taylor]: Taking taylor expansion of 1 in a
1.831 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.831 * [taylor]: Taking taylor expansion of 1/3 in a
1.831 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.831 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.831 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.831 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.831 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.831 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.831 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.831 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.831 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.831 * [taylor]: Taking taylor expansion of a in a
1.832 * [taylor]: Taking taylor expansion of 1 in a
1.832 * [taylor]: Taking taylor expansion of 1 in a
1.899 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.899 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.899 * [taylor]: Taking taylor expansion of 1/3 in a
1.899 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.899 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.899 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.899 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.899 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.899 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.899 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.899 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.899 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.899 * [taylor]: Taking taylor expansion of -1 in a
1.899 * [taylor]: Taking taylor expansion of a in a
1.900 * [taylor]: Taking taylor expansion of 1 in a
1.900 * [taylor]: Taking taylor expansion of 1 in a
1.901 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.901 * [taylor]: Taking taylor expansion of 1/3 in a
1.901 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.901 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.901 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.901 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.901 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.901 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.901 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.901 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.901 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.901 * [taylor]: Taking taylor expansion of -1 in a
1.901 * [taylor]: Taking taylor expansion of a in a
1.902 * [taylor]: Taking taylor expansion of 1 in a
1.902 * [taylor]: Taking taylor expansion of 1 in a
1.974 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
1.974 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.974 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.975 * [taylor]: Taking taylor expansion of 1/3 in a
1.975 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.975 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.975 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.975 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.975 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.975 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.975 * [taylor]: Rewrote expression to (- (exp a) 1)
1.975 * [taylor]: Taking taylor expansion of (exp a) in a
1.975 * [taylor]: Taking taylor expansion of a in a
1.975 * [taylor]: Taking taylor expansion of 1 in a
1.977 * [taylor]: Taking taylor expansion of 1 in a
1.979 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.979 * [taylor]: Taking taylor expansion of 1/3 in a
1.979 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.979 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.979 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.979 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.979 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.979 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.979 * [taylor]: Rewrote expression to (- (exp a) 1)
1.979 * [taylor]: Taking taylor expansion of (exp a) in a
1.979 * [taylor]: Taking taylor expansion of a in a
1.979 * [taylor]: Taking taylor expansion of 1 in a
1.981 * [taylor]: Taking taylor expansion of 1 in a
2.002 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
2.002 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
2.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.002 * [taylor]: Taking taylor expansion of 1/3 in a
2.002 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.002 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.002 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.002 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.002 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.002 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.002 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.002 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.002 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.002 * [taylor]: Taking taylor expansion of a in a
2.002 * [taylor]: Taking taylor expansion of 1 in a
2.003 * [taylor]: Taking taylor expansion of 1 in a
2.004 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
2.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.004 * [taylor]: Taking taylor expansion of 1/3 in a
2.004 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.004 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.004 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.004 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.004 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.004 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.004 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.004 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.004 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.004 * [taylor]: Taking taylor expansion of a in a
2.004 * [taylor]: Taking taylor expansion of 1 in a
2.005 * [taylor]: Taking taylor expansion of 1 in a
2.076 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
2.076 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.077 * [taylor]: Taking taylor expansion of 1/3 in a
2.077 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.077 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.077 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.077 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.077 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.077 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.077 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.077 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.077 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.077 * [taylor]: Taking taylor expansion of -1 in a
2.077 * [taylor]: Taking taylor expansion of a in a
2.077 * [taylor]: Taking taylor expansion of 1 in a
2.078 * [taylor]: Taking taylor expansion of 1 in a
2.078 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.079 * [taylor]: Taking taylor expansion of 1/3 in a
2.079 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.079 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.079 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.079 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.079 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.079 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.079 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.079 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.079 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.079 * [taylor]: Taking taylor expansion of -1 in a
2.079 * [taylor]: Taking taylor expansion of a in a
2.079 * [taylor]: Taking taylor expansion of 1 in a
2.080 * [taylor]: Taking taylor expansion of 1 in a
2.145 * * * [progress]: simplifying candidates
2.146 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log1p (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt 1)
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (+ (log (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt 1)))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt 1))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) 1)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 1/9 (pow (pow a 10) 1/9)) (+ (pow a 1/9) (* 2/81 (pow (pow a 19) 1/9))))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/9)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/9)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
2.151 * * [simplify]: iteration  0 :  206  enodes  (cost  1323 )
2.155 * * [simplify]: iteration  1 :  571  enodes  (cost  1188 )
2.164 * * [simplify]: iteration  2 :  1808  enodes  (cost  1180 )
2.204 * * [simplify]: iteration  3 :  5001  enodes  (cost  1157 )
2.214 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log1p (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  1
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  1
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (expm1 (sin (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (sin (expm1 a)))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (sin (expm1 a)))
  (* (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (sin (expm1 a)))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 10) 1/9) 1/9 (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)))
  (pow (expm1 (sin (expm1 a))) 1/9)
  (pow (expm1 (sin (expm1 a))) 1/9)
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
2.214 * * * [progress]: adding candidates to table
2.559 * * [progress]: iteration 4 / 4
2.559 * * * [progress]: picking best candidate
2.669 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
2.669 * * * [progress]: localizing error
2.700 * * * [progress]: generating rewritten candidates
2.700 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.700 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
2.702 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2 2)
2.703 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 2 1)
2.705 * * * [progress]: generating series expansions
2.705 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.706 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.706 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.706 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.708 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.708 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.708 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.709 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.709 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.709 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.710 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
2.710 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in (a) around 0
2.710 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.710 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.710 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.710 * [taylor]: Taking taylor expansion of 1/27 in a
2.710 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.710 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.710 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.710 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.710 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.710 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.710 * [taylor]: Rewrote expression to (- (exp a) 1)
2.710 * [taylor]: Taking taylor expansion of (exp a) in a
2.710 * [taylor]: Taking taylor expansion of a in a
2.710 * [taylor]: Taking taylor expansion of 1 in a
2.712 * [taylor]: Taking taylor expansion of 1 in a
2.714 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.714 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.714 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.714 * [taylor]: Taking taylor expansion of 1/27 in a
2.714 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.714 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.715 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.715 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.715 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.715 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.715 * [taylor]: Rewrote expression to (- (exp a) 1)
2.715 * [taylor]: Taking taylor expansion of (exp a) in a
2.715 * [taylor]: Taking taylor expansion of a in a
2.715 * [taylor]: Taking taylor expansion of 1 in a
2.717 * [taylor]: Taking taylor expansion of 1 in a
2.731 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in (a) around 0
2.731 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.731 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.732 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.732 * [taylor]: Taking taylor expansion of 1/27 in a
2.732 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.732 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.732 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.732 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.732 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.732 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.732 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.732 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.732 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.732 * [taylor]: Taking taylor expansion of a in a
2.732 * [taylor]: Taking taylor expansion of 1 in a
2.733 * [taylor]: Taking taylor expansion of 1 in a
2.733 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.733 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.733 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.733 * [taylor]: Taking taylor expansion of 1/27 in a
2.733 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.733 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.733 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.733 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.733 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.733 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.734 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.734 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.734 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.734 * [taylor]: Taking taylor expansion of a in a
2.734 * [taylor]: Taking taylor expansion of 1 in a
2.734 * [taylor]: Taking taylor expansion of 1 in a
2.806 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in (a) around 0
2.806 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.806 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.806 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.806 * [taylor]: Taking taylor expansion of 1/27 in a
2.806 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.806 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.806 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.806 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.806 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.806 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.806 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.806 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.806 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.806 * [taylor]: Taking taylor expansion of -1 in a
2.806 * [taylor]: Taking taylor expansion of a in a
2.807 * [taylor]: Taking taylor expansion of 1 in a
2.807 * [taylor]: Taking taylor expansion of 1 in a
2.808 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.808 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.808 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.808 * [taylor]: Taking taylor expansion of 1/27 in a
2.808 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.808 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.808 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.808 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.808 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.808 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.809 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.809 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.809 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.809 * [taylor]: Taking taylor expansion of -1 in a
2.809 * [taylor]: Taking taylor expansion of a in a
2.809 * [taylor]: Taking taylor expansion of 1 in a
2.810 * [taylor]: Taking taylor expansion of 1 in a
2.881 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2 2)
2.881 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in (a) around 0
2.881 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.881 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.881 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.881 * [taylor]: Taking taylor expansion of 1/27 in a
2.881 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.881 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.881 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.881 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.881 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.881 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.881 * [taylor]: Rewrote expression to (- (exp a) 1)
2.881 * [taylor]: Taking taylor expansion of (exp a) in a
2.881 * [taylor]: Taking taylor expansion of a in a
2.881 * [taylor]: Taking taylor expansion of 1 in a
2.883 * [taylor]: Taking taylor expansion of 1 in a
2.885 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.885 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.885 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.885 * [taylor]: Taking taylor expansion of 1/27 in a
2.885 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.885 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.885 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.885 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.885 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.885 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.886 * [taylor]: Rewrote expression to (- (exp a) 1)
2.886 * [taylor]: Taking taylor expansion of (exp a) in a
2.886 * [taylor]: Taking taylor expansion of a in a
2.886 * [taylor]: Taking taylor expansion of 1 in a
2.887 * [taylor]: Taking taylor expansion of 1 in a
2.902 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in (a) around 0
2.902 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.902 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.902 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.902 * [taylor]: Taking taylor expansion of 1/27 in a
2.902 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.902 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.902 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.902 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.902 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.902 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.902 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.902 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.902 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.902 * [taylor]: Taking taylor expansion of a in a
2.903 * [taylor]: Taking taylor expansion of 1 in a
2.903 * [taylor]: Taking taylor expansion of 1 in a
2.904 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.904 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.904 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.904 * [taylor]: Taking taylor expansion of 1/27 in a
2.904 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.904 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.904 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.904 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.904 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.904 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.904 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.904 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.904 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.904 * [taylor]: Taking taylor expansion of a in a
2.905 * [taylor]: Taking taylor expansion of 1 in a
2.905 * [taylor]: Taking taylor expansion of 1 in a
2.978 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in (a) around 0
2.978 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.978 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.978 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.978 * [taylor]: Taking taylor expansion of 1/27 in a
2.978 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.978 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.978 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.978 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.978 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.978 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.978 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.978 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.978 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.978 * [taylor]: Taking taylor expansion of -1 in a
2.978 * [taylor]: Taking taylor expansion of a in a
2.979 * [taylor]: Taking taylor expansion of 1 in a
2.979 * [taylor]: Taking taylor expansion of 1 in a
2.980 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.980 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.980 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.980 * [taylor]: Taking taylor expansion of 1/27 in a
2.980 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.980 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.980 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.980 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.980 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.980 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.980 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.980 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.980 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.980 * [taylor]: Taking taylor expansion of -1 in a
2.980 * [taylor]: Taking taylor expansion of a in a
2.981 * [taylor]: Taking taylor expansion of 1 in a
2.981 * [taylor]: Taking taylor expansion of 1 in a
3.053 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 2 1)
3.053 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in (a) around 0
3.053 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
3.053 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
3.053 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
3.053 * [taylor]: Taking taylor expansion of 1/27 in a
3.053 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
3.053 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.053 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
3.053 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
3.053 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.053 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.053 * [taylor]: Rewrote expression to (- (exp a) 1)
3.053 * [taylor]: Taking taylor expansion of (exp a) in a
3.053 * [taylor]: Taking taylor expansion of a in a
3.053 * [taylor]: Taking taylor expansion of 1 in a
3.055 * [taylor]: Taking taylor expansion of 1 in a
3.057 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
3.057 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
3.057 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
3.057 * [taylor]: Taking taylor expansion of 1/27 in a
3.057 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
3.057 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.058 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
3.058 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
3.058 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.058 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.058 * [taylor]: Rewrote expression to (- (exp a) 1)
3.058 * [taylor]: Taking taylor expansion of (exp a) in a
3.058 * [taylor]: Taking taylor expansion of a in a
3.058 * [taylor]: Taking taylor expansion of 1 in a
3.060 * [taylor]: Taking taylor expansion of 1 in a
3.074 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in (a) around 0
3.074 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
3.074 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
3.074 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
3.074 * [taylor]: Taking taylor expansion of 1/27 in a
3.074 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
3.074 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.075 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
3.075 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
3.075 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.075 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.075 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.075 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.075 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.075 * [taylor]: Taking taylor expansion of a in a
3.075 * [taylor]: Taking taylor expansion of 1 in a
3.076 * [taylor]: Taking taylor expansion of 1 in a
3.076 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
3.076 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
3.076 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
3.076 * [taylor]: Taking taylor expansion of 1/27 in a
3.076 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
3.076 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.076 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
3.076 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
3.076 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.076 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.076 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.076 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.077 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.077 * [taylor]: Taking taylor expansion of a in a
3.077 * [taylor]: Taking taylor expansion of 1 in a
3.077 * [taylor]: Taking taylor expansion of 1 in a
3.150 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in (a) around 0
3.150 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
3.150 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.150 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.150 * [taylor]: Taking taylor expansion of 1/27 in a
3.150 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.150 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.150 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.150 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.150 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.150 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.150 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.150 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.150 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.150 * [taylor]: Taking taylor expansion of -1 in a
3.150 * [taylor]: Taking taylor expansion of a in a
3.151 * [taylor]: Taking taylor expansion of 1 in a
3.151 * [taylor]: Taking taylor expansion of 1 in a
3.152 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
3.152 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.152 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.152 * [taylor]: Taking taylor expansion of 1/27 in a
3.152 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.152 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.152 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.152 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.152 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.152 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.152 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.152 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.152 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.152 * [taylor]: Taking taylor expansion of -1 in a
3.152 * [taylor]: Taking taylor expansion of a in a
3.153 * [taylor]: Taking taylor expansion of 1 in a
3.153 * [taylor]: Taking taylor expansion of 1 in a
3.225 * * * [progress]: simplifying candidates
3.226 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 5/729 (pow (pow a 55) 1/27)) (+ (* 1/27 (pow (pow a 28) 1/27)) (pow a 1/27)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/27)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/27)
  (+ (* 5/729 (pow (pow a 55) 1/27)) (+ (* 1/27 (pow (pow a 28) 1/27)) (pow a 1/27)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/27)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/27)
  (+ (* 5/729 (pow (pow a 55) 1/27)) (+ (* 1/27 (pow (pow a 28) 1/27)) (pow a 1/27)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/27)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/27)
3.231 * * [simplify]: iteration  0 :  116  enodes  (cost  1245 )
3.233 * * [simplify]: iteration  1 :  200  enodes  (cost  1105 )
3.237 * * [simplify]: iteration  2 :  453  enodes  (cost  1099 )
3.244 * * [simplify]: iteration  3 :  1013  enodes  (cost  1099 )
3.266 * * [simplify]: iteration  4 :  3817  enodes  (cost  1099 )
3.337 * * [simplify]: iteration  5 :  5001  enodes  (cost  1096 )
3.341 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma 5/729 (pow (pow a 55) 1/27) (fma 1/27 (pow (pow a 28) 1/27) (pow a 1/27)))
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (fma 5/729 (pow (pow a 55) 1/27) (fma 1/27 (pow (pow a 28) 1/27) (pow a 1/27)))
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (fma 5/729 (pow (pow a 55) 1/27) (fma 1/27 (pow (pow a 28) 1/27) (pow a 1/27)))
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
3.342 * * * [progress]: adding candidates to table
3.769 * [progress]: [Phase 3 of 3] Extracting.
3.769 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (fma (pow (pow a 10) 1/9) 1/9 (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (* (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (exp (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (pow (expm1 (sin (expm1 a))) 1/3) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (fma 5/729 (pow (pow a 55) 1/27) (fma 1/27 (pow (pow a 28) 1/27) (pow a 1/27)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
3.795 * * * [regime-changes]: Trying 3 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) a)
3.795 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (fma (pow (pow a 10) 1/9) 1/9 (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (* (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (exp (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (pow (expm1 (sin (expm1 a))) 1/3) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (fma 5/729 (pow (pow a 55) 1/27) (fma 1/27 (pow (pow a 28) 1/27) (pow a 1/27)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
3.981 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>)
4.020 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (fma (pow (pow a 10) 1/9) 1/9 (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (* (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (exp (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (pow (expm1 (sin (expm1 a))) 1/3) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (fma 5/729 (pow (pow a 55) 1/27) (fma 1/27 (pow (pow a 28) 1/27) (pow a 1/27)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
4.214 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (fma (pow (pow a 10) 1/9) 1/9 (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (* (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (exp (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (pow (expm1 (sin (expm1 a))) 1/3) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (fma 5/729 (pow (pow a 55) 1/27) (fma 1/27 (pow (pow a 28) 1/27) (pow a 1/27)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
4.380 * * * [regime]: Found split indices: #<option (#s(si 10 255))>
4.380 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
4.381 * * [simplify]: iteration  0 :  22  enodes  (cost  45 )
4.381 * * [simplify]: iteration  1 :  22  enodes  (cost  45 )
4.382 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
19.869 * [regime-testing]: Baseline error score: 32.830354663819186
19.870 * [regime-testing]: Oracle error score: 31.133134925922587
19.871 * [regime-testing]: End program error score: 32.830354663819186