0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.389 * * * [progress]: [2/2] Setting up program.
0.392 * [progress]: [Phase 2 of 3] Improving.
0.393 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.395 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.395 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.395 * * [progress]: iteration 1 / 4
0.395 * * * [progress]: picking best candidate
0.398 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.398 * * * [progress]: localizing error
0.410 * * * [progress]: generating rewritten candidates
0.410 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.411 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
0.412 * * * [progress]: generating series expansions
0.412 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.412 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.412 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.412 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.413 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.413 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.413 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.414 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.414 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
0.415 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.415 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.415 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.415 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.415 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.415 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.415 * [taylor]: Rewrote expression to (- (exp a) 1)
0.415 * [taylor]: Taking taylor expansion of (exp a) in a
0.415 * [taylor]: Taking taylor expansion of a in a
0.415 * [taylor]: Taking taylor expansion of 1 in a
0.417 * [taylor]: Taking taylor expansion of 1 in a
0.417 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.418 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.418 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.418 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.418 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.418 * [taylor]: Rewrote expression to (- (exp a) 1)
0.418 * [taylor]: Taking taylor expansion of (exp a) in a
0.418 * [taylor]: Taking taylor expansion of a in a
0.418 * [taylor]: Taking taylor expansion of 1 in a
0.420 * [taylor]: Taking taylor expansion of 1 in a
0.429 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.429 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.429 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.429 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.429 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.429 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.429 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.429 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.429 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.429 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of 1 in a
0.431 * [taylor]: Taking taylor expansion of 1 in a
0.431 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.431 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.431 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.431 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.431 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.431 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.431 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.431 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.431 * [taylor]: Taking taylor expansion of a in a
0.431 * [taylor]: Taking taylor expansion of 1 in a
0.432 * [taylor]: Taking taylor expansion of 1 in a
0.467 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.467 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.467 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.467 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.467 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.467 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.467 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.467 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.467 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.467 * [taylor]: Taking taylor expansion of -1 in a
0.467 * [taylor]: Taking taylor expansion of a in a
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.468 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.468 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.468 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.468 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.468 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.469 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.469 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.469 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.469 * [taylor]: Taking taylor expansion of -1 in a
0.469 * [taylor]: Taking taylor expansion of a in a
0.469 * [taylor]: Taking taylor expansion of 1 in a
0.470 * [taylor]: Taking taylor expansion of 1 in a
0.501 * * * [progress]: simplifying candidates
0.502 * [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.504 * * [simplify]: iteration  0 :  63  enodes  (cost  161 )
0.506 * * [simplify]: iteration  1 :  136  enodes  (cost  140 )
0.509 * * [simplify]: iteration  2 :  407  enodes  (cost  140 )
0.516 * * [simplify]: iteration  3 :  1240  enodes  (cost  140 )
0.550 * * [simplify]: iteration  4 :  5002  enodes  (cost  140 )
0.551 * [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.551 * * * [progress]: adding candidates to table
0.623 * * [progress]: iteration 2 / 4
0.623 * * * [progress]: picking best candidate
0.659 * * * * [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.659 * * * [progress]: localizing error
0.675 * * * [progress]: generating rewritten candidates
0.675 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.676 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
0.677 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.679 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.681 * * * [progress]: generating series expansions
0.681 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.681 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.681 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.681 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.682 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.682 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.682 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.683 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.683 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.683 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.684 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
0.684 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.684 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.684 * [taylor]: Taking taylor expansion of 1/3 in a
0.684 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.684 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.684 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.684 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.684 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.684 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.684 * [taylor]: Rewrote expression to (- (exp a) 1)
0.684 * [taylor]: Taking taylor expansion of (exp a) in a
0.684 * [taylor]: Taking taylor expansion of a in a
0.684 * [taylor]: Taking taylor expansion of 1 in a
0.686 * [taylor]: Taking taylor expansion of 1 in a
0.688 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.688 * [taylor]: Taking taylor expansion of 1/3 in a
0.688 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.688 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.688 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.689 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.689 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.689 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.689 * [taylor]: Rewrote expression to (- (exp a) 1)
0.689 * [taylor]: Taking taylor expansion of (exp a) in a
0.689 * [taylor]: Taking taylor expansion of a in a
0.689 * [taylor]: Taking taylor expansion of 1 in a
0.691 * [taylor]: Taking taylor expansion of 1 in a
0.706 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.706 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.706 * [taylor]: Taking taylor expansion of 1/3 in a
0.706 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.706 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.707 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.707 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.707 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.707 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.707 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.707 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.707 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.707 * [taylor]: Taking taylor expansion of a in a
0.707 * [taylor]: Taking taylor expansion of 1 in a
0.708 * [taylor]: Taking taylor expansion of 1 in a
0.708 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.708 * [taylor]: Taking taylor expansion of 1/3 in a
0.708 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.708 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.708 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.708 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.708 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.708 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.708 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.708 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.709 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.709 * [taylor]: Taking taylor expansion of a in a
0.709 * [taylor]: Taking taylor expansion of 1 in a
0.709 * [taylor]: Taking taylor expansion of 1 in a
0.779 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
0.779 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.779 * [taylor]: Taking taylor expansion of 1/3 in a
0.779 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.779 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.779 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.779 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.779 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.779 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.779 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.779 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.779 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.779 * [taylor]: Taking taylor expansion of -1 in a
0.779 * [taylor]: Taking taylor expansion of a in a
0.780 * [taylor]: Taking taylor expansion of 1 in a
0.780 * [taylor]: Taking taylor expansion of 1 in a
0.781 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.781 * [taylor]: Taking taylor expansion of 1/3 in a
0.781 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.781 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.781 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.781 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.781 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.781 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.781 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.781 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.781 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.781 * [taylor]: Taking taylor expansion of -1 in a
0.781 * [taylor]: Taking taylor expansion of a in a
0.782 * [taylor]: Taking taylor expansion of 1 in a
0.782 * [taylor]: Taking taylor expansion of 1 in a
0.851 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
0.851 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.851 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.851 * [taylor]: Taking taylor expansion of 1/3 in a
0.851 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.851 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.851 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.852 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.852 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.852 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.852 * [taylor]: Rewrote expression to (- (exp a) 1)
0.852 * [taylor]: Taking taylor expansion of (exp a) in a
0.852 * [taylor]: Taking taylor expansion of a in a
0.852 * [taylor]: Taking taylor expansion of 1 in a
0.854 * [taylor]: Taking taylor expansion of 1 in a
0.856 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.856 * [taylor]: Taking taylor expansion of 1/3 in a
0.856 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.856 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.856 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.856 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.856 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.856 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.856 * [taylor]: Rewrote expression to (- (exp a) 1)
0.856 * [taylor]: Taking taylor expansion of (exp a) in a
0.856 * [taylor]: Taking taylor expansion of a in a
0.856 * [taylor]: Taking taylor expansion of 1 in a
0.858 * [taylor]: Taking taylor expansion of 1 in a
0.873 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.873 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.873 * [taylor]: Taking taylor expansion of 1/3 in a
0.873 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.873 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.873 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.873 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.873 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.873 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.873 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.873 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.873 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.873 * [taylor]: Taking taylor expansion of a in a
0.873 * [taylor]: Taking taylor expansion of 1 in a
0.874 * [taylor]: Taking taylor expansion of 1 in a
0.875 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.875 * [taylor]: Taking taylor expansion of 1/3 in a
0.875 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.875 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.875 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.875 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.875 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.875 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.875 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.875 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.875 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.875 * [taylor]: Taking taylor expansion of a in a
0.875 * [taylor]: Taking taylor expansion of 1 in a
0.876 * [taylor]: Taking taylor expansion of 1 in a
0.945 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
0.945 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.945 * [taylor]: Taking taylor expansion of 1/3 in a
0.945 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.945 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.945 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.945 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.945 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.945 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.945 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.945 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.945 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.945 * [taylor]: Taking taylor expansion of -1 in a
0.945 * [taylor]: Taking taylor expansion of a in a
0.946 * [taylor]: Taking taylor expansion of 1 in a
0.946 * [taylor]: Taking taylor expansion of 1 in a
0.947 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.947 * [taylor]: Taking taylor expansion of 1/3 in a
0.947 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.947 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.947 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.947 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.947 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.947 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.947 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.947 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.947 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.947 * [taylor]: Taking taylor expansion of -1 in a
0.947 * [taylor]: Taking taylor expansion of a in a
0.948 * [taylor]: Taking taylor expansion of 1 in a
0.948 * [taylor]: Taking taylor expansion of 1 in a
1.018 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.018 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.018 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.018 * [taylor]: Taking taylor expansion of 1/3 in a
1.018 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.018 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.019 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.019 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.019 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.019 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.019 * [taylor]: Rewrote expression to (- (exp a) 1)
1.019 * [taylor]: Taking taylor expansion of (exp a) in a
1.019 * [taylor]: Taking taylor expansion of a in a
1.019 * [taylor]: Taking taylor expansion of 1 in a
1.021 * [taylor]: Taking taylor expansion of 1 in a
1.023 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.023 * [taylor]: Taking taylor expansion of 1/3 in a
1.023 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.023 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.023 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.023 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.023 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.023 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.023 * [taylor]: Rewrote expression to (- (exp a) 1)
1.023 * [taylor]: Taking taylor expansion of (exp a) in a
1.023 * [taylor]: Taking taylor expansion of a in a
1.023 * [taylor]: Taking taylor expansion of 1 in a
1.025 * [taylor]: Taking taylor expansion of 1 in a
1.040 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.040 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.040 * [taylor]: Taking taylor expansion of 1/3 in a
1.040 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.040 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.040 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.040 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.040 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.040 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.040 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.040 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.040 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.040 * [taylor]: Taking taylor expansion of a in a
1.041 * [taylor]: Taking taylor expansion of 1 in a
1.041 * [taylor]: Taking taylor expansion of 1 in a
1.042 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.042 * [taylor]: Taking taylor expansion of 1/3 in a
1.042 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.042 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.042 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.042 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.042 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.042 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.042 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.042 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.042 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.042 * [taylor]: Taking taylor expansion of a in a
1.042 * [taylor]: Taking taylor expansion of 1 in a
1.043 * [taylor]: Taking taylor expansion of 1 in a
1.113 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.113 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.113 * [taylor]: Taking taylor expansion of 1/3 in a
1.113 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.113 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.113 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.113 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.113 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.113 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.113 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.113 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.113 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.113 * [taylor]: Taking taylor expansion of -1 in a
1.113 * [taylor]: Taking taylor expansion of a in a
1.114 * [taylor]: Taking taylor expansion of 1 in a
1.114 * [taylor]: Taking taylor expansion of 1 in a
1.115 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.115 * [taylor]: Taking taylor expansion of 1/3 in a
1.115 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.115 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.115 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.115 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.115 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.115 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.115 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.115 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.115 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.115 * [taylor]: Taking taylor expansion of -1 in a
1.115 * [taylor]: Taking taylor expansion of a in a
1.115 * [taylor]: Taking taylor expansion of 1 in a
1.116 * [taylor]: Taking taylor expansion of 1 in a
1.185 * * * [progress]: simplifying candidates
1.186 * [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.190 * * [simplify]: iteration  0 :  88  enodes  (cost  549 )
1.192 * * [simplify]: iteration  1 :  181  enodes  (cost  487 )
1.196 * * [simplify]: iteration  2 :  472  enodes  (cost  481 )
1.206 * * [simplify]: iteration  3 :  1562  enodes  (cost  470 )
1.254 * * [simplify]: iteration  4 :  5001  enodes  (cost  467 )
1.256 * [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.257 * * * [progress]: adding candidates to table
1.452 * * [progress]: iteration 3 / 4
1.452 * * * [progress]: picking best candidate
1.523 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))>
1.523 * * * [progress]: localizing error
1.544 * * * [progress]: generating rewritten candidates
1.544 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.544 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2)
1.546 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 2)
1.548 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1)
1.550 * * * [progress]: generating series expansions
1.551 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.551 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.551 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.551 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.552 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.552 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.552 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.553 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.553 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.553 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.554 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2)
1.554 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
1.554 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.554 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.554 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.554 * [taylor]: Taking taylor expansion of 1/9 in a
1.554 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.554 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.554 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.554 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.554 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.554 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.554 * [taylor]: Rewrote expression to (- (exp a) 1)
1.554 * [taylor]: Taking taylor expansion of (exp a) in a
1.554 * [taylor]: Taking taylor expansion of a in a
1.554 * [taylor]: Taking taylor expansion of 1 in a
1.556 * [taylor]: Taking taylor expansion of 1 in a
1.558 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.559 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.559 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.559 * [taylor]: Taking taylor expansion of 1/9 in a
1.559 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.559 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.559 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.559 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.559 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.559 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.559 * [taylor]: Rewrote expression to (- (exp a) 1)
1.559 * [taylor]: Taking taylor expansion of (exp a) in a
1.559 * [taylor]: Taking taylor expansion of a in a
1.559 * [taylor]: Taking taylor expansion of 1 in a
1.561 * [taylor]: Taking taylor expansion of 1 in a
1.576 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
1.576 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.576 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.576 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.576 * [taylor]: Taking taylor expansion of 1/9 in a
1.576 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.576 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.576 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.576 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.576 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.576 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.576 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.576 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.576 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.576 * [taylor]: Taking taylor expansion of a in a
1.576 * [taylor]: Taking taylor expansion of 1 in a
1.577 * [taylor]: Taking taylor expansion of 1 in a
1.578 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.578 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.578 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.578 * [taylor]: Taking taylor expansion of 1/9 in a
1.578 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.578 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.578 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.578 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.578 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.578 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.578 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.578 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.578 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.578 * [taylor]: Taking taylor expansion of a in a
1.578 * [taylor]: Taking taylor expansion of 1 in a
1.579 * [taylor]: Taking taylor expansion of 1 in a
1.649 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
1.649 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.649 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.649 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.649 * [taylor]: Taking taylor expansion of 1/9 in a
1.649 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.649 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.649 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.649 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.649 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.649 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.649 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.649 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.649 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.649 * [taylor]: Taking taylor expansion of -1 in a
1.649 * [taylor]: Taking taylor expansion of a in a
1.650 * [taylor]: Taking taylor expansion of 1 in a
1.650 * [taylor]: Taking taylor expansion of 1 in a
1.651 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.651 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.651 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.651 * [taylor]: Taking taylor expansion of 1/9 in a
1.651 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.651 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.651 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.651 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.651 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.651 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.651 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.651 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.651 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.651 * [taylor]: Taking taylor expansion of -1 in a
1.651 * [taylor]: Taking taylor expansion of a in a
1.651 * [taylor]: Taking taylor expansion of 1 in a
1.652 * [taylor]: Taking taylor expansion of 1 in a
1.722 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 2)
1.723 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
1.723 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.723 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.723 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.723 * [taylor]: Taking taylor expansion of 1/9 in a
1.723 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.723 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.723 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.723 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.723 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.723 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.723 * [taylor]: Rewrote expression to (- (exp a) 1)
1.723 * [taylor]: Taking taylor expansion of (exp a) in a
1.723 * [taylor]: Taking taylor expansion of a in a
1.723 * [taylor]: Taking taylor expansion of 1 in a
1.725 * [taylor]: Taking taylor expansion of 1 in a
1.727 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.727 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.727 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 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 a)))) in a
1.727 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.727 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.727 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.727 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.727 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.727 * [taylor]: Rewrote expression to (- (exp a) 1)
1.727 * [taylor]: Taking taylor expansion of (exp a) in a
1.727 * [taylor]: Taking taylor expansion of a in a
1.727 * [taylor]: Taking taylor expansion of 1 in a
1.729 * [taylor]: Taking taylor expansion of 1 in a
1.744 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
1.744 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.744 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.744 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.744 * [taylor]: Taking taylor expansion of 1/9 in a
1.744 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.744 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.744 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.744 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.744 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.744 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.745 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.745 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.745 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.745 * [taylor]: Taking taylor expansion of a in a
1.745 * [taylor]: Taking taylor expansion of 1 in a
1.746 * [taylor]: Taking taylor expansion of 1 in a
1.746 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.746 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.746 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.746 * [taylor]: Taking taylor expansion of 1/9 in a
1.746 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.746 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.746 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.746 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.746 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.746 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.746 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.746 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.746 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.746 * [taylor]: Taking taylor expansion of a in a
1.747 * [taylor]: Taking taylor expansion of 1 in a
1.747 * [taylor]: Taking taylor expansion of 1 in a
1.819 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
1.819 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.819 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.819 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.819 * [taylor]: Taking taylor expansion of 1/9 in a
1.819 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.819 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.819 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.819 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.819 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.819 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.819 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.819 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.819 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.819 * [taylor]: Taking taylor expansion of -1 in a
1.819 * [taylor]: Taking taylor expansion of a in a
1.819 * [taylor]: Taking taylor expansion of 1 in a
1.820 * [taylor]: Taking taylor expansion of 1 in a
1.821 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.821 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.821 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.821 * [taylor]: Taking taylor expansion of 1/9 in a
1.821 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.821 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.821 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.821 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.821 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.821 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.821 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.821 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.821 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.821 * [taylor]: Taking taylor expansion of -1 in a
1.821 * [taylor]: Taking taylor expansion of a in a
1.821 * [taylor]: Taking taylor expansion of 1 in a
1.822 * [taylor]: Taking taylor expansion of 1 in a
1.894 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1)
1.894 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
1.894 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.894 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.894 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.894 * [taylor]: Taking taylor expansion of 1/9 in a
1.894 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.894 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.894 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.894 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.894 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.894 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.894 * [taylor]: Rewrote expression to (- (exp a) 1)
1.894 * [taylor]: Taking taylor expansion of (exp a) in a
1.894 * [taylor]: Taking taylor expansion of a in a
1.894 * [taylor]: Taking taylor expansion of 1 in a
1.896 * [taylor]: Taking taylor expansion of 1 in a
1.898 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.898 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.898 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.898 * [taylor]: Taking taylor expansion of 1/9 in a
1.898 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.898 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.898 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.898 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.898 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.898 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.898 * [taylor]: Rewrote expression to (- (exp a) 1)
1.898 * [taylor]: Taking taylor expansion of (exp a) in a
1.898 * [taylor]: Taking taylor expansion of a in a
1.898 * [taylor]: Taking taylor expansion of 1 in a
1.900 * [taylor]: Taking taylor expansion of 1 in a
1.915 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
1.915 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.915 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.915 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.915 * [taylor]: Taking taylor expansion of 1/9 in a
1.915 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.915 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.915 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.915 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.915 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.915 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.915 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.915 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.915 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.915 * [taylor]: Taking taylor expansion of a in a
1.916 * [taylor]: Taking taylor expansion of 1 in a
1.916 * [taylor]: Taking taylor expansion of 1 in a
1.917 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.917 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.917 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.917 * [taylor]: Taking taylor expansion of 1/9 in a
1.917 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.917 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.917 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.917 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.917 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.917 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.917 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.917 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.917 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.917 * [taylor]: Taking taylor expansion of a in a
1.918 * [taylor]: Taking taylor expansion of 1 in a
1.918 * [taylor]: Taking taylor expansion of 1 in a
1.991 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
1.991 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.991 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.991 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.991 * [taylor]: Taking taylor expansion of 1/9 in a
1.991 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.992 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.992 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.992 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.992 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.992 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.992 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.992 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.992 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.992 * [taylor]: Taking taylor expansion of -1 in a
1.992 * [taylor]: Taking taylor expansion of a in a
1.992 * [taylor]: Taking taylor expansion of 1 in a
1.993 * [taylor]: Taking taylor expansion of 1 in a
1.993 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.993 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.993 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.993 * [taylor]: Taking taylor expansion of 1/9 in a
1.993 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.993 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.994 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.994 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.994 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.994 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.994 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.994 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.994 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.994 * [taylor]: Taking taylor expansion of -1 in a
1.994 * [taylor]: Taking taylor expansion of a in a
1.994 * [taylor]: Taking taylor expansion of 1 in a
1.995 * [taylor]: Taking taylor expansion of 1 in a
2.066 * * * [progress]: simplifying candidates
2.067 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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))))))
  (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))))))
  (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))))))
  (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/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/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)
2.071 * * [simplify]: iteration  0 :  97  enodes  (cost  882 )
2.073 * * [simplify]: iteration  1 :  164  enodes  (cost  773 )
2.076 * * [simplify]: iteration  2 :  344  enodes  (cost  767 )
2.082 * * [simplify]: iteration  3 :  842  enodes  (cost  767 )
2.104 * * [simplify]: iteration  4 :  3796  enodes  (cost  767 )
2.174 * * [simplify]: iteration  5 :  5001  enodes  (cost  740 )
2.177 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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 (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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 (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 (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))))))
  (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 (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 (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))))))
  (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 (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 (expm1 (sin (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (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 (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 (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 (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)
2.177 * * * [progress]: adding candidates to table
2.450 * * [progress]: iteration 4 / 4
2.450 * * * [progress]: picking best candidate
2.556 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))) (atan a)) a)))>
2.556 * * * [progress]: localizing error
2.576 * * * [progress]: generating rewritten candidates
2.577 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.577 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2)
2.579 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 2)
2.581 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1 1)
2.584 * * * [progress]: generating series expansions
2.584 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.584 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.584 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.584 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.585 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.585 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.585 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.587 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.587 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.587 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.587 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2)
2.587 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
2.587 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
2.587 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
2.587 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
2.587 * [taylor]: Taking taylor expansion of 1/9 in a
2.587 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.587 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.587 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.587 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.588 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.588 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.588 * [taylor]: Rewrote expression to (- (exp a) 1)
2.588 * [taylor]: Taking taylor expansion of (exp a) in a
2.588 * [taylor]: Taking taylor expansion of a in a
2.588 * [taylor]: Taking taylor expansion of 1 in a
2.590 * [taylor]: Taking taylor expansion of 1 in a
2.592 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
2.592 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
2.592 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
2.592 * [taylor]: Taking taylor expansion of 1/9 in a
2.592 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.592 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.592 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.592 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.592 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.592 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.592 * [taylor]: Rewrote expression to (- (exp a) 1)
2.592 * [taylor]: Taking taylor expansion of (exp a) in a
2.592 * [taylor]: Taking taylor expansion of a in a
2.592 * [taylor]: Taking taylor expansion of 1 in a
2.594 * [taylor]: Taking taylor expansion of 1 in a
2.609 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
2.609 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
2.609 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.609 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.609 * [taylor]: Taking taylor expansion of 1/9 in a
2.609 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.609 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.609 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.609 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.609 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.609 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.609 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.609 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.609 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.609 * [taylor]: Taking taylor expansion of a in a
2.609 * [taylor]: Taking taylor expansion of 1 in a
2.610 * [taylor]: Taking taylor expansion of 1 in a
2.611 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
2.611 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.611 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.611 * [taylor]: Taking taylor expansion of 1/9 in a
2.611 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.611 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.611 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.611 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.611 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.611 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.611 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.611 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.611 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.611 * [taylor]: Taking taylor expansion of a in a
2.611 * [taylor]: Taking taylor expansion of 1 in a
2.612 * [taylor]: Taking taylor expansion of 1 in a
2.682 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
2.682 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
2.682 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.682 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.682 * [taylor]: Taking taylor expansion of 1/9 in a
2.682 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.682 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.682 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.682 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.682 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.682 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.682 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.682 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.682 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.682 * [taylor]: Taking taylor expansion of -1 in a
2.682 * [taylor]: Taking taylor expansion of a in a
2.682 * [taylor]: Taking taylor expansion of 1 in a
2.683 * [taylor]: Taking taylor expansion of 1 in a
2.684 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
2.684 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.684 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.684 * [taylor]: Taking taylor expansion of 1/9 in a
2.684 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.684 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.684 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.684 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.684 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.684 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.684 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.684 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.684 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.684 * [taylor]: Taking taylor expansion of -1 in a
2.684 * [taylor]: Taking taylor expansion of a in a
2.684 * [taylor]: Taking taylor expansion of 1 in a
2.685 * [taylor]: Taking taylor expansion of 1 in a
2.756 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 2)
2.756 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
2.756 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
2.756 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
2.756 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
2.756 * [taylor]: Taking taylor expansion of 1/9 in a
2.756 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.756 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.756 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.756 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.756 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.756 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.756 * [taylor]: Rewrote expression to (- (exp a) 1)
2.756 * [taylor]: Taking taylor expansion of (exp a) in a
2.756 * [taylor]: Taking taylor expansion of a in a
2.756 * [taylor]: Taking taylor expansion of 1 in a
2.758 * [taylor]: Taking taylor expansion of 1 in a
2.760 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
2.760 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
2.760 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
2.760 * [taylor]: Taking taylor expansion of 1/9 in a
2.760 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.760 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.760 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.760 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.760 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.760 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.761 * [taylor]: Rewrote expression to (- (exp a) 1)
2.761 * [taylor]: Taking taylor expansion of (exp a) in a
2.761 * [taylor]: Taking taylor expansion of a in a
2.761 * [taylor]: Taking taylor expansion of 1 in a
2.762 * [taylor]: Taking taylor expansion of 1 in a
2.777 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
2.777 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
2.777 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.777 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.777 * [taylor]: Taking taylor expansion of 1/9 in a
2.777 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.777 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.777 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.778 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.778 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.778 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.778 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.778 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.778 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.778 * [taylor]: Taking taylor expansion of a in a
2.778 * [taylor]: Taking taylor expansion of 1 in a
2.779 * [taylor]: Taking taylor expansion of 1 in a
2.779 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
2.779 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.779 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.779 * [taylor]: Taking taylor expansion of 1/9 in a
2.779 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.779 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.780 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.780 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.780 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.780 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.780 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.780 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.780 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.780 * [taylor]: Taking taylor expansion of a in a
2.780 * [taylor]: Taking taylor expansion of 1 in a
2.781 * [taylor]: Taking taylor expansion of 1 in a
2.853 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
2.853 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
2.853 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.853 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.853 * [taylor]: Taking taylor expansion of 1/9 in a
2.853 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.853 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.853 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.853 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.853 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.853 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.853 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.853 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.853 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.853 * [taylor]: Taking taylor expansion of -1 in a
2.853 * [taylor]: Taking taylor expansion of a in a
2.854 * [taylor]: Taking taylor expansion of 1 in a
2.854 * [taylor]: Taking taylor expansion of 1 in a
2.855 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
2.855 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.855 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.855 * [taylor]: Taking taylor expansion of 1/9 in a
2.855 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.855 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.855 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.855 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.855 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.855 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.855 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.855 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.855 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.855 * [taylor]: Taking taylor expansion of -1 in a
2.855 * [taylor]: Taking taylor expansion of a in a
2.856 * [taylor]: Taking taylor expansion of 1 in a
2.856 * [taylor]: Taking taylor expansion of 1 in a
2.928 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1 1)
2.928 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
2.928 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
2.928 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
2.928 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
2.928 * [taylor]: Taking taylor expansion of 1/9 in a
2.928 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.928 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.928 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.928 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.928 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.928 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.929 * [taylor]: Rewrote expression to (- (exp a) 1)
2.929 * [taylor]: Taking taylor expansion of (exp a) in a
2.929 * [taylor]: Taking taylor expansion of a in a
2.929 * [taylor]: Taking taylor expansion of 1 in a
2.930 * [taylor]: Taking taylor expansion of 1 in a
2.933 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
2.933 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
2.933 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
2.933 * [taylor]: Taking taylor expansion of 1/9 in a
2.933 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.933 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.933 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.933 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.933 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.933 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.933 * [taylor]: Rewrote expression to (- (exp a) 1)
2.933 * [taylor]: Taking taylor expansion of (exp a) in a
2.933 * [taylor]: Taking taylor expansion of a in a
2.933 * [taylor]: Taking taylor expansion of 1 in a
2.935 * [taylor]: Taking taylor expansion of 1 in a
2.950 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
2.950 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
2.950 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.950 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.950 * [taylor]: Taking taylor expansion of 1/9 in a
2.950 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.950 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.950 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.950 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.950 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.950 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.950 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.950 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.950 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.950 * [taylor]: Taking taylor expansion of a in a
2.950 * [taylor]: Taking taylor expansion of 1 in a
2.951 * [taylor]: Taking taylor expansion of 1 in a
2.952 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
2.952 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.952 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.952 * [taylor]: Taking taylor expansion of 1/9 in a
2.952 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.952 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.952 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.952 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.952 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.952 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.952 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.952 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.952 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.952 * [taylor]: Taking taylor expansion of a in a
2.952 * [taylor]: Taking taylor expansion of 1 in a
2.953 * [taylor]: Taking taylor expansion of 1 in a
3.025 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
3.025 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
3.025 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.025 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.025 * [taylor]: Taking taylor expansion of 1/9 in a
3.025 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.025 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.025 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.025 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.025 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.025 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.025 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.025 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.025 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.025 * [taylor]: Taking taylor expansion of -1 in a
3.025 * [taylor]: Taking taylor expansion of a in a
3.025 * [taylor]: Taking taylor expansion of 1 in a
3.026 * [taylor]: Taking taylor expansion of 1 in a
3.027 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
3.027 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.027 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.027 * [taylor]: Taking taylor expansion of 1/9 in a
3.027 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.027 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.027 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.027 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.027 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.027 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.027 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.027 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.027 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.027 * [taylor]: Taking taylor expansion of -1 in a
3.027 * [taylor]: Taking taylor expansion of a in a
3.027 * [taylor]: Taking taylor expansion of 1 in a
3.028 * [taylor]: Taking taylor expansion of 1 in a
3.101 * * * [progress]: simplifying candidates
3.102 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (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))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (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))))) (atan a)) a))
  (log (fmod (atan2 (* (* (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))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (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))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (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))))) (atan a)) a) (fmod (atan2 (* (* (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))))) (atan a)) a)) (fmod (atan2 (* (* (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))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (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))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (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))))) (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))))))
  (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))))))
  (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))))))
  (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/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/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)
3.106 * * [simplify]: iteration  0 :  98  enodes  (cost  882 )
3.108 * * [simplify]: iteration  1 :  161  enodes  (cost  773 )
3.111 * * [simplify]: iteration  2 :  338  enodes  (cost  767 )
3.117 * * [simplify]: iteration  3 :  832  enodes  (cost  767 )
3.138 * * [simplify]: iteration  4 :  3788  enodes  (cost  767 )
3.209 * * [simplify]: iteration  5 :  5001  enodes  (cost  740 )
3.212 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (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))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (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))))) (atan a)) a))
  (log (fmod (atan2 (* (* (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))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (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))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (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))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (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))))) (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 (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 (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))))))
  (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 (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 (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))))))
  (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 (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 (expm1 (sin (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (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 (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 (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 (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)
3.212 * * * [progress]: adding candidates to table
3.481 * [progress]: [Phase 3 of 3] Extracting.
3.481 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (sqrt (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 (* (* (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (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 (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (pow (expm1 (sin (expm1 a))) 1/9))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (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))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (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)))))> #<alt (λ (a) (fabs (log (exp (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 (expm1 (sin (expm1 a)))) (pow (expm1 (sin (expm1 a))) 1/3)) (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 (* (* (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))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (pow (cbrt (expm1 (sin (expm1 a)))) 1/3))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
3.496 * * * [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.496 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (sqrt (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 (* (* (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (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 (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (pow (expm1 (sin (expm1 a))) 1/9))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (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))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (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)))))> #<alt (λ (a) (fabs (log (exp (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 (expm1 (sin (expm1 a)))) (pow (expm1 (sin (expm1 a))) 1/3)) (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 (* (* (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))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (pow (cbrt (expm1 (sin (expm1 a)))) 1/3))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
3.650 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (sqrt (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 (* (* (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (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 (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (pow (expm1 (sin (expm1 a))) 1/9))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (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))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (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)))))> #<alt (λ (a) (fabs (log (exp (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 (expm1 (sin (expm1 a)))) (pow (expm1 (sin (expm1 a))) 1/3)) (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 (* (* (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))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (pow (cbrt (expm1 (sin (expm1 a)))) 1/3))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
3.803 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (sqrt (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 (* (* (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (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 (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (pow (expm1 (sin (expm1 a))) 1/9))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (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))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (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)))))> #<alt (λ (a) (fabs (log (exp (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 (expm1 (sin (expm1 a)))) (pow (expm1 (sin (expm1 a))) 1/3)) (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 (* (* (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))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (pow (cbrt (expm1 (sin (expm1 a)))) 1/3))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
3.938 * * * [regime]: Found split indices: #<option (#s(si 22 255))>
3.939 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
3.939 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
3.939 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
18.853 * [regime-testing]: Baseline error score: 33.49365156318439
18.854 * [regime-testing]: Oracle error score: 32.005237172217335
18.855 * [regime-testing]: End program error score: 33.49365156318439