0.011 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.391 * * * [progress]: [2/2] Setting up program.
0.395 * [progress]: [Phase 2 of 3] Improving.
0.395 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.397 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.397 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.397 * * [progress]: iteration 1 / 4
0.397 * * * [progress]: picking best candidate
0.401 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.401 * * * [progress]: localizing error
0.418 * * * [progress]: generating rewritten candidates
0.418 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.419 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.421 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.422 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.423 * * * [progress]: generating series expansions
0.423 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.423 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.423 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.423 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.424 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.424 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.424 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.425 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.425 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.425 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.425 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.425 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.425 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.425 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.426 * [taylor]: Rewrote expression to (- (exp a) 1)
0.426 * [taylor]: Taking taylor expansion of (exp a) in a
0.426 * [taylor]: Taking taylor expansion of a in a
0.426 * [taylor]: Taking taylor expansion of 1 in a
0.428 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.428 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.428 * [taylor]: Rewrote expression to (- (exp a) 1)
0.428 * [taylor]: Taking taylor expansion of (exp a) in a
0.428 * [taylor]: Taking taylor expansion of a in a
0.428 * [taylor]: Taking taylor expansion of 1 in a
0.439 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.439 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.439 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.439 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.439 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.439 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.439 * [taylor]: Taking taylor expansion of a in a
0.440 * [taylor]: Taking taylor expansion of 1 in a
0.440 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.440 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.440 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.440 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.440 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.440 * [taylor]: Taking taylor expansion of a in a
0.440 * [taylor]: Taking taylor expansion of 1 in a
0.463 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
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 -1 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 (sin (expm1 (/ -1 a))) in a
0.464 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.464 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.464 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.464 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.464 * [taylor]: Taking taylor expansion of -1 in a
0.464 * [taylor]: Taking taylor expansion of a in a
0.464 * [taylor]: Taking taylor expansion of 1 in a
0.486 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.486 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.486 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.486 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.486 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.486 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.486 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.486 * [taylor]: Rewrote expression to (- (exp a) 1)
0.486 * [taylor]: Taking taylor expansion of (exp a) in a
0.486 * [taylor]: Taking taylor expansion of a in a
0.486 * [taylor]: Taking taylor expansion of 1 in a
0.488 * [taylor]: Taking taylor expansion of 1 in a
0.488 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.488 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.488 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.488 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.488 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.488 * [taylor]: Rewrote expression to (- (exp a) 1)
0.489 * [taylor]: Taking taylor expansion of (exp a) in a
0.489 * [taylor]: Taking taylor expansion of a in a
0.489 * [taylor]: Taking taylor expansion of 1 in a
0.491 * [taylor]: Taking taylor expansion of 1 in a
0.505 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.505 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.505 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.505 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.505 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.505 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.505 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.505 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.505 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.505 * [taylor]: Taking taylor expansion of a in a
0.506 * [taylor]: Taking taylor expansion of 1 in a
0.506 * [taylor]: Taking taylor expansion of 1 in a
0.506 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.507 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.507 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.507 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.507 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.507 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.507 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.507 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.507 * [taylor]: Taking taylor expansion of a in a
0.507 * [taylor]: Taking taylor expansion of 1 in a
0.508 * [taylor]: Taking taylor expansion of 1 in a
0.541 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.541 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.541 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.541 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.541 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.541 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.541 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.541 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.541 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.541 * [taylor]: Taking taylor expansion of -1 in a
0.541 * [taylor]: Taking taylor expansion of a in a
0.541 * [taylor]: Taking taylor expansion of 1 in a
0.542 * [taylor]: Taking taylor expansion of 1 in a
0.542 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.542 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.542 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.542 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.542 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.542 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.542 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.542 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.542 * [taylor]: Taking taylor expansion of -1 in a
0.542 * [taylor]: Taking taylor expansion of a in a
0.543 * [taylor]: Taking taylor expansion of 1 in a
0.543 * [taylor]: Taking taylor expansion of 1 in a
0.576 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.576 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.576 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.576 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.577 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.577 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.577 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.577 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.577 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.577 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.578 * * * [progress]: simplifying candidates
0.578 * [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))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 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)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (+ (* 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.582 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.584 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.588 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.604 * * [simplify]: iteration  3 :  2933  enodes  (cost  264 )
0.700 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.704 * [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))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 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 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 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.705 * * * [progress]: adding candidates to table
0.871 * * [progress]: iteration 2 / 4
0.871 * * * [progress]: picking best candidate
0.911 * * * * [pick]: Picked  #<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)))>
0.911 * * * [progress]: localizing error
0.928 * * * [progress]: generating rewritten candidates
0.928 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.929 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.930 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
0.932 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.934 * * * [progress]: generating series expansions
0.934 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.934 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.934 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.934 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.935 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.935 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.935 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.936 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.936 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.937 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.937 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.937 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
0.937 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.937 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.937 * [taylor]: Taking taylor expansion of 1/3 in a
0.937 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.937 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.938 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.938 * [taylor]: Taking taylor expansion of 1/3 in a
0.938 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.938 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.973 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
0.973 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.973 * [taylor]: Taking taylor expansion of 1/3 in a
0.973 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.973 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.974 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.974 * [taylor]: Taking taylor expansion of 1/3 in a
0.974 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.974 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.012 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.012 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.012 * [taylor]: Taking taylor expansion of 1/3 in a
1.012 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.012 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.013 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.013 * [taylor]: Taking taylor expansion of 1/3 in a
1.013 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.013 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.048 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
1.049 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.049 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.049 * [taylor]: Taking taylor expansion of 1/3 in a
1.049 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.049 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.049 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.049 * [taylor]: Taking taylor expansion of 1/3 in a
1.049 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.049 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.087 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.087 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.087 * [taylor]: Taking taylor expansion of 1/3 in a
1.087 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.087 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.087 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.087 * [taylor]: Taking taylor expansion of 1/3 in a
1.087 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.087 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.123 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.123 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.123 * [taylor]: Taking taylor expansion of 1/3 in a
1.123 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.123 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.124 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.124 * [taylor]: Taking taylor expansion of 1/3 in a
1.124 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.124 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.160 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.160 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.160 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.160 * [taylor]: Taking taylor expansion of 1/3 in a
1.160 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.160 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.160 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.160 * [taylor]: Taking taylor expansion of 1/3 in a
1.160 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.160 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.199 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.199 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.199 * [taylor]: Taking taylor expansion of 1/3 in a
1.199 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.199 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.200 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.200 * [taylor]: Taking taylor expansion of 1/3 in a
1.200 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.200 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.236 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.236 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.236 * [taylor]: Taking taylor expansion of 1/3 in a
1.236 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.236 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.236 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.236 * [taylor]: Taking taylor expansion of 1/3 in a
1.236 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.236 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.277 * * * [progress]: simplifying candidates
1.278 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (* (* (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) (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)) (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))
  (sqrt (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))
  (sqrt (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))
  (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))))
  (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))))
  (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 (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)
  (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)
  (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.281 * * [simplify]: iteration  0 :  42  enodes  (cost  714 )
1.282 * * [simplify]: iteration  1 :  72  enodes  (cost  632 )
1.284 * * [simplify]: iteration  2 :  149  enodes  (cost  626 )
1.288 * * [simplify]: iteration  3 :  483  enodes  (cost  611 )
1.300 * * [simplify]: iteration  4 :  2459  enodes  (cost  611 )
1.367 * * [simplify]: iteration  5 :  5002  enodes  (cost  611 )
1.370 * [simplify]: Simplified to:
   (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (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))
  (sqrt (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))
  (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)
  (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))))
  (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)
  (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))))
  (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)
  (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 (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)
  (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)
  (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.370 * * * [progress]: adding candidates to table
1.588 * * [progress]: iteration 3 / 4
1.588 * * * [progress]: picking best candidate
1.647 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (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)))))>
1.647 * * * [progress]: localizing error
1.673 * * * [progress]: generating rewritten candidates
1.673 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.674 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.675 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.675 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2)
1.677 * * * [progress]: generating series expansions
1.677 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.678 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.678 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.678 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.678 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.678 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.679 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.680 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.680 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.680 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.680 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.681 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.681 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.681 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.681 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.681 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.682 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.682 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.682 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.683 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.683 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.683 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.683 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.684 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.684 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.684 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.684 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.685 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.685 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.685 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.686 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2)
1.686 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.686 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.686 * [taylor]: Taking taylor expansion of 1/3 in a
1.686 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.686 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.687 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.687 * [taylor]: Taking taylor expansion of 1/3 in a
1.687 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.687 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.726 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.726 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.726 * [taylor]: Taking taylor expansion of 1/3 in a
1.726 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.726 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.726 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.726 * [taylor]: Taking taylor expansion of 1/3 in a
1.726 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.726 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.762 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.762 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.762 * [taylor]: Taking taylor expansion of 1/3 in a
1.762 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.762 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.762 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.762 * [taylor]: Taking taylor expansion of 1/3 in a
1.762 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.762 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.799 * * * [progress]: simplifying candidates
1.800 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (* (* (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) (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)) (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))
  (sqrt (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))
  (sqrt (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))
  (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (* (* (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) (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)) (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))
  (sqrt (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))
  (sqrt (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))
  (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (* (* (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) (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)) (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))
  (sqrt (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))
  (sqrt (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))
  (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 (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)
  (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.804 * * [simplify]: iteration  0 :  42  enodes  (cost  990 )
1.805 * * [simplify]: iteration  1 :  72  enodes  (cost  848 )
1.807 * * [simplify]: iteration  2 :  149  enodes  (cost  846 )
1.811 * * [simplify]: iteration  3 :  483  enodes  (cost  801 )
1.823 * * [simplify]: iteration  4 :  2459  enodes  (cost  801 )
1.890 * * [simplify]: iteration  5 :  5002  enodes  (cost  801 )
1.897 * [simplify]: Simplified to:
   (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (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))
  (sqrt (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))
  (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (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))
  (sqrt (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))
  (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (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))
  (sqrt (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))
  (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)
  (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 (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)
  (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.898 * * * [progress]: adding candidates to table
2.148 * * [progress]: iteration 4 / 4
2.148 * * * [progress]: picking best candidate
2.234 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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)))))>
2.235 * * * [progress]: localizing error
2.262 * * * [progress]: generating rewritten candidates
2.262 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
2.263 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
2.264 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.264 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2)
2.266 * * * [progress]: generating series expansions
2.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
2.266 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.266 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.266 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.267 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.267 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.267 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.268 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.268 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.268 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.268 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
2.269 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.269 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.269 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.272 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.272 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.273 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.274 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.274 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.274 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.274 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.275 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.275 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.275 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.276 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.276 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.276 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.277 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.277 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.277 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.277 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2)
2.277 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
2.277 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
2.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
2.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
2.277 * [taylor]: Taking taylor expansion of 1/3 in a
2.278 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
2.278 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.278 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
2.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
2.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
2.278 * [taylor]: Taking taylor expansion of 1/3 in a
2.278 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
2.278 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.313 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
2.313 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
2.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
2.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
2.313 * [taylor]: Taking taylor expansion of 1/3 in a
2.313 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
2.313 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.314 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
2.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
2.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
2.314 * [taylor]: Taking taylor expansion of 1/3 in a
2.314 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
2.314 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.350 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
2.350 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
2.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
2.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
2.350 * [taylor]: Taking taylor expansion of 1/3 in a
2.350 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
2.350 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.350 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
2.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
2.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
2.351 * [taylor]: Taking taylor expansion of 1/3 in a
2.351 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
2.351 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.393 * * * [progress]: simplifying candidates
2.394 * [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))
  (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (* (* (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) (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)) (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))
  (sqrt (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))
  (sqrt (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))
  (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (* (* (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) (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)) (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))
  (sqrt (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))
  (sqrt (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))
  (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 (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)
  (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)
2.397 * * [simplify]: iteration  0 :  52  enodes  (cost  810 )
2.399 * * [simplify]: iteration  1 :  83  enodes  (cost  698 )
2.401 * * [simplify]: iteration  2 :  162  enodes  (cost  396 )
2.404 * * [simplify]: iteration  3 :  488  enodes  (cost  396 )
2.417 * * [simplify]: iteration  4 :  2464  enodes  (cost  396 )
2.483 * * [simplify]: iteration  5 :  5001  enodes  (cost  396 )
2.485 * [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))
  (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))
  (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))
  (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)
  (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 (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)
  (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)
2.485 * * * [progress]: adding candidates to table
2.766 * [progress]: [Phase 3 of 3] Extracting.
2.766 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (log (exp (fmod (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 (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (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)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (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 (* (* (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 (* (* (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 (* (* (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))))) (cbrt (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 (exp (log (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 (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (* (* (cbrt (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)) (cbrt (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))) (cbrt (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 (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (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 (* (* (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 (* (* (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 (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (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 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (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 (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (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))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (* (* (cbrt (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)) (cbrt (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))) (cbrt (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))))) (cbrt (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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (* (* (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 (* (* (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)))))>)
2.791 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.792 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (log (exp (fmod (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 (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (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)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (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 (* (* (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 (* (* (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 (* (* (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))))) (cbrt (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 (exp (log (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 (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (* (* (cbrt (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)) (cbrt (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))) (cbrt (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 (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (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 (* (* (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 (* (* (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 (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (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 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (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 (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (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))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (* (* (cbrt (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)) (cbrt (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))) (cbrt (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))))) (cbrt (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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (* (* (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 (* (* (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)))))>)
2.982 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (log (exp (fmod (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 (* (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 (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)))))>)
3.031 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (log (exp (fmod (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 (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (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)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (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 (* (* (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 (* (* (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 (* (* (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))))) (cbrt (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 (exp (log (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 (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (* (* (cbrt (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)) (cbrt (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))) (cbrt (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 (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (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 (* (* (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 (* (* (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 (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (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 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (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 (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (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 (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (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))) (cbrt (fmod (* (* (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 (* (* (cbrt (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)) (cbrt (* (* (cbrt (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)) (cbrt (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))) (cbrt (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))))) (cbrt (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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (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 (* (* (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 (* (* (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 (* (* (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)))))>)
3.201 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
3.201 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
3.202 * * [simplify]: iteration  0 :  27  enodes  (cost  71 )
3.202 * * [simplify]: iteration  1 :  27  enodes  (cost  71 )
3.202 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (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)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (* (* (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 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
19.496 * [regime-testing]: Baseline error score: 33.365508802305584
19.497 * [regime-testing]: Oracle error score: 31.53253663083739
19.498 * [regime-testing]: End program error score: 33.365508802305584