0.011 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.423 * * * [progress]: [2/2] Setting up program.
0.430 * [progress]: [Phase 2 of 3] Improving.
0.430 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.433 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.433 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.433 * * [progress]: iteration 1 / 4
0.433 * * * [progress]: picking best candidate
0.436 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.436 * * * [progress]: localizing error
0.448 * * * [progress]: generating rewritten candidates
0.448 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.449 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.449 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.451 * * * [progress]: generating series expansions
0.451 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.451 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.451 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.451 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.452 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.452 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.452 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.453 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.453 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.453 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.453 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.454 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.454 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.454 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.454 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.454 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.454 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.454 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.454 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.454 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.455 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.455 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.455 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.455 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.455 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.455 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.456 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.456 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.456 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.456 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.457 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.457 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.457 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.457 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.457 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.457 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.476 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.476 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.476 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.477 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.477 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.495 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.495 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.495 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.495 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.496 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.517 * * * [progress]: simplifying candidates
0.518 * [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 (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)))
  (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)))
  (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.520 * * [simplify]: iteration  0 :  39  enodes  (cost  248 )
0.522 * * [simplify]: iteration  1 :  44  enodes  (cost  212 )
0.523 * * [simplify]: iteration  2 :  54  enodes  (cost  212 )
0.525 * * [simplify]: iteration  3 :  68  enodes  (cost  212 )
0.526 * * [simplify]: iteration  4 :  114  enodes  (cost  212 )
0.528 * * [simplify]: iteration  5 :  228  enodes  (cost  212 )
0.535 * * [simplify]: iteration  6 :  919  enodes  (cost  212 )
0.556 * * [simplify]: iteration  7 :  3184  enodes  (cost  212 )
0.638 * * [simplify]: iteration  8 :  5001  enodes  (cost  212 )
0.639 * [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 (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)
  (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))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
0.639 * * * [progress]: adding candidates to table
0.751 * * [progress]: iteration 2 / 4
0.751 * * * [progress]: picking best candidate
0.790 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
0.790 * * * [progress]: localizing error
0.806 * * * [progress]: generating rewritten candidates
0.806 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.807 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.809 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.810 * * * [progress]: generating series expansions
0.810 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.810 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.810 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.810 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.811 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.811 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.811 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.812 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.812 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.812 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.813 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.813 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
0.813 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.813 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.813 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.813 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.823 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
0.823 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.823 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.823 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.823 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.833 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
0.833 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.833 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.833 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.833 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.843 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.843 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.843 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.844 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.844 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.844 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.844 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.845 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.845 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.845 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.846 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
0.846 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.846 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.846 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.846 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.846 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.846 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.847 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.847 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.847 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.847 * * * [progress]: simplifying candidates
0.851 * [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 (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))))
  (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))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
0.854 * * [simplify]: iteration  0 :  63  enodes  (cost  414 )
0.855 * * [simplify]: iteration  1 :  92  enodes  (cost  353 )
0.857 * * [simplify]: iteration  2 :  121  enodes  (cost  353 )
0.859 * * [simplify]: iteration  3 :  180  enodes  (cost  353 )
0.861 * * [simplify]: iteration  4 :  339  enodes  (cost  353 )
0.866 * * [simplify]: iteration  5 :  863  enodes  (cost  353 )
0.885 * * [simplify]: iteration  6 :  3913  enodes  (cost  353 )
0.947 * * [simplify]: iteration  7 :  5001  enodes  (cost  349 )
0.949 * [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 (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))))
  (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))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
0.949 * * * [progress]: adding candidates to table
1.098 * * [progress]: iteration 3 / 4
1.098 * * * [progress]: picking best candidate
1.154 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))>
1.154 * * * [progress]: localizing error
1.173 * * * [progress]: generating rewritten candidates
1.173 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.174 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.176 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.178 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
1.180 * * * [progress]: generating series expansions
1.180 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.180 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.180 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.180 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.181 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.181 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.181 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.182 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.182 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.182 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.183 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.183 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in (a) around 0
1.183 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in a
1.183 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.183 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.183 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in a
1.183 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.183 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.204 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in (a) around 0
1.204 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in a
1.204 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.204 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.204 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in a
1.204 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.204 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.226 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in (a) around 0
1.226 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in a
1.226 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.226 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.227 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in a
1.227 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.227 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.253 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.253 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.253 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.253 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.253 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.253 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.263 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.263 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.263 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.263 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.263 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.273 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.273 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.273 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.273 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.273 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.283 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.283 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.283 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.283 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.283 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.283 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.293 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.293 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.293 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.293 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.293 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.303 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.303 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.303 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.303 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.303 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.313 * * * [progress]: simplifying candidates
1.314 * [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))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (exp (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3))
  (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3))
  (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (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)))))
  (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt 1)
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2)))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2)))
  (* (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (cbrt (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))) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (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)
  (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)))
  (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.323 * * [simplify]: iteration  0 :  123  enodes  (cost  738 )
1.326 * * [simplify]: iteration  1 :  432  enodes  (cost  681 )
1.338 * * [simplify]: iteration  2 :  3021  enodes  (cost  675 )
1.447 * * [simplify]: iteration  3 :  5002  enodes  (cost  675 )
1.450 * [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)
  (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))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (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))))
  1
  (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)))))
  (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)))))
  (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)))))
  (cbrt (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))))
  1
  (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)))))
  (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  1
  (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))))
  (cbrt (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (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)
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan 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))) (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)
  (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)
  (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)))
  (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.450 * * * [progress]: adding candidates to table
1.653 * * [progress]: iteration 4 / 4
1.653 * * * [progress]: picking best candidate
1.719 * * * * [pick]: Picked  #<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)))))>
1.719 * * * [progress]: localizing error
1.744 * * * [progress]: generating rewritten candidates
1.744 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.744 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.744 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.745 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
1.748 * * * [progress]: generating series expansions
1.748 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.748 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.748 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.749 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.749 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.749 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.750 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.751 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.751 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.751 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.751 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.752 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.752 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.752 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.752 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.753 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.753 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.754 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.754 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.754 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.754 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.755 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.755 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.755 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.755 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.755 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.756 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.756 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.756 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.757 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.757 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
1.757 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in (a) around 0
1.757 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in a
1.757 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.757 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.758 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in a
1.758 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.758 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.779 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in (a) around 0
1.779 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in a
1.779 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.779 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.779 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in a
1.779 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.779 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.805 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in (a) around 0
1.805 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in a
1.805 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.805 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.805 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in a
1.805 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.805 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.828 * * * [progress]: simplifying candidates
1.828 * [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))
  (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))
  (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))
  (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 (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)
1.832 * * [simplify]: iteration  0 :  100  enodes  (cost  644 )
1.835 * * [simplify]: iteration  1 :  374  enodes  (cost  537 )
1.847 * * [simplify]: iteration  2 :  2901  enodes  (cost  533 )
1.956 * * [simplify]: iteration  3 :  5001  enodes  (cost  533 )
1.959 * [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))
  (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))
  (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)
  (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 (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)
1.959 * * * [progress]: adding candidates to table
2.221 * [progress]: [Phase 3 of 3] Extracting.
2.221 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (+ (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (atan2 (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 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (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 (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 (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (log (exp (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))))> #<alt (λ (a) (fabs (log (exp (fmod (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 (exp (log (fmod (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 (exp (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) 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 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (sqrt 3)) (sqrt 3)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (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)))) 3))) a)))>)
2.233 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.233 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (+ (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (atan2 (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 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (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 (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 (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (log (exp (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))))> #<alt (λ (a) (fabs (log (exp (fmod (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 (exp (log (fmod (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 (exp (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) 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 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (sqrt 3)) (sqrt 3)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (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)))) 3))) a)))>)
2.368 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.411 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (+ (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (atan2 (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 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (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 (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 (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (log (exp (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))))> #<alt (λ (a) (fabs (log (exp (fmod (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 (exp (log (fmod (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 (exp (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) 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 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (sqrt 3)) (sqrt 3)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (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)))) 3))) a)))>)
2.530 * * * [regime]: Found split indices: #<option (#s(si 11 255))>
2.530 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (sqrt 3)) (sqrt 3)))) a))))
2.531 * * [simplify]: iteration  0 :  24  enodes  (cost  39 )
2.531 * * [simplify]: iteration  1 :  24  enodes  (cost  39 )
2.531 * [simplify]: Simplified to:
   (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 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (sqrt 3)) (sqrt 3)))) a))))
18.198 * [regime-testing]: Baseline error score: 33.42635792648889
18.199 * [regime-testing]: Oracle error score: 31.67664015500224
18.200 * [regime-testing]: End program error score: 33.42635792648889