0.008 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.326 * * * [progress]: [2/2] Setting up program.
0.330 * [progress]: [Phase 2 of 3] Improving.
0.330 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.332 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.332 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.333 * * [progress]: iteration 1 / 4
0.333 * * * [progress]: picking best candidate
0.336 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.336 * * * [progress]: localizing error
0.354 * * * [progress]: generating rewritten candidates
0.354 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.355 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.355 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.356 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.356 * * * [progress]: generating series expansions
0.356 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.356 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.356 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.357 * [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 1)
0.359 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.359 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.359 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.359 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.359 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.378 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.378 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.378 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.379 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.379 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.397 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.397 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.397 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.397 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.397 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.416 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.416 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.416 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.416 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.417 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.417 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.417 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.417 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.417 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.417 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.417 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.417 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.417 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.418 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.418 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.418 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.418 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.418 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.419 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.419 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.419 * * * [progress]: simplifying candidates
0.419 * [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 (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 (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 (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)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.422 * * [simplify]: iteration  0 :  39  enodes  (cost  248 )
0.424 * * [simplify]: iteration  1 :  44  enodes  (cost  212 )
0.425 * * [simplify]: iteration  2 :  54  enodes  (cost  212 )
0.426 * * [simplify]: iteration  3 :  68  enodes  (cost  212 )
0.428 * * [simplify]: iteration  4 :  114  enodes  (cost  212 )
0.430 * * [simplify]: iteration  5 :  228  enodes  (cost  212 )
0.436 * * [simplify]: iteration  6 :  919  enodes  (cost  212 )
0.457 * * [simplify]: iteration  7 :  3184  enodes  (cost  212 )
0.536 * * [simplify]: iteration  8 :  5001  enodes  (cost  212 )
0.537 * [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 (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 (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 (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)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.538 * * * [progress]: adding candidates to table
0.655 * * [progress]: iteration 2 / 4
0.655 * * * [progress]: picking best candidate
0.702 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
0.702 * * * [progress]: localizing error
0.718 * * * [progress]: generating rewritten candidates
0.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.719 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.720 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.721 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
0.722 * * * [progress]: generating series expansions
0.722 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.722 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.722 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.723 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.723 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.723 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.723 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.724 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.724 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.724 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.725 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.725 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
0.725 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.725 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.725 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.725 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.734 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
0.734 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.734 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.734 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.734 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.744 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
0.744 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.744 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.744 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.744 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.754 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.754 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.754 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.754 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.754 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.754 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.755 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.755 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.755 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.755 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.756 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
0.756 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.756 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.756 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.756 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.756 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.777 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.777 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.777 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.777 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.777 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.795 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.796 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.796 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.796 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.796 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.814 * * * [progress]: simplifying candidates
0.815 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp 1))
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (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)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
0.818 * * [simplify]: iteration  0 :  63  enodes  (cost  401 )
0.820 * * [simplify]: iteration  1 :  92  enodes  (cost  342 )
0.821 * * [simplify]: iteration  2 :  121  enodes  (cost  342 )
0.823 * * [simplify]: iteration  3 :  180  enodes  (cost  342 )
0.825 * * [simplify]: iteration  4 :  339  enodes  (cost  342 )
0.830 * * [simplify]: iteration  5 :  863  enodes  (cost  342 )
0.848 * * [simplify]: iteration  6 :  3913  enodes  (cost  342 )
0.909 * * [simplify]: iteration  7 :  5001  enodes  (cost  338 )
0.911 * [simplify]: Simplified to:
   (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (/ (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (/ (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (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)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
0.911 * * * [progress]: adding candidates to table
1.062 * * [progress]: iteration 3 / 4
1.062 * * * [progress]: picking best candidate
1.118 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))>
1.118 * * * [progress]: localizing error
1.140 * * * [progress]: generating rewritten candidates
1.140 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.140 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.142 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1.143 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.147 * * * [progress]: generating series expansions
1.147 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.147 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.147 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.148 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.148 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.148 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.148 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.149 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.149 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.149 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.150 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.150 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in (a) around 0
1.150 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in a
1.150 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.150 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.150 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in a
1.150 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.150 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.170 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in (a) around 0
1.170 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in a
1.170 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.170 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.170 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in a
1.170 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.170 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.190 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in (a) around 0
1.190 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in a
1.190 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.190 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.191 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in a
1.191 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.191 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.211 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1.211 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.211 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.211 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.212 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.212 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.220 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.221 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.221 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.221 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.221 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.233 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.233 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.233 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.233 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.233 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.243 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.243 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
1.243 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.243 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.244 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
1.244 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.244 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.244 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
1.244 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.245 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.245 * * * [progress]: simplifying candidates
1.246 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (exp (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))
  (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (* (* (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a) (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (* 1 3)
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt 3) (cbrt 3)))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (sqrt 3))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)
  (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3)
  (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow 1 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (* (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3)
  (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow 1 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3)))
  (log (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow 1 3)))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (cbrt (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (cbrt (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))))
  (log (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3)))
  (log (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow 1 3)))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (cbrt (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (cbrt 1))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2))))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2))))
  (log (* (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))))
  (log (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log 1)
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (exp (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (* (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))))
  (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (* (* (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (sqrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (sqrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (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 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
1.251 * * [simplify]: iteration  0 :  143  enodes  (cost  843 )
1.253 * * [simplify]: iteration  1 :  465  enodes  (cost  711 )
1.266 * * [simplify]: iteration  2 :  3124  enodes  (cost  685 )
1.376 * * [simplify]: iteration  3 :  5002  enodes  (cost  679 )
1.379 * [simplify]: Simplified to:
   (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (exp (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))
  (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  3
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt 3) (cbrt 3)))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (sqrt 3))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3/2)
  1
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3/2)
  1
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)
  (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3/2)
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 2)
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
1.379 * * * [progress]: adding candidates to table
1.598 * * [progress]: iteration 4 / 4
1.598 * * * [progress]: picking best candidate
1.671 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))>
1.671 * * * [progress]: localizing error
1.693 * * * [progress]: generating rewritten candidates
1.693 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.693 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.693 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.693 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
1.695 * * * [progress]: generating series expansions
1.695 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.695 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.695 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.695 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.696 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.696 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.696 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.696 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.696 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.697 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.697 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.697 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.697 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.697 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.698 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.698 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.698 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.699 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.699 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.699 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.701 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.701 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.701 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.702 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.702 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.702 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.702 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.703 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.703 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.703 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.704 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
1.704 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.704 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.704 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.704 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.704 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.713 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.713 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.713 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.713 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.713 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.722 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.722 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.723 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.723 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.723 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.732 * * * [progress]: simplifying candidates
1.733 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.736 * * [simplify]: iteration  0 :  39  enodes  (cost  430 )
1.737 * * [simplify]: iteration  1 :  60  enodes  (cost  361 )
1.739 * * [simplify]: iteration  2 :  78  enodes  (cost  361 )
1.740 * * [simplify]: iteration  3 :  118  enodes  (cost  361 )
1.742 * * [simplify]: iteration  4 :  218  enodes  (cost  361 )
1.746 * * [simplify]: iteration  5 :  534  enodes  (cost  361 )
1.759 * * [simplify]: iteration  6 :  2589  enodes  (cost  361 )
1.804 * * [simplify]: iteration  7 :  5001  enodes  (cost  361 )
1.806 * [simplify]: Simplified to:
   (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.806 * * * [progress]: adding candidates to table
2.000 * [progress]: [Phase 3 of 3] Extracting.
2.000 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (exp (log (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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow E (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.009 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.010 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (exp (log (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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow E (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.154 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))>)
2.195 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (exp (log (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 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow E (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.324 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.324 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))))
2.325 * * [simplify]: iteration  0 :  21  enodes  (cost  45 )
2.325 * * [simplify]: iteration  1 :  21  enodes  (cost  45 )
2.325 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a))))
17.100 * [regime-testing]: Baseline error score: 32.98564780705745
17.100 * [regime-testing]: Oracle error score: 31.22562883183968
17.102 * [regime-testing]: End program error score: 32.98564780705745