0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.417 * * * [progress]: [2/2] Setting up program.
0.420 * [progress]: [Phase 2 of 3] Improving.
0.420 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.422 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.422 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.423 * * [progress]: iteration 1 / 4
0.423 * * * [progress]: picking best candidate
0.426 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.426 * * * [progress]: localizing error
0.438 * * * [progress]: generating rewritten candidates
0.438 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.439 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
0.440 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.441 * * * [progress]: generating series expansions
0.441 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.441 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.441 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.441 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.442 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.442 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.442 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.443 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.443 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.443 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.443 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
0.443 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.443 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.443 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.444 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.444 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.444 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.444 * [taylor]: Rewrote expression to (- (exp a) 1)
0.444 * [taylor]: Taking taylor expansion of (exp a) in a
0.444 * [taylor]: Taking taylor expansion of a in a
0.444 * [taylor]: Taking taylor expansion of 1 in a
0.450 * [taylor]: Taking taylor expansion of 1 in a
0.450 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.451 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.451 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.451 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.451 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.451 * [taylor]: Rewrote expression to (- (exp a) 1)
0.451 * [taylor]: Taking taylor expansion of (exp a) in a
0.451 * [taylor]: Taking taylor expansion of a in a
0.451 * [taylor]: Taking taylor expansion of 1 in a
0.453 * [taylor]: Taking taylor expansion of 1 in a
0.463 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.463 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.463 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.463 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.463 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.463 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.463 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.463 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.463 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.463 * [taylor]: Taking taylor expansion of a in a
0.463 * [taylor]: Taking taylor expansion of 1 in a
0.464 * [taylor]: Taking taylor expansion of 1 in a
0.464 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.464 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.464 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.465 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.465 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.465 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.465 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.465 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.465 * [taylor]: Taking taylor expansion of a in a
0.465 * [taylor]: Taking taylor expansion of 1 in a
0.466 * [taylor]: Taking taylor expansion of 1 in a
0.499 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.499 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.499 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.499 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.499 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.499 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.499 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.499 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.499 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.499 * [taylor]: Taking taylor expansion of -1 in a
0.499 * [taylor]: Taking taylor expansion of a in a
0.500 * [taylor]: Taking taylor expansion of 1 in a
0.500 * [taylor]: Taking taylor expansion of 1 in a
0.500 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.500 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.500 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.500 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.501 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.501 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.501 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.501 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.501 * [taylor]: Taking taylor expansion of -1 in a
0.501 * [taylor]: Taking taylor expansion of a in a
0.501 * [taylor]: Taking taylor expansion of 1 in a
0.502 * [taylor]: Taking taylor expansion of 1 in a
0.537 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.537 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.537 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.537 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.538 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.538 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.538 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.539 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.539 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.539 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.539 * * * [progress]: simplifying candidates
0.540 * [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))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan 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)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.543 * * [simplify]: iteration  0 :  72  enodes  (cost  248 )
0.545 * * [simplify]: iteration  1 :  141  enodes  (cost  216 )
0.547 * * [simplify]: iteration  2 :  393  enodes  (cost  216 )
0.554 * * [simplify]: iteration  3 :  1200  enodes  (cost  216 )
0.587 * * [simplify]: iteration  4 :  5001  enodes  (cost  216 )
0.589 * [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))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan 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)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.589 * * * [progress]: adding candidates to table
0.681 * * [progress]: iteration 2 / 4
0.681 * * * [progress]: picking best candidate
0.726 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
0.726 * * * [progress]: localizing error
0.743 * * * [progress]: generating rewritten candidates
0.743 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.744 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.746 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.748 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.750 * * * [progress]: generating series expansions
0.750 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.750 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.750 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.750 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.751 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.751 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.751 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.751 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.752 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.752 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.752 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.752 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
0.752 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.752 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.752 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.752 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.762 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
0.762 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.762 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.763 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.763 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.772 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
0.772 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.772 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.772 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.772 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.781 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.782 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.782 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.782 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.782 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.782 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.782 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.783 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.783 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.783 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.783 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
0.784 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.784 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.784 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.784 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.784 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.784 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.784 * [taylor]: Rewrote expression to (- (exp a) 1)
0.784 * [taylor]: Taking taylor expansion of (exp a) in a
0.784 * [taylor]: Taking taylor expansion of a in a
0.784 * [taylor]: Taking taylor expansion of 1 in a
0.788 * [taylor]: Taking taylor expansion of 1 in a
0.788 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.789 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.789 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.789 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.789 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.789 * [taylor]: Rewrote expression to (- (exp a) 1)
0.789 * [taylor]: Taking taylor expansion of (exp a) in a
0.789 * [taylor]: Taking taylor expansion of a in a
0.789 * [taylor]: Taking taylor expansion of 1 in a
0.791 * [taylor]: Taking taylor expansion of 1 in a
0.801 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.801 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.801 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.801 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.801 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.801 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.801 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.801 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.801 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.801 * [taylor]: Taking taylor expansion of a in a
0.801 * [taylor]: Taking taylor expansion of 1 in a
0.802 * [taylor]: Taking taylor expansion of 1 in a
0.802 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.802 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.802 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.802 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.802 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.802 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.802 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.802 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.802 * [taylor]: Taking taylor expansion of a in a
0.802 * [taylor]: Taking taylor expansion of 1 in a
0.803 * [taylor]: Taking taylor expansion of 1 in a
0.836 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.836 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.836 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.836 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.836 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.836 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.836 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.836 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.836 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.836 * [taylor]: Taking taylor expansion of -1 in a
0.836 * [taylor]: Taking taylor expansion of a in a
0.836 * [taylor]: Taking taylor expansion of 1 in a
0.837 * [taylor]: Taking taylor expansion of 1 in a
0.837 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.837 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.837 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.837 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.837 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.837 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.837 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.837 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.837 * [taylor]: Taking taylor expansion of -1 in a
0.837 * [taylor]: Taking taylor expansion of a in a
0.838 * [taylor]: Taking taylor expansion of 1 in a
0.838 * [taylor]: Taking taylor expansion of 1 in a
0.875 * * * [progress]: simplifying candidates
0.876 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (expm1 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log1p (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp 1))
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan 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)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
0.879 * * [simplify]: iteration  0 :  103  enodes  (cost  472 )
0.881 * * [simplify]: iteration  1 :  199  enodes  (cost  410 )
0.884 * * [simplify]: iteration  2 :  488  enodes  (cost  410 )
0.893 * * [simplify]: iteration  3 :  1460  enodes  (cost  410 )
0.929 * * [simplify]: iteration  4 :  5001  enodes  (cost  410 )
0.931 * [simplify]: Simplified to:
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (expm1 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log1p (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan 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)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
0.932 * * * [progress]: adding candidates to table
1.084 * * [progress]: iteration 3 / 4
1.084 * * * [progress]: picking best candidate
1.149 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))>
1.149 * * * [progress]: localizing error
1.171 * * * [progress]: generating rewritten candidates
1.171 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.172 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.173 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
1.177 * * * [progress]: generating series expansions
1.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.177 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.177 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.178 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.178 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.178 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.178 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.179 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.179 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.179 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.180 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.180 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.180 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.180 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.181 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.181 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.181 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.181 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.181 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.182 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.182 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.182 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.182 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.182 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.183 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.183 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.183 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.184 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.184 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.184 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.184 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
1.185 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.185 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.185 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.185 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.185 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.194 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.194 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.194 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.194 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.194 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.204 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.204 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.204 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.204 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.204 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.215 * * * [progress]: simplifying candidates
1.215 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan 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)
  (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)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.219 * * [simplify]: iteration  0 :  43  enodes  (cost  498 )
1.220 * * [simplify]: iteration  1 :  64  enodes  (cost  429 )
1.222 * * [simplify]: iteration  2 :  83  enodes  (cost  429 )
1.224 * * [simplify]: iteration  3 :  124  enodes  (cost  429 )
1.226 * * [simplify]: iteration  4 :  224  enodes  (cost  429 )
1.230 * * [simplify]: iteration  5 :  546  enodes  (cost  429 )
1.243 * * [simplify]: iteration  6 :  2606  enodes  (cost  429 )
1.288 * * [simplify]: iteration  7 :  5001  enodes  (cost  429 )
1.290 * [simplify]: Simplified to:
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (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)
  (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)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.291 * * * [progress]: adding candidates to table
1.486 * * [progress]: iteration 4 / 4
1.486 * * * [progress]: picking best candidate
1.598 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))>
1.598 * * * [progress]: localizing error
1.637 * * * [progress]: generating rewritten candidates
1.638 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.638 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.639 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.640 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2)
1.641 * * * [progress]: generating series expansions
1.641 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.642 * [approximate]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) a) in (a) around 0
1.642 * [taylor]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) a) in a
1.642 * [taylor]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) a) in a
1.644 * [approximate]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3))) (/ 1 a)) in (a) around 0
1.644 * [taylor]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3))) (/ 1 a)) in a
1.644 * [taylor]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3))) (/ 1 a)) in a
1.646 * [approximate]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3))) (/ -1 a)) in (a) around 0
1.646 * [taylor]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3))) (/ -1 a)) in a
1.647 * [taylor]: Taking taylor expansion of (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3))) (/ -1 a)) in a
1.648 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.648 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.648 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.648 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.649 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.649 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.649 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.650 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.650 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.650 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.650 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.651 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.651 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.651 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.651 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.651 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.651 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.652 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.652 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.652 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.653 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2)
1.653 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.653 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.653 * [taylor]: Taking taylor expansion of 1/3 in a
1.653 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.653 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.653 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.653 * [taylor]: Taking taylor expansion of 1/3 in a
1.653 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.654 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.692 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.692 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.692 * [taylor]: Taking taylor expansion of 1/3 in a
1.692 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.692 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.693 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.693 * [taylor]: Taking taylor expansion of 1/3 in a
1.693 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.693 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.730 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.730 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.730 * [taylor]: Taking taylor expansion of 1/3 in a
1.730 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.730 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.730 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.730 * [taylor]: Taking taylor expansion of 1/3 in a
1.730 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.730 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.770 * * * [progress]: simplifying candidates
1.770 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))
  (log1p (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))
  (log (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))
  (exp (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))
  (* (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))
  (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))
  (* (* (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a) (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)) (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))
  (sqrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))
  (sqrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt 1)
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) a)
  (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) a)
  (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) 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)
  (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)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
1.775 * * [simplify]: iteration  0 :  82  enodes  (cost  735 )
1.776 * * [simplify]: iteration  1 :  163  enodes  (cost  637 )
1.779 * * [simplify]: iteration  2 :  426  enodes  (cost  483 )
1.787 * * [simplify]: iteration  3 :  1722  enodes  (cost  483 )
1.833 * * [simplify]: iteration  4 :  5002  enodes  (cost  482 )
1.836 * [simplify]: Simplified to:
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (* (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (sqrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) a)
  (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) a)
  (fmod (log (pow (exp (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))) 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)
  (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)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
1.836 * * * [progress]: adding candidates to table
2.098 * [progress]: [Phase 3 of 3] Extracting.
2.098 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (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 (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow E (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (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 (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))>)
2.114 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.114 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (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 (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow E (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (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 (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))>)
2.294 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (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 (exp (log (fmod (atan2 (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 (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)))))>)
2.343 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (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 (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow E (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (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 (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))>)
2.506 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
2.506 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow E (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))
2.507 * * [simplify]: iteration  0 :  21  enodes  (cost  30 )
2.507 * * [simplify]: iteration  1 :  23  enodes  (cost  30 )
2.507 * * [simplify]: iteration  2 :  23  enodes  (cost  30 )
2.508 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow E (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))
18.327 * [regime-testing]: Baseline error score: 33.945071112387346
18.327 * [regime-testing]: Oracle error score: 32.09973315917279
18.329 * [regime-testing]: End program error score: 33.945071112387346