0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.426 * * * [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.430 * [simplify]: Sending expressions to egg_math:
 (fabs (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
0.432 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.432 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.432 * * [progress]: iteration 1 / 4
0.432 * * * [progress]: picking best candidate
0.435 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.435 * * * [progress]: localizing error
0.448 * * * [progress]: generating rewritten candidates
0.448 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.448 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.450 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.451 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.451 * * * [progress]: generating series expansions
0.451 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.452 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.452 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.452 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) 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 * [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.454 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.454 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.454 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.454 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.454 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.454 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.477 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
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.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.494 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.494 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.494 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.494 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.494 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.511 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.511 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.511 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.511 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.512 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.512 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.512 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.512 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.512 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.512 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.512 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
0.512 * [approximate]: Taking taylor expansion of (expm1 a) in (a) around 0
0.512 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.512 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.513 * [approximate]: Taking taylor expansion of (expm1 (/ 1 a)) in (a) around 0
0.513 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.513 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.513 * [approximate]: Taking taylor expansion of (expm1 (/ -1 a)) in (a) around 0
0.513 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.513 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.513 * * * [progress]: simplifying candidates
0.514 * [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 (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (* (* (expm1 a) (expm1 a)) (expm1 a))
  (sqrt (expm1 a))
  (sqrt (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)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 a)
  (expm1 a)
  (expm1 a)
0.514 * [simplify]: Sending expressions to egg_math:
 (log (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (log (sin (expm1 h0)))
 (exp (sin (expm1 h0)))
 (* (cbrt (sin (expm1 h0))) (cbrt (sin (expm1 h0))))
 (cbrt (sin (expm1 h0)))
 (* (* (sin (expm1 h0)) (sin (expm1 h0))) (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (log (expm1 (sin (expm1 h0))))
 (exp (expm1 (sin (expm1 h0))))
 (* (cbrt (expm1 (sin (expm1 h0)))) (cbrt (expm1 (sin (expm1 h0)))))
 (cbrt (expm1 (sin (expm1 h0))))
 (* (* (expm1 (sin (expm1 h0))) (expm1 (sin (expm1 h0)))) (expm1 (sin (expm1 h0))))
 (sqrt (expm1 (sin (expm1 h0))))
 (sqrt (expm1 (sin (expm1 h0))))
 (log (expm1 h0))
 (exp (expm1 h0))
 (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))
 (cbrt (expm1 h0))
 (* (* (expm1 h0) (expm1 h0)) (expm1 h0))
 (sqrt (expm1 h0))
 (sqrt (expm1 h0))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (sin (expm1 h0))
 (sin (expm1 h0))
 (sin (expm1 h0))
 (expm1 (sin (expm1 h0)))
 (expm1 (sin (expm1 h0)))
 (expm1 (sin (expm1 h0)))
 (expm1 h0)
 (expm1 h0)
 (expm1 h0)
0.516 * * [simplify]: iteration  0 :  39  enodes  (cost  196 )
0.517 * * [simplify]: iteration  1 :  44  enodes  (cost  168 )
0.519 * * [simplify]: iteration  2 :  54  enodes  (cost  168 )
0.520 * * [simplify]: iteration  3 :  68  enodes  (cost  168 )
0.522 * * [simplify]: iteration  4 :  114  enodes  (cost  168 )
0.524 * * [simplify]: iteration  5 :  228  enodes  (cost  168 )
0.530 * * [simplify]: iteration  6 :  919  enodes  (cost  168 )
0.551 * * [simplify]: iteration  7 :  3184  enodes  (cost  168 )
0.627 * * [simplify]: iteration  8 :  5001  enodes  (cost  168 )
0.628 * [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 (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (pow (expm1 a) 3)
  (sqrt (expm1 a))
  (sqrt (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)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 a)
  (expm1 a)
  (expm1 a)
0.628 * * * [progress]: adding candidates to table
0.741 * * [progress]: iteration 2 / 4
0.741 * * * [progress]: picking best candidate
0.775 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))>
0.775 * * * [progress]: localizing error
0.794 * * * [progress]: generating rewritten candidates
0.794 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.794 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
0.795 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
0.796 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
0.797 * * * [progress]: generating series expansions
0.797 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.798 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.798 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.798 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.798 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.799 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.799 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.799 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.799 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.800 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.800 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
0.800 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
0.800 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
0.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
0.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
0.800 * [taylor]: Taking taylor expansion of 1/3 in a
0.800 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
0.800 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.801 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
0.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
0.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
0.801 * [taylor]: Taking taylor expansion of 1/3 in a
0.801 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
0.801 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.831 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
0.831 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
0.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
0.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
0.831 * [taylor]: Taking taylor expansion of 1/3 in a
0.831 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
0.831 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.832 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
0.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
0.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
0.832 * [taylor]: Taking taylor expansion of 1/3 in a
0.832 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
0.832 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.862 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
0.862 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
0.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
0.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
0.862 * [taylor]: Taking taylor expansion of 1/3 in a
0.862 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
0.862 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.862 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
0.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
0.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
0.862 * [taylor]: Taking taylor expansion of 1/3 in a
0.862 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
0.862 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2)
0.897 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
0.897 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
0.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
0.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
0.897 * [taylor]: Taking taylor expansion of 1/3 in a
0.897 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
0.897 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.897 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
0.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
0.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
0.897 * [taylor]: Taking taylor expansion of 1/3 in a
0.897 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
0.897 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.926 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
0.926 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
0.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
0.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
0.926 * [taylor]: Taking taylor expansion of 1/3 in a
0.926 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
0.926 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.926 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
0.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
0.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
0.927 * [taylor]: Taking taylor expansion of 1/3 in a
0.927 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
0.927 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.961 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
0.961 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.021 * [taylor]: Taking taylor expansion of 1/3 in a
1.021 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.021 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.021 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.021 * [taylor]: Taking taylor expansion of 1/3 in a
1.021 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.021 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.052 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
1.052 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
1.052 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.052 * [taylor]: Taking taylor expansion of 1/3 in a
1.052 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.052 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.052 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.052 * [taylor]: Taking taylor expansion of 1/3 in a
1.052 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.052 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.081 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
1.081 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.082 * [taylor]: Taking taylor expansion of 1/3 in a
1.082 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.082 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.082 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.082 * [taylor]: Taking taylor expansion of 1/3 in a
1.082 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.082 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.117 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
1.117 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.117 * [taylor]: Taking taylor expansion of 1/3 in a
1.117 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.117 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.117 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.117 * [taylor]: Taking taylor expansion of 1/3 in a
1.117 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.117 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.147 * * * [progress]: simplifying candidates
1.148 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
1.148 * [simplify]: Sending expressions to egg_math:
 (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
1.151 * * [simplify]: iteration  0 :  41  enodes  (cost  320 )
1.152 * * [simplify]: iteration  1 :  71  enodes  (cost  278 )
1.154 * * [simplify]: iteration  2 :  148  enodes  (cost  272 )
1.157 * * [simplify]: iteration  3 :  481  enodes  (cost  265 )
1.169 * * [simplify]: iteration  4 :  2431  enodes  (cost  265 )
1.235 * * [simplify]: iteration  5 :  5001  enodes  (cost  265 )
1.236 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (pow (expm1 a) 1/3)
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (pow (expm1 a) 1/3)
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (pow (expm1 a) 1/3)
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
1.237 * * * [progress]: adding candidates to table
1.402 * * [progress]: iteration 3 / 4
1.402 * * * [progress]: picking best candidate
1.483 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))>
1.483 * * * [progress]: localizing error
1.504 * * * [progress]: generating rewritten candidates
1.504 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.504 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2 2)
1.505 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2 2 1)
1.506 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 1 1 2)
1.508 * * * [progress]: generating series expansions
1.508 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.508 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.508 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.508 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.509 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.509 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.509 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.510 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.510 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.510 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2 2)
1.511 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/9) in (a) around 0
1.511 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/9) in a
1.511 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 a)))) in a
1.511 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 a))) in a
1.511 * [taylor]: Taking taylor expansion of 1/9 in a
1.511 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.511 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.511 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/9) in a
1.511 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 a)))) in a
1.511 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 a))) in a
1.511 * [taylor]: Taking taylor expansion of 1/9 in a
1.511 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.511 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.540 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/9) in (a) around 0
1.540 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/9) in a
1.540 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (/ 1 a))))) in a
1.540 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (/ 1 a)))) in a
1.540 * [taylor]: Taking taylor expansion of 1/9 in a
1.540 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.540 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.540 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/9) in a
1.540 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (/ 1 a))))) in a
1.540 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (/ 1 a)))) in a
1.540 * [taylor]: Taking taylor expansion of 1/9 in a
1.540 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.540 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.573 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/9) in (a) around 0
1.573 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/9) in a
1.573 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (/ -1 a))))) in a
1.573 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (/ -1 a)))) in a
1.573 * [taylor]: Taking taylor expansion of 1/9 in a
1.573 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.573 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.573 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/9) in a
1.573 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (/ -1 a))))) in a
1.573 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (/ -1 a)))) in a
1.573 * [taylor]: Taking taylor expansion of 1/9 in a
1.573 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.573 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.603 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2 2 1)
1.603 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
1.603 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.603 * [taylor]: Taking taylor expansion of 1/3 in a
1.603 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.603 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.603 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.603 * [taylor]: Taking taylor expansion of 1/3 in a
1.603 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.603 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.637 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
1.637 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.637 * [taylor]: Taking taylor expansion of 1/3 in a
1.637 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.637 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.637 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.637 * [taylor]: Taking taylor expansion of 1/3 in a
1.637 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.637 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.667 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
1.667 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.667 * [taylor]: Taking taylor expansion of 1/3 in a
1.667 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.667 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.667 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.667 * [taylor]: Taking taylor expansion of 1/3 in a
1.667 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.667 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.697 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 1 1 2)
1.697 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
1.697 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.697 * [taylor]: Taking taylor expansion of 1/3 in a
1.697 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.697 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.697 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.697 * [taylor]: Taking taylor expansion of 1/3 in a
1.698 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.698 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.732 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
1.732 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.732 * [taylor]: Taking taylor expansion of 1/3 in a
1.732 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.732 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.732 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.732 * [taylor]: Taking taylor expansion of 1/3 in a
1.732 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.732 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.762 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
1.762 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.762 * [taylor]: Taking taylor expansion of 1/3 in a
1.762 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.762 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.762 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.762 * [taylor]: Taking taylor expansion of 1/3 in a
1.762 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.762 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.797 * * * [progress]: simplifying candidates
1.798 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (log (cbrt (cbrt (expm1 a))))
  (exp (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (sqrt (expm1 a))))
  (cbrt (cbrt (sqrt (expm1 a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (expm1 a)))
  (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (sqrt (cbrt (expm1 a))))
  (cbrt (sqrt (cbrt (expm1 a))))
  (cbrt 1)
  (cbrt (cbrt (expm1 a)))
  (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 a))))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 a) 1/9)
  (pow (expm1 a) 1/9)
  (pow (expm1 a) 1/9)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
1.798 * [simplify]: Sending expressions to egg_math:
 (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (log (cbrt (cbrt (expm1 h0))))
 (exp (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))))
 (cbrt (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (sqrt (expm1 h0))))
 (cbrt (cbrt (sqrt (expm1 h0))))
 (cbrt (cbrt 1))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0)))))
 (cbrt (cbrt (cbrt (expm1 h0))))
 (cbrt (sqrt (cbrt (expm1 h0))))
 (cbrt (sqrt (cbrt (expm1 h0))))
 (cbrt 1)
 (cbrt (cbrt (expm1 h0)))
 (* (cbrt (cbrt (cbrt (expm1 h0)))) (cbrt (cbrt (cbrt (expm1 h0)))))
 (cbrt (cbrt (cbrt (expm1 h0))))
 (* (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))
 (sqrt (cbrt (cbrt (expm1 h0))))
 (sqrt (cbrt (cbrt (expm1 h0))))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (pow (expm1 h0) 1/9)
 (pow (expm1 h0) 1/9)
 (pow (expm1 h0) 1/9)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
1.801 * * [simplify]: iteration  0 :  66  enodes  (cost  440 )
1.802 * * [simplify]: iteration  1 :  123  enodes  (cost  380 )
1.805 * * [simplify]: iteration  2 :  283  enodes  (cost  374 )
1.811 * * [simplify]: iteration  3 :  1121  enodes  (cost  374 )
1.844 * * [simplify]: iteration  4 :  5001  enodes  (cost  374 )
1.846 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (log (cbrt (cbrt (expm1 a))))
  (exp (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (sqrt (expm1 a))))
  (cbrt (cbrt (sqrt (expm1 a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (expm1 a)))
  (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (sqrt (cbrt (expm1 a))))
  (cbrt (sqrt (cbrt (expm1 a))))
  (cbrt 1)
  (cbrt (cbrt (expm1 a)))
  (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (pow (expm1 a) 1/3)
  (sqrt (cbrt (cbrt (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 a))))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (pow (expm1 a) 1/3)
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (pow (expm1 a) 1/3)
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 a) 1/9)
  (pow (expm1 a) 1/9)
  (pow (expm1 a) 1/9)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
1.846 * * * [progress]: adding candidates to table
2.063 * * [progress]: iteration 4 / 4
2.063 * * * [progress]: picking best candidate
2.176 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))>
2.176 * * * [progress]: localizing error
2.202 * * * [progress]: generating rewritten candidates
2.202 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
2.203 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
2.203 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.203 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1 2)
2.205 * * * [progress]: generating series expansions
2.205 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
2.205 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.205 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.205 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.206 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.206 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.206 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.207 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.207 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.207 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.208 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
2.208 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.208 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.208 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.209 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.209 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.209 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.210 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.210 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.210 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.210 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.211 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.211 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.211 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.211 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.211 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.212 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.212 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.212 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.212 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.213 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1 2)
2.213 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
2.213 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
2.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
2.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
2.213 * [taylor]: Taking taylor expansion of 1/3 in a
2.213 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
2.213 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.213 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
2.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
2.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
2.213 * [taylor]: Taking taylor expansion of 1/3 in a
2.213 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
2.213 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.243 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
2.243 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
2.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
2.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
2.243 * [taylor]: Taking taylor expansion of 1/3 in a
2.243 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
2.243 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.244 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
2.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
2.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
2.244 * [taylor]: Taking taylor expansion of 1/3 in a
2.244 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
2.244 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.278 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
2.278 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
2.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
2.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
2.278 * [taylor]: Taking taylor expansion of 1/3 in a
2.278 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
2.278 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.279 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
2.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
2.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
2.279 * [taylor]: Taking taylor expansion of 1/3 in a
2.279 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
2.279 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.309 * * * [progress]: simplifying candidates
2.310 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (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)
  (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 (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
2.310 * [simplify]: Sending expressions to egg_math:
 (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
 (pow (expm1 h0) 1/3)
2.313 * * [simplify]: iteration  0 :  41  enodes  (cost  528 )
2.314 * * [simplify]: iteration  1 :  71  enodes  (cost  442 )
2.316 * * [simplify]: iteration  2 :  148  enodes  (cost  440 )
2.319 * * [simplify]: iteration  3 :  481  enodes  (cost  419 )
2.331 * * [simplify]: iteration  4 :  2431  enodes  (cost  419 )
2.398 * * [simplify]: iteration  5 :  5001  enodes  (cost  419 )
2.399 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (pow (expm1 a) 1/3)
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (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)
  (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 (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
  (pow (expm1 a) 1/3)
2.400 * * * [progress]: adding candidates to table
2.612 * [progress]: [Phase 3 of 3] Extracting.
2.612 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (exp (log (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (exp (log (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (pow (expm1 a) 1/9))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (log (exp (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (exp (log (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (exp (log (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (log (exp (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (pow (expm1 a) 1/3)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt 1) (pow (expm1 a) 1/3))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3))))> #<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 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (log (exp (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (pow (expm1 a) 1/3)) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a)))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (sqrt (cbrt (expm1 a)))) (cbrt (sqrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (pow (expm1 a) 1/3)))) (atan a)) a)))))>)
2.633 * * * [regime-changes]: Trying 3 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) a)
2.634 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (exp (log (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (exp (log (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (pow (expm1 a) 1/9))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (log (exp (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (exp (log (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (exp (log (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (log (exp (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (pow (expm1 a) 1/3)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt 1) (pow (expm1 a) 1/3))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3))))> #<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 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (log (exp (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (pow (expm1 a) 1/3)) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a)))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (sqrt (cbrt (expm1 a)))) (cbrt (sqrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (pow (expm1 a) 1/3)))) (atan a)) a)))))>)
2.841 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>)
2.883 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (exp (log (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (exp (log (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (pow (expm1 a) 1/9))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (log (exp (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (exp (log (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (exp (log (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (log (exp (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (pow (expm1 a) 1/3)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt 1) (pow (expm1 a) 1/3))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3))))> #<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 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (log (exp (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (pow (expm1 a) 1/3)) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a)))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (sqrt (cbrt (expm1 a)))) (cbrt (sqrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (pow (expm1 a) 1/3)))) (atan a)) a)))))>)
3.100 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (exp (log (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (exp (log (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (pow (expm1 a) 1/9))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (log (exp (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (exp (log (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (exp (log (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (log (exp (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (pow (expm1 a) 1/3)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt 1) (pow (expm1 a) 1/3))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3))))> #<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 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (log (exp (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (pow (expm1 a) 1/3)) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a)))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (sqrt (cbrt (expm1 a)))) (cbrt (sqrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (pow (expm1 a) 1/3)))) (atan a)) a)))))>)
3.291 * * * [regime]: Found split indices: #<option (#s(si 18 255))>
3.291 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))))
3.291 * [simplify]: Sending expressions to egg_math:
 (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))))
3.292 * * [simplify]: iteration  0 :  27  enodes  (cost  53 )
3.292 * * [simplify]: iteration  1 :  27  enodes  (cost  53 )
3.292 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))))
19.165 * [regime-testing]: Baseline error score: 33.63276652076192
19.165 * [regime-testing]: Oracle error score: 31.90340110708335
19.167 * [regime-testing]: End program error score: 33.63276652076192