0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.403 * * * [progress]: [2/2] Setting up program.
0.407 * [progress]: [Phase 2 of 3] Improving.
0.407 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.409 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.409 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.409 * * [progress]: iteration 1 / 4
0.409 * * * [progress]: picking best candidate
0.412 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.412 * * * [progress]: localizing error
0.424 * * * [progress]: generating rewritten candidates
0.424 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.425 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
0.425 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1 1)
0.427 * * * [progress]: generating series expansions
0.427 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.427 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.427 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.428 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.428 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.428 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.428 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.429 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.429 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.429 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.429 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
0.429 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.430 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.430 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.430 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.430 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.430 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.430 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.430 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.431 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.431 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1 1)
0.431 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.431 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.431 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.431 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.431 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.451 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.451 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.451 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.451 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.451 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.474 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.474 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.474 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.474 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.474 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.493 * * * [progress]: simplifying candidates
0.494 * [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)))
  (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))
0.496 * * [simplify]: iteration  0 :  31  enodes  (cost  173 )
0.498 * * [simplify]: iteration  1 :  35  enodes  (cost  148 )
0.499 * * [simplify]: iteration  2 :  43  enodes  (cost  148 )
0.500 * * [simplify]: iteration  3 :  54  enodes  (cost  148 )
0.502 * * [simplify]: iteration  4 :  91  enodes  (cost  148 )
0.504 * * [simplify]: iteration  5 :  185  enodes  (cost  148 )
0.510 * * [simplify]: iteration  6 :  781  enodes  (cost  148 )
0.528 * * [simplify]: iteration  7 :  2678  enodes  (cost  148 )
0.600 * * [simplify]: iteration  8 :  5001  enodes  (cost  148 )
0.601 * [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)))
  (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))
0.601 * * * [progress]: adding candidates to table
0.671 * * [progress]: iteration 2 / 4
0.671 * * * [progress]: picking best candidate
0.704 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
0.704 * * * [progress]: localizing error
0.721 * * * [progress]: generating rewritten candidates
0.721 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.721 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
0.722 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.724 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.726 * * * [progress]: generating series expansions
0.726 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.726 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.726 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.726 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) 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.728 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.728 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.728 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.728 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
0.728 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.728 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.728 * [taylor]: Taking taylor expansion of 1/3 in a
0.728 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.728 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.729 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.729 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.729 * [taylor]: Taking taylor expansion of 1/3 in a
0.729 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.729 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.764 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.764 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.764 * [taylor]: Taking taylor expansion of 1/3 in a
0.764 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.764 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.764 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.764 * [taylor]: Taking taylor expansion of 1/3 in a
0.764 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.764 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.801 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
0.801 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.801 * [taylor]: Taking taylor expansion of 1/3 in a
0.801 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.801 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.802 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.802 * [taylor]: Taking taylor expansion of 1/3 in a
0.802 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.802 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.836 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
0.836 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.836 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.836 * [taylor]: Taking taylor expansion of 1/3 in a
0.836 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.836 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.836 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.837 * [taylor]: Taking taylor expansion of 1/3 in a
0.837 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.837 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.872 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.872 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.872 * [taylor]: Taking taylor expansion of 1/3 in a
0.872 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.872 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.872 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.873 * [taylor]: Taking taylor expansion of 1/3 in a
0.873 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.873 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.907 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
0.907 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.907 * [taylor]: Taking taylor expansion of 1/3 in a
0.907 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.907 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.907 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.907 * [taylor]: Taking taylor expansion of 1/3 in a
0.907 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.907 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.941 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
0.941 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.941 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.941 * [taylor]: Taking taylor expansion of 1/3 in a
0.941 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.941 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.941 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.942 * [taylor]: Taking taylor expansion of 1/3 in a
0.942 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.942 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.978 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.978 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.978 * [taylor]: Taking taylor expansion of 1/3 in a
0.978 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.978 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.978 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.978 * [taylor]: Taking taylor expansion of 1/3 in a
0.978 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.978 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.012 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.012 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.012 * [taylor]: Taking taylor expansion of 1/3 in a
1.012 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.012 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.013 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.013 * [taylor]: Taking taylor expansion of 1/3 in a
1.013 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.013 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.049 * * * [progress]: simplifying candidates
1.050 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
1.053 * * [simplify]: iteration  0 :  39  enodes  (cost  474 )
1.055 * * [simplify]: iteration  1 :  69  enodes  (cost  412 )
1.057 * * [simplify]: iteration  2 :  146  enodes  (cost  406 )
1.060 * * [simplify]: iteration  3 :  475  enodes  (cost  395 )
1.072 * * [simplify]: iteration  4 :  2380  enodes  (cost  395 )
1.136 * * [simplify]: iteration  5 :  5001  enodes  (cost  395 )
1.139 * [simplify]: Simplified to:
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
1.139 * * * [progress]: adding candidates to table
1.274 * * [progress]: iteration 3 / 4
1.274 * * * [progress]: picking best candidate
1.348 * * * * [pick]: Picked  #<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)))))>
1.348 * * * [progress]: localizing error
1.364 * * * [progress]: generating rewritten candidates
1.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.364 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.365 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.366 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.367 * * * [progress]: generating series expansions
1.367 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.367 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.367 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.367 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.368 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.368 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.368 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.369 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.369 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.369 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.369 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.369 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.369 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.370 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.370 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.370 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.370 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.371 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.371 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.371 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.371 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.372 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.372 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.372 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.372 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.372 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.372 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.373 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.373 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.373 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.374 * [approximate]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3) in (a) around 0
1.374 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3) in a
1.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) in a
1.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) in a
1.374 * [taylor]: Taking taylor expansion of 1/3 in a
1.374 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) in a
1.374 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.374 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3) in a
1.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) in a
1.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) in a
1.375 * [taylor]: Taking taylor expansion of 1/3 in a
1.375 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) in a
1.375 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.414 * [approximate]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) 1/3) in (a) around 0
1.414 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) 1/3) in a
1.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))))) in a
1.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)))) in a
1.414 * [taylor]: Taking taylor expansion of 1/3 in a
1.414 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))) in a
1.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.415 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) 1/3) in a
1.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))))) in a
1.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)))) in a
1.415 * [taylor]: Taking taylor expansion of 1/3 in a
1.415 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))) in a
1.415 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.453 * [approximate]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) 1/3) in (a) around 0
1.453 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) 1/3) in a
1.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))))) in a
1.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)))) in a
1.453 * [taylor]: Taking taylor expansion of 1/3 in a
1.453 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))) in a
1.453 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.454 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) 1/3) in a
1.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))))) in a
1.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)))) in a
1.454 * [taylor]: Taking taylor expansion of 1/3 in a
1.454 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))) in a
1.454 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.495 * * * [progress]: simplifying candidates
1.495 * [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 (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 (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 (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (exp (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
  (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt 1)
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
  (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (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)
  (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 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
1.498 * * [simplify]: iteration  0 :  34  enodes  (cost  413 )
1.500 * * [simplify]: iteration  1 :  63  enodes  (cost  335 )
1.502 * * [simplify]: iteration  2 :  140  enodes  (cost  333 )
1.505 * * [simplify]: iteration  3 :  565  enodes  (cost  333 )
1.524 * * [simplify]: iteration  4 :  4325  enodes  (cost  333 )
1.729 * * [simplify]: iteration  5 :  5001  enodes  (cost  333 )
1.731 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (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 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (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 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (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 (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (exp (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
  (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt 1)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
  (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sqrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (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)
  (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 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
1.731 * * * [progress]: adding candidates to table
1.853 * * [progress]: iteration 4 / 4
1.853 * * * [progress]: picking best candidate
1.941 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))>
1.942 * * * [progress]: localizing error
1.962 * * * [progress]: generating rewritten candidates
1.962 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1)
1.963 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1)
1.963 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1)
1.964 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
1.965 * * * [progress]: generating series expansions
1.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1)
1.965 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.965 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.965 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.966 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.966 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.966 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.967 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.967 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1)
1.967 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.968 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.968 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.968 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.969 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.969 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.969 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.969 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1)
1.969 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.969 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.969 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.970 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.970 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.970 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.971 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.971 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.971 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.971 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
1.971 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.971 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.972 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.972 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.972 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.972 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.973 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.973 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.973 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.973 * * * [progress]: simplifying candidates
1.974 * [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 (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 (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 (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))
  (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)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.977 * * [simplify]: iteration  0 :  15  enodes  (cost  352 )
1.978 * * [simplify]: iteration  1 :  17  enodes  (cost  300 )
1.979 * * [simplify]: iteration  2 :  21  enodes  (cost  300 )
1.981 * * [simplify]: iteration  3 :  26  enodes  (cost  300 )
1.982 * * [simplify]: iteration  4 :  45  enodes  (cost  300 )
1.984 * * [simplify]: iteration  5 :  99  enodes  (cost  300 )
1.988 * * [simplify]: iteration  6 :  505  enodes  (cost  300 )
2.002 * * [simplify]: iteration  7 :  1678  enodes  (cost  300 )
2.065 * * [simplify]: iteration  8 :  5001  enodes  (cost  300 )
2.067 * [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 (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 (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 (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))
  (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)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.067 * * * [progress]: adding candidates to table
2.195 * [progress]: [Phase 3 of 3] Extracting.
2.195 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (log (exp (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (exp (log (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (cbrt (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (log (exp (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (* (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3) (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (sqrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (cbrt 1) (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt 1) (pow (expm1 (sin (expm1 a))) 1/3)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
2.207 * * * [regime-changes]: Trying 3 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) a)
2.207 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (log (exp (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (exp (log (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (cbrt (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (log (exp (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (* (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3) (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (sqrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (cbrt 1) (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt 1) (pow (expm1 (sin (expm1 a))) 1/3)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
2.343 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (log (exp (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (exp (log (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (cbrt (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (log (exp (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (* (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3) (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (sqrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (cbrt 1) (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt 1) (pow (expm1 (sin (expm1 a))) 1/3)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
2.486 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (log (exp (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (exp (log (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (cbrt (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (log (exp (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (* (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (* (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3) (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (sqrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (* (cbrt 1) (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt 1) (pow (expm1 (sin (expm1 a))) 1/3)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
2.608 * * * [regime]: Found split indices: #<option (#s(si 12 255))>
2.608 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
2.609 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
2.609 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
17.592 * [regime-testing]: Baseline error score: 33.54603305426874
17.593 * [regime-testing]: Oracle error score: 32.343040060981785
17.594 * [regime-testing]: End program error score: 33.54603305426874