0.012 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.422 * * * [progress]: [2/2] Setting up program.
0.426 * [progress]: [Phase 2 of 3] Improving.
0.426 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.426 * [simplify]: Sending expressions to egg_math:
 (fabs (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
0.428 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.428 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.428 * * [progress]: iteration 1 / 4
0.428 * * * [progress]: picking best candidate
0.431 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.431 * * * [progress]: localizing error
0.450 * * * [progress]: generating rewritten candidates
0.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.450 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.452 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.453 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.453 * * * [progress]: generating series expansions
0.454 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.454 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.454 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.454 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.454 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.454 * [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.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 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.456 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.456 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.456 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.456 * [taylor]: Rewrote expression to (- (exp a) 1)
0.456 * [taylor]: Taking taylor expansion of (exp a) in a
0.456 * [taylor]: Taking taylor expansion of a in a
0.456 * [taylor]: Taking taylor expansion of 1 in a
0.458 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.458 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.458 * [taylor]: Rewrote expression to (- (exp a) 1)
0.458 * [taylor]: Taking taylor expansion of (exp a) in a
0.458 * [taylor]: Taking taylor expansion of a in a
0.458 * [taylor]: Taking taylor expansion of 1 in a
0.468 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.468 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.468 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.468 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.468 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.468 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.468 * [taylor]: Taking taylor expansion of a in a
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.469 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.469 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.469 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.469 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.469 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.469 * [taylor]: Taking taylor expansion of a in a
0.469 * [taylor]: Taking taylor expansion of 1 in a
0.489 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.489 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.489 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.489 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.489 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.489 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.489 * [taylor]: Taking taylor expansion of -1 in a
0.489 * [taylor]: Taking taylor expansion of a in a
0.490 * [taylor]: Taking taylor expansion of 1 in a
0.490 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.490 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.490 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.490 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.490 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.490 * [taylor]: Taking taylor expansion of -1 in a
0.490 * [taylor]: Taking taylor expansion of a in a
0.490 * [taylor]: Taking taylor expansion of 1 in a
0.510 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.510 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.510 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.510 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.510 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.510 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.510 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.511 * [taylor]: Rewrote expression to (- (exp a) 1)
0.511 * [taylor]: Taking taylor expansion of (exp a) in a
0.511 * [taylor]: Taking taylor expansion of a in a
0.511 * [taylor]: Taking taylor expansion of 1 in a
0.512 * [taylor]: Taking taylor expansion of 1 in a
0.512 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.512 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.512 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.512 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.512 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.512 * [taylor]: Rewrote expression to (- (exp a) 1)
0.512 * [taylor]: Taking taylor expansion of (exp a) in a
0.513 * [taylor]: Taking taylor expansion of a in a
0.513 * [taylor]: Taking taylor expansion of 1 in a
0.514 * [taylor]: Taking taylor expansion of 1 in a
0.523 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.523 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.523 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.523 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.523 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.523 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.523 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.524 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.524 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.524 * [taylor]: Taking taylor expansion of a in a
0.524 * [taylor]: Taking taylor expansion of 1 in a
0.524 * [taylor]: Taking taylor expansion of 1 in a
0.524 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.524 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.524 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.525 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.525 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.525 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.525 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.525 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.525 * [taylor]: Taking taylor expansion of a in a
0.525 * [taylor]: Taking taylor expansion of 1 in a
0.525 * [taylor]: Taking taylor expansion of 1 in a
0.560 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.560 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.560 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.560 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.560 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.560 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.560 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.560 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.560 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.560 * [taylor]: Taking taylor expansion of -1 in a
0.560 * [taylor]: Taking taylor expansion of a in a
0.561 * [taylor]: Taking taylor expansion of 1 in a
0.561 * [taylor]: Taking taylor expansion of 1 in a
0.561 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.561 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.561 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.561 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.561 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.561 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.561 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.561 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.561 * [taylor]: Taking taylor expansion of -1 in a
0.562 * [taylor]: Taking taylor expansion of a in a
0.562 * [taylor]: Taking taylor expansion of 1 in a
0.562 * [taylor]: Taking taylor expansion of 1 in a
0.591 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
0.591 * [approximate]: Taking taylor expansion of (expm1 a) in (a) around 0
0.591 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.592 * [taylor]: Rewrote expression to (- (exp a) 1)
0.592 * [taylor]: Taking taylor expansion of (exp a) in a
0.592 * [taylor]: Taking taylor expansion of a in a
0.592 * [taylor]: Taking taylor expansion of 1 in a
0.592 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.592 * [taylor]: Rewrote expression to (- (exp a) 1)
0.592 * [taylor]: Taking taylor expansion of (exp a) in a
0.592 * [taylor]: Taking taylor expansion of a in a
0.592 * [taylor]: Taking taylor expansion of 1 in a
0.596 * [approximate]: Taking taylor expansion of (expm1 (/ 1 a)) in (a) around 0
0.596 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.596 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.596 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.596 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.596 * [taylor]: Taking taylor expansion of a in a
0.597 * [taylor]: Taking taylor expansion of 1 in a
0.597 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.597 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.597 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.597 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.597 * [taylor]: Taking taylor expansion of a in a
0.597 * [taylor]: Taking taylor expansion of 1 in a
0.600 * [approximate]: Taking taylor expansion of (expm1 (/ -1 a)) in (a) around 0
0.600 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.600 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.600 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.600 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.600 * [taylor]: Taking taylor expansion of -1 in a
0.600 * [taylor]: Taking taylor expansion of a in a
0.600 * [taylor]: Taking taylor expansion of 1 in a
0.600 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.600 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.600 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.600 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.600 * [taylor]: Taking taylor expansion of -1 in a
0.600 * [taylor]: Taking taylor expansion of a in a
0.600 * [taylor]: Taking taylor expansion of 1 in a
0.603 * * * [progress]: simplifying candidates
0.604 * [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))))
  (exp a)
  (expm1 (expm1 a))
  (log1p (expm1 a))
  (log (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (* (* (expm1 a) (expm1 a)) (expm1 a))
  (sqrt (expm1 a))
  (sqrt (expm1 a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 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)
  (+ (* 1/6 (pow a 3)) (+ (* 1/2 (pow a 2)) a))
  (- (exp a) 1)
  (- (exp a) 1)
0.604 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (log1p (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (log (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (expm1 (sin (expm1 h0)))
 (log1p (sin (expm1 h0)))
 (* (sin (exp h0)) (cos 1))
 (* (cos (exp h0)) (sin 1))
 (log (sin (expm1 h0)))
 (exp (sin (expm1 h0)))
 (* (cbrt (sin (expm1 h0))) (cbrt (sin (expm1 h0))))
 (cbrt (sin (expm1 h0)))
 (* (* (sin (expm1 h0)) (sin (expm1 h0))) (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (exp (sin (expm1 h0)))
 (expm1 (expm1 (sin (expm1 h0))))
 (log1p (expm1 (sin (expm1 h0))))
 (log (expm1 (sin (expm1 h0))))
 (exp (expm1 (sin (expm1 h0))))
 (* (cbrt (expm1 (sin (expm1 h0)))) (cbrt (expm1 (sin (expm1 h0)))))
 (cbrt (expm1 (sin (expm1 h0))))
 (* (* (expm1 (sin (expm1 h0))) (expm1 (sin (expm1 h0)))) (expm1 (sin (expm1 h0))))
 (sqrt (expm1 (sin (expm1 h0))))
 (sqrt (expm1 (sin (expm1 h0))))
 (exp h0)
 (expm1 (expm1 h0))
 (log1p (expm1 h0))
 (log (expm1 h0))
 (exp (expm1 h0))
 (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))
 (cbrt (expm1 h0))
 (* (* (expm1 h0) (expm1 h0)) (expm1 h0))
 (sqrt (expm1 h0))
 (sqrt (expm1 h0))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (- (+ (* 1/2 (pow h0 2)) h0) (* 5/24 (pow h0 4)))
 (sin (- (exp h0) 1))
 (sin (- (exp h0) 1))
 (+ (* 2/3 (pow h0 3)) (+ (pow h0 2) h0))
 (- (exp (sin (- (exp h0) 1))) 1)
 (- (exp (sin (- (exp h0) 1))) 1)
 (+ (* 1/6 (pow h0 3)) (+ (* 1/2 (pow h0 2)) h0))
 (- (exp h0) 1)
 (- (exp h0) 1)
0.607 * * [simplify]: iteration  0 :  116  enodes  (cost  244 )
0.609 * * [simplify]: iteration  1 :  307  enodes  (cost  214 )
0.614 * * [simplify]: iteration  2 :  893  enodes  (cost  214 )
0.633 * * [simplify]: iteration  3 :  3768  enodes  (cost  214 )
0.746 * * [simplify]: iteration  4 :  5001  enodes  (cost  213 )
0.747 * [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))))
  (exp a)
  (expm1 (expm1 a))
  a
  (log (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (pow (expm1 a) 3)
  (sqrt (expm1 a))
  (sqrt (expm1 a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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)))
  (fma (fma a 1/6 1/2) (pow a 2) a)
  (expm1 a)
  (expm1 a)
0.748 * * * [progress]: adding candidates to table
0.914 * * [progress]: iteration 2 / 4
0.914 * * * [progress]: picking best candidate
0.955 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))>
0.955 * * * [progress]: localizing error
0.972 * * * [progress]: generating rewritten candidates
0.972 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
0.973 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
0.974 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
0.975 * * * [progress]: generating series expansions
0.975 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.976 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.976 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.976 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.976 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.976 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.976 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.977 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.977 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.977 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.978 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
0.978 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
0.978 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
0.978 * [taylor]: Taking taylor expansion of 1/3 in a
0.978 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
0.978 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.978 * [taylor]: Rewrote expression to (- (exp a) 1)
0.978 * [taylor]: Taking taylor expansion of (exp a) in a
0.978 * [taylor]: Taking taylor expansion of a in a
0.978 * [taylor]: Taking taylor expansion of 1 in a
0.980 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
0.981 * [taylor]: Taking taylor expansion of 1/3 in a
0.981 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
0.981 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.981 * [taylor]: Rewrote expression to (- (exp a) 1)
0.981 * [taylor]: Taking taylor expansion of (exp a) in a
0.981 * [taylor]: Taking taylor expansion of a in a
0.981 * [taylor]: Taking taylor expansion of 1 in a
0.991 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
0.991 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
0.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
0.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
0.991 * [taylor]: Taking taylor expansion of 1/3 in a
0.992 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
0.992 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.992 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.992 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.992 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.992 * [taylor]: Taking taylor expansion of a in a
0.992 * [taylor]: Taking taylor expansion of 1 in a
0.992 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
0.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
0.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
0.992 * [taylor]: Taking taylor expansion of 1/3 in a
0.992 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
0.992 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.992 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.993 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.993 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.993 * [taylor]: Taking taylor expansion of a in a
0.993 * [taylor]: Taking taylor expansion of 1 in a
1.026 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
1.026 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.026 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.026 * [taylor]: Taking taylor expansion of 1/3 in a
1.026 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.026 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.026 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.026 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.026 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.026 * [taylor]: Taking taylor expansion of -1 in a
1.026 * [taylor]: Taking taylor expansion of a in a
1.027 * [taylor]: Taking taylor expansion of 1 in a
1.027 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.027 * [taylor]: Taking taylor expansion of 1/3 in a
1.027 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.027 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.027 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.027 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.027 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.027 * [taylor]: Taking taylor expansion of -1 in a
1.027 * [taylor]: Taking taylor expansion of a in a
1.028 * [taylor]: Taking taylor expansion of 1 in a
1.065 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2)
1.065 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
1.065 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.065 * [taylor]: Taking taylor expansion of 1/3 in a
1.065 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.065 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.065 * [taylor]: Rewrote expression to (- (exp a) 1)
1.065 * [taylor]: Taking taylor expansion of (exp a) in a
1.065 * [taylor]: Taking taylor expansion of a in a
1.065 * [taylor]: Taking taylor expansion of 1 in a
1.067 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.067 * [taylor]: Taking taylor expansion of 1/3 in a
1.067 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.067 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.067 * [taylor]: Rewrote expression to (- (exp a) 1)
1.068 * [taylor]: Taking taylor expansion of (exp a) in a
1.068 * [taylor]: Taking taylor expansion of a in a
1.068 * [taylor]: Taking taylor expansion of 1 in a
1.077 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
1.077 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.077 * [taylor]: Taking taylor expansion of 1/3 in a
1.077 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.077 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.077 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.077 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.077 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.077 * [taylor]: Taking taylor expansion of a in a
1.078 * [taylor]: Taking taylor expansion of 1 in a
1.078 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.078 * [taylor]: Taking taylor expansion of 1/3 in a
1.078 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.078 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.078 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.078 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.078 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.078 * [taylor]: Taking taylor expansion of a in a
1.078 * [taylor]: Taking taylor expansion of 1 in a
1.112 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
1.112 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.112 * [taylor]: Taking taylor expansion of 1/3 in a
1.112 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.112 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.112 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.112 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.112 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.112 * [taylor]: Taking taylor expansion of -1 in a
1.112 * [taylor]: Taking taylor expansion of a in a
1.112 * [taylor]: Taking taylor expansion of 1 in a
1.113 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.113 * [taylor]: Taking taylor expansion of 1/3 in a
1.113 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.113 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.113 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.113 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.113 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.113 * [taylor]: Taking taylor expansion of -1 in a
1.113 * [taylor]: Taking taylor expansion of a in a
1.113 * [taylor]: Taking taylor expansion of 1 in a
1.151 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
1.151 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
1.151 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.151 * [taylor]: Taking taylor expansion of 1/3 in a
1.151 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.151 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.151 * [taylor]: Rewrote expression to (- (exp a) 1)
1.151 * [taylor]: Taking taylor expansion of (exp a) in a
1.151 * [taylor]: Taking taylor expansion of a in a
1.151 * [taylor]: Taking taylor expansion of 1 in a
1.153 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
1.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
1.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
1.153 * [taylor]: Taking taylor expansion of 1/3 in a
1.153 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
1.153 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.153 * [taylor]: Rewrote expression to (- (exp a) 1)
1.153 * [taylor]: Taking taylor expansion of (exp a) in a
1.153 * [taylor]: Taking taylor expansion of a in a
1.153 * [taylor]: Taking taylor expansion of 1 in a
1.162 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
1.162 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.162 * [taylor]: Taking taylor expansion of 1/3 in a
1.162 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.163 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.163 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.163 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.163 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.163 * [taylor]: Taking taylor expansion of a in a
1.163 * [taylor]: Taking taylor expansion of 1 in a
1.163 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
1.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
1.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
1.163 * [taylor]: Taking taylor expansion of 1/3 in a
1.163 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
1.163 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.163 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.163 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.164 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.164 * [taylor]: Taking taylor expansion of a in a
1.164 * [taylor]: Taking taylor expansion of 1 in a
1.196 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
1.196 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.196 * [taylor]: Taking taylor expansion of 1/3 in a
1.197 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.197 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.197 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.197 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.197 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.197 * [taylor]: Taking taylor expansion of -1 in a
1.197 * [taylor]: Taking taylor expansion of a in a
1.197 * [taylor]: Taking taylor expansion of 1 in a
1.197 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
1.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
1.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
1.197 * [taylor]: Taking taylor expansion of 1/3 in a
1.197 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
1.197 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.198 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.198 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.198 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.198 * [taylor]: Taking taylor expansion of -1 in a
1.198 * [taylor]: Taking taylor expansion of a in a
1.198 * [taylor]: Taking taylor expansion of 1 in a
1.235 * * * [progress]: simplifying candidates
1.236 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 1/6 (pow (pow a 4) 1/3)) (+ (* 1/36 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp a) 1) 1/3)
  (pow (- (exp a) 1) 1/3)
  (+ (* 1/6 (pow (pow a 4) 1/3)) (+ (* 1/36 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp a) 1) 1/3)
  (pow (- (exp a) 1) 1/3)
  (+ (* 1/6 (pow (pow a 4) 1/3)) (+ (* 1/36 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp a) 1) 1/3)
  (pow (- (exp a) 1) 1/3)
1.236 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (log1p (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0))))) (atan h0)) h0))
 (expm1 (cbrt (expm1 h0)))
 (log1p (cbrt (expm1 h0)))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (expm1 (cbrt (expm1 h0)))
 (log1p (cbrt (expm1 h0)))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (expm1 (cbrt (expm1 h0)))
 (log1p (cbrt (expm1 h0)))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (+ (* 1/6 (pow (pow h0 4) 1/3)) (+ (* 1/36 (pow (pow h0 7) 1/3)) (pow h0 1/3)))
 (pow (- (exp h0) 1) 1/3)
 (pow (- (exp h0) 1) 1/3)
 (+ (* 1/6 (pow (pow h0 4) 1/3)) (+ (* 1/36 (pow (pow h0 7) 1/3)) (pow h0 1/3)))
 (pow (- (exp h0) 1) 1/3)
 (pow (- (exp h0) 1) 1/3)
 (+ (* 1/6 (pow (pow h0 4) 1/3)) (+ (* 1/36 (pow (pow h0 7) 1/3)) (pow h0 1/3)))
 (pow (- (exp h0) 1) 1/3)
 (pow (- (exp h0) 1) 1/3)
1.239 * * [simplify]: iteration  0 :  86  enodes  (cost  381 )
1.241 * * [simplify]: iteration  1 :  186  enodes  (cost  339 )
1.245 * * [simplify]: iteration  2 :  492  enodes  (cost  333 )
1.257 * * [simplify]: iteration  3 :  1848  enodes  (cost  326 )
1.310 * * [simplify]: iteration  4 :  5002  enodes  (cost  323 )
1.312 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  1
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  1
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  1
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 a))
  (cbrt (expm1 a))
  (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 a))
  (cbrt (expm1 a))
  (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 a))
  (cbrt (expm1 a))
1.312 * * * [progress]: adding candidates to table
1.522 * * [progress]: iteration 3 / 4
1.522 * * * [progress]: picking best candidate
1.611 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
1.611 * * * [progress]: localizing error
1.623 * * * [progress]: generating rewritten candidates
1.623 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.623 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.625 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.626 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
1.627 * * * [progress]: generating series expansions
1.627 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.627 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.627 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.627 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.627 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.628 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.628 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.628 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.628 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.628 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.629 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.629 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.629 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.629 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.629 * [taylor]: Rewrote expression to (- (exp a) 1)
1.629 * [taylor]: Taking taylor expansion of (exp a) in a
1.629 * [taylor]: Taking taylor expansion of a in a
1.629 * [taylor]: Taking taylor expansion of 1 in a
1.631 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.631 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.631 * [taylor]: Rewrote expression to (- (exp a) 1)
1.631 * [taylor]: Taking taylor expansion of (exp a) in a
1.631 * [taylor]: Taking taylor expansion of a in a
1.631 * [taylor]: Taking taylor expansion of 1 in a
1.643 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.643 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.643 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.643 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.643 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.643 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.643 * [taylor]: Taking taylor expansion of a in a
1.644 * [taylor]: Taking taylor expansion of 1 in a
1.644 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.644 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.644 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.644 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.644 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.644 * [taylor]: Taking taylor expansion of a in a
1.644 * [taylor]: Taking taylor expansion of 1 in a
1.664 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.664 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.664 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.664 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.664 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.664 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.664 * [taylor]: Taking taylor expansion of -1 in a
1.664 * [taylor]: Taking taylor expansion of a in a
1.664 * [taylor]: Taking taylor expansion of 1 in a
1.665 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.665 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.665 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.665 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.665 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.665 * [taylor]: Taking taylor expansion of -1 in a
1.665 * [taylor]: Taking taylor expansion of a in a
1.665 * [taylor]: Taking taylor expansion of 1 in a
1.684 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.684 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
1.684 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.684 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.684 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.684 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.684 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.684 * [taylor]: Rewrote expression to (- (exp a) 1)
1.684 * [taylor]: Taking taylor expansion of (exp a) in a
1.684 * [taylor]: Taking taylor expansion of a in a
1.684 * [taylor]: Taking taylor expansion of 1 in a
1.686 * [taylor]: Taking taylor expansion of 1 in a
1.686 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.686 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.686 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.686 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.686 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.686 * [taylor]: Rewrote expression to (- (exp a) 1)
1.686 * [taylor]: Taking taylor expansion of (exp a) in a
1.686 * [taylor]: Taking taylor expansion of a in a
1.686 * [taylor]: Taking taylor expansion of 1 in a
1.688 * [taylor]: Taking taylor expansion of 1 in a
1.697 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
1.697 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.697 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.697 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.697 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.698 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.698 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.698 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.698 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.698 * [taylor]: Taking taylor expansion of a in a
1.698 * [taylor]: Taking taylor expansion of 1 in a
1.698 * [taylor]: Taking taylor expansion of 1 in a
1.698 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.699 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.699 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.699 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.699 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.699 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.699 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.699 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.699 * [taylor]: Taking taylor expansion of a in a
1.699 * [taylor]: Taking taylor expansion of 1 in a
1.700 * [taylor]: Taking taylor expansion of 1 in a
1.733 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
1.734 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.734 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.734 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.734 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.734 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.734 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.734 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.734 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.734 * [taylor]: Taking taylor expansion of -1 in a
1.734 * [taylor]: Taking taylor expansion of a in a
1.734 * [taylor]: Taking taylor expansion of 1 in a
1.735 * [taylor]: Taking taylor expansion of 1 in a
1.735 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.735 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.735 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.735 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.735 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.735 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.735 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.735 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.735 * [taylor]: Taking taylor expansion of -1 in a
1.735 * [taylor]: Taking taylor expansion of a in a
1.735 * [taylor]: Taking taylor expansion of 1 in a
1.736 * [taylor]: Taking taylor expansion of 1 in a
1.765 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.765 * [approximate]: Taking taylor expansion of (expm1 a) in (a) around 0
1.765 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.765 * [taylor]: Rewrote expression to (- (exp a) 1)
1.765 * [taylor]: Taking taylor expansion of (exp a) in a
1.765 * [taylor]: Taking taylor expansion of a in a
1.765 * [taylor]: Taking taylor expansion of 1 in a
1.765 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.765 * [taylor]: Rewrote expression to (- (exp a) 1)
1.765 * [taylor]: Taking taylor expansion of (exp a) in a
1.765 * [taylor]: Taking taylor expansion of a in a
1.765 * [taylor]: Taking taylor expansion of 1 in a
1.770 * [approximate]: Taking taylor expansion of (expm1 (/ 1 a)) in (a) around 0
1.770 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.770 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.770 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.770 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.770 * [taylor]: Taking taylor expansion of a in a
1.770 * [taylor]: Taking taylor expansion of 1 in a
1.770 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.770 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.770 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.770 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.770 * [taylor]: Taking taylor expansion of a in a
1.771 * [taylor]: Taking taylor expansion of 1 in a
1.773 * [approximate]: Taking taylor expansion of (expm1 (/ -1 a)) in (a) around 0
1.773 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.773 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.773 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.773 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.773 * [taylor]: Taking taylor expansion of -1 in a
1.773 * [taylor]: Taking taylor expansion of a in a
1.774 * [taylor]: Taking taylor expansion of 1 in a
1.774 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.774 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.774 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.774 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.774 * [taylor]: Taking taylor expansion of -1 in a
1.774 * [taylor]: Taking taylor expansion of a in a
1.774 * [taylor]: Taking taylor expansion of 1 in a
1.777 * * * [progress]: simplifying candidates
1.777 * [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))))
  (exp a)
  (expm1 (expm1 a))
  (log1p (expm1 a))
  (log (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (* (* (expm1 a) (expm1 a)) (expm1 a))
  (sqrt (expm1 a))
  (sqrt (expm1 a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 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)
  (+ (* 1/6 (pow a 3)) (+ (* 1/2 (pow a 2)) a))
  (- (exp a) 1)
  (- (exp a) 1)
1.778 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (log1p (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (log (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (expm1 (sin (expm1 h0)))
 (log1p (sin (expm1 h0)))
 (* (sin (exp h0)) (cos 1))
 (* (cos (exp h0)) (sin 1))
 (log (sin (expm1 h0)))
 (exp (sin (expm1 h0)))
 (* (cbrt (sin (expm1 h0))) (cbrt (sin (expm1 h0))))
 (cbrt (sin (expm1 h0)))
 (* (* (sin (expm1 h0)) (sin (expm1 h0))) (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (exp (sin (expm1 h0)))
 (expm1 (expm1 (sin (expm1 h0))))
 (log1p (expm1 (sin (expm1 h0))))
 (log (expm1 (sin (expm1 h0))))
 (exp (expm1 (sin (expm1 h0))))
 (* (cbrt (expm1 (sin (expm1 h0)))) (cbrt (expm1 (sin (expm1 h0)))))
 (cbrt (expm1 (sin (expm1 h0))))
 (* (* (expm1 (sin (expm1 h0))) (expm1 (sin (expm1 h0)))) (expm1 (sin (expm1 h0))))
 (sqrt (expm1 (sin (expm1 h0))))
 (sqrt (expm1 (sin (expm1 h0))))
 (exp h0)
 (expm1 (expm1 h0))
 (log1p (expm1 h0))
 (log (expm1 h0))
 (exp (expm1 h0))
 (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))
 (cbrt (expm1 h0))
 (* (* (expm1 h0) (expm1 h0)) (expm1 h0))
 (sqrt (expm1 h0))
 (sqrt (expm1 h0))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (- (+ (* 1/2 (pow h0 2)) h0) (* 5/24 (pow h0 4)))
 (sin (- (exp h0) 1))
 (sin (- (exp h0) 1))
 (+ (* 2/3 (pow h0 3)) (+ (pow h0 2) h0))
 (- (exp (sin (- (exp h0) 1))) 1)
 (- (exp (sin (- (exp h0) 1))) 1)
 (+ (* 1/6 (pow h0 3)) (+ (* 1/2 (pow h0 2)) h0))
 (- (exp h0) 1)
 (- (exp h0) 1)
1.781 * * [simplify]: iteration  0 :  116  enodes  (cost  244 )
1.783 * * [simplify]: iteration  1 :  307  enodes  (cost  214 )
1.788 * * [simplify]: iteration  2 :  893  enodes  (cost  214 )
1.807 * * [simplify]: iteration  3 :  3768  enodes  (cost  214 )
1.917 * * [simplify]: iteration  4 :  5001  enodes  (cost  213 )
1.918 * [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))))
  (exp a)
  (expm1 (expm1 a))
  a
  (log (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (pow (expm1 a) 3)
  (sqrt (expm1 a))
  (sqrt (expm1 a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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)))
  (fma (fma a 1/6 1/2) (pow a 2) a)
  (expm1 a)
  (expm1 a)
1.918 * * * [progress]: adding candidates to table
2.048 * * [progress]: iteration 4 / 4
2.048 * * * [progress]: picking best candidate
2.133 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))>
2.133 * * * [progress]: localizing error
2.158 * * * [progress]: generating rewritten candidates
2.158 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.158 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2 2)
2.159 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2 2 1)
2.160 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 1 1 2)
2.162 * * * [progress]: generating series expansions
2.162 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.162 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.162 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.163 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.163 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.163 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.164 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.165 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.165 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.165 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.165 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2 2)
2.165 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/9) in (a) around 0
2.165 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/9) in a
2.165 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 a)))) in a
2.165 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 a))) in a
2.166 * [taylor]: Taking taylor expansion of 1/9 in a
2.166 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
2.166 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.166 * [taylor]: Rewrote expression to (- (exp a) 1)
2.166 * [taylor]: Taking taylor expansion of (exp a) in a
2.166 * [taylor]: Taking taylor expansion of a in a
2.166 * [taylor]: Taking taylor expansion of 1 in a
2.168 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/9) in a
2.168 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 a)))) in a
2.168 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 a))) in a
2.168 * [taylor]: Taking taylor expansion of 1/9 in a
2.168 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
2.168 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.168 * [taylor]: Rewrote expression to (- (exp a) 1)
2.168 * [taylor]: Taking taylor expansion of (exp a) in a
2.168 * [taylor]: Taking taylor expansion of a in a
2.168 * [taylor]: Taking taylor expansion of 1 in a
2.179 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/9) in (a) around 0
2.179 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/9) in a
2.179 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (/ 1 a))))) in a
2.179 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (/ 1 a)))) in a
2.179 * [taylor]: Taking taylor expansion of 1/9 in a
2.179 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
2.179 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.179 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.179 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.179 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.179 * [taylor]: Taking taylor expansion of a in a
2.179 * [taylor]: Taking taylor expansion of 1 in a
2.180 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/9) in a
2.180 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (/ 1 a))))) in a
2.180 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (/ 1 a)))) in a
2.180 * [taylor]: Taking taylor expansion of 1/9 in a
2.180 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
2.180 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.180 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.180 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.180 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.180 * [taylor]: Taking taylor expansion of a in a
2.180 * [taylor]: Taking taylor expansion of 1 in a
2.213 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/9) in (a) around 0
2.213 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/9) in a
2.213 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (/ -1 a))))) in a
2.213 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (/ -1 a)))) in a
2.213 * [taylor]: Taking taylor expansion of 1/9 in a
2.213 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
2.213 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.213 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.213 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.213 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.213 * [taylor]: Taking taylor expansion of -1 in a
2.213 * [taylor]: Taking taylor expansion of a in a
2.214 * [taylor]: Taking taylor expansion of 1 in a
2.214 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/9) in a
2.214 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (/ -1 a))))) in a
2.214 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (/ -1 a)))) in a
2.214 * [taylor]: Taking taylor expansion of 1/9 in a
2.214 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
2.214 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.214 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.214 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.214 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.214 * [taylor]: Taking taylor expansion of -1 in a
2.214 * [taylor]: Taking taylor expansion of a in a
2.215 * [taylor]: Taking taylor expansion of 1 in a
2.253 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2 2 1)
2.253 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
2.253 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
2.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
2.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
2.253 * [taylor]: Taking taylor expansion of 1/3 in a
2.253 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
2.253 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.253 * [taylor]: Rewrote expression to (- (exp a) 1)
2.253 * [taylor]: Taking taylor expansion of (exp a) in a
2.253 * [taylor]: Taking taylor expansion of a in a
2.253 * [taylor]: Taking taylor expansion of 1 in a
2.255 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
2.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
2.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
2.255 * [taylor]: Taking taylor expansion of 1/3 in a
2.255 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
2.255 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.255 * [taylor]: Rewrote expression to (- (exp a) 1)
2.255 * [taylor]: Taking taylor expansion of (exp a) in a
2.255 * [taylor]: Taking taylor expansion of a in a
2.255 * [taylor]: Taking taylor expansion of 1 in a
2.265 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
2.265 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
2.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
2.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
2.265 * [taylor]: Taking taylor expansion of 1/3 in a
2.265 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
2.265 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.265 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.265 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.265 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.265 * [taylor]: Taking taylor expansion of a in a
2.265 * [taylor]: Taking taylor expansion of 1 in a
2.266 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
2.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
2.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
2.266 * [taylor]: Taking taylor expansion of 1/3 in a
2.266 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
2.266 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.266 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.266 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.266 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.266 * [taylor]: Taking taylor expansion of a in a
2.266 * [taylor]: Taking taylor expansion of 1 in a
2.300 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
2.300 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
2.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
2.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
2.300 * [taylor]: Taking taylor expansion of 1/3 in a
2.300 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
2.300 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.300 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.300 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.300 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.300 * [taylor]: Taking taylor expansion of -1 in a
2.300 * [taylor]: Taking taylor expansion of a in a
2.300 * [taylor]: Taking taylor expansion of 1 in a
2.301 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
2.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
2.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
2.301 * [taylor]: Taking taylor expansion of 1/3 in a
2.301 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
2.301 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.301 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.301 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.301 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.301 * [taylor]: Taking taylor expansion of -1 in a
2.301 * [taylor]: Taking taylor expansion of a in a
2.301 * [taylor]: Taking taylor expansion of 1 in a
2.339 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 1 1 2)
2.340 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0
2.340 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
2.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
2.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
2.340 * [taylor]: Taking taylor expansion of 1/3 in a
2.340 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
2.340 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.340 * [taylor]: Rewrote expression to (- (exp a) 1)
2.340 * [taylor]: Taking taylor expansion of (exp a) in a
2.340 * [taylor]: Taking taylor expansion of a in a
2.340 * [taylor]: Taking taylor expansion of 1 in a
2.342 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a
2.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a
2.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a
2.342 * [taylor]: Taking taylor expansion of 1/3 in a
2.342 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a
2.342 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.342 * [taylor]: Rewrote expression to (- (exp a) 1)
2.342 * [taylor]: Taking taylor expansion of (exp a) in a
2.342 * [taylor]: Taking taylor expansion of a in a
2.342 * [taylor]: Taking taylor expansion of 1 in a
2.352 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0
2.352 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
2.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
2.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
2.352 * [taylor]: Taking taylor expansion of 1/3 in a
2.352 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
2.352 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.352 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.352 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.352 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.352 * [taylor]: Taking taylor expansion of a in a
2.352 * [taylor]: Taking taylor expansion of 1 in a
2.353 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a
2.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a
2.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a
2.353 * [taylor]: Taking taylor expansion of 1/3 in a
2.353 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a
2.353 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.353 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.353 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.353 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.353 * [taylor]: Taking taylor expansion of a in a
2.353 * [taylor]: Taking taylor expansion of 1 in a
2.386 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0
2.386 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
2.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
2.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
2.386 * [taylor]: Taking taylor expansion of 1/3 in a
2.386 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
2.386 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.386 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.386 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.386 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.386 * [taylor]: Taking taylor expansion of -1 in a
2.386 * [taylor]: Taking taylor expansion of a in a
2.387 * [taylor]: Taking taylor expansion of 1 in a
2.387 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a
2.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a
2.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a
2.387 * [taylor]: Taking taylor expansion of 1/3 in a
2.387 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a
2.387 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.387 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.387 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.387 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.387 * [taylor]: Taking taylor expansion of -1 in a
2.387 * [taylor]: Taking taylor expansion of a in a
2.388 * [taylor]: Taking taylor expansion of 1 in a
2.427 * * * [progress]: simplifying candidates
2.428 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (expm1 (cbrt (cbrt (expm1 a))))
  (log1p (cbrt (cbrt (expm1 a))))
  (log (cbrt (cbrt (expm1 a))))
  (exp (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (sqrt (expm1 a))))
  (cbrt (cbrt (sqrt (expm1 a))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (expm1 a)))
  (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (sqrt (cbrt (expm1 a))))
  (cbrt (sqrt (cbrt (expm1 a))))
  (cbrt 1)
  (cbrt (cbrt (expm1 a)))
  (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 a))))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt 1)
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 1/18 (pow (pow a 10) 1/9)) (+ (pow a 1/9) (* 1/162 (pow (pow a 19) 1/9))))
  (pow (- (exp a) 1) 1/9)
  (pow (- (exp a) 1) 1/9)
  (+ (* 1/6 (pow (pow a 4) 1/3)) (+ (* 1/36 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp a) 1) 1/3)
  (pow (- (exp a) 1) 1/3)
  (+ (* 1/6 (pow (pow a 4) 1/3)) (+ (* 1/36 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp a) 1) 1/3)
  (pow (- (exp a) 1) 1/3)
2.428 * [simplify]: Sending expressions to egg_math:
 (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (log1p (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (* (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))))) (atan h0)) h0))
 (expm1 (cbrt (cbrt (expm1 h0))))
 (log1p (cbrt (cbrt (expm1 h0))))
 (log (cbrt (cbrt (expm1 h0))))
 (exp (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0)))))
 (cbrt (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (sqrt (expm1 h0))))
 (cbrt (cbrt (sqrt (expm1 h0))))
 (cbrt (cbrt 1))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0)))))
 (cbrt (cbrt (cbrt (expm1 h0))))
 (cbrt (sqrt (cbrt (expm1 h0))))
 (cbrt (sqrt (cbrt (expm1 h0))))
 (cbrt 1)
 (cbrt (cbrt (expm1 h0)))
 (* (cbrt (cbrt (cbrt (expm1 h0)))) (cbrt (cbrt (cbrt (expm1 h0)))))
 (cbrt (cbrt (cbrt (expm1 h0))))
 (* (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0)))) (cbrt (cbrt (expm1 h0))))
 (sqrt (cbrt (cbrt (expm1 h0))))
 (sqrt (cbrt (cbrt (expm1 h0))))
 (expm1 (cbrt (expm1 h0)))
 (log1p (cbrt (expm1 h0)))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (expm1 (cbrt (expm1 h0)))
 (log1p (cbrt (expm1 h0)))
 (log (cbrt (expm1 h0)))
 (exp (cbrt (expm1 h0)))
 (cbrt (* (cbrt (expm1 h0)) (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt (sqrt (expm1 h0)))
 (cbrt 1)
 (cbrt (expm1 h0))
 (* (cbrt (cbrt (expm1 h0))) (cbrt (cbrt (expm1 h0))))
 (cbrt (cbrt (expm1 h0)))
 (* (* (cbrt (expm1 h0)) (cbrt (expm1 h0))) (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (sqrt (cbrt (expm1 h0)))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (+ (* 1/18 (pow (pow h0 10) 1/9)) (+ (pow h0 1/9) (* 1/162 (pow (pow h0 19) 1/9))))
 (pow (- (exp h0) 1) 1/9)
 (pow (- (exp h0) 1) 1/9)
 (+ (* 1/6 (pow (pow h0 4) 1/3)) (+ (* 1/36 (pow (pow h0 7) 1/3)) (pow h0 1/3)))
 (pow (- (exp h0) 1) 1/3)
 (pow (- (exp h0) 1) 1/3)
 (+ (* 1/6 (pow (pow h0 4) 1/3)) (+ (* 1/36 (pow (pow h0 7) 1/3)) (pow h0 1/3)))
 (pow (- (exp h0) 1) 1/3)
 (pow (- (exp h0) 1) 1/3)
2.432 * * [simplify]: iteration  0 :  145  enodes  (cost  522 )
2.434 * * [simplify]: iteration  1 :  341  enodes  (cost  459 )
2.440 * * [simplify]: iteration  2 :  977  enodes  (cost  453 )
2.465 * * [simplify]: iteration  3 :  4084  enodes  (cost  453 )
2.573 * * [simplify]: iteration  4 :  5002  enodes  (cost  448 )
2.575 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))
  (expm1 (cbrt (cbrt (expm1 a))))
  (log1p (cbrt (cbrt (expm1 a))))
  (log (cbrt (cbrt (expm1 a))))
  (exp (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (sqrt (expm1 a))))
  (cbrt (cbrt (sqrt (expm1 a))))
  1
  (cbrt (cbrt (expm1 a)))
  (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (sqrt (cbrt (expm1 a))))
  (cbrt (sqrt (cbrt (expm1 a))))
  1
  (cbrt (cbrt (expm1 a)))
  (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a)))))
  (cbrt (cbrt (cbrt (expm1 a))))
  (cbrt (expm1 a))
  (sqrt (cbrt (cbrt (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 a))))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  1
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (expm1 (cbrt (expm1 a)))
  (log1p (cbrt (expm1 a)))
  (log (cbrt (expm1 a)))
  (exp (cbrt (expm1 a)))
  (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  (cbrt (sqrt (expm1 a)))
  1
  (cbrt (expm1 a))
  (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))
  (cbrt (cbrt (expm1 a)))
  (expm1 a)
  (sqrt (cbrt (expm1 a)))
  (sqrt (cbrt (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 10) 1/9) 1/18 (fma (pow (pow a 19) 1/9) 1/162 (pow a 1/9)))
  (pow (expm1 a) 1/9)
  (pow (expm1 a) 1/9)
  (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 a))
  (cbrt (expm1 a))
  (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 a))
  (cbrt (expm1 a))
2.575 * * * [progress]: adding candidates to table
2.841 * [progress]: [Phase 3 of 3] Extracting.
2.841 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (sqrt (cbrt (expm1 a)))) (cbrt (sqrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (log (exp (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (pow (expm1 a) 1/9))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (exp (log (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (log (exp (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (exp (log (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (log1p (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (pow (expm1 a) 3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (pow (expm1 a) 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (exp (log (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (exp (log (expm1 a))))) (atan a)) a)))>)
2.852 * * * [regime-changes]: Trying 3 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) a)
2.852 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (sqrt (cbrt (expm1 a)))) (cbrt (sqrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (log (exp (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (pow (expm1 a) 1/9))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (exp (log (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (log (exp (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (exp (log (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (log1p (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (pow (expm1 a) 3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (pow (expm1 a) 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (exp (log (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (exp (log (expm1 a))))) (atan a)) a)))>)
3.014 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (sqrt (cbrt (expm1 a)))) (cbrt (sqrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (log (exp (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (pow (expm1 a) 1/9))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (exp (log (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (log (exp (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (exp (log (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (log1p (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (pow (expm1 a) 3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (pow (expm1 a) 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (exp (log (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (exp (log (expm1 a))))) (atan a)) a)))>)
3.177 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (sqrt (cbrt (expm1 a)))) (cbrt (sqrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (log (exp (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (pow (expm1 a) 1/9))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (exp (log (cbrt (expm1 a)))))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (log (exp (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (fma 1/6 (pow (pow a 4) 1/3) (fma 1/36 (pow (pow a 7) 1/3) (pow a 1/3))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (exp (log (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (log1p (expm1 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (pow (expm1 a) 3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (cbrt (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (pow (expm1 a) 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (exp (log (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (* (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (* (* (cbrt (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (cbrt (expm1 a))))) (cbrt (cbrt (cbrt (expm1 a))))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (exp (log (cbrt (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (exp (log (expm1 a))))) (atan a)) a)))>)
3.320 * * * [regime]: Found split indices: #<option (#s(si 18 255))>
3.321 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
3.321 * [simplify]: Sending expressions to egg_math:
 (fabs (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
3.321 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
3.321 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
18.208 * [regime-testing]: Baseline error score: 33.59206042579095
18.209 * [regime-testing]: Oracle error score: 32.12766832575358
18.210 * [regime-testing]: End program error score: 33.59206042579095