0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.325 * * * [progress]: [2/2] Setting up program.
0.328 * [progress]: [Phase 2 of 3] Improving.
0.329 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.331 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.331 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.331 * * [progress]: iteration 1 / 4
0.331 * * * [progress]: picking best candidate
0.334 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.334 * * * [progress]: localizing error
0.346 * * * [progress]: generating rewritten candidates
0.347 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.347 * * * * [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.357 * [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.359 * * * * [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]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.359 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.359 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.359 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.360 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.360 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.360 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.360 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
0.360 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.360 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.360 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.360 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.360 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.381 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.381 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.381 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.381 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.381 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.400 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.400 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.400 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.400 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.400 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.422 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.423 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.423 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.423 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.423 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.423 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.423 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.424 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.424 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.424 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.424 * * * [progress]: simplifying candidates
0.425 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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))
  (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))))
  (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)))
  (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)
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (sin (expm1 a))
  (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.428 * * [simplify]: iteration  0 :  39  enodes  (cost  248 )
0.429 * * [simplify]: iteration  1 :  44  enodes  (cost  212 )
0.431 * * [simplify]: iteration  2 :  54  enodes  (cost  212 )
0.432 * * [simplify]: iteration  3 :  68  enodes  (cost  212 )
0.434 * * [simplify]: iteration  4 :  114  enodes  (cost  212 )
0.436 * * [simplify]: iteration  5 :  228  enodes  (cost  212 )
0.443 * * [simplify]: iteration  6 :  919  enodes  (cost  212 )
0.464 * * [simplify]: iteration  7 :  3184  enodes  (cost  212 )
0.545 * * [simplify]: iteration  8 :  5001  enodes  (cost  212 )
0.546 * [simplify]: Simplified to:
   (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))
  (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))))
  (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)))
  (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)
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (sin (expm1 a))
  (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.546 * * * [progress]: adding candidates to table
0.664 * * [progress]: iteration 2 / 4
0.664 * * * [progress]: picking best candidate
0.704 * * * * [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.704 * * * [progress]: localizing error
0.720 * * * [progress]: generating rewritten candidates
0.720 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.721 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.723 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
0.723 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.724 * * * [progress]: generating series expansions
0.724 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.725 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.725 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.725 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.726 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.726 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.726 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.727 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.727 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.727 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.727 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.727 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
0.727 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.728 * [taylor]: Taking taylor expansion of 1/3 in a
0.728 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.728 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.728 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.728 * [taylor]: Taking taylor expansion of 1/3 in a
0.728 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.728 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.768 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
0.768 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.768 * [taylor]: Taking taylor expansion of 1/3 in a
0.768 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.768 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.769 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.769 * [taylor]: Taking taylor expansion of 1/3 in a
0.769 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.769 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.805 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
0.805 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
0.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
0.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
0.805 * [taylor]: Taking taylor expansion of 1/3 in a
0.805 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.805 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.806 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
0.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
0.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
0.806 * [taylor]: Taking taylor expansion of 1/3 in a
0.806 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.806 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.845 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
0.845 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
0.845 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.845 * [taylor]: Taking taylor expansion of 1/3 in a
0.845 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.845 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.845 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.845 * [taylor]: Taking taylor expansion of 1/3 in a
0.846 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.846 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.880 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
0.881 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.881 * [taylor]: Taking taylor expansion of 1/3 in a
0.881 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.881 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.881 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.881 * [taylor]: Taking taylor expansion of 1/3 in a
0.881 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.881 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.919 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
0.919 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
0.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
0.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
0.919 * [taylor]: Taking taylor expansion of 1/3 in a
0.919 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.919 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.920 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
0.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
0.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
0.920 * [taylor]: Taking taylor expansion of 1/3 in a
0.920 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.920 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.960 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.960 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
0.960 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.960 * [taylor]: Taking taylor expansion of 1/3 in a
0.960 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.960 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.960 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
0.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
0.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
0.960 * [taylor]: Taking taylor expansion of 1/3 in a
0.960 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.960 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.995 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
0.995 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.995 * [taylor]: Taking taylor expansion of 1/3 in a
0.995 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.995 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.995 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
0.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
0.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
0.995 * [taylor]: Taking taylor expansion of 1/3 in a
0.995 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.995 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.034 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.034 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.035 * [taylor]: Taking taylor expansion of 1/3 in a
1.035 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.035 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.035 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.035 * [taylor]: Taking taylor expansion of 1/3 in a
1.035 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.035 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.073 * * * [progress]: simplifying candidates
1.073 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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))
  (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))))
  (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))))
  (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.077 * * [simplify]: iteration  0 :  38  enodes  (cost  628 )
1.078 * * [simplify]: iteration  1 :  68  enodes  (cost  546 )
1.080 * * [simplify]: iteration  2 :  145  enodes  (cost  540 )
1.083 * * [simplify]: iteration  3 :  478  enodes  (cost  525 )
1.095 * * [simplify]: iteration  4 :  2428  enodes  (cost  525 )
1.163 * * [simplify]: iteration  5 :  5002  enodes  (cost  525 )
1.166 * [simplify]: Simplified to:
   (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))
  (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))))
  (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))))
  (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.166 * * * [progress]: adding candidates to table
1.338 * * [progress]: iteration 3 / 4
1.338 * * * [progress]: picking best candidate
1.391 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
1.392 * * * [progress]: localizing error
1.412 * * * [progress]: generating rewritten candidates
1.412 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.412 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.413 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
1.413 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.414 * * * [progress]: generating series expansions
1.414 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.415 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.415 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.415 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.416 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.416 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.416 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.417 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.417 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.417 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.418 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.418 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.418 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.418 * [taylor]: Taking taylor expansion of 1/3 in a
1.418 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.418 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.418 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.418 * [taylor]: Taking taylor expansion of 1/3 in a
1.418 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.418 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.452 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.452 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.452 * [taylor]: Taking taylor expansion of 1/3 in a
1.452 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.452 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.453 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.453 * [taylor]: Taking taylor expansion of 1/3 in a
1.453 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.453 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.492 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.492 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.492 * [taylor]: Taking taylor expansion of 1/3 in a
1.492 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.492 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.492 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.492 * [taylor]: Taking taylor expansion of 1/3 in a
1.492 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.493 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.529 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
1.529 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.529 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.529 * [taylor]: Taking taylor expansion of 1/3 in a
1.529 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.529 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.529 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.530 * [taylor]: Taking taylor expansion of 1/3 in a
1.530 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.530 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.564 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.564 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.564 * [taylor]: Taking taylor expansion of 1/3 in a
1.564 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.564 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.564 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.565 * [taylor]: Taking taylor expansion of 1/3 in a
1.565 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.565 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.604 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.604 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.604 * [taylor]: Taking taylor expansion of 1/3 in a
1.604 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.604 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.604 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.604 * [taylor]: Taking taylor expansion of 1/3 in a
1.604 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.604 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.640 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.640 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
1.640 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.640 * [taylor]: Taking taylor expansion of 1/3 in a
1.640 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.640 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.640 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
1.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.640 * [taylor]: Taking taylor expansion of 1/3 in a
1.640 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.640 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.678 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
1.678 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.678 * [taylor]: Taking taylor expansion of 1/3 in a
1.678 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.678 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.679 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
1.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.679 * [taylor]: Taking taylor expansion of 1/3 in a
1.679 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.679 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.714 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
1.714 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.714 * [taylor]: Taking taylor expansion of 1/3 in a
1.714 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.714 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.715 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
1.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.715 * [taylor]: Taking taylor expansion of 1/3 in a
1.715 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.715 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.753 * * * [progress]: simplifying candidates
1.754 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 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))))
  (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))))
  (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.757 * * [simplify]: iteration  0 :  47  enodes  (cost  638 )
1.759 * * [simplify]: iteration  1 :  110  enodes  (cost  554 )
1.761 * * [simplify]: iteration  2 :  381  enodes  (cost  548 )
1.771 * * [simplify]: iteration  3 :  2048  enodes  (cost  532 )
1.829 * * [simplify]: iteration  4 :  5001  enodes  (cost  529 )
1.831 * [simplify]: Simplified to:
   (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 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))
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) 1/2)
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) 1/2)
  (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))
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) 1/2)
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) 1/2)
  (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))
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) 1/2)
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) 1/2)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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.831 * * * [progress]: adding candidates to table
2.011 * * [progress]: iteration 4 / 4
2.011 * * * [progress]: picking best candidate
2.064 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))>
2.064 * * * [progress]: localizing error
2.092 * * * [progress]: generating rewritten candidates
2.092 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
2.093 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
2.093 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.093 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2)
2.094 * * * [progress]: generating series expansions
2.094 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
2.095 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.095 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.095 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.096 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.096 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.096 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.097 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.097 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.097 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.097 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
2.098 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.098 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.098 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.099 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.099 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.099 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.100 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.100 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.100 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.101 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.101 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.101 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.101 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.102 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.102 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.102 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.103 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.103 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.103 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.104 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2)
2.104 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in (a) around 0
2.104 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
2.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
2.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
2.104 * [taylor]: Taking taylor expansion of 1/3 in a
2.104 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
2.104 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.104 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) in a
2.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
2.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
2.104 * [taylor]: Taking taylor expansion of 1/3 in a
2.104 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
2.104 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.140 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in (a) around 0
2.140 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
2.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
2.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
2.140 * [taylor]: Taking taylor expansion of 1/3 in a
2.140 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
2.140 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.140 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 1/3) in a
2.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
2.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
2.140 * [taylor]: Taking taylor expansion of 1/3 in a
2.140 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
2.140 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.176 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in (a) around 0
2.176 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
2.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
2.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
2.176 * [taylor]: Taking taylor expansion of 1/3 in a
2.176 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
2.176 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.177 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 1/3) in a
2.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
2.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
2.177 * [taylor]: Taking taylor expansion of 1/3 in a
2.177 * [taylor]: Taking taylor expansion of (log (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
2.177 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.216 * * * [progress]: simplifying candidates
2.216 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt 1)
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3)
2.220 * * [simplify]: iteration  0 :  47  enodes  (cost  874 )
2.222 * * [simplify]: iteration  1 :  110  enodes  (cost  726 )
2.224 * * [simplify]: iteration  2 :  381  enodes  (cost  724 )
2.234 * * [simplify]: iteration  3 :  2048  enodes  (cost  676 )
2.292 * * [simplify]: iteration  4 :  5001  enodes  (cost  675 )
2.295 * [simplify]: Simplified to:
   (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 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))
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) 1/2)
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/3) 1/2)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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.295 * * * [progress]: adding candidates to table
2.502 * [progress]: [Phase 3 of 3] Extracting.
2.502 * * [regime]: Finding splitpoints for: (#<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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (log (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (log (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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 (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (* (* (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)))))>)
2.516 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.516 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (log (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (log (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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 (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (* (* (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)))))>)
2.639 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.683 * * * * [regimes]: Trying to branch on a from (#<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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (log (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (* (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (log (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (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 (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (* (* (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)))))>)
2.786 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.787 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (log (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
2.787 * * [simplify]: iteration  0 :  27  enodes  (cost  74 )
2.788 * * [simplify]: iteration  1 :  30  enodes  (cost  74 )
2.788 * * [simplify]: iteration  2 :  30  enodes  (cost  74 )
2.788 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)) (log (exp (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
17.056 * [regime-testing]: Baseline error score: 33.855498334481155
17.057 * [regime-testing]: Oracle error score: 32.228089249199726
17.058 * [regime-testing]: End program error score: 33.855498334481155