0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.476 * * * [progress]: [2/2] Setting up program.
0.482 * [progress]: [Phase 2 of 3] Improving.
0.482 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.484 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.484 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.485 * * [progress]: iteration 1 / 4
0.485 * * * [progress]: picking best candidate
0.490 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.490 * * * [progress]: localizing error
0.502 * * * [progress]: generating rewritten candidates
0.502 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.502 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
0.503 * * * [progress]: generating series expansions
0.503 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.503 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.503 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.503 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.504 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.504 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.504 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.504 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.504 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.505 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.505 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
0.505 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.505 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.505 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.505 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.505 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.506 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.506 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.506 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.506 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.506 * * * [progress]: simplifying candidates
0.506 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
0.509 * * [simplify]: iteration  0 :  23  enodes  (cost  137 )
0.510 * * [simplify]: iteration  1 :  26  enodes  (cost  117 )
0.511 * * [simplify]: iteration  2 :  32  enodes  (cost  117 )
0.513 * * [simplify]: iteration  3 :  40  enodes  (cost  117 )
0.514 * * [simplify]: iteration  4 :  68  enodes  (cost  117 )
0.516 * * [simplify]: iteration  5 :  142  enodes  (cost  117 )
0.521 * * [simplify]: iteration  6 :  643  enodes  (cost  117 )
0.537 * * [simplify]: iteration  7 :  2176  enodes  (cost  117 )
0.608 * * [simplify]: iteration  8 :  5001  enodes  (cost  117 )
0.609 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
0.609 * * * [progress]: adding candidates to table
0.715 * * [progress]: iteration 2 / 4
0.715 * * * [progress]: picking best candidate
0.773 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
0.773 * * * [progress]: localizing error
0.790 * * * [progress]: generating rewritten candidates
0.790 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.790 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
0.791 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.791 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.792 * * * [progress]: generating series expansions
0.792 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.793 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.793 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.793 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.793 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.793 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.794 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.794 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.794 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.794 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.795 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
0.795 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.795 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.795 * [taylor]: Taking taylor expansion of 1/3 in a
0.795 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.795 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.796 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.796 * [taylor]: Taking taylor expansion of 1/3 in a
0.796 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.796 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.802 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.802 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.802 * [taylor]: Taking taylor expansion of 1/3 in a
0.802 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.802 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.803 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.803 * [taylor]: Taking taylor expansion of 1/3 in a
0.803 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.803 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.809 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
0.809 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.809 * [taylor]: Taking taylor expansion of 1/3 in a
0.809 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.809 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.809 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.809 * [taylor]: Taking taylor expansion of 1/3 in a
0.809 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.809 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.815 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
0.816 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.816 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.816 * [taylor]: Taking taylor expansion of 1/3 in a
0.816 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.816 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.816 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.816 * [taylor]: Taking taylor expansion of 1/3 in a
0.816 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.816 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.821 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.822 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.822 * [taylor]: Taking taylor expansion of 1/3 in a
0.822 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.822 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.822 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.822 * [taylor]: Taking taylor expansion of 1/3 in a
0.822 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.822 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.828 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
0.828 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.828 * [taylor]: Taking taylor expansion of 1/3 in a
0.828 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.828 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.828 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.829 * [taylor]: Taking taylor expansion of 1/3 in a
0.829 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.829 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.837 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
0.837 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.837 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.837 * [taylor]: Taking taylor expansion of 1/3 in a
0.837 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.837 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.837 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.837 * [taylor]: Taking taylor expansion of 1/3 in a
0.837 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.837 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.843 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.843 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.843 * [taylor]: Taking taylor expansion of 1/3 in a
0.843 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.843 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.843 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.843 * [taylor]: Taking taylor expansion of 1/3 in a
0.843 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.843 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.849 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
0.850 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.850 * [taylor]: Taking taylor expansion of 1/3 in a
0.850 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.850 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.850 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
0.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
0.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
0.850 * [taylor]: Taking taylor expansion of 1/3 in a
0.850 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
0.850 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.856 * * * [progress]: simplifying candidates
0.857 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
0.860 * * [simplify]: iteration  0 :  39  enodes  (cost  474 )
0.861 * * [simplify]: iteration  1 :  69  enodes  (cost  412 )
0.863 * * [simplify]: iteration  2 :  146  enodes  (cost  406 )
0.866 * * [simplify]: iteration  3 :  479  enodes  (cost  395 )
0.879 * * [simplify]: iteration  4 :  2429  enodes  (cost  395 )
0.948 * * [simplify]: iteration  5 :  5001  enodes  (cost  395 )
0.950 * [simplify]: Simplified to:
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
0.950 * * * [progress]: adding candidates to table
1.359 * * [progress]: iteration 3 / 4
1.359 * * * [progress]: picking best candidate
1.525 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
1.525 * * * [progress]: localizing error
1.547 * * * [progress]: generating rewritten candidates
1.547 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.547 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2)
1.548 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1.555 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.557 * * * [progress]: generating series expansions
1.557 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.558 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.558 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.558 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.559 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.559 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.559 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.560 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.560 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.560 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.560 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2)
1.561 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
1.561 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.561 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.561 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.561 * [taylor]: Taking taylor expansion of 1/9 in a
1.561 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.561 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.561 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.561 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.561 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.561 * [taylor]: Taking taylor expansion of 1/9 in a
1.561 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.561 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.567 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
1.567 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.567 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.567 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.567 * [taylor]: Taking taylor expansion of 1/9 in a
1.567 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.567 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.567 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.567 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.567 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.567 * [taylor]: Taking taylor expansion of 1/9 in a
1.567 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.567 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.573 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
1.573 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.573 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.573 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (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 (sin (expm1 (/ -1 a))))) in a
1.573 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.574 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.574 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.574 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.574 * [taylor]: Taking taylor expansion of 1/9 in a
1.574 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.574 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.580 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1.580 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.580 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.580 * [taylor]: Taking taylor expansion of 1/3 in a
1.580 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.580 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.580 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.580 * [taylor]: Taking taylor expansion of 1/3 in a
1.580 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.580 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.586 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.586 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.586 * [taylor]: Taking taylor expansion of 1/3 in a
1.586 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.586 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.586 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.586 * [taylor]: Taking taylor expansion of 1/3 in a
1.587 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.587 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.593 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.593 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.593 * [taylor]: Taking taylor expansion of 1/3 in a
1.593 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.593 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.593 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.593 * [taylor]: Taking taylor expansion of 1/3 in a
1.593 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.593 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.599 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
1.599 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.599 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.600 * [taylor]: Taking taylor expansion of 1/3 in a
1.600 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.600 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.600 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.600 * [taylor]: Taking taylor expansion of 1/3 in a
1.600 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.600 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.607 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.607 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.607 * [taylor]: Taking taylor expansion of 1/3 in a
1.607 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.607 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.608 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.608 * [taylor]: Taking taylor expansion of 1/3 in a
1.608 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.608 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.614 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.614 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.614 * [taylor]: Taking taylor expansion of 1/3 in a
1.614 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.614 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.614 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.614 * [taylor]: Taking taylor expansion of 1/3 in a
1.614 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.614 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.621 * * * [progress]: simplifying candidates
1.622 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt 1)
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (+ (log (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt 1)))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt 1))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) 1)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 (sin (expm1 a))) 1/9)
  (pow (expm1 (sin (expm1 a))) 1/9)
  (pow (expm1 (sin (expm1 a))) 1/9)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
1.626 * * [simplify]: iteration  0 :  123  enodes  (cost  1193 )
1.629 * * [simplify]: iteration  1 :  359  enodes  (cost  1063 )
1.635 * * [simplify]: iteration  2 :  926  enodes  (cost  1055 )
1.650 * * [simplify]: iteration  3 :  2677  enodes  (cost  1032 )
1.701 * * [simplify]: iteration  4 :  5003  enodes  (cost  912 )
1.704 * [simplify]: Simplified to:
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  1
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  1
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (pow (expm1 (sin (expm1 a))) 1/3)
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (sin (expm1 a)))
  (pow (expm1 (sin (expm1 a))) 1/3)
  (log (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (pow (expm1 (sin (expm1 a))) 1/3)
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (pow (expm1 (sin (expm1 a))) 1/3)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 (sin (expm1 a))) 1/9)
  (pow (expm1 (sin (expm1 a))) 1/9)
  (pow (expm1 (sin (expm1 a))) 1/9)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
  (pow (expm1 (sin (expm1 a))) 1/3)
1.705 * * * [progress]: adding candidates to table
2.516 * * [progress]: iteration 4 / 4
2.516 * * * [progress]: picking best candidate
2.834 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
2.834 * * * [progress]: localizing error
2.862 * * * [progress]: generating rewritten candidates
2.862 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.862 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2)
2.864 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 2 2)
2.865 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1 2 1)
2.867 * * * [progress]: generating series expansions
2.867 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.868 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.868 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.868 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.871 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.871 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.871 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.873 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.873 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.873 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.873 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2)
2.873 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in (a) around 0
2.873 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.873 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.873 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.873 * [taylor]: Taking taylor expansion of 1/27 in a
2.873 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.873 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.874 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.874 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.874 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.874 * [taylor]: Taking taylor expansion of 1/27 in a
2.874 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.874 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.879 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in (a) around 0
2.879 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.879 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.879 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.879 * [taylor]: Taking taylor expansion of 1/27 in a
2.879 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.879 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.880 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.880 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.880 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.880 * [taylor]: Taking taylor expansion of 1/27 in a
2.880 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.880 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.886 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in (a) around 0
2.886 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.886 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.886 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.886 * [taylor]: Taking taylor expansion of 1/27 in a
2.886 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.886 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.886 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.886 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.886 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.886 * [taylor]: Taking taylor expansion of 1/27 in a
2.886 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.886 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.893 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 2 2)
2.893 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in (a) around 0
2.893 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.893 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.893 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.893 * [taylor]: Taking taylor expansion of 1/27 in a
2.893 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.893 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.893 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.893 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.893 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.893 * [taylor]: Taking taylor expansion of 1/27 in a
2.893 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.893 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.899 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in (a) around 0
2.899 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.899 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.899 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.899 * [taylor]: Taking taylor expansion of 1/27 in a
2.899 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.899 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.899 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.899 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.899 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.899 * [taylor]: Taking taylor expansion of 1/27 in a
2.899 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.899 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.905 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in (a) around 0
2.906 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.906 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.906 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.906 * [taylor]: Taking taylor expansion of 1/27 in a
2.906 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.906 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.906 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.906 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.906 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.906 * [taylor]: Taking taylor expansion of 1/27 in a
2.906 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.906 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.912 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1 2 1)
2.912 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in (a) around 0
2.913 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.913 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.913 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.913 * [taylor]: Taking taylor expansion of 1/27 in a
2.913 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.913 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.913 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/27) in a
2.913 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 a)))))) in a
2.913 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 a))))) in a
2.913 * [taylor]: Taking taylor expansion of 1/27 in a
2.913 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.913 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.918 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in (a) around 0
2.918 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.918 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.918 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.919 * [taylor]: Taking taylor expansion of 1/27 in a
2.919 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.919 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.919 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/27) in a
2.919 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.919 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.919 * [taylor]: Taking taylor expansion of 1/27 in a
2.919 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.919 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.925 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in (a) around 0
2.925 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.925 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.925 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.925 * [taylor]: Taking taylor expansion of 1/27 in a
2.925 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.925 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.925 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/27) in a
2.926 * [taylor]: Taking taylor expansion of (exp (* 1/27 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.926 * [taylor]: Taking taylor expansion of (* 1/27 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.926 * [taylor]: Taking taylor expansion of 1/27 in a
2.926 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.926 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.932 * * * [progress]: simplifying candidates
2.933 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt 1)))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt 1)
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
2.937 * * [simplify]: iteration  0 :  71  enodes  (cost  1092 )
2.939 * * [simplify]: iteration  1 :  108  enodes  (cost  964 )
2.941 * * [simplify]: iteration  2 :  224  enodes  (cost  958 )
2.945 * * [simplify]: iteration  3 :  502  enodes  (cost  958 )
2.953 * * [simplify]: iteration  4 :  1121  enodes  (cost  958 )
2.975 * * [simplify]: iteration  5 :  2965  enodes  (cost  955 )
3.051 * * [simplify]: iteration  6 :  5001  enodes  (cost  937 )
3.055 * [simplify]: Simplified to:
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  1
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
  (pow (expm1 (sin (expm1 a))) 1/27)
3.055 * * * [progress]: adding candidates to table
3.955 * [progress]: [Phase 3 of 3] Extracting.
3.955 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (pow (expm1 (sin (expm1 a))) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (pow (expm1 (sin (expm1 a))) 1/3)))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (pow (expm1 (sin (expm1 a))) 1/27))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt 1) (pow (expm1 (sin (expm1 a))) 1/3)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
3.976 * * * [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)
3.976 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (pow (expm1 (sin (expm1 a))) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (pow (expm1 (sin (expm1 a))) 1/3)))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (pow (expm1 (sin (expm1 a))) 1/27))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt 1) (pow (expm1 (sin (expm1 a))) 1/3)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
4.480 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (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)))))>)
4.572 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (pow (expm1 (sin (expm1 a))) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (pow (expm1 (sin (expm1 a))) 1/3)))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (pow (expm1 (sin (expm1 a))) 1/27))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt 1) (pow (expm1 (sin (expm1 a))) 1/3)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
5.080 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (pow (expm1 (sin (expm1 a))) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (pow (expm1 (sin (expm1 a))) 1/3)))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (pow (expm1 (sin (expm1 a))) 1/27))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (log (exp (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (* (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt 1) (pow (expm1 (sin (expm1 a))) 1/3)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
5.534 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
5.535 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
5.535 * * [simplify]: iteration  0 :  22  enodes  (cost  45 )
5.536 * * [simplify]: iteration  1 :  22  enodes  (cost  45 )
5.536 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
33.098 * [regime-testing]: Baseline error score: 32.830354663819186
33.099 * [regime-testing]: Oracle error score: 31.122261868350773
33.129 * [regime-testing]: End program error score: 32.830354663819186