0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.418 * * * [progress]: [2/2] Setting up program.
0.422 * [progress]: [Phase 2 of 3] Improving.
0.422 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.425 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.425 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.425 * * [progress]: iteration 1 / 4
0.425 * * * [progress]: picking best candidate
0.428 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.428 * * * [progress]: localizing error
0.441 * * * [progress]: generating rewritten candidates
0.441 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.442 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.446 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.446 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.448 * * * [progress]: generating series expansions
0.448 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.451 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.452 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.453 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.455 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.455 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.455 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.456 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.456 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.457 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.457 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.457 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.457 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.457 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.457 * [taylor]: Rewrote expression to (- (exp a) 1)
0.457 * [taylor]: Taking taylor expansion of (exp a) in a
0.457 * [taylor]: Taking taylor expansion of a in a
0.458 * [taylor]: Taking taylor expansion of 1 in a
0.460 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.460 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.460 * [taylor]: Rewrote expression to (- (exp a) 1)
0.460 * [taylor]: Taking taylor expansion of (exp a) in a
0.460 * [taylor]: Taking taylor expansion of a in a
0.460 * [taylor]: Taking taylor expansion of 1 in a
0.472 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.472 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.473 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.473 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.473 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.473 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.473 * [taylor]: Taking taylor expansion of a in a
0.473 * [taylor]: Taking taylor expansion of 1 in a
0.474 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.474 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.474 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.474 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.474 * [taylor]: Taking taylor expansion of a in a
0.474 * [taylor]: Taking taylor expansion of 1 in a
0.496 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.496 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.496 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.496 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.497 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.497 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.497 * [taylor]: Taking taylor expansion of -1 in a
0.497 * [taylor]: Taking taylor expansion of a in a
0.497 * [taylor]: Taking taylor expansion of 1 in a
0.497 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.497 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.498 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.498 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.498 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.498 * [taylor]: Taking taylor expansion of -1 in a
0.498 * [taylor]: Taking taylor expansion of a in a
0.498 * [taylor]: Taking taylor expansion of 1 in a
0.526 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.526 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.526 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.526 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.526 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.526 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.526 * [taylor]: Rewrote expression to (- (exp a) 1)
0.526 * [taylor]: Taking taylor expansion of (exp a) in a
0.526 * [taylor]: Taking taylor expansion of a in a
0.526 * [taylor]: Taking taylor expansion of 1 in a
0.528 * [taylor]: Taking taylor expansion of 1 in a
0.528 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.528 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.528 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.528 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.528 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.528 * [taylor]: Rewrote expression to (- (exp a) 1)
0.528 * [taylor]: Taking taylor expansion of (exp a) in a
0.528 * [taylor]: Taking taylor expansion of a in a
0.528 * [taylor]: Taking taylor expansion of 1 in a
0.530 * [taylor]: Taking taylor expansion of 1 in a
0.540 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.540 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.540 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.540 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.540 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.540 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.540 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.540 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.540 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.540 * [taylor]: Taking taylor expansion of a in a
0.541 * [taylor]: Taking taylor expansion of 1 in a
0.541 * [taylor]: Taking taylor expansion of 1 in a
0.541 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.542 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.542 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.542 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.542 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.542 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.542 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.542 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.542 * [taylor]: Taking taylor expansion of a in a
0.542 * [taylor]: Taking taylor expansion of 1 in a
0.543 * [taylor]: Taking taylor expansion of 1 in a
0.575 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.575 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.575 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.575 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.575 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.575 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.575 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.575 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.575 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.575 * [taylor]: Taking taylor expansion of -1 in a
0.575 * [taylor]: Taking taylor expansion of a in a
0.575 * [taylor]: Taking taylor expansion of 1 in a
0.576 * [taylor]: Taking taylor expansion of 1 in a
0.576 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.576 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.576 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.576 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.576 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.576 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.576 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.576 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.576 * [taylor]: Taking taylor expansion of -1 in a
0.576 * [taylor]: Taking taylor expansion of a in a
0.577 * [taylor]: Taking taylor expansion of 1 in a
0.577 * [taylor]: Taking taylor expansion of 1 in a
0.612 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.612 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.612 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.612 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.613 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.613 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.613 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.613 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.613 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.614 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.614 * * * [progress]: simplifying candidates
0.615 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.618 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.621 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.625 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.641 * * [simplify]: iteration  3 :  2933  enodes  (cost  264 )
0.736 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.738 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.738 * * * [progress]: adding candidates to table
0.896 * * [progress]: iteration 2 / 4
0.896 * * * [progress]: picking best candidate
0.943 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))>
0.943 * * * [progress]: localizing error
0.958 * * * [progress]: generating rewritten candidates
0.958 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.959 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.962 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.964 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
0.967 * * * [progress]: generating series expansions
0.967 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.967 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.968 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.968 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.968 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.969 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.969 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.969 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.969 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.969 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
0.969 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
0.969 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.970 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
0.970 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.981 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
0.981 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
0.981 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.981 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
0.981 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.992 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
0.992 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
0.992 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.992 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
0.992 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.003 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.003 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
1.003 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.003 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.004 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
1.004 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.004 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.004 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
1.004 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.004 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.005 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
1.005 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.005 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.005 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.005 * [taylor]: Rewrote expression to (- (exp a) 1)
1.005 * [taylor]: Taking taylor expansion of (exp a) in a
1.005 * [taylor]: Taking taylor expansion of a in a
1.005 * [taylor]: Taking taylor expansion of 1 in a
1.007 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.007 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.007 * [taylor]: Rewrote expression to (- (exp a) 1)
1.007 * [taylor]: Taking taylor expansion of (exp a) in a
1.007 * [taylor]: Taking taylor expansion of a in a
1.007 * [taylor]: Taking taylor expansion of 1 in a
1.017 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.017 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.017 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.017 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.017 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.017 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.017 * [taylor]: Taking taylor expansion of a in a
1.017 * [taylor]: Taking taylor expansion of 1 in a
1.018 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.018 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.018 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.018 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.018 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.018 * [taylor]: Taking taylor expansion of a in a
1.018 * [taylor]: Taking taylor expansion of 1 in a
1.042 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.042 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.042 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.042 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.042 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.042 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.042 * [taylor]: Taking taylor expansion of -1 in a
1.042 * [taylor]: Taking taylor expansion of a in a
1.043 * [taylor]: Taking taylor expansion of 1 in a
1.043 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.043 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.043 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.043 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.043 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.043 * [taylor]: Taking taylor expansion of -1 in a
1.043 * [taylor]: Taking taylor expansion of a in a
1.044 * [taylor]: Taking taylor expansion of 1 in a
1.065 * * * [progress]: simplifying candidates
1.066 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (log (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (log (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2))
  (expm1 (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (exp (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt 1)
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2)))
  (* (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (* (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
1.070 * * [simplify]: iteration  0 :  156  enodes  (cost  650 )
1.074 * * [simplify]: iteration  1 :  538  enodes  (cost  592 )
1.088 * * [simplify]: iteration  2 :  3301  enodes  (cost  586 )
1.206 * * [simplify]: iteration  3 :  5002  enodes  (cost  586 )
1.209 * [simplify]: Simplified to:
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  3
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (sqrt 3))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (expm1 (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
1.210 * * * [progress]: adding candidates to table
1.411 * * [progress]: iteration 3 / 4
1.411 * * * [progress]: picking best candidate
1.487 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>
1.487 * * * [progress]: localizing error
1.508 * * * [progress]: generating rewritten candidates
1.508 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.512 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.514 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
1.523 * * * [progress]: generating series expansions
1.523 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.523 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.523 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.523 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.524 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.524 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.524 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.525 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.525 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.525 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.526 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.526 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
1.526 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
1.526 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.526 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
1.526 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.536 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
1.536 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
1.536 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.537 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
1.537 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.548 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
1.548 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
1.548 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.548 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
1.548 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.559 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.560 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
1.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.563 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
1.563 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.563 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.564 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
1.564 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.564 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.564 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
1.564 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
1.564 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
1.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
1.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
1.564 * [taylor]: Taking taylor expansion of 1/3 in a
1.564 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.565 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.565 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.565 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.565 * [taylor]: Rewrote expression to (- (exp a) 1)
1.565 * [taylor]: Taking taylor expansion of (exp a) in a
1.565 * [taylor]: Taking taylor expansion of a in a
1.565 * [taylor]: Taking taylor expansion of 1 in a
1.568 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
1.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
1.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
1.568 * [taylor]: Taking taylor expansion of 1/3 in a
1.568 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.568 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.568 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.568 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.568 * [taylor]: Rewrote expression to (- (exp a) 1)
1.568 * [taylor]: Taking taylor expansion of (exp a) in a
1.568 * [taylor]: Taking taylor expansion of a in a
1.568 * [taylor]: Taking taylor expansion of 1 in a
1.582 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
1.582 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
1.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.582 * [taylor]: Taking taylor expansion of 1/3 in a
1.582 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.582 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.583 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.583 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.583 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.583 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.583 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.583 * [taylor]: Taking taylor expansion of a in a
1.583 * [taylor]: Taking taylor expansion of 1 in a
1.584 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
1.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.584 * [taylor]: Taking taylor expansion of 1/3 in a
1.584 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.584 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.584 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.584 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.584 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.584 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.584 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.584 * [taylor]: Taking taylor expansion of a in a
1.584 * [taylor]: Taking taylor expansion of 1 in a
1.649 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
1.649 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.649 * [taylor]: Taking taylor expansion of 1/3 in a
1.649 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.649 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.649 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.649 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.649 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.649 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.649 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.649 * [taylor]: Taking taylor expansion of -1 in a
1.649 * [taylor]: Taking taylor expansion of a in a
1.650 * [taylor]: Taking taylor expansion of 1 in a
1.651 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.651 * [taylor]: Taking taylor expansion of 1/3 in a
1.651 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.651 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.651 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.651 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.651 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.651 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.651 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.651 * [taylor]: Taking taylor expansion of -1 in a
1.651 * [taylor]: Taking taylor expansion of a in a
1.652 * [taylor]: Taking taylor expansion of 1 in a
1.712 * * * [progress]: simplifying candidates
1.714 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3) (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (expm1 (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (exp (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt 1)
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2)))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2)))
  (* (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))) (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (* (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (expm1 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log1p (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (+ 1 1)
  (+ (log (cbrt (sin (expm1 a)))) (log (cbrt (sin (expm1 a)))))
  (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (exp (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 1 1)
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (- (+ (pow a 2/3) (* 1/3 (pow (pow a 5) 1/3))) (* 1/36 (pow (pow a 8) 1/3)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
1.721 * * [simplify]: iteration  0 :  235  enodes  (cost  1703 )
1.726 * * [simplify]: iteration  1 :  842  enodes  (cost  1547 )
1.750 * * [simplify]: iteration  2 :  5001  enodes  (cost  1346 )
1.756 * [simplify]: Simplified to:
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (pow (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) 3)
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  3
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (expm1 (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (exp (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (expm1 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log1p (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  2/3
  2
  (pow (sin (expm1 a)) 2)
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  2
  (* 2 (log (cbrt (sin (expm1 a)))))
  (* 2 (log (cbrt (sin (expm1 a)))))
  (pow (exp 1) (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (fabs (cbrt (sin (expm1 a))))
  (fabs (cbrt (sin (expm1 a))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  1
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  2/3
  2
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a)))))
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma (pow (pow a 5) 1/3) 1/3 (- (pow a 2/3) (* 1/36 (pow (pow a 8) 1/3))))
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
1.756 * * * [progress]: adding candidates to table
2.088 * * [progress]: iteration 4 / 4
2.088 * * * [progress]: picking best candidate
2.205 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>
2.205 * * * [progress]: localizing error
2.231 * * * [progress]: generating rewritten candidates
2.232 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.232 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
2.234 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1 2)
2.239 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1 2)
2.245 * * * [progress]: generating series expansions
2.245 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.246 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.246 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.246 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.247 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.247 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.247 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.249 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.249 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.249 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.249 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
2.250 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
2.250 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
2.250 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.250 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
2.250 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.261 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
2.261 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
2.261 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.261 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
2.261 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.273 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
2.273 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
2.273 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.273 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
2.273 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.284 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1 2)
2.284 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
2.284 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.284 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.284 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.284 * [taylor]: Taking taylor expansion of 1/9 in a
2.284 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.284 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.284 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.284 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.285 * [taylor]: Rewrote expression to (- (exp a) 1)
2.285 * [taylor]: Taking taylor expansion of (exp a) in a
2.285 * [taylor]: Taking taylor expansion of a in a
2.285 * [taylor]: Taking taylor expansion of 1 in a
2.290 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.290 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.290 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.290 * [taylor]: Taking taylor expansion of 1/9 in a
2.290 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.290 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.290 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.290 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.290 * [taylor]: Rewrote expression to (- (exp a) 1)
2.290 * [taylor]: Taking taylor expansion of (exp a) in a
2.290 * [taylor]: Taking taylor expansion of a in a
2.290 * [taylor]: Taking taylor expansion of 1 in a
2.304 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
2.304 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.304 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.304 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.304 * [taylor]: Taking taylor expansion of 1/9 in a
2.304 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.304 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.304 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.304 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.304 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.305 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.305 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.305 * [taylor]: Taking taylor expansion of a in a
2.305 * [taylor]: Taking taylor expansion of 1 in a
2.306 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.306 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.306 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.306 * [taylor]: Taking taylor expansion of 1/9 in a
2.306 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.306 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.306 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.306 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.306 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.306 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.306 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.306 * [taylor]: Taking taylor expansion of a in a
2.306 * [taylor]: Taking taylor expansion of 1 in a
2.368 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
2.368 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.368 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.368 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.368 * [taylor]: Taking taylor expansion of 1/9 in a
2.368 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.368 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.368 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.368 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.368 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.368 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.368 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.368 * [taylor]: Taking taylor expansion of -1 in a
2.368 * [taylor]: Taking taylor expansion of a in a
2.369 * [taylor]: Taking taylor expansion of 1 in a
2.370 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.370 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.370 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.370 * [taylor]: Taking taylor expansion of 1/9 in a
2.370 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.370 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.370 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.370 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.370 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.370 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.370 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.370 * [taylor]: Taking taylor expansion of -1 in a
2.370 * [taylor]: Taking taylor expansion of a in a
2.370 * [taylor]: Taking taylor expansion of 1 in a
2.433 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1 1 2)
2.434 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
2.434 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.434 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.434 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.434 * [taylor]: Taking taylor expansion of 1/9 in a
2.434 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.434 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.434 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.434 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.434 * [taylor]: Rewrote expression to (- (exp a) 1)
2.434 * [taylor]: Taking taylor expansion of (exp a) in a
2.434 * [taylor]: Taking taylor expansion of a in a
2.434 * [taylor]: Taking taylor expansion of 1 in a
2.437 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.437 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.437 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.437 * [taylor]: Taking taylor expansion of 1/9 in a
2.437 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.437 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.437 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.437 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.437 * [taylor]: Rewrote expression to (- (exp a) 1)
2.438 * [taylor]: Taking taylor expansion of (exp a) in a
2.438 * [taylor]: Taking taylor expansion of a in a
2.438 * [taylor]: Taking taylor expansion of 1 in a
2.451 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
2.451 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.451 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.451 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.451 * [taylor]: Taking taylor expansion of 1/9 in a
2.451 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.451 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.451 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.451 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.451 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.451 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.451 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.451 * [taylor]: Taking taylor expansion of a in a
2.452 * [taylor]: Taking taylor expansion of 1 in a
2.453 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.453 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.453 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.453 * [taylor]: Taking taylor expansion of 1/9 in a
2.453 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.453 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.453 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.453 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.453 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.453 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.453 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.453 * [taylor]: Taking taylor expansion of a in a
2.453 * [taylor]: Taking taylor expansion of 1 in a
2.517 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
2.518 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.518 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.518 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.518 * [taylor]: Taking taylor expansion of 1/9 in a
2.518 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.518 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.518 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.518 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.518 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.518 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.518 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.518 * [taylor]: Taking taylor expansion of -1 in a
2.518 * [taylor]: Taking taylor expansion of a in a
2.518 * [taylor]: Taking taylor expansion of 1 in a
2.519 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.519 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.519 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.519 * [taylor]: Taking taylor expansion of 1/9 in a
2.519 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.519 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.519 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.520 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.520 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.520 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.520 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.520 * [taylor]: Taking taylor expansion of -1 in a
2.520 * [taylor]: Taking taylor expansion of a in a
2.520 * [taylor]: Taking taylor expansion of 1 in a
2.584 * * * [progress]: simplifying candidates
2.585 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (log (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* (log (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3) (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
2.592 * * [simplify]: iteration  0 :  167  enodes  (cost  1914 )
2.596 * * [simplify]: iteration  1 :  519  enodes  (cost  1602 )
2.612 * * [simplify]: iteration  2 :  3301  enodes  (cost  1594 )
2.725 * * [simplify]: iteration  3 :  5001  enodes  (cost  1594 )
2.730 * [simplify]: Simplified to:
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (pow (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) 3)
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  3
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3/2)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (log (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))
  (pow (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3) 3)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3/2)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (sqrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3/2)
  (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3/2)
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (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 (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
2.731 * * * [progress]: adding candidates to table
3.004 * [progress]: [Phase 3 of 3] Extracting.
3.004 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sqrt (cbrt (sin (expm1 a)))) 4) 1) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) 3))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>)
3.018 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
3.018 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sqrt (cbrt (sin (expm1 a)))) 4) 1) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) 3))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>)
3.207 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (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 (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
3.250 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sqrt (cbrt (sin (expm1 a)))) 4) 1) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) 3))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>)
3.420 * * * [regime]: Found split indices: #<option (#s(si 18 255))>
3.420 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
3.421 * * [simplify]: iteration  0 :  21  enodes  (cost  39 )
3.421 * * [simplify]: iteration  1 :  21  enodes  (cost  39 )
3.421 * [simplify]: Simplified to:
   (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
19.712 * [regime-testing]: Baseline error score: 33.49606032961204
19.713 * [regime-testing]: Oracle error score: 31.446263924993193
19.715 * [regime-testing]: End program error score: 33.49606032961204