0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.323 * * * [progress]: [2/2] Setting up program.
0.326 * [progress]: [Phase 2 of 3] Improving.
0.327 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.329 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.329 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.329 * * [progress]: iteration 1 / 4
0.329 * * * [progress]: picking best candidate
0.332 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.332 * * * [progress]: localizing error
0.345 * * * [progress]: generating rewritten candidates
0.345 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.346 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.348 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
0.349 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.350 * * * [progress]: generating series expansions
0.350 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.352 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.353 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.354 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.356 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.357 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.357 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.358 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.358 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.358 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.358 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.359 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.359 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.359 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.359 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.359 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.359 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.359 * [taylor]: Rewrote expression to (- (exp a) 1)
0.359 * [taylor]: Taking taylor expansion of (exp a) in a
0.359 * [taylor]: Taking taylor expansion of a in a
0.359 * [taylor]: Taking taylor expansion of 1 in a
0.362 * [taylor]: Taking taylor expansion of 1 in a
0.362 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.363 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.363 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.363 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.363 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.363 * [taylor]: Rewrote expression to (- (exp a) 1)
0.363 * [taylor]: Taking taylor expansion of (exp a) in a
0.363 * [taylor]: Taking taylor expansion of a in a
0.363 * [taylor]: Taking taylor expansion of 1 in a
0.365 * [taylor]: Taking taylor expansion of 1 in a
0.376 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.376 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.376 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.376 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.376 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.376 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.376 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.376 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.376 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.376 * [taylor]: Taking taylor expansion of a in a
0.376 * [taylor]: Taking taylor expansion of 1 in a
0.377 * [taylor]: Taking taylor expansion of 1 in a
0.377 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.377 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.377 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.377 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.377 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.377 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.377 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.377 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.377 * [taylor]: Taking taylor expansion of a in a
0.378 * [taylor]: Taking taylor expansion of 1 in a
0.378 * [taylor]: Taking taylor expansion of 1 in a
0.417 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.417 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.417 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.417 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.417 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.417 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.417 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.417 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.417 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.417 * [taylor]: Taking taylor expansion of -1 in a
0.417 * [taylor]: Taking taylor expansion of a in a
0.418 * [taylor]: Taking taylor expansion of 1 in a
0.418 * [taylor]: Taking taylor expansion of 1 in a
0.418 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.418 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.418 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.418 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.418 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.418 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.419 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.419 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.419 * [taylor]: Taking taylor expansion of -1 in a
0.419 * [taylor]: Taking taylor expansion of a in a
0.419 * [taylor]: Taking taylor expansion of 1 in a
0.420 * [taylor]: Taking taylor expansion of 1 in a
0.452 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
0.452 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.452 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.452 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.452 * [taylor]: Rewrote expression to (- (exp a) 1)
0.452 * [taylor]: Taking taylor expansion of (exp a) in a
0.452 * [taylor]: Taking taylor expansion of a in a
0.452 * [taylor]: Taking taylor expansion of 1 in a
0.453 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.454 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.454 * [taylor]: Rewrote expression to (- (exp a) 1)
0.454 * [taylor]: Taking taylor expansion of (exp a) in a
0.454 * [taylor]: Taking taylor expansion of a in a
0.454 * [taylor]: Taking taylor expansion of 1 in a
0.464 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
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 a in a
0.464 * [taylor]: Taking taylor expansion of 1 in a
0.465 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.465 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.465 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.465 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.465 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.465 * [taylor]: Taking taylor expansion of a in a
0.465 * [taylor]: Taking taylor expansion of 1 in a
0.489 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.489 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.489 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.489 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.489 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.489 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.489 * [taylor]: Taking taylor expansion of -1 in a
0.489 * [taylor]: Taking taylor expansion of a in a
0.490 * [taylor]: Taking taylor expansion of 1 in a
0.490 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.490 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.490 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.490 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.490 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.490 * [taylor]: Taking taylor expansion of -1 in a
0.490 * [taylor]: Taking taylor expansion of a in a
0.490 * [taylor]: Taking taylor expansion of 1 in a
0.511 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.511 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.511 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.511 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.512 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.512 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.512 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.512 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.512 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.513 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.513 * * * [progress]: simplifying candidates
0.514 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (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)))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.517 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.519 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.524 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.540 * * [simplify]: iteration  3 :  2934  enodes  (cost  264 )
0.636 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.638 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (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)))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (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.639 * * * [progress]: adding candidates to table
0.799 * * [progress]: iteration 2 / 4
0.799 * * * [progress]: picking best candidate
0.838 * * * * [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.838 * * * [progress]: localizing error
0.854 * * * [progress]: generating rewritten candidates
0.854 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.854 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.855 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
0.856 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.857 * * * [progress]: generating series expansions
0.857 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.857 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.857 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.857 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.858 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.858 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.858 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.859 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.859 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.859 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.860 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.860 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
0.860 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.860 * [taylor]: Taking taylor expansion of 1/3 in a
0.860 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.860 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.860 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.860 * [taylor]: Taking taylor expansion of 1/3 in a
0.860 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.860 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.899 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
0.899 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.899 * [taylor]: Taking taylor expansion of 1/3 in a
0.899 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.899 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.900 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.900 * [taylor]: Taking taylor expansion of 1/3 in a
0.900 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.900 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.934 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
0.934 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
0.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
0.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
0.935 * [taylor]: Taking taylor expansion of 1/3 in a
0.935 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.935 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.935 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
0.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
0.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
0.935 * [taylor]: Taking taylor expansion of 1/3 in a
0.935 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.935 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.974 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
0.974 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
0.974 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan 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 a))) (atan a))) in a
0.974 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.975 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.975 * [taylor]: Taking taylor expansion of 1/3 in a
0.975 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.975 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.009 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.009 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.009 * [taylor]: Taking taylor expansion of 1/3 in a
1.009 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.009 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.009 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.009 * [taylor]: Taking taylor expansion of 1/3 in a
1.009 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.009 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.045 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.045 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.045 * [taylor]: Taking taylor expansion of 1/3 in a
1.045 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.045 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.045 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.045 * [taylor]: Taking taylor expansion of 1/3 in a
1.045 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.045 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.085 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.085 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.085 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.085 * [taylor]: Taking taylor expansion of 1/3 in a
1.085 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.085 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.086 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.086 * [taylor]: Taking taylor expansion of 1/3 in a
1.086 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.086 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.119 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.120 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.120 * [taylor]: Taking taylor expansion of 1/3 in a
1.120 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.120 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.120 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.120 * [taylor]: Taking taylor expansion of 1/3 in a
1.120 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.120 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.161 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.161 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.161 * [taylor]: Taking taylor expansion of 1/3 in a
1.161 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.161 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.162 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.162 * [taylor]: Taking taylor expansion of 1/3 in a
1.162 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.162 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.197 * * * [progress]: simplifying candidates
1.198 * [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.201 * * [simplify]: iteration  0 :  42  enodes  (cost  714 )
1.202 * * [simplify]: iteration  1 :  72  enodes  (cost  632 )
1.204 * * [simplify]: iteration  2 :  149  enodes  (cost  626 )
1.207 * * [simplify]: iteration  3 :  483  enodes  (cost  611 )
1.220 * * [simplify]: iteration  4 :  2459  enodes  (cost  611 )
1.286 * * [simplify]: iteration  5 :  5002  enodes  (cost  611 )
1.288 * [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.289 * * * [progress]: adding candidates to table
1.490 * * [progress]: iteration 3 / 4
1.490 * * * [progress]: picking best candidate
1.541 * * * * [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.541 * * * [progress]: localizing error
1.563 * * * [progress]: generating rewritten candidates
1.563 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.563 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.563 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.564 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2)
1.565 * * * [progress]: generating series expansions
1.565 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.565 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.565 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.565 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.566 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.566 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.566 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.567 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.567 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.567 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.568 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.568 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.568 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.568 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.569 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.569 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.569 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.570 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.570 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.570 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.570 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.571 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.571 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.571 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.571 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.571 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.572 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.572 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.572 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.573 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.573 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2)
1.573 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.573 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.573 * [taylor]: Taking taylor expansion of 1/3 in a
1.573 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.573 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.574 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.574 * [taylor]: Taking taylor expansion of 1/3 in a
1.574 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.574 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.610 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.610 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.610 * [taylor]: Taking taylor expansion of 1/3 in a
1.610 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.610 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.611 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.611 * [taylor]: Taking taylor expansion of 1/3 in a
1.611 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.611 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.646 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.646 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.646 * [taylor]: Taking taylor expansion of 1/3 in a
1.646 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.646 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.647 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.647 * [taylor]: Taking taylor expansion of 1/3 in a
1.647 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.647 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.687 * * * [progress]: simplifying candidates
1.687 * [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.692 * * [simplify]: iteration  0 :  42  enodes  (cost  990 )
1.693 * * [simplify]: iteration  1 :  72  enodes  (cost  848 )
1.695 * * [simplify]: iteration  2 :  149  enodes  (cost  846 )
1.698 * * [simplify]: iteration  3 :  483  enodes  (cost  801 )
1.710 * * [simplify]: iteration  4 :  2459  enodes  (cost  801 )
1.775 * * [simplify]: iteration  5 :  5002  enodes  (cost  801 )
1.777 * [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.778 * * * [progress]: adding candidates to table
2.008 * * [progress]: iteration 4 / 4
2.008 * * * [progress]: picking best candidate
2.085 * * * * [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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))>
2.085 * * * [progress]: localizing error
2.120 * * * [progress]: generating rewritten candidates
2.120 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
2.120 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
2.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.121 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 1 1)
2.122 * * * [progress]: generating series expansions
2.122 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
2.122 * [approximate]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a) in (a) around 0
2.122 * [taylor]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a) in a
2.123 * [taylor]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a) in a
2.124 * [approximate]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3)))) (/ 1 a)) in (a) around 0
2.124 * [taylor]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3)))) (/ 1 a)) in a
2.125 * [taylor]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3)))) (/ 1 a)) in a
2.126 * [approximate]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3)))) (/ -1 a)) in (a) around 0
2.126 * [taylor]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3)))) (/ -1 a)) in a
2.127 * [taylor]: Taking taylor expansion of (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3)))) (/ -1 a)) in a
2.128 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
2.128 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.128 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.128 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.129 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.129 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.129 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.130 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.130 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.130 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.131 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.131 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.131 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.131 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.132 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.132 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.132 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.133 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.133 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.133 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.134 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 1 1)
2.134 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
2.134 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
2.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
2.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
2.134 * [taylor]: Taking taylor expansion of 1/3 in a
2.134 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
2.134 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.134 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
2.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
2.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
2.134 * [taylor]: Taking taylor expansion of 1/3 in a
2.134 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
2.134 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.168 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
2.168 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
2.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
2.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
2.168 * [taylor]: Taking taylor expansion of 1/3 in a
2.168 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
2.168 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.169 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
2.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
2.169 * [taylor]: Taking taylor expansion of 1/3 in a
2.169 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
2.169 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.208 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
2.208 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
2.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
2.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
2.208 * [taylor]: Taking taylor expansion of 1/3 in a
2.208 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
2.208 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.209 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
2.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
2.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
2.209 * [taylor]: Taking taylor expansion of 1/3 in a
2.209 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
2.209 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.244 * * * [progress]: simplifying candidates
2.244 * [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)))) (log1p (expm1 (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)))) (log1p (expm1 (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)))) (log1p (expm1 (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)))) (log1p (expm1 (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)) (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)))
  (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))
  (* (* (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) (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)) (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))
  (sqrt (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))
  (sqrt (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))
  (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 (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a)
  (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a)
  (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
2.249 * * [simplify]: iteration  0 :  72  enodes  (cost  1023 )
2.251 * * [simplify]: iteration  1 :  124  enodes  (cost  881 )
2.253 * * [simplify]: iteration  2 :  314  enodes  (cost  879 )
2.259 * * [simplify]: iteration  3 :  1187  enodes  (cost  834 )
2.291 * * [simplify]: iteration  4 :  5001  enodes  (cost  833 )
2.294 * [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 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3))
  (log1p (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (* (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (sqrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a)
  (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a)
  (fmod (* (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2) 1/3) (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)))) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
2.294 * * * [progress]: adding candidates to table
2.576 * [progress]: [Phase 3 of 3] Extracting.
2.576 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (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 (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 (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 (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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (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)))) (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)))))> #<alt (λ (a) (fabs (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (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 (expm1 (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (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 (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 (log (exp (fmod (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 (log (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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (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))) (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 (* (* (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)))))> #<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 (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (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 (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 (* (* (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)))>)
2.602 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.602 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (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 (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 (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 (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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (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)))) (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)))))> #<alt (λ (a) (fabs (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (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 (expm1 (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (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 (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 (log (exp (fmod (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 (log (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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (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))) (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 (* (* (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)))))> #<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 (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (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 (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 (* (* (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)))>)
2.752 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.795 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (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 (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 (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 (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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (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)))) (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)))))> #<alt (λ (a) (fabs (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (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 (expm1 (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (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 (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 (log (exp (fmod (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 (log (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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (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))) (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 (* (* (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)))))> #<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 (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (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 (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 (* (* (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)))>)
2.926 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
2.927 * [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 (* (* (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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
2.927 * * [simplify]: iteration  0 :  27  enodes  (cost  118 )
2.928 * * [simplify]: iteration  1 :  27  enodes  (cost  118 )
2.928 * [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 (* (* (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)))) (log1p (expm1 (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
17.699 * [regime-testing]: Baseline error score: 33.83020101936407
17.701 * [regime-testing]: Oracle error score: 32.03895194185641
17.702 * [regime-testing]: End program error score: 33.83020101936407